Fixed a bug in XexpYeqZ.consistency() that could result in computing an incorrect upper bound for y. 
For instance, when x = y = z = 2, yMax would incorrectly be set to 1.