let unsat = StateSet.union unsat (StateSet.diff removed kept) in
(* States that were found once to be satisfiable remain so *)
let unsat = StateSet.diff unsat sat in
let unsat = StateSet.union unsat (StateSet.diff removed kept) in
(* States that were found once to be satisfiable remain so *)
let unsat = StateSet.diff unsat sat in