let initialize_goal (bag,maxvar,actives,passives,_,_) t =
let (bag,maxvar), g = mk_unit_clause bag maxvar t in
let g_passives = g_passive_empty_set in
let initialize_goal (bag,maxvar,actives,passives,_,_) t =
let (bag,maxvar), g = mk_unit_clause bag maxvar t in
let g_passives = g_passive_empty_set in