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