Assertion list for term "take several steps".

Results from Ascent++: 1
benchmark CapableOftake several steps 0.62