Assertion list for term "come before subtraction".

Results from Ascent++: 1
division CapableOfcome before subtraction 0.28