// 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 CSP {{
    out.println("before CSP");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after CSP {{
    out.println("after CSP");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> CSP, constraintsatisfactionproblem_list, ConstraintSatisfactionProblem_List {{
    out.println("before -> CSP, constraintsatisfactionproblem_list, ConstraintSatisfactionProblem_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> CSP, constraintsatisfactionproblem_list, ConstraintSatisfactionProblem_List {{
    out.println("after -> CSP, constraintsatisfactionproblem_list, ConstraintSatisfactionProblem_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before ConstraintSatisfactionProblem {{
    out.println("before ConstraintSatisfactionProblem");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after ConstraintSatisfactionProblem {{
    out.println("after ConstraintSatisfactionProblem");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> ConstraintSatisfactionProblem, preamble, Preamble {{
    out.println("before -> ConstraintSatisfactionProblem, preamble, Preamble ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> ConstraintSatisfactionProblem, preamble, Preamble {{
    out.println("after -> ConstraintSatisfactionProblem, preamble, Preamble ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> ConstraintSatisfactionProblem, constraints, Constraint_List {{
    out.println("before -> ConstraintSatisfactionProblem, constraints, Constraint_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> ConstraintSatisfactionProblem, constraints, Constraint_List {{
    out.println("after -> ConstraintSatisfactionProblem, constraints, Constraint_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Constraint {{
    out.println("before Constraint");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Constraint {{
    out.println("after Constraint");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Constraint, weight, Weight {{
    out.println("before -> Constraint, weight, Weight ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Constraint, weight, Weight {{
    out.println("after -> Constraint, weight, Weight ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Preamble {{
    out.println("before Preamble");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Preamble {{
    out.println("after Preamble");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Preamble, numVariables, int {{
    out.println("before -> Preamble, numVariables, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Preamble, numVariables, int {{
    out.println("after -> Preamble, numVariables, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Preamble, numConstraints, int {{
    out.println("before -> Preamble, numConstraints, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Preamble, numConstraints, int {{
    out.println("after -> Preamble, numConstraints, int ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Preamble, relationname_list, RelationName_List {{
    out.println("before -> Preamble, relationname_list, RelationName_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Preamble, relationname_list, RelationName_List {{
    out.println("after -> Preamble, relationname_list, RelationName_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Preamble, variableAssignment, Literal {{
    out.println("before -> Preamble, variableAssignment, Literal ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Preamble, variableAssignment, Literal {{
    out.println("after -> Preamble, variableAssignment, Literal ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before ProperConstraint {{
    out.println("before ProperConstraint");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after ProperConstraint {{
    out.println("after ProperConstraint");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> ProperConstraint, relationname, RelationName {{
    out.println("before -> ProperConstraint, relationname, RelationName ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> ProperConstraint, relationname, RelationName {{
    out.println("after -> ProperConstraint, relationname, RelationName ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> ProperConstraint, literals, Literal_List {{
    out.println("before -> ProperConstraint, literals, Literal_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> ProperConstraint, literals, Literal_List {{
    out.println("after -> ProperConstraint, literals, Literal_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Literal {{
    out.println("before Literal");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Literal {{
    out.println("after Literal");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Literal, variable, Variable {{
    out.println("before -> Literal, variable, Variable ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Literal, variable, Variable {{
    out.println("after -> Literal, variable, Variable ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Pos {{
    out.println("before Pos");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Pos {{
    out.println("after Pos");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Neg {{
    out.println("before Neg");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Neg {{
    out.println("after Neg");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Satisfied {{
    out.println("before Satisfied");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Satisfied {{
    out.println("after Satisfied");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Unsatisfied {{
    out.println("before Unsatisfied");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Unsatisfied {{
    out.println("after Unsatisfied");
    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 -> Variable, v, Ident {{
    out.println("before -> Variable, v, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Variable, v, Ident {{
    out.println("after -> Variable, v, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before RelationName {{
    out.println("before RelationName");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after RelationName {{
    out.println("after RelationName");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RelationName, v, Ident {{
    out.println("before -> RelationName, v, Ident ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RelationName, v, Ident {{
    out.println("after -> RelationName, v, Ident ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Weight {{
    out.println("before Weight");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Weight {{
    out.println("after Weight");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Weight, v, int {{
    out.println("before -> Weight, v, int ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Weight, v, int {{
    out.println("after -> Weight, v, int ");
    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 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 ConstraintSatisfactionProblem_List {{
    out.println("before ConstraintSatisfactionProblem_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after ConstraintSatisfactionProblem_List {{
    out.println("after ConstraintSatisfactionProblem_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> ConstraintSatisfactionProblem_List, first, Nonempty_ConstraintSatisfactionProblem_List {{
    out.println("before -> ConstraintSatisfactionProblem_List, first, Nonempty_ConstraintSatisfactionProblem_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> ConstraintSatisfactionProblem_List, first, Nonempty_ConstraintSatisfactionProblem_List {{
    out.println("after -> ConstraintSatisfactionProblem_List, first, Nonempty_ConstraintSatisfactionProblem_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Constraint_List {{
    out.println("before Constraint_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Constraint_List {{
    out.println("after Constraint_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Constraint_List, first, Nonempty_Constraint_List {{
    out.println("before -> Constraint_List, first, Nonempty_Constraint_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Constraint_List, first, Nonempty_Constraint_List {{
    out.println("after -> Constraint_List, first, Nonempty_Constraint_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before RelationName_List {{
    out.println("before RelationName_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after RelationName_List {{
    out.println("after RelationName_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> RelationName_List, first, Nonempty_RelationName_List {{
    out.println("before -> RelationName_List, first, Nonempty_RelationName_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> RelationName_List, first, Nonempty_RelationName_List {{
    out.println("after -> RelationName_List, first, Nonempty_RelationName_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Literal_List {{
    out.println("before Literal_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Literal_List {{
    out.println("after Literal_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Literal_List, first, Nonempty_Literal_List {{
    out.println("before -> Literal_List, first, Nonempty_Literal_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Literal_List, first, Nonempty_Literal_List {{
    out.println("after -> Literal_List, first, Nonempty_Literal_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_ConstraintSatisfactionProblem_List {{
    out.println("before Nonempty_ConstraintSatisfactionProblem_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_ConstraintSatisfactionProblem_List {{
    out.println("after Nonempty_ConstraintSatisfactionProblem_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_ConstraintSatisfactionProblem_List, it, ConstraintSatisfactionProblem {{
    out.println("before -> Nonempty_ConstraintSatisfactionProblem_List, it, ConstraintSatisfactionProblem ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_ConstraintSatisfactionProblem_List, it, ConstraintSatisfactionProblem {{
    out.println("after -> Nonempty_ConstraintSatisfactionProblem_List, it, ConstraintSatisfactionProblem ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_ConstraintSatisfactionProblem_List, next, Nonempty_ConstraintSatisfactionProblem_List {{
    out.println("before -> Nonempty_ConstraintSatisfactionProblem_List, next, Nonempty_ConstraintSatisfactionProblem_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_ConstraintSatisfactionProblem_List, next, Nonempty_ConstraintSatisfactionProblem_List {{
    out.println("after -> Nonempty_ConstraintSatisfactionProblem_List, next, Nonempty_ConstraintSatisfactionProblem_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Constraint_List {{
    out.println("before Nonempty_Constraint_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Constraint_List {{
    out.println("after Nonempty_Constraint_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Constraint_List, it, Constraint {{
    out.println("before -> Nonempty_Constraint_List, it, Constraint ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Constraint_List, it, Constraint {{
    out.println("after -> Nonempty_Constraint_List, it, Constraint ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Constraint_List, next, Nonempty_Constraint_List {{
    out.println("before -> Nonempty_Constraint_List, next, Nonempty_Constraint_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Constraint_List, next, Nonempty_Constraint_List {{
    out.println("after -> Nonempty_Constraint_List, next, Nonempty_Constraint_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_RelationName_List {{
    out.println("before Nonempty_RelationName_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_RelationName_List {{
    out.println("after Nonempty_RelationName_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_RelationName_List, it, RelationName {{
    out.println("before -> Nonempty_RelationName_List, it, RelationName ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_RelationName_List, it, RelationName {{
    out.println("after -> Nonempty_RelationName_List, it, RelationName ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_RelationName_List, next, Nonempty_RelationName_List {{
    out.println("before -> Nonempty_RelationName_List, next, Nonempty_RelationName_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_RelationName_List, next, Nonempty_RelationName_List {{
    out.println("after -> Nonempty_RelationName_List, next, Nonempty_RelationName_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_Literal_List {{
    out.println("before Nonempty_Literal_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_Literal_List {{
    out.println("after Nonempty_Literal_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Literal_List, it, Literal {{
    out.println("before -> Nonempty_Literal_List, it, Literal ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Literal_List, it, Literal {{
    out.println("after -> Nonempty_Literal_List, it, Literal ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_Literal_List, next, Nonempty_Literal_List {{
    out.println("before -> Nonempty_Literal_List, next, Nonempty_Literal_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_Literal_List, next, Nonempty_Literal_List {{
    out.println("after -> Nonempty_Literal_List, next, Nonempty_Literal_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
}