Assertion list for term "reach certain value".

Results from Ascent++: 1
parameter (aspect of function) CapableOfreach certain value 0.25