let update_widening_info current_table kinstr wcounter wstate =
let record = find_current current_table kinstr in
record.widening <- wcounter;
record.widening_state <- wstate;
record.superposition <- State_imp.singleton wstate