Confirm that norecs do not get merged before migration.