7677787980818283848586
/*else if (isTopMarkedForReexecution(tree)) { return true; }*/ // top element is used, pop it from the stack else { tree.popElement(); // check whether the whole tree has been executed if (tree.getElementStack().isEmpty()) { return false; } }