public string ToDot() { // var graph = GetGraph(); var gv = new ForestVisitors.GraphVisitors.GraphVisitor(this); var graph = gv.Graph(); return graph.ToDot(); }