Use CHECK constraints to enforce invariants | BeforeMerge Rules | BeforeMerge