Editing: NodeTraverserInterface.php