Class ASTProduction