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_parents(Neighbors_wc source, ParentList dest) {
    if (is_equal) {
      Neighbors_wc obj = (Neighbors_wc) history.peek();
      Object temp6 = obj.get_parents();
      if(temp6==null) { is_equal = false; return; }
      history.push(temp6);
    }
    }
  public void after_parents(Neighbors_wc source, ParentList 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_ps(ParentList source, Adjacency_List dest) {
    if (is_equal) {
      ParentList obj = (ParentList) history.peek();
      Object temp7 = obj.get_ps();
      if(temp7==null) { is_equal = false; return; }
      history.push(temp7);
    }
    }
  public void after_ps(ParentList source, Adjacency_List dest) {
    if (is_equal) history.pop();
    }
  public void before(ParentList 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 temp8 = obj.get_alternat_ns();
      if(temp8==null) { is_equal = false; return; }
      history.push(temp8);
    }
    }
  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 temp9 = obj.get_common();
      if(temp9==null) { is_equal = false; return; }
      history.push(temp9);
    }
    }
  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 temp10 = obj.get_sandwiched();
      if(temp10==null) { is_equal = false; return; }
      history.push(temp10);
    }
    }
  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 temp11 = obj.get_nonempty();
      if(temp11==null) { is_equal = false; return; }
      history.push(temp11);
    }
    }
  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 temp12 = obj.get_repeated();
      if(temp12==null) { is_equal = false; return; }
      history.push(temp12);
    }
    }
  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 temp13 = host.get_vertex_name();
    Object temp14 = ((Vertex) obj).get_vertex_name();
    if(temp13 == null && temp14 == null) {}
    else if(temp13 == null ||
            temp14 == null ||
            !temp13.equals(temp14)) { 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 temp15 = host.get_string();
    Object temp16 = ((Regular_syntax) obj).get_string();
    if(temp15 == null && temp16 == null) {}
    else if(temp15 == null ||
            temp16 == null ||
            !temp15.equals(temp16)) { 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 temp17 = obj.get_vertex();
      if(temp17==null) { is_equal = false; return; }
      history.push(temp17);
    }
    }
  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 temp18 = host.get_label_name();
    Object temp19 = ((Labeled) obj).get_label_name();
    if(temp18 == null && temp19 == null) {}
    else if(temp18 == null ||
            temp19 == null ||
            !temp18.equals(temp19)) { is_equal = false; return; }
    }
  public void before_vertex(Term source, Vertex dest) {
    if (is_equal) {
      Term obj = (Term) history.peek();
      Object temp20 = obj.get_vertex();
      if(temp20==null) { is_equal = false; return; }
      history.push(temp20);
    }
    }
  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 temp21 = obj.get_module_name();
      if(temp21==null) { is_equal = false; return; }
      history.push(temp21);
    }
    }
  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 temp22 = obj.get_actual_parameters();
      if(temp22==null) { is_equal = false; return; }
      history.push(temp22);
    }
    }
  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 temp23 = host.get_module_name();
    Object temp24 = ((Module_name) obj).get_module_name();
    if(temp23 == null && temp24 == null) {}
    else if(temp23 == null ||
            temp24 == null ||
            !temp23.equals(temp24)) { 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 temp25 = obj.get_opt();
      if(temp25==null) { is_equal = false; return; }
      history.push(temp25);
    }
    }
  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_rv(FindClassVisitor source, Adjacency dest) {
    if (is_equal) {
      FindClassVisitor obj = (FindClassVisitor) history.peek();
      Object temp28 = obj.get_rv();
      if(temp28==null) { is_equal = false; return; }
      history.push(temp28);
    }
    }
  public void after_rv(FindClassVisitor source, Adjacency dest) {
    if (is_equal) history.pop();
    }
  public void before(FindClassVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp26 = host.get_id();
    Object temp27 = ((FindClassVisitor) obj).get_id();
    if(temp26 == null && temp27 == null) {}
    else if(temp26 == null ||
            temp27 == null ||
            !temp26.equals(temp27)) { is_equal = false; return; }
    }
  public void before(BuildParentEdgesVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(PullDownVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(UndefClassVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(UniquePartsVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(SingleInhVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    }
  public void before(InhCycleVisitor host) {
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp29 = host.get_alreadyChecked();
    Object temp30 = ((InhCycleVisitor) obj).get_alreadyChecked();
    if(temp29 == null && temp30 == null) {}
    else if(temp29 == null ||
            temp30 == null ||
            !temp29.equals(temp30)) { is_equal = false; return; }
    }
  public void before(TBRVisitor 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 temp31 = host.get_copy();
    Object temp32 = ((CopyVisitor) obj).get_copy();
    if(temp31 == null && temp32 == null) {}
    else if(temp31 == null ||
            temp32 == null ||
            !temp31.equals(temp32)) { 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 temp33 = obj.get_first();
      if(temp33==null) { is_equal = false; return; }
      history.push(temp33);
    }
    }
  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 temp34 = obj.get_first();
      if(temp34==null) { is_equal = false; return; }
      history.push(temp34);
    }
    }
  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 temp35 = obj.get_first();
      if(temp35==null) { is_equal = false; return; }
      history.push(temp35);
    }
    }
  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(Adjacency_List source, Nonempty_Adjacency_List dest) {
    if (is_equal) {
      Adjacency_List obj = (Adjacency_List) history.peek();
      Object temp36 = obj.get_first();
      if(temp36==null) { is_equal = false; return; }
      history.push(temp36);
    }
    }
  public void after_first(Adjacency_List source, Nonempty_Adjacency_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Adjacency_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 temp37 = obj.get_first();
      if(temp37==null) { is_equal = false; return; }
      history.push(temp37);
    }
    }
  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 temp38 = obj.get_first();
      if(temp38==null) { is_equal = false; return; }
      history.push(temp38);
    }
    }
  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 temp39 = obj.get_inner();
      if(temp39==null) { is_equal = false; return; }
      history.push(temp39);
    }
    }
  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 temp40 = obj.get_second();
      if(temp40==null) { is_equal = false; return; }
      history.push(temp40);
    }
    }
  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 temp41 = obj.get_first();
      if(temp41==null) { is_equal = false; return; }
      history.push(temp41);
    }
    }
  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 temp42 = obj.get_inner();
      if(temp42==null) { is_equal = false; return; }
      history.push(temp42);
    }
    }
  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 temp43 = obj.get_second();
      if(temp43==null) { is_equal = false; return; }
      history.push(temp43);
    }
    }
  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 temp44 = obj.get_first();
      if(temp44==null) { is_equal = false; return; }
      history.push(temp44);
    }
    }
  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 temp45 = obj.get_first();
      if(temp45==null) { is_equal = false; return; }
      history.push(temp45);
    }
    }
  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 temp46 = obj.get_inner();
      if(temp46==null) { is_equal = false; return; }
      history.push(temp46);
    }
    }
  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 temp47 = obj.get_second();
      if(temp47==null) { is_equal = false; return; }
      history.push(temp47);
    }
    }
  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 temp48 = obj.get_first();
      if(temp48==null) { is_equal = false; return; }
      history.push(temp48);
    }
    }
  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 temp49 = obj.get_it();
      if(temp49==null) { is_equal = false; return; }
      history.push(temp49);
    }
    }
  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 temp50 = obj.get_next();
      if(temp50==null) { is_equal = false; return; }
      history.push(temp50);
    }
    }
  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 temp51 = obj.get_it();
      if(temp51==null) { is_equal = false; return; }
      history.push(temp51);
    }
    }
  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 temp52 = obj.get_next();
      if(temp52==null) { is_equal = false; return; }
      history.push(temp52);
    }
    }
  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 temp53 = obj.get_it();
      if(temp53==null) { is_equal = false; return; }
      history.push(temp53);
    }
    }
  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 temp54 = obj.get_next();
      if(temp54==null) { is_equal = false; return; }
      history.push(temp54);
    }
    }
  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_Adjacency_List source, Adjacency dest) {
    if (is_equal) {
      Nonempty_Adjacency_List obj = (Nonempty_Adjacency_List) history.peek();
      Object temp55 = obj.get_it();
      if(temp55==null) { is_equal = false; return; }
      history.push(temp55);
    }
    }
  public void after_it(Nonempty_Adjacency_List source, Adjacency dest) {
    if (is_equal) history.pop();
    }
  public void before_next(Nonempty_Adjacency_List source, Nonempty_Adjacency_List dest) {
    if (is_equal) {
      Nonempty_Adjacency_List obj = (Nonempty_Adjacency_List) history.peek();
      Object temp56 = obj.get_next();
      if(temp56==null) { is_equal = false; return; }
      history.push(temp56);
    }
    }
  public void after_next(Nonempty_Adjacency_List source, Nonempty_Adjacency_List dest) {
    if (is_equal) history.pop();
    }
  public void before(Nonempty_Adjacency_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 temp57 = obj.get_it();
      if(temp57==null) { is_equal = false; return; }
      history.push(temp57);
    }
    }
  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 temp58 = obj.get_next();
      if(temp58==null) { is_equal = false; return; }
      history.push(temp58);
    }
    }
  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 temp59 = obj.get_it();
      if(temp59==null) { is_equal = false; return; }
      history.push(temp59);
    }
    }
  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 temp60 = obj.get_next();
      if(temp60==null) { is_equal = false; return; }
      history.push(temp60);
    }
    }
  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 temp61 = obj.get_it();
      if(temp61==null) { is_equal = false; return; }
      history.push(temp61);
    }
    }
  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 temp62 = obj.get_next();
      if(temp62==null) { is_equal = false; return; }
      history.push(temp62);
    }
    }
  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_);
  }

}