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.