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 }