Assertion list for term "fail to come to stop".

Results from Ascent++: 1
elevator CapableOffail to come to stop 0.19