Assertion list for term "larger reductions".

Results from Ascent++: 1
thaw HasPrerequisitelarger reductions 0.63