if (solution.getBranchTrace() != null) {
            branchTrace.addAll(solution.getBranchTrace());
            while (branchTrace.getPosition() < solution.getBranchTrace().getPosition()) {
                if (!quietStepForward()) break;
            }