let update_current_exn v =
    let kinstr = CilE.current_stmt () in
    assert (kinstr <> Kglobal);
    let old = find_current kinstr in
    let new_superposition =
      State_set.merge_into v old.superposition in
    let new_widening = old.widening in
    InstrHashtbl.replace current_table kinstr
      { widening = new_widening ; superposition = new_superposition ;
        widening_state = old.widening_state }