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