// This file is automatically generated by DemeterJ.

TraceVisitor {
  {{
    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; }
    TraceVisitor(java.io.PrintWriter out)     { set_out(out); }
    TraceVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  }}
  finish {{ out.flush(); }}


  before Binder {{
    out.println("before Binder");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Binder {{
    out.println("after Binder");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Binder, clauses, Clause_List {{
    out.println("before -> Binder, clauses, Clause_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Binder, clauses, Clause_List {{
    out.println("after -> Binder, clauses, Clause_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Clause {{
    out.println("before Clause");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Clause {{
    out.println("after Clause");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Clause, head, Atom {{
    out.println("before -> Clause, head, Atom ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Clause, head, Atom {{
    out.println("after -> Clause, head, Atom ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Clause, body, Atom_CList {{
    out.println("before -> Clause, body, Atom_CList ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Clause, body, Atom_CList {{
    out.println("after -> Clause, body, Atom_CList ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Atom {{
    out.println("before Atom");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Atom {{
    out.println("after Atom");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Atom, context, Term {{
    out.println("before -> Atom, context, Term ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Atom, context, Term {{
    out.println("after -> Atom, context, Term ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Atom, pred, Constant {{
    out.println("before -> Atom, pred, Constant ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Atom, pred, Constant {{
    out.println("after -> Atom, pred, Constant ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Atom, args, Term_PCList {{
    out.println("before -> Atom, args, Term_PCList ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Atom, args, Term_PCList {{
    out.println("after -> Atom, args, Term_PCList ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Term {{
    out.println("before Term");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Term {{
    out.println("after Term");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Constant {{
    out.println("before Constant");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Constant {{
    out.println("after Constant");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before IdentConstant {{
    out.println("before IdentConstant");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after IdentConstant {{
    out.println("after IdentConstant");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> IdentConstant, ident, Ident {{
    out.println("before -> IdentConstant, ident, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> IdentConstant, ident, Ident {{
    out.println("after -> IdentConstant, ident, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before StringConstant {{
    out.println("before StringConstant");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after StringConstant {{
    out.println("after StringConstant");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> StringConstant, string, String {{
    out.println("before -> StringConstant, string, String ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> StringConstant, string, String {{
    out.println("after -> StringConstant, string, String ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Variable {{
    out.println("before Variable");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Variable {{
    out.println("after Variable");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before VariableName {{
    out.println("before VariableName");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after VariableName {{
    out.println("after VariableName");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> VariableName, ident, Ident {{
    out.println("before -> VariableName, ident, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> VariableName, ident, Ident {{
    out.println("after -> VariableName, ident, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before UIdent {{
    out.println("before UIdent");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after UIdent {{
    out.println("after UIdent");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> UIdent, ident, Ident {{
    out.println("before -> UIdent, ident, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> UIdent, ident, Ident {{
    out.println("after -> UIdent, ident, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Main {{
    out.println("before Main");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Main {{
    out.println("after Main");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Main, s, String {{
    out.println("before -> Main, s, String ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Main, s, String {{
    out.println("after -> Main, s, String ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before PrintVisitor {{
    out.println("before PrintVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after PrintVisitor {{
    out.println("after PrintVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> PrintVisitor, indent, int {{
    out.println("before -> PrintVisitor, indent, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> PrintVisitor, indent, int {{
    out.println("after -> PrintVisitor, indent, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> PrintVisitor, needSpace, boolean {{
    out.println("before -> PrintVisitor, needSpace, boolean ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> PrintVisitor, needSpace, boolean {{
    out.println("after -> PrintVisitor, needSpace, boolean ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before CopyVisitor {{
    out.println("before CopyVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after CopyVisitor {{
    out.println("after CopyVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> CopyVisitor, copy, Object {{
    out.println("before -> CopyVisitor, copy, Object ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> CopyVisitor, copy, Object {{
    out.println("after -> CopyVisitor, copy, Object ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before SubgraphVisitor {{
    out.println("before SubgraphVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after SubgraphVisitor {{
    out.println("after SubgraphVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> SubgraphVisitor, is_equal, boolean {{
    out.println("before -> SubgraphVisitor, is_equal, boolean ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> SubgraphVisitor, is_equal, boolean {{
    out.println("after -> SubgraphVisitor, is_equal, boolean ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before EqualVisitor {{
    out.println("before EqualVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after EqualVisitor {{
    out.println("after EqualVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> EqualVisitor, is_equal, boolean {{
    out.println("before -> EqualVisitor, is_equal, boolean ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> EqualVisitor, is_equal, boolean {{
    out.println("after -> EqualVisitor, is_equal, boolean ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before DisplayVisitor {{
    out.println("before DisplayVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after DisplayVisitor {{
    out.println("after DisplayVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> DisplayVisitor, indent, int {{
    out.println("before -> DisplayVisitor, indent, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> DisplayVisitor, indent, int {{
    out.println("after -> DisplayVisitor, indent, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before TraceVisitor {{
    out.println("before TraceVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after TraceVisitor {{
    out.println("after TraceVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TraceVisitor, indent, int {{
    out.println("before -> TraceVisitor, indent, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TraceVisitor, indent, int {{
    out.println("after -> TraceVisitor, indent, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before UniversalVisitor {{
    out.println("before UniversalVisitor");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after UniversalVisitor {{
    out.println("after UniversalVisitor");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Clause_List {{
    out.println("before Clause_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Clause_List {{
    out.println("after Clause_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Clause_List, first, Nonempty_Clause_List {{
    out.println("before -> Clause_List, first, Nonempty_Clause_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Clause_List, first, Nonempty_Clause_List {{
    out.println("after -> Clause_List, first, Nonempty_Clause_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Atom_CList {{
    out.println("before Atom_CList");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Atom_CList {{
    out.println("after Atom_CList");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Atom_CList, first, Nonempty_Atom_CList {{
    out.println("before -> Atom_CList, first, Nonempty_Atom_CList ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Atom_CList, first, Nonempty_Atom_CList {{
    out.println("after -> Atom_CList, first, Nonempty_Atom_CList ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Term_PCList {{
    out.println("before Term_PCList");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Term_PCList {{
    out.println("after Term_PCList");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Term_PCList, first, Nonempty_Term_PCList {{
    out.println("before -> Term_PCList, first, Nonempty_Term_PCList ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Term_PCList, first, Nonempty_Term_PCList {{
    out.println("after -> Term_PCList, first, Nonempty_Term_PCList ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Clause_List {{
    out.println("before Nonempty_Clause_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Clause_List {{
    out.println("after Nonempty_Clause_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Clause_List, it, Clause {{
    out.println("before -> Nonempty_Clause_List, it, Clause ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Clause_List, it, Clause {{
    out.println("after -> Nonempty_Clause_List, it, Clause ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Clause_List, next, Nonempty_Clause_List {{
    out.println("before -> Nonempty_Clause_List, next, Nonempty_Clause_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Clause_List, next, Nonempty_Clause_List {{
    out.println("after -> Nonempty_Clause_List, next, Nonempty_Clause_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Atom_CList {{
    out.println("before Nonempty_Atom_CList");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Atom_CList {{
    out.println("after Nonempty_Atom_CList");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Atom_CList, it, Atom {{
    out.println("before -> Nonempty_Atom_CList, it, Atom ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Atom_CList, it, Atom {{
    out.println("after -> Nonempty_Atom_CList, it, Atom ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Atom_CList, next, Nonempty_Atom_CList {{
    out.println("before -> Nonempty_Atom_CList, next, Nonempty_Atom_CList ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Atom_CList, next, Nonempty_Atom_CList {{
    out.println("after -> Nonempty_Atom_CList, next, Nonempty_Atom_CList ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Term_PCList {{
    out.println("before Nonempty_Term_PCList");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Term_PCList {{
    out.println("after Nonempty_Term_PCList");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Term_PCList, it, Term {{
    out.println("before -> Nonempty_Term_PCList, it, Term ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Term_PCList, it, Term {{
    out.println("after -> Nonempty_Term_PCList, it, Term ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Term_PCList, next, Nonempty_Term_PCList {{
    out.println("before -> Nonempty_Term_PCList, next, Nonempty_Term_PCList ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Term_PCList, next, Nonempty_Term_PCList {{
    out.println("after -> Nonempty_Term_PCList, next, Nonempty_Term_PCList ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
}