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