Non-optional arguments for TreeWalker