import edu.neu.ccs.demeter.dj.*;
import java.util.*;
import edu.neu.ccs.demeter.*;
 class EqualVisitor extends UniversalVisitor {
  protected boolean is_equal =  true ;
  public boolean get_is_equal() { return is_equal;   }
  public void set_is_equal(boolean new_is_equal) { is_equal = new_is_equal;   }
  public EqualVisitor() { super();   }
  public EqualVisitor(boolean is_equal) {
    super();
    set_is_equal(is_equal);
    }
  
    private java.util.Stack history = new java.util.Stack();
    public EqualVisitor(Object obj) {
      history.push(obj);
    }
  
  public void before(Main host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_adjacencies(Cd_graph source, Adjacency_Nlist dest) {
    if (is_equal) {
      Cd_graph obj = (Cd_graph) history.peek();
      Object temp1 = obj.get_adjacencies();
      if(temp1==null) { is_equal = false; return; }
      history.push(temp1);
    }
    }
  public void after_adjacencies(Cd_graph source, Adjacency_Nlist dest) {
    if (is_equal) history.pop();
    }
  public void before(Cd_graph host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_source(Adjacency source, Vertex dest) {
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp2 = obj.get_source();
      if(temp2==null) { is_equal = false; return; }
      history.push(temp2);
    }
    }
  public void after_source(Adjacency source, Vertex dest) {
    if (is_equal) history.pop();
    }
  public void before_parameters(Adjacency source, Vertex_Comma_list dest) {
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp3 = obj.get_parameters();
      if(temp3==null) { is_equal = false; return; }
      history.push(temp3);
    }
    }
  public void after_parameters(Adjacency source, Vertex_Comma_list dest) {
    if (is_equal) history.pop();
    }
  public void before_ns(Adjacency source, Neighbors dest) {
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp4 = obj.get_ns();
      if(temp4==null) { is_equal = false; return; }
      history.push(temp4);
    }
    }
  public void after_ns(Adjacency source, Neighbors dest) {
    if (is_equal) history.pop();
    }
  public void before(Adjacency host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Neighbors host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_construct_ns(Neighbors_wc source, Any_vertex_List dest) {
    if (is_equal) {
      Neighbors_wc obj = (Neighbors_wc) history.peek();
      Object temp5 = obj.get_construct_ns();
      if(temp5==null) { is_equal = false; return; }
      history.push(temp5);
    }
    }
  public void after_construct_ns(Neighbors_wc source, Any_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Neighbors_wc host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Construct_ns host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_alternat_ns(Alternat_ns source, Term_Bar_list dest) {
    if (is_equal) {
      Alternat_ns obj = (Alternat_ns) history.peek();
      Object temp6 = obj.get_alternat_ns();
      if(temp6==null) { is_equal = false; return; }
      history.push(temp6);
    }
    }
  public void after_alternat_ns(Alternat_ns source, Term_Bar_list dest) {
    if (is_equal) history.pop();
    }
  public void before_common(Alternat_ns source, Common dest) {
    if (is_equal) {
      Alternat_ns obj = (Alternat_ns) history.peek();
      Object temp7 = obj.get_common();
      if(temp7==null) { is_equal = false; return; }
      history.push(temp7);
    }
    }
  public void after_common(Alternat_ns source, Common dest) {
    if (is_equal) history.pop();
    }
  public void before(Alternat_ns host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Common host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_sandwiched(Repetit_n source, Kernel_Sandwich dest) {
    if (is_equal) {
      Repetit_n obj = (Repetit_n) history.peek();
      Object temp8 = obj.get_sandwiched();
      if(temp8==null) { is_equal = false; return; }
      history.push(temp8);
    }
    }
  public void after_sandwiched(Repetit_n source, Kernel_Sandwich dest) {
    if (is_equal) history.pop();
    }
  public void before(Repetit_n host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_nonempty(Kernel source, Term dest) {
    if (is_equal) {
      Kernel obj = (Kernel) history.peek();
      Object temp9 = obj.get_nonempty();
      if(temp9==null) { is_equal = false; return; }
      history.push(temp9);
    }
    }
  public void after_nonempty(Kernel source, Term dest) {
    if (is_equal) history.pop();
    }
  public void before_repeated(Kernel source, Term_Sandwich dest) {
    if (is_equal) {
      Kernel obj = (Kernel) history.peek();
      Object temp10 = obj.get_repeated();
      if(temp10==null) { is_equal = false; return; }
      history.push(temp10);
    }
    }
  public void after_repeated(Kernel source, Term_Sandwich dest) {
    if (is_equal) history.pop();
    }
  public void before(Kernel host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Any_vertex host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Vertex host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp11 = host.get_vertex_name();
    Object temp12 = ((Vertex) obj).get_vertex_name();
    if(temp11 == null && temp12 == null) {}
    else if(temp11 == null ||
            temp12 == null ||
            !temp11.equals(temp12)) { is_equal = false; return; }
    }
  public void before(Syntax_vertex host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Print_command host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Print_indent host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Print_unindent host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Print_skip host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Print_space host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Regular_syntax host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp13 = host.get_string();
    Object temp14 = ((Regular_syntax) obj).get_string();
    if(temp13 == null && temp14 == null) {}
    else if(temp13 == null ||
            temp14 == null ||
            !temp13.equals(temp14)) { is_equal = false; return; }
    }
  public void before_vertex(Opt_labeled_term source, Term dest) {
    if (is_equal) {
      Opt_labeled_term obj = (Opt_labeled_term) history.peek();
      Object temp15 = obj.get_vertex();
      if(temp15==null) { is_equal = false; return; }
      history.push(temp15);
    }
    }
  public void after_vertex(Opt_labeled_term source, Term dest) {
    if (is_equal) history.pop();
    }
  public void before(Opt_labeled_term host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Regular host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Labeled host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp16 = host.get_label_name();
    Object temp17 = ((Labeled) obj).get_label_name();
    if(temp16 == null && temp17 == null) {}
    else if(temp16 == null ||
            temp17 == null ||
            !temp16.equals(temp17)) { is_equal = false; return; }
    }
  public void before_vertex(Term source, Vertex dest) {
    if (is_equal) {
      Term obj = (Term) history.peek();
      Object temp18 = obj.get_vertex();
      if(temp18==null) { is_equal = false; return; }
      history.push(temp18);
    }
    }
  public void after_vertex(Term source, Vertex dest) {
    if (is_equal) history.pop();
    }
  public void before_module_name(Term source, Module_name dest) {
    if (is_equal) {
      Term obj = (Term) history.peek();
      Object temp19 = obj.get_module_name();
      if(temp19==null) { is_equal = false; return; }
      history.push(temp19);
    }
    }
  public void after_module_name(Term source, Module_name dest) {
    if (is_equal) history.pop();
    }
  public void before_actual_parameters(Term source, Term_Comma_list dest) {
    if (is_equal) {
      Term obj = (Term) history.peek();
      Object temp20 = obj.get_actual_parameters();
      if(temp20==null) { is_equal = false; return; }
      history.push(temp20);
    }
    }
  public void after_actual_parameters(Term source, Term_Comma_list dest) {
    if (is_equal) history.pop();
    }
  public void before(Term host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(Module_name host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp21 = host.get_module_name();
    Object temp22 = ((Module_name) obj).get_module_name();
    if(temp21 == null && temp22 == null) {}
    else if(temp21 == null ||
            temp22 == null ||
            !temp21.equals(temp22)) { is_equal = false; return; }
    }
  public void before(Normal host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {
    if (is_equal) {
      Optional_term obj = (Optional_term) history.peek();
      Object temp23 = obj.get_opt();
      if(temp23==null) { is_equal = false; return; }
      history.push(temp23);
    }
    }
  public void after_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {
    if (is_equal) history.pop();
    }
  public void before(Optional_term host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(FlattenVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(UndefinedVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(UniqueVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(PrintVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((PrintVisitor) obj).get_indent();
    is_equal = is_equal && host.get_needSpace() == ((PrintVisitor) obj).get_needSpace();
    }
  public void before(CopyVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp24 = host.get_copy();
    Object temp25 = ((CopyVisitor) obj).get_copy();
    if(temp24 == null && temp25 == null) {}
    else if(temp24 == null ||
            temp25 == null ||
            !temp24.equals(temp25)) { is_equal = false; return; }
    }
  public void before(SubgraphVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_is_equal() == ((SubgraphVisitor) obj).get_is_equal();
    }
  public void before(EqualVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_is_equal() == ((EqualVisitor) obj).get_is_equal();
    }
  public void before(DisplayVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((DisplayVisitor) obj).get_indent();
    }
  public void before(TraceVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((TraceVisitor) obj).get_indent();
    }
  public void before(UniversalVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {
    if (is_equal) {
      Adjacency_Nlist obj = (Adjacency_Nlist) history.peek();
      Object temp26 = obj.get_first();
      if(temp26==null) { is_equal = false; return; }
      history.push(temp26);
    }
    }
  public void after_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {
    if (is_equal) history.pop();
    }
  public void before(Adjacency_Nlist host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {
    if (is_equal) {
      Vertex_Comma_list obj = (Vertex_Comma_list) history.peek();
      Object temp27 = obj.get_first();
      if(temp27==null) { is_equal = false; return; }
      history.push(temp27);
    }
    }
  public void after_first(Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {
    if (is_equal) history.pop();
    }
  public void before(Vertex_Comma_list host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {
    if (is_equal) {
      Any_vertex_List obj = (Any_vertex_List) history.peek();
      Object temp28 = obj.get_first();
      if(temp28==null) { is_equal = false; return; }
      history.push(temp28);
    }
    }
  public void after_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Any_vertex_List host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {
    if (is_equal) {
      Term_Bar_list obj = (Term_Bar_list) history.peek();
      Object temp29 = obj.get_first();
      if(temp29==null) { is_equal = false; return; }
      history.push(temp29);
    }
    }
  public void after_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {
    if (is_equal) history.pop();
    }
  public void before(Term_Bar_list host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Kernel_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) {
      Kernel_Sandwich obj = (Kernel_Sandwich) history.peek();
      Object temp30 = obj.get_first();
      if(temp30==null) { is_equal = false; return; }
      history.push(temp30);
    }
    }
  public void after_first(Kernel_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before_inner(Kernel_Sandwich source, Kernel dest) {
    if (is_equal) {
      Kernel_Sandwich obj = (Kernel_Sandwich) history.peek();
      Object temp31 = obj.get_inner();
      if(temp31==null) { is_equal = false; return; }
      history.push(temp31);
    }
    }
  public void after_inner(Kernel_Sandwich source, Kernel dest) {
    if (is_equal) history.pop();
    }
  public void before_second(Kernel_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) {
      Kernel_Sandwich obj = (Kernel_Sandwich) history.peek();
      Object temp32 = obj.get_second();
      if(temp32==null) { is_equal = false; return; }
      history.push(temp32);
    }
    }
  public void after_second(Kernel_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Kernel_Sandwich host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) {
      Term_Sandwich obj = (Term_Sandwich) history.peek();
      Object temp33 = obj.get_first();
      if(temp33==null) { is_equal = false; return; }
      history.push(temp33);
    }
    }
  public void after_first(Term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before_inner(Term_Sandwich source, Term dest) {
    if (is_equal) {
      Term_Sandwich obj = (Term_Sandwich) history.peek();
      Object temp34 = obj.get_inner();
      if(temp34==null) { is_equal = false; return; }
      history.push(temp34);
    }
    }
  public void after_inner(Term_Sandwich source, Term dest) {
    if (is_equal) history.pop();
    }
  public void before_second(Term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) {
      Term_Sandwich obj = (Term_Sandwich) history.peek();
      Object temp35 = obj.get_second();
      if(temp35==null) { is_equal = false; return; }
      history.push(temp35);
    }
    }
  public void after_second(Term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Term_Sandwich host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Term_Comma_list source, Nonempty_Term_Comma_list dest) {
    if (is_equal) {
      Term_Comma_list obj = (Term_Comma_list) history.peek();
      Object temp36 = obj.get_first();
      if(temp36==null) { is_equal = false; return; }
      history.push(temp36);
    }
    }
  public void after_first(Term_Comma_list source, Nonempty_Term_Comma_list dest) {
    if (is_equal) history.pop();
    }
  public void before(Term_Comma_list host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) {
      Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek();
      Object temp37 = obj.get_first();
      if(temp37==null) { is_equal = false; return; }
      history.push(temp37);
    }
    }
  public void after_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {
    if (is_equal) {
      Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek();
      Object temp38 = obj.get_inner();
      if(temp38==null) { is_equal = false; return; }
      history.push(temp38);
    }
    }
  public void after_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {
    if (is_equal) history.pop();
    }
  public void before_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) {
      Opt_labeled_term_Sandwich obj = (Opt_labeled_term_Sandwich) history.peek();
      Object temp39 = obj.get_second();
      if(temp39==null) { is_equal = false; return; }
      history.push(temp39);
    }
    }
  public void after_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Opt_labeled_term_Sandwich host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {
    if (is_equal) {
      Syntax_vertex_List obj = (Syntax_vertex_List) history.peek();
      Object temp40 = obj.get_first();
      if(temp40==null) { is_equal = false; return; }
      history.push(temp40);
    }
    }
  public void after_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Syntax_vertex_List host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {
    if (is_equal) {
      Nonempty_Adjacency_Nlist obj = (Nonempty_Adjacency_Nlist) history.peek();
      Object temp41 = obj.get_it();
      if(temp41==null) { is_equal = false; return; }
      history.push(temp41);
    }
    }
  public void after_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {
    if (is_equal) history.pop();
    }
  public void before_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {
    if (is_equal) {
      Nonempty_Adjacency_Nlist obj = (Nonempty_Adjacency_Nlist) history.peek();
      Object temp42 = obj.get_next();
      if(temp42==null) { is_equal = false; return; }
      history.push(temp42);
    }
    }
  public void after_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {
    if (is_equal) history.pop();
    }
  public void before(Nonempty_Adjacency_Nlist host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_it(Nonempty_Vertex_Comma_list source, Vertex dest) {
    if (is_equal) {
      Nonempty_Vertex_Comma_list obj = (Nonempty_Vertex_Comma_list) history.peek();
      Object temp43 = obj.get_it();
      if(temp43==null) { is_equal = false; return; }
      history.push(temp43);
    }
    }
  public void after_it(Nonempty_Vertex_Comma_list source, Vertex dest) {
    if (is_equal) history.pop();
    }
  public void before_next(Nonempty_Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {
    if (is_equal) {
      Nonempty_Vertex_Comma_list obj = (Nonempty_Vertex_Comma_list) history.peek();
      Object temp44 = obj.get_next();
      if(temp44==null) { is_equal = false; return; }
      history.push(temp44);
    }
    }
  public void after_next(Nonempty_Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {
    if (is_equal) history.pop();
    }
  public void before(Nonempty_Vertex_Comma_list host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_it(Nonempty_Any_vertex_List source, Any_vertex dest) {
    if (is_equal) {
      Nonempty_Any_vertex_List obj = (Nonempty_Any_vertex_List) history.peek();
      Object temp45 = obj.get_it();
      if(temp45==null) { is_equal = false; return; }
      history.push(temp45);
    }
    }
  public void after_it(Nonempty_Any_vertex_List source, Any_vertex dest) {
    if (is_equal) history.pop();
    }
  public void before_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {
    if (is_equal) {
      Nonempty_Any_vertex_List obj = (Nonempty_Any_vertex_List) history.peek();
      Object temp46 = obj.get_next();
      if(temp46==null) { is_equal = false; return; }
      history.push(temp46);
    }
    }
  public void after_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Nonempty_Any_vertex_List host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_it(Nonempty_Term_Bar_list source, Term dest) {
    if (is_equal) {
      Nonempty_Term_Bar_list obj = (Nonempty_Term_Bar_list) history.peek();
      Object temp47 = obj.get_it();
      if(temp47==null) { is_equal = false; return; }
      history.push(temp47);
    }
    }
  public void after_it(Nonempty_Term_Bar_list source, Term dest) {
    if (is_equal) history.pop();
    }
  public void before_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {
    if (is_equal) {
      Nonempty_Term_Bar_list obj = (Nonempty_Term_Bar_list) history.peek();
      Object temp48 = obj.get_next();
      if(temp48==null) { is_equal = false; return; }
      history.push(temp48);
    }
    }
  public void after_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {
    if (is_equal) history.pop();
    }
  public void before(Nonempty_Term_Bar_list host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_it(Nonempty_Term_Comma_list source, Term dest) {
    if (is_equal) {
      Nonempty_Term_Comma_list obj = (Nonempty_Term_Comma_list) history.peek();
      Object temp49 = obj.get_it();
      if(temp49==null) { is_equal = false; return; }
      history.push(temp49);
    }
    }
  public void after_it(Nonempty_Term_Comma_list source, Term dest) {
    if (is_equal) history.pop();
    }
  public void before_next(Nonempty_Term_Comma_list source, Nonempty_Term_Comma_list dest) {
    if (is_equal) {
      Nonempty_Term_Comma_list obj = (Nonempty_Term_Comma_list) history.peek();
      Object temp50 = obj.get_next();
      if(temp50==null) { is_equal = false; return; }
      history.push(temp50);
    }
    }
  public void after_next(Nonempty_Term_Comma_list source, Nonempty_Term_Comma_list dest) {
    if (is_equal) history.pop();
    }
  public void before(Nonempty_Term_Comma_list host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {
    if (is_equal) {
      Nonempty_Syntax_vertex_List obj = (Nonempty_Syntax_vertex_List) history.peek();
      Object temp51 = obj.get_it();
      if(temp51==null) { is_equal = false; return; }
      history.push(temp51);
    }
    }
  public void after_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {
    if (is_equal) history.pop();
    }
  public void before_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {
    if (is_equal) {
      Nonempty_Syntax_vertex_List obj = (Nonempty_Syntax_vertex_List) history.peek();
      Object temp52 = obj.get_next();
      if(temp52==null) { is_equal = false; return; }
      history.push(temp52);
    }
    }
  public void after_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Nonempty_Syntax_vertex_List host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
   boolean get_return_val() { return is_equal ;   }
    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_);
  }

}