let update_current_exn current_table kinstr v = assert (kinstr <> Kglobal); let record = find_current current_table kinstr in State_imp.merge_set_into v record.superposition