Fixed Y <= Z requirement in the smalltest.