Assertion list for term "run for exit".

Results from Ascent++: 1
investor CapableOfrun for exit 0.43