void PushDomain(SymDomain domain) { domain.parentDomain = _curDomain; _domains.Push(domain); _curDomain = domain; }