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