let states current_table =
let r = Ki.Hashtbl.create (Ki.Hashtbl.length current_table)
in
Ki.Hashtbl.iter
(fun k record ->
Ki.Hashtbl.add r k
(State_imp.join_dropping_relations record.superposition))
current_table;
r