let states current_table =
let r = Stmt.Hashtbl.create (Stmt.Hashtbl.length current_table)
in
Stmt.Hashtbl.iter
(fun k record ->
Stmt.Hashtbl.add r k
(Cvalue.Model.join
(State_imp.join_dropping_relations record.superposition)
record.widening_state))
current_table;
r