effectiveRetireSteps

Parameters

effectiveRetireSteps

steps whose op is OpKind.RETIRE and which changed the state.