Assertion list for term "leave in the half".

Results from Ascent++: 1
pointer CapableOfleave in the half 0.43