Assertion list for term "terminate at red arrow".

Results from Ascent++: 1
glacier CapableOfterminate at red arrow 0.25