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