Assertion list for term "reduce option".

Results from Ascent++: 1
debt CapableOfreduce option 0.28