Assertion list for term "leave at the end".

Results from Ascent++: 1
turn CapableOfleave at the end 0.43