let superpositions current_table =
let r = Ki.Hashtbl.create (Ki.Hashtbl.length current_table)
in
Ki.Hashtbl.iter
(fun k record ->
let sup2 =
State_imp.fold
State_set.add
record.superposition
State_set.empty
in
Ki.Hashtbl.add r k sup2)
current_table;
r