Assertion list
value (aspect of function ) → UsedFor
Results from Ascent++: 2
value → UsedFor → comparison 0.27
value → UsedFor → dimension 0.25