そうです。AST(b)はmacro用に自前で生成されたものだと思ってました。