Implemented XeqY constraint