let update_current_exn current_table stmt v =
    let record = find_current current_table stmt in
    State_imp.merge_set_into v record.superposition