Implemented containment constraint checks.