Use hygienic AST