Assertion list for term "stop for penalty".

Results from Ascent++: 1
clock CapableOfstop for penalty 0.44