Class ASTInitializer