Assertion list for term "larger case".

Results from Ascent++: 1
sum HasPrerequisitelarger case 0.25