Check rule Core_Chk012
ValidFor property values must differ in several realisations and there should be just a realization without ValidFor see Validity concept.
This prevents unreachable code, if associated with two projects with same Validity. The realization of which is second in the sequence, would never run. The rule therefore helps to find inconsistencies in the process.