Assertion list for term "leave onto the loop".

Results from Ascent++: 1
turn CapableOfleave onto the loop 0.25