Assertion list
value (aspect of function ) → HasSubevent

Results from Ascent++: 1
valueHasSubevent loss of precision 0.19