Assertion list for term "finite number of steps".
Results from Ascent++: 1
algorithm → HasA → finite number of steps 0.50