Added: CHECKs' to Contraints
merge