Spec domain enter/exit in AstTreeWalker