Assertion list for term "run for another".

Results from Ascent++: 1
newton CapableOfrun for another 0.21