Completed the XplusYeqZ constraint