Assertion list for term "stop for injury".

Results from Ascent++: 1
clock CapableOfstop for injury 0.64