Assertion list for term "maximum radius".

Results from Ascent++: 1
circle HasAmaximum radius 0.25