BUG-7025: Use ParseTreeWalker.DEFAULT