core:
import edu.neu.ccs.demeter.dj.*;
import java.lang.*;
import java.util.*;

import edu.neu.ccs.demeter.*;
add: class DisplayVisitor extends UniversalVisitor {
  protected int indent;
  public int get_indent() {{ return indent; }}
  public void set_indent(int new_indent)
    {{ indent = new_indent; }}
  public constructor DisplayVisitor() {{ super(); }}
  public constructor DisplayVisitor(int indent) {{
    super();
    set_indent(indent);
  }}
{{
    protected java.io.PrintWriter out = new java.io.PrintWriter(System.out, true);
    java.io.PrintWriter get_out()             { return out; }
    void set_out(java.io.PrintWriter new_out) { out = new_out; }
    DisplayVisitor(java.io.PrintWriter out)     { set_out(out); }
    DisplayVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  }}
  public void finish() {{ out.flush(); }}
  public void before(Main host) {{
    out.print(": Main  (");
    indent++;
  }}
  public void after(Main host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Cd_graph host) {{
    out.print(": Cd_graph  (");
    indent++;
  }}
  public void after(Cd_graph host) {{
    out.print(" )");
    indent--;
  }}
  public void before_globalimports(Cd_graph source, GlobalImports dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<globalimports> ");
  }}
  public void before_adjacencies(Cd_graph source, Adjacency_Nlist dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<adjacencies> ");
  }}
  public void before(GlobalImports host) {{
    out.print(": GlobalImports  (");
    indent++;
  }}
  public void after(GlobalImports host) {{
    out.print(" )");
    indent--;
  }}
  public void before_imports(GlobalImports source, Import_SList dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<imports> ");
  }}
  public void before(Import host) {{
    out.print(": Import  (");
    indent++;
  }}
  public void after(Import host) {{
    out.print(" )");
    indent--;
  }}
  public void before_packagename(Import source, PackageName dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<packagename> ");
  }}
  public void before_importallclasses(Import source, ImportAllClasses dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<importallclasses> ");
  }}
  public void before(ImportAllClasses host) {{
    out.print(": ImportAllClasses  (");
    indent++;
  }}
  public void after(ImportAllClasses host) {{
    out.print(" )");
    indent--;
  }}
  public void before(PackageName host) {{
    out.print(": PackageName  {");
    indent++;
  }}
  public void after(PackageName host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(PackageName source, Nonempty_PackageName dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Adjacency host) {{
    out.print(": Adjacency  (");
    indent++;
  }}
  public void after(Adjacency host) {{
    out.print(" )");
    indent--;
  }}
  public void before_source(Adjacency source, Vertex dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<source> ");
  }}
  public void before_parameters(Adjacency source, Vertex_Comma_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<parameters> ");
  }}
  public void before_ns(Adjacency source, Neighbors dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ns> ");
  }}
  public void before_construct_ns(Neighbors_wc source, Any_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<construct_ns> ");
  }}
  public void before(Construct_ns host) {{
    out.print(": Construct_ns  (");
    indent++;
  }}
  public void after(Construct_ns host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Alternat_ns host) {{
    out.print(": Alternat_ns  (");
    indent++;
  }}
  public void after(Alternat_ns host) {{
    out.print(" )");
    indent--;
  }}
  public void before_alternat_ns(Alternat_ns source, Term_Bar_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<alternat_ns> ");
  }}
  public void before_common(Alternat_ns source, Common dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<common> ");
  }}
  public void before(Common host) {{
    out.print(": Common  (");
    indent++;
  }}
  public void after(Common host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Repetit_n host) {{
    out.print(": Repetit_n  (");
    indent++;
  }}
  public void after(Repetit_n host) {{
    out.print(" )");
    indent--;
  }}
  public void before_sandwiched(Repetit_n source, Kernel_Sandwich dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<sandwiched> ");
  }}
  public void before(Kernel host) {{
    out.print(": Kernel  (");
    indent++;
  }}
  public void after(Kernel host) {{
    out.print(" )");
    indent--;
  }}
  public void before_nonempty(Kernel source, Term dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<nonempty> ");
  }}
  public void before_repeated(Kernel source, Term_Sandwich dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<repeated> ");
  }}
  public void before(Vertex host) {{
    out.print(": Vertex  (");
    indent++;
  }}
  public void after(Vertex host) {{
    out.print(" )");
    indent--;
  }}
  public void before_vertex_name(Vertex source, Ident dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<vertex_name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_vertex_name() + "\"");
  }}
  public void before(Print_indent host) {{
    out.print(": Print_indent  (");
    indent++;
  }}
  public void after(Print_indent host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Print_unindent host) {{
    out.print(": Print_unindent  (");
    indent++;
  }}
  public void after(Print_unindent host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Print_skip host) {{
    out.print(": Print_skip  (");
    indent++;
  }}
  public void after(Print_skip host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Print_space host) {{
    out.print(": Print_space  (");
    indent++;
  }}
  public void after(Print_space host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Regular_syntax host) {{
    out.print(": Regular_syntax  (");
    indent++;
  }}
  public void after(Regular_syntax host) {{
    out.print(" )");
    indent--;
  }}
  public void before_string(Regular_syntax source, String dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  }}
  public void before_vertex(Opt_labeled_term source, Term dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<vertex> ");
  }}
  public void before(Regular host) {{
    out.print(": Regular  (");
    indent++;
  }}
  public void after(Regular host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Labeled host) {{
    out.print(": Labeled  (");
    indent++;
  }}
  public void after(Labeled host) {{
    out.print(" )");
    indent--;
  }}
  public void before_label_name(Labeled source, Ident dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<label_name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_label_name() + "\"");
  }}
  public void before_vertex(Term source, Vertex dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<vertex> ");
  }}
  public void before_module_name(Term source, Module_name dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<module_name> ");
  }}
  public void before_actual_parameters(Term source, Term_Comma_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<actual_parameters> ");
  }}
  public void before(Module_name host) {{
    out.print(": Module_name  (");
    indent++;
  }}
  public void after(Module_name host) {{
    out.print(" )");
    indent--;
  }}
  public void before_module_name(Module_name source, Ident dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<module_name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_module_name() + "\"");
  }}
  public void before(Normal host) {{
    out.print(": Normal  (");
    indent++;
  }}
  public void after(Normal host) {{
    out.print(" )");
    indent--;
  }}
  public void before(Optional_term host) {{
    out.print(": Optional_term  (");
    indent++;
  }}
  public void after(Optional_term host) {{
    out.print(" )");
    indent--;
  }}
  public void before_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<opt> ");
  }}
  public void before(VertexVisitor host) {{
    out.print(": VertexVisitor  (");
    indent++;
  }}
  public void after(VertexVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(ConstructVisitor host) {{
    out.print(": ConstructVisitor  (");
    indent++;
  }}
  public void after(ConstructVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(HelpVisitor host) {{
    out.print(": HelpVisitor  (");
    indent++;
  }}
  public void after(HelpVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(CollectVisitor host) {{
    out.print(": CollectVisitor  (");
    indent++;
  }}
  public void after(CollectVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(FlattenVisitor host) {{
    out.print(": FlattenVisitor  (");
    indent++;
  }}
  public void after(FlattenVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(InherVisitor host) {{
    out.print(": InherVisitor  (");
    indent++;
  }}
  public void after(InherVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(SetParentVisitor host) {{
    out.print(": SetParentVisitor  (");
    indent++;
  }}
  public void after(SetParentVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(PrintAdjVisitor host) {{
    out.print(": PrintAdjVisitor  (");
    indent++;
  }}
  public void after(PrintAdjVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(CheckCycleVisitor host) {{
    out.print(": CheckCycleVisitor  (");
    indent++;
  }}
  public void after(CheckCycleVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(AdjVisitor host) {{
    out.print(": AdjVisitor  (");
    indent++;
  }}
  public void after(AdjVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(BufferVisitor host) {{
    out.print(": BufferVisitor  (");
    indent++;
  }}
  public void after(BufferVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(RemoveCommonVisitor host) {{
    out.print(": RemoveCommonVisitor  (");
    indent++;
  }}
  public void after(RemoveCommonVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before(MyClassGraph host) {{
    out.print(": MyClassGraph  (");
    indent++;
  }}
  public void after(MyClassGraph host) {{
    out.print(" )");
    indent--;
  }}
  public void before(PrintVisitor host) {{
    out.print(": PrintVisitor  (");
    indent++;
  }}
  public void after(PrintVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before_indent(PrintVisitor source, int dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  public void before_needSpace(PrintVisitor source, boolean dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<needSpace> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  public void before(CopyVisitor host) {{
    out.print(": CopyVisitor  (");
    indent++;
  }}
  public void after(CopyVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before_copy(CopyVisitor source, Object dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<copy> ");
  }}
  public void before(SubgraphVisitor host) {{
    out.print(": SubgraphVisitor  (");
    indent++;
  }}
  public void after(SubgraphVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before_is_equal(SubgraphVisitor source, boolean dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  public void before(EqualVisitor host) {{
    out.print(": EqualVisitor  (");
    indent++;
  }}
  public void after(EqualVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before_is_equal(EqualVisitor source, boolean dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  public void before(DisplayVisitor host) {{
    out.print(": DisplayVisitor  (");
    indent++;
  }}
  public void after(DisplayVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before_indent(DisplayVisitor source, int dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  public void before(TraceVisitor host) {{
    out.print(": TraceVisitor  (");
    indent++;
  }}
  public void after(TraceVisitor host) {{
    out.print(" )");
    indent--;
  }}
  public void before_indent(TraceVisitor source, int dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  public void before(Adjacency_Nlist host) {{
    out.print(": Adjacency_Nlist  {");
    indent++;
  }}
  public void after(Adjacency_Nlist host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Import_SList host) {{
    out.print(": Import_SList  {");
    indent++;
  }}
  public void after(Import_SList host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(Import_SList source, Nonempty_Import_SList dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Vertex_Comma_list host) {{
    out.print(": Vertex_Comma_list  {");
    indent++;
  }}
  public void after(Vertex_Comma_list host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Any_vertex_List host) {{
    out.print(": Any_vertex_List  {");
    indent++;
  }}
  public void after(Any_vertex_List host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Term_Bar_list host) {{
    out.print(": Term_Bar_list  {");
    indent++;
  }}
  public void after(Term_Bar_list host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Kernel_Sandwich host) {{
    out.print(": Kernel_Sandwich  (");
    indent++;
  }}
  public void after(Kernel_Sandwich host) {{
    out.print(" )");
    indent--;
  }}
  public void before_first(Kernel_Sandwich source, Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before_inner(Kernel_Sandwich source, Kernel dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<inner> ");
  }}
  public void before_second(Kernel_Sandwich source, Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
  }}
  public void before(Term_Sandwich host) {{
    out.print(": Term_Sandwich  (");
    indent++;
  }}
  public void after(Term_Sandwich host) {{
    out.print(" )");
    indent--;
  }}
  public void before_first(Term_Sandwich source, Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before_inner(Term_Sandwich source, Term dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<inner> ");
  }}
  public void before_second(Term_Sandwich source, Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
  }}
  public void before(Term_Comma_list host) {{
    out.print(": Term_Comma_list  {");
    indent++;
  }}
  public void after(Term_Comma_list host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(Term_Comma_list source, Nonempty_Term_Comma_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Opt_labeled_term_Sandwich host) {{
    out.print(": Opt_labeled_term_Sandwich  (");
    indent++;
  }}
  public void after(Opt_labeled_term_Sandwich host) {{
    out.print(" )");
    indent--;
  }}
  public void before_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<inner> ");
  }}
  public void before_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
  }}
  public void before(Syntax_vertex_List host) {{
    out.print(": Syntax_vertex_List  {");
    indent++;
  }}
  public void after(Syntax_vertex_List host) {{
    out.print(" }");
    indent--;
  }}
  public void before_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  public void before(Nonempty_PackageName host) {{
    out.print(": Nonempty_PackageName  (");
    indent++;
  }}
  public void after(Nonempty_PackageName host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_PackageName source, Ident dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_it() + "\"");
  }}
  public void before_next(Nonempty_PackageName source, Nonempty_PackageName dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  public void before(Nonempty_Adjacency_Nlist host) {{
    out.print(": Nonempty_Adjacency_Nlist  (");
    indent++;
  }}
  public void after(Nonempty_Adjacency_Nlist host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  public void before_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  public void before(Nonempty_Import_SList host) {{
    out.print(": Nonempty_Import_SList  (");
    indent++;
  }}
  public void after(Nonempty_Import_SList host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_Import_SList source, Import dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  public void before_next(Nonempty_Import_SList source, Nonempty_Import_SList dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  public void before(Nonempty_Vertex_Comma_list host) {{
    out.print(": Nonempty_Vertex_Comma_list  (");
    indent++;
  }}
  public void after(Nonempty_Vertex_Comma_list host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_Vertex_Comma_list source, Vertex dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  public void before_next(Nonempty_Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  public void before(Nonempty_Any_vertex_List host) {{
    out.print(": Nonempty_Any_vertex_List  (");
    indent++;
  }}
  public void after(Nonempty_Any_vertex_List host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_Any_vertex_List source, Any_vertex dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  public void before_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  public void before(Nonempty_Term_Bar_list host) {{
    out.print(": Nonempty_Term_Bar_list  (");
    indent++;
  }}
  public void after(Nonempty_Term_Bar_list host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_Term_Bar_list source, Term dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  public void before_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  public void before(Nonempty_Term_Comma_list host) {{
    out.print(": Nonempty_Term_Comma_list  (");
    indent++;
  }}
  public void after(Nonempty_Term_Comma_list host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_Term_Comma_list source, Term dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  public void before_next(Nonempty_Term_Comma_list source, Nonempty_Term_Comma_list dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
  public void before(Nonempty_Syntax_vertex_List host) {{
    out.print(": Nonempty_Syntax_vertex_List  (");
    indent++;
  }}
  public void after(Nonempty_Syntax_vertex_List host) {{
    out.print(" )");
    indent--;
  }}
  public void before_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  public void before_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
{{  void universal_trv0_bef(UniversalVisitor _v_) {
    super.universal_trv0_bef(_v_);
  }
}}
{{  void universal_trv0_aft(UniversalVisitor _v_) {
    super.universal_trv0_aft(_v_);
  }
}}
{{  void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    super.universal_trv0(_v_);
    universal_trv0_aft(_v_);
  }
}}
}