public void VisitDestructor(IDestructorWithSymbols node) { visitor.VisitDestructor(new DestructorWithSymbols(node)); }