dumpAST updates