Assertion list for term "stop using machine".

Results from Ascent++: 1
whirlpool CapableOfstop using machine 0.16