let active,passive,bag,cache,maxmeta,goal_steps,saturation_steps,timeout =
match tables with
| None ->
(* first time, do a huge saturation *)
let bag, equalities, cache, maxmeta =
let active,passive,bag,cache,maxmeta,goal_steps,saturation_steps,timeout =
match tables with
| None ->
(* first time, do a huge saturation *)
let bag, equalities, cache, maxmeta =