The core iterative AST traversal algorithm: In a depth-first way we descend into the tree, providing callbacks for graph modification.