// 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 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 MAX_CSP_Products {{
    out.println("before MAX_CSP_Products");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after MAX_CSP_Products {{
    out.println("after MAX_CSP_Products");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> MAX_CSP_Products, max_csp_list, MAX_CSP_List {{
    out.println("before -> MAX_CSP_Products, max_csp_list, MAX_CSP_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> MAX_CSP_Products, max_csp_list, MAX_CSP_List {{
    out.println("after -> MAX_CSP_Products, max_csp_list, MAX_CSP_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before MAX_CSP {{
    out.println("before MAX_CSP");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after MAX_CSP {{
    out.println("after MAX_CSP");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> MAX_CSP, transitionrules, TransitionRules {{
    out.println("before -> MAX_CSP, transitionrules, TransitionRules ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> MAX_CSP, transitionrules, TransitionRules {{
    out.println("after -> MAX_CSP, transitionrules, TransitionRules ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> MAX_CSP, transitionmanager, TransitionManager {{
    out.println("before -> MAX_CSP, transitionmanager, TransitionManager ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> MAX_CSP, transitionmanager, TransitionManager {{
    out.println("after -> MAX_CSP, transitionmanager, TransitionManager ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before TransitionRules {{
    out.println("before TransitionRules");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after TransitionRules {{
    out.println("after TransitionRules");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransitionRules, decide, Decide {{
    out.println("before -> TransitionRules, decide, Decide ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransitionRules, decide, Decide {{
    out.println("after -> TransitionRules, decide, Decide ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransitionRules, up, UP {{
    out.println("before -> TransitionRules, up, UP ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransitionRules, up, UP {{
    out.println("after -> TransitionRules, up, UP ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransitionRules, reduce, Reduce {{
    out.println("before -> TransitionRules, reduce, Reduce ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransitionRules, reduce, Reduce {{
    out.println("after -> TransitionRules, reduce, Reduce ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransitionRules, ssr, SSR {{
    out.println("before -> TransitionRules, ssr, SSR ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransitionRules, ssr, SSR {{
    out.println("after -> TransitionRules, ssr, SSR ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransitionRules, restart, Restart {{
    out.println("before -> TransitionRules, restart, Restart ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransitionRules, restart, Restart {{
    out.println("after -> TransitionRules, restart, Restart ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransitionRules, finale, Finale {{
    out.println("before -> TransitionRules, finale, Finale ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransitionRules, finale, Finale {{
    out.println("after -> TransitionRules, finale, Finale ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> TransitionRules, update, Update {{
    out.println("before -> TransitionRules, update, Update ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> TransitionRules, update, Update {{
    out.println("after -> TransitionRules, update, Update ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Decide {{
    out.println("before Decide");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Decide {{
    out.println("after Decide");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Decide, order, Order {{
    out.println("before -> Decide, order, Order ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Decide, order, Order {{
    out.println("after -> Decide, order, Order ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Order {{
    out.println("before Order");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Order {{
    out.println("after Order");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before ValueOrder {{
    out.println("before ValueOrder");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after ValueOrder {{
    out.println("after ValueOrder");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> ValueOrder, kind, VOKind {{
    out.println("before -> ValueOrder, kind, VOKind ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> ValueOrder, kind, VOKind {{
    out.println("after -> ValueOrder, kind, VOKind ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before VOKind {{
    out.println("before VOKind");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after VOKind {{
    out.println("after VOKind");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before VariableOrder {{
    out.println("before VariableOrder");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after VariableOrder {{
    out.println("after VariableOrder");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> VariableOrder, lookaheadpolynomial, LookAheadPolynomial {{
    out.println("before -> VariableOrder, lookaheadpolynomial, LookAheadPolynomial ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> VariableOrder, lookaheadpolynomial, LookAheadPolynomial {{
    out.println("after -> VariableOrder, lookaheadpolynomial, LookAheadPolynomial ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before LookAheadPolynomial {{
    out.println("before LookAheadPolynomial");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after LookAheadPolynomial {{
    out.println("after LookAheadPolynomial");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Random {{
    out.println("before Random");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Random {{
    out.println("after Random");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before UP {{
    out.println("before UP");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after UP {{
    out.println("after UP");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> UP, implicationgraph, ImplicationGraph {{
    out.println("before -> UP, implicationgraph, ImplicationGraph ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> UP, implicationgraph, ImplicationGraph {{
    out.println("after -> UP, implicationgraph, ImplicationGraph ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before SSR {{
    out.println("before SSR");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after SSR {{
    out.println("after SSR");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> SSR, implicationgraph, ImplicationGraph {{
    out.println("before -> SSR, implicationgraph, ImplicationGraph ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> SSR, implicationgraph, ImplicationGraph {{
    out.println("after -> SSR, implicationgraph, ImplicationGraph ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before ImplicationGraph {{
    out.println("before ImplicationGraph");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after ImplicationGraph {{
    out.println("after ImplicationGraph");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Reduce {{
    out.println("before Reduce");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Reduce {{
    out.println("after Reduce");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Restart {{
    out.println("before Restart");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Restart {{
    out.println("after Restart");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Finale {{
    out.println("before Finale");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Finale {{
    out.println("after Finale");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Update {{
    out.println("before Update");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Update {{
    out.println("after Update");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before TransitionManager {{
    out.println("before TransitionManager");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after TransitionManager {{
    out.println("after TransitionManager");
    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 MAX_CSP_List {{
    out.println("before MAX_CSP_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after MAX_CSP_List {{
    out.println("after MAX_CSP_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> MAX_CSP_List, first, Nonempty_MAX_CSP_List {{
    out.println("before -> MAX_CSP_List, first, Nonempty_MAX_CSP_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> MAX_CSP_List, first, Nonempty_MAX_CSP_List {{
    out.println("after -> MAX_CSP_List, first, Nonempty_MAX_CSP_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before Nonempty_MAX_CSP_List {{
    out.println("before Nonempty_MAX_CSP_List");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after Nonempty_MAX_CSP_List {{
    out.println("after Nonempty_MAX_CSP_List");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_MAX_CSP_List, it, MAX_CSP {{
    out.println("before -> Nonempty_MAX_CSP_List, it, MAX_CSP ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_MAX_CSP_List, it, MAX_CSP {{
    out.println("after -> Nonempty_MAX_CSP_List, it, MAX_CSP ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  before -> Nonempty_MAX_CSP_List, next, Nonempty_MAX_CSP_List {{
    out.println("before -> Nonempty_MAX_CSP_List, next, Nonempty_MAX_CSP_List ");
    indent++;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
  after -> Nonempty_MAX_CSP_List, next, Nonempty_MAX_CSP_List {{
    out.println("after -> Nonempty_MAX_CSP_List, next, Nonempty_MAX_CSP_List ");
    indent--;
    for (int i = 0; i < indent; i++) out.print(" ");
  }}
}