@Override public void stateAdvanced(Search search) { if (search.isNewState() && (lastElement != null)) { int stateId = search.getStateId(); for (TraceElement<T> op = lastElement; op != null; op = op.prevElement) { assert op.stateId == 0; op.stateId = stateId; } lastElement.prevTransition = lastTransition; lastTransition = lastElement; } lastElement = null; }