AstTraverser needs builtins