No need for bonus code in ASTFactory