// This file is automatically generated by DemeterJ. EqualVisitor { {{ private java.util.Stack history = new java.util.Stack(); public EqualVisitor(Object obj) { history.push(obj); } }} before Main {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Cd_graph, adjacencies, Adjacency_Nlist {{ 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); } }} after -> Cd_graph, adjacencies, Adjacency_Nlist {{ if (is_equal) history.pop(); }} before Cd_graph {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Adjacency, source, Vertex {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp2 = obj.get_source(); if(temp2==null) { is_equal = false; return; } history.push(temp2); } }} after -> Adjacency, source, Vertex {{ if (is_equal) history.pop(); }} before -> Adjacency, parameters, Vertex_Comma_list {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp3 = obj.get_parameters(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } }} after -> Adjacency, parameters, Vertex_Comma_list {{ if (is_equal) history.pop(); }} before -> Adjacency, ns, Neighbors {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp4 = obj.get_ns(); if(temp4==null) { is_equal = false; return; } history.push(temp4); } }} after -> Adjacency, ns, Neighbors {{ if (is_equal) history.pop(); }} before Adjacency {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Neighbors {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Neighbors_wc, construct_ns, Any_vertex_List {{ 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); } }} after -> Neighbors_wc, construct_ns, Any_vertex_List {{ if (is_equal) history.pop(); }} before -> Neighbors_wc, parents, ParentList {{ 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); } }} after -> Neighbors_wc, parents, ParentList {{ if (is_equal) history.pop(); }} before Neighbors_wc {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> ParentList, ps, Adjacency_List {{ if (is_equal) { ParentList obj = (ParentList) history.peek(); Object temp7 = obj.get_ps(); if(temp7==null) { is_equal = false; return; } history.push(temp7); } }} after -> ParentList, ps, Adjacency_List {{ if (is_equal) history.pop(); }} before ParentList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Construct_ns {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Alternat_ns, alternat_ns, Term_Bar_list {{ 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); } }} after -> Alternat_ns, alternat_ns, Term_Bar_list {{ if (is_equal) history.pop(); }} before -> Alternat_ns, common, Common {{ 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); } }} after -> Alternat_ns, common, Common {{ if (is_equal) history.pop(); }} before Alternat_ns {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Common {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Repetit_n, sandwiched, Kernel_Sandwich {{ 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); } }} after -> Repetit_n, sandwiched, Kernel_Sandwich {{ if (is_equal) history.pop(); }} before Repetit_n {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Kernel, nonempty, Term {{ if (is_equal) { Kernel obj = (Kernel) history.peek(); Object temp11 = obj.get_nonempty(); if(temp11==null) { is_equal = false; return; } history.push(temp11); } }} after -> Kernel, nonempty, Term {{ if (is_equal) history.pop(); }} before -> Kernel, repeated, Term_Sandwich {{ if (is_equal) { Kernel obj = (Kernel) history.peek(); Object temp12 = obj.get_repeated(); if(temp12==null) { is_equal = false; return; } history.push(temp12); } }} after -> Kernel, repeated, Term_Sandwich {{ if (is_equal) history.pop(); }} before Kernel {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Any_vertex {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Vertex {{ 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; } }} before Syntax_vertex {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Print_command {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Print_indent {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Print_unindent {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Print_skip {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Print_space {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Regular_syntax {{ 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; } }} before -> Opt_labeled_term, vertex, Term {{ 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); } }} after -> Opt_labeled_term, vertex, Term {{ if (is_equal) history.pop(); }} before Opt_labeled_term {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Regular {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Labeled {{ 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; } }} before -> Term, vertex, Vertex {{ if (is_equal) { Term obj = (Term) history.peek(); Object temp20 = obj.get_vertex(); if(temp20==null) { is_equal = false; return; } history.push(temp20); } }} after -> Term, vertex, Vertex {{ if (is_equal) history.pop(); }} before -> Term, module_name, Module_name {{ if (is_equal) { Term obj = (Term) history.peek(); Object temp21 = obj.get_module_name(); if(temp21==null) { is_equal = false; return; } history.push(temp21); } }} after -> Term, module_name, Module_name {{ if (is_equal) history.pop(); }} before -> Term, actual_parameters, Term_Comma_list {{ if (is_equal) { Term obj = (Term) history.peek(); Object temp22 = obj.get_actual_parameters(); if(temp22==null) { is_equal = false; return; } history.push(temp22); } }} after -> Term, actual_parameters, Term_Comma_list {{ if (is_equal) history.pop(); }} before Term {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Module_name {{ 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; } }} before Normal {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Optional_term, opt, Opt_labeled_term_Sandwich {{ 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); } }} after -> Optional_term, opt, Opt_labeled_term_Sandwich {{ if (is_equal) history.pop(); }} before Optional_term {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> FindClassVisitor, rv, Adjacency {{ if (is_equal) { FindClassVisitor obj = (FindClassVisitor) history.peek(); Object temp28 = obj.get_rv(); if(temp28==null) { is_equal = false; return; } history.push(temp28); } }} after -> FindClassVisitor, rv, Adjacency {{ if (is_equal) history.pop(); }} before FindClassVisitor {{ 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; } }} before BuildParentEdgesVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before PullDownVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before UndefClassVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before UniquePartsVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before SingleInhVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before InhCycleVisitor {{ 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; } }} before TBRVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before PrintVisitor {{ 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(); }} before CopyVisitor {{ 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; } }} before SubgraphVisitor {{ 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(); }} before EqualVisitor {{ 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(); }} before DisplayVisitor {{ 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(); }} before TraceVisitor {{ 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(); }} before UniversalVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Adjacency_Nlist, first, Nonempty_Adjacency_Nlist {{ 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); } }} after -> Adjacency_Nlist, first, Nonempty_Adjacency_Nlist {{ if (is_equal) history.pop(); }} before Adjacency_Nlist {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Vertex_Comma_list, first, Nonempty_Vertex_Comma_list {{ 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); } }} after -> Vertex_Comma_list, first, Nonempty_Vertex_Comma_list {{ if (is_equal) history.pop(); }} before Vertex_Comma_list {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Any_vertex_List, first, Nonempty_Any_vertex_List {{ 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); } }} after -> Any_vertex_List, first, Nonempty_Any_vertex_List {{ if (is_equal) history.pop(); }} before Any_vertex_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Adjacency_List, first, Nonempty_Adjacency_List {{ 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); } }} after -> Adjacency_List, first, Nonempty_Adjacency_List {{ if (is_equal) history.pop(); }} before Adjacency_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Term_Bar_list, first, Nonempty_Term_Bar_list {{ 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); } }} after -> Term_Bar_list, first, Nonempty_Term_Bar_list {{ if (is_equal) history.pop(); }} before Term_Bar_list {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Kernel_Sandwich, first, Syntax_vertex_List {{ 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); } }} after -> Kernel_Sandwich, first, Syntax_vertex_List {{ if (is_equal) history.pop(); }} before -> Kernel_Sandwich, inner, Kernel {{ 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); } }} after -> Kernel_Sandwich, inner, Kernel {{ if (is_equal) history.pop(); }} before -> Kernel_Sandwich, second, Syntax_vertex_List {{ 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); } }} after -> Kernel_Sandwich, second, Syntax_vertex_List {{ if (is_equal) history.pop(); }} before Kernel_Sandwich {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Term_Sandwich, first, Syntax_vertex_List {{ 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); } }} after -> Term_Sandwich, first, Syntax_vertex_List {{ if (is_equal) history.pop(); }} before -> Term_Sandwich, inner, Term {{ 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); } }} after -> Term_Sandwich, inner, Term {{ if (is_equal) history.pop(); }} before -> Term_Sandwich, second, Syntax_vertex_List {{ 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); } }} after -> Term_Sandwich, second, Syntax_vertex_List {{ if (is_equal) history.pop(); }} before Term_Sandwich {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Term_Comma_list, first, Nonempty_Term_Comma_list {{ 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); } }} after -> Term_Comma_list, first, Nonempty_Term_Comma_list {{ if (is_equal) history.pop(); }} before Term_Comma_list {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Opt_labeled_term_Sandwich, first, Syntax_vertex_List {{ 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); } }} after -> Opt_labeled_term_Sandwich, first, Syntax_vertex_List {{ if (is_equal) history.pop(); }} before -> Opt_labeled_term_Sandwich, inner, Opt_labeled_term {{ 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); } }} after -> Opt_labeled_term_Sandwich, inner, Opt_labeled_term {{ if (is_equal) history.pop(); }} before -> Opt_labeled_term_Sandwich, second, Syntax_vertex_List {{ 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); } }} after -> Opt_labeled_term_Sandwich, second, Syntax_vertex_List {{ if (is_equal) history.pop(); }} before Opt_labeled_term_Sandwich {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Syntax_vertex_List, first, Nonempty_Syntax_vertex_List {{ 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); } }} after -> Syntax_vertex_List, first, Nonempty_Syntax_vertex_List {{ if (is_equal) history.pop(); }} before Syntax_vertex_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Adjacency_Nlist, it, Adjacency {{ 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); } }} after -> Nonempty_Adjacency_Nlist, it, Adjacency {{ if (is_equal) history.pop(); }} before -> Nonempty_Adjacency_Nlist, next, Nonempty_Adjacency_Nlist {{ 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); } }} after -> Nonempty_Adjacency_Nlist, next, Nonempty_Adjacency_Nlist {{ if (is_equal) history.pop(); }} before Nonempty_Adjacency_Nlist {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Vertex_Comma_list, it, Vertex {{ 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); } }} after -> Nonempty_Vertex_Comma_list, it, Vertex {{ if (is_equal) history.pop(); }} before -> Nonempty_Vertex_Comma_list, next, Nonempty_Vertex_Comma_list {{ 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); } }} after -> Nonempty_Vertex_Comma_list, next, Nonempty_Vertex_Comma_list {{ if (is_equal) history.pop(); }} before Nonempty_Vertex_Comma_list {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Any_vertex_List, it, Any_vertex {{ 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); } }} after -> Nonempty_Any_vertex_List, it, Any_vertex {{ if (is_equal) history.pop(); }} before -> Nonempty_Any_vertex_List, next, Nonempty_Any_vertex_List {{ 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); } }} after -> Nonempty_Any_vertex_List, next, Nonempty_Any_vertex_List {{ if (is_equal) history.pop(); }} before Nonempty_Any_vertex_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Adjacency_List, it, Adjacency {{ 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); } }} after -> Nonempty_Adjacency_List, it, Adjacency {{ if (is_equal) history.pop(); }} before -> Nonempty_Adjacency_List, next, Nonempty_Adjacency_List {{ 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); } }} after -> Nonempty_Adjacency_List, next, Nonempty_Adjacency_List {{ if (is_equal) history.pop(); }} before Nonempty_Adjacency_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Term_Bar_list, it, Term {{ 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); } }} after -> Nonempty_Term_Bar_list, it, Term {{ if (is_equal) history.pop(); }} before -> Nonempty_Term_Bar_list, next, Nonempty_Term_Bar_list {{ 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); } }} after -> Nonempty_Term_Bar_list, next, Nonempty_Term_Bar_list {{ if (is_equal) history.pop(); }} before Nonempty_Term_Bar_list {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Term_Comma_list, it, Term {{ 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); } }} after -> Nonempty_Term_Comma_list, it, Term {{ if (is_equal) history.pop(); }} before -> Nonempty_Term_Comma_list, next, Nonempty_Term_Comma_list {{ 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); } }} after -> Nonempty_Term_Comma_list, next, Nonempty_Term_Comma_list {{ if (is_equal) history.pop(); }} before Nonempty_Term_Comma_list {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Syntax_vertex_List, it, Syntax_vertex {{ 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); } }} after -> Nonempty_Syntax_vertex_List, it, Syntax_vertex {{ if (is_equal) history.pop(); }} before -> Nonempty_Syntax_vertex_List, next, Nonempty_Syntax_vertex_List {{ 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); } }} after -> Nonempty_Syntax_vertex_List, next, Nonempty_Syntax_vertex_List {{ if (is_equal) history.pop(); }} before Nonempty_Syntax_vertex_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} return boolean {{ is_equal }} }