Assertion list for term "larger cross section".

Results from Ascent++: 1
pedal HasAlarger cross section 0.28