Assertion list for term "stop working in case".

Results from Ascent++: 1
gear (aspect of transmission) CapableOfstop working in case 0.38