let find_widening_info current_table kinstr = let r = find_current current_table kinstr in r.widening, r.widening_state