Assertion list for term "stop for an injury timeout".

Results from Ascent++: 1
clock CapableOfstop for an injury timeout 0.25