Assertion list for term "use subtraction".

Results from Ascent++: 1
algorithm CapableOfuse subtraction 0.30