let update_and_tell_if_changed current_table kinstr d = let record = find_current current_table kinstr in State_imp.merge_set_return_new d record.superposition