Class AstTranslator