Created ProxyDetailAST and integrated into TreeWalker