Assertion list for term "progress to next step".

Results from Ascent++: 1
microprocessor CapableOfprogress to next step 0.28