Use some extra AST facilities