Update AST_FORMAT.md