Assertion list for term "do in second half".

Results from Ascent++: 1
ally CapableOfdo in second half 0.30