Assertion list for term "end with first timeout".

Results from Ascent++: 1
time interval CapableOfend with first timeout 0.25