Assertion list for term "leave the loop".

Results from Ascent++: 1
compiler CapableOfleave the loop 0.25