Assertion list for term "reduce inefficiency".

Results from Ascent++: 1
aim CapableOfreduce inefficiency 0.16