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