Assertion list for term "stop for time outs".

Results from Ascent++: 1
clock CapableOfstop for time outs 0.60