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