let find_superposition current_table s =
     let record = find_current current_table s in
     let s = State_imp.to_set record.superposition in
     if Cvalue.Model.is_reachable record.widening_state
     then State_set.add record.widening_state s
     else s