} else if (mainTrace.canProgress()) {
            StepRef stepRef = mainTrace.getCurrent();
            step = getStep(editor, stepRef);
            setReverse(editor, stepRef);
            mainInc = 1;