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