Assertion list for term "maximum z value".

Results from Ascent++: 1
envelope HasAmaximum z value 0.28