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