Assertion list for term "maximum value".

Results from Ascent++: 2
function HasAmaximum value 0.33
number (aspect of graph) IsAmaximum value 0.29