// 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 -> Blackboard, players, Player_List {{ if (is_equal) { Blackboard obj = (Blackboard) history.peek(); Object temp1 = obj.get_players(); if(temp1==null) { is_equal = false; return; } history.push(temp1); } }} after -> Blackboard, players, Player_List {{ if (is_equal) history.pop(); }} before -> Blackboard, store, Store {{ if (is_equal) { Blackboard obj = (Blackboard) history.peek(); Object temp2 = obj.get_store(); if(temp2==null) { is_equal = false; return; } history.push(temp2); } }} after -> Blackboard, store, Store {{ if (is_equal) history.pop(); }} before -> Blackboard, transactions, Transaction_List {{ if (is_equal) { Blackboard obj = (Blackboard) history.peek(); Object temp3 = obj.get_transactions(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } }} after -> Blackboard, transactions, Transaction_List {{ if (is_equal) history.pop(); }} before -> Blackboard, history, History {{ if (is_equal) { Blackboard obj = (Blackboard) history.peek(); Object temp4 = obj.get_history(); if(temp4==null) { is_equal = false; return; } history.push(temp4); } }} after -> Blackboard, history, History {{ if (is_equal) history.pop(); }} before Blackboard {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Player, name, PlayerName {{ if (is_equal) { Player obj = (Player) history.peek(); Object temp5 = obj.get_name(); if(temp5==null) { is_equal = false; return; } history.push(temp5); } }} after -> Player, name, PlayerName {{ if (is_equal) history.pop(); }} before -> Player, turn, Turn {{ if (is_equal) { Player obj = (Player) history.peek(); Object temp6 = obj.get_turn(); if(temp6==null) { is_equal = false; return; } history.push(temp6); } }} after -> Player, turn, Turn {{ if (is_equal) history.pop(); }} before -> Player, account, Money {{ if (is_equal) { Player obj = (Player) history.peek(); Object temp7 = obj.get_account(); if(temp7==null) { is_equal = false; return; } history.push(temp7); } }} after -> Player, account, Money {{ if (is_equal) history.pop(); }} before -> Player, publickey, PublicKey {{ if (is_equal) { Player obj = (Player) history.peek(); Object temp8 = obj.get_publickey(); if(temp8==null) { is_equal = false; return; } history.push(temp8); } }} after -> Player, publickey, PublicKey {{ if (is_equal) history.pop(); }} before Player {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before PlayerName {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp9 = host.get_v(); Object temp10 = ((PlayerName) obj).get_v(); if(temp9 == null && temp10 == null) {} else if(temp9 == null || temp10 == null || !temp9.equals(temp10)) { is_equal = false; return; } }} before Turn {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Yes {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Done {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before No {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before PublicKey {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> History, transaction_elist, Transaction_EList {{ if (is_equal) { History obj = (History) history.peek(); Object temp11 = obj.get_transaction_elist(); if(temp11==null) { is_equal = false; return; } history.push(temp11); } }} after -> History, transaction_elist, Transaction_EList {{ if (is_equal) history.pop(); }} before History {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Store, store_elist, Store_EList {{ if (is_equal) { Store obj = (Store) history.peek(); Object temp12 = obj.get_store_elist(); if(temp12==null) { is_equal = false; return; } history.push(temp12); } }} after -> Store, store_elist, Store_EList {{ if (is_equal) history.pop(); }} before Store {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Transaction, playername, PlayerName {{ if (is_equal) { Transaction obj = (Transaction) history.peek(); Object temp13 = obj.get_playername(); if(temp13==null) { is_equal = false; return; } history.push(temp13); } }} after -> Transaction, playername, PlayerName {{ if (is_equal) history.pop(); }} before -> Transaction, derivative, Derivative {{ if (is_equal) { Transaction obj = (Transaction) history.peek(); Object temp14 = obj.get_derivative(); if(temp14==null) { is_equal = false; return; } history.push(temp14); } }} after -> Transaction, derivative, Derivative {{ if (is_equal) history.pop(); }} before -> Transaction, digitalsignature, DigitalSignature {{ if (is_equal) { Transaction obj = (Transaction) history.peek(); Object temp15 = obj.get_digitalsignature(); if(temp15==null) { is_equal = false; return; } history.push(temp15); } }} after -> Transaction, digitalsignature, DigitalSignature {{ if (is_equal) history.pop(); }} before Transaction {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Buy {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Offer {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before DeliverR {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Finish {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before DigitalSignature {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Derivative, name, DerivativeName {{ if (is_equal) { Derivative obj = (Derivative) history.peek(); Object temp16 = obj.get_name(); if(temp16==null) { is_equal = false; return; } history.push(temp16); } }} after -> Derivative, name, DerivativeName {{ if (is_equal) history.pop(); }} before -> Derivative, creator, PlayerName {{ if (is_equal) { Derivative obj = (Derivative) history.peek(); Object temp17 = obj.get_creator(); if(temp17==null) { is_equal = false; return; } history.push(temp17); } }} after -> Derivative, creator, PlayerName {{ if (is_equal) history.pop(); }} before -> Derivative, price, Money {{ if (is_equal) { Derivative obj = (Derivative) history.peek(); Object temp18 = obj.get_price(); if(temp18==null) { is_equal = false; return; } history.push(temp18); } }} after -> Derivative, price, Money {{ if (is_equal) history.pop(); }} before -> Derivative, type, DerivativeType {{ if (is_equal) { Derivative obj = (Derivative) history.peek(); Object temp19 = obj.get_type(); if(temp19==null) { is_equal = false; return; } history.push(temp19); } }} after -> Derivative, type, DerivativeType {{ if (is_equal) history.pop(); }} before -> Derivative, boughtBy, PlayerName {{ if (is_equal) { Derivative obj = (Derivative) history.peek(); Object temp20 = obj.get_boughtBy(); if(temp20==null) { is_equal = false; return; } history.push(temp20); } }} after -> Derivative, boughtBy, PlayerName {{ if (is_equal) history.pop(); }} before -> Derivative, rawMaterial, RawMaterial {{ if (is_equal) { Derivative obj = (Derivative) history.peek(); Object temp21 = obj.get_rawMaterial(); if(temp21==null) { is_equal = false; return; } history.push(temp21); } }} after -> Derivative, rawMaterial, RawMaterial {{ if (is_equal) history.pop(); }} before -> Derivative, finishedProduct, FinishedProduct {{ if (is_equal) { Derivative obj = (Derivative) history.peek(); Object temp22 = obj.get_finishedProduct(); if(temp22==null) { is_equal = false; return; } history.push(temp22); } }} after -> Derivative, finishedProduct, FinishedProduct {{ if (is_equal) history.pop(); }} before Derivative {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> FinishedProduct, assignment, Assignment {{ if (is_equal) { FinishedProduct obj = (FinishedProduct) history.peek(); Object temp23 = obj.get_assignment(); if(temp23==null) { is_equal = false; return; } history.push(temp23); } }} after -> FinishedProduct, assignment, Assignment {{ if (is_equal) history.pop(); }} before -> FinishedProduct, quality, Money {{ if (is_equal) { FinishedProduct obj = (FinishedProduct) history.peek(); Object temp24 = obj.get_quality(); if(temp24==null) { is_equal = false; return; } history.push(temp24); } }} after -> FinishedProduct, quality, Money {{ if (is_equal) history.pop(); }} before FinishedProduct {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before DerivativeName {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp25 = host.get_name(); Object temp26 = ((DerivativeName) obj).get_name(); if(temp25 == null && temp26 == null) {} else if(temp25 == null || temp26 == null || !temp25.equals(temp26)) { is_equal = false; return; } }} before Money {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_price() == ((Money) obj).get_price(); }} before BoughtBy {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp27 = host.get_buyer(); Object temp28 = ((BoughtBy) obj).get_buyer(); if(temp27 == null && temp28 == null) {} else if(temp27 == null || temp28 == null || !temp27.equals(temp28)) { is_equal = false; return; } }} before -> DerivativeType, clausetype_list, ClauseType_List {{ if (is_equal) { DerivativeType obj = (DerivativeType) history.peek(); Object temp29 = obj.get_clausetype_list(); if(temp29==null) { is_equal = false; return; } history.push(temp29); } }} after -> DerivativeType, clausetype_list, ClauseType_List {{ if (is_equal) history.pop(); }} before DerivativeType {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> ClauseType, total_literal_num, TotalLiteralNum {{ if (is_equal) { ClauseType obj = (ClauseType) history.peek(); Object temp30 = obj.get_total_literal_num(); if(temp30==null) { is_equal = false; return; } history.push(temp30); } }} after -> ClauseType, total_literal_num, TotalLiteralNum {{ if (is_equal) history.pop(); }} before -> ClauseType, pos_literal_num, PosLiteralNum {{ if (is_equal) { ClauseType obj = (ClauseType) history.peek(); Object temp31 = obj.get_pos_literal_num(); if(temp31==null) { is_equal = false; return; } history.push(temp31); } }} after -> ClauseType, pos_literal_num, PosLiteralNum {{ if (is_equal) history.pop(); }} before ClauseType {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before TotalLiteralNum {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp32 = host.get_number(); Object temp33 = ((TotalLiteralNum) obj).get_number(); if(temp32 == null && temp33 == null) {} else if(temp32 == null || temp33 == null || !temp32.equals(temp33)) { is_equal = false; return; } }} before PosLiteralNum {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp34 = host.get_number(); Object temp35 = ((PosLiteralNum) obj).get_number(); if(temp34 == null && temp35 == null) {} else if(temp34 == null || temp35 == null || !temp34.equals(temp35)) { is_equal = false; return; } }} before -> RawMaterial, clause_list, Clause_List {{ if (is_equal) { RawMaterial obj = (RawMaterial) history.peek(); Object temp36 = obj.get_clause_list(); if(temp36==null) { is_equal = false; return; } history.push(temp36); } }} after -> RawMaterial, clause_list, Clause_List {{ if (is_equal) history.pop(); }} before RawMaterial {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Clause, weight, Weight {{ if (is_equal) { Clause obj = (Clause) history.peek(); Object temp37 = obj.get_weight(); if(temp37==null) { is_equal = false; return; } history.push(temp37); } }} after -> Clause, weight, Weight {{ if (is_equal) history.pop(); }} before -> Clause, lit_list, Lit_List {{ if (is_equal) { Clause obj = (Clause) history.peek(); Object temp38 = obj.get_lit_list(); if(temp38==null) { is_equal = false; return; } history.push(temp38); } }} after -> Clause, lit_list, Lit_List {{ if (is_equal) history.pop(); }} before Clause {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Weight {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp39 = host.get_number(); Object temp40 = ((Weight) obj).get_number(); if(temp39 == null && temp40 == null) {} else if(temp39 == null || temp40 == null || !temp39.equals(temp40)) { is_equal = false; return; } }} before -> Lit, literal, Literal {{ if (is_equal) { Lit obj = (Lit) history.peek(); Object temp41 = obj.get_literal(); if(temp41==null) { is_equal = false; return; } history.push(temp41); } }} after -> Lit, literal, Literal {{ if (is_equal) history.pop(); }} before Lit {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Literal {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> PosLiteral, variable, Variable {{ if (is_equal) { PosLiteral obj = (PosLiteral) history.peek(); Object temp42 = obj.get_variable(); if(temp42==null) { is_equal = false; return; } history.push(temp42); } }} after -> PosLiteral, variable, Variable {{ if (is_equal) history.pop(); }} before PosLiteral {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> NegLiteral, variable, Variable {{ if (is_equal) { NegLiteral obj = (NegLiteral) history.peek(); Object temp43 = obj.get_variable(); if(temp43==null) { is_equal = false; return; } history.push(temp43); } }} after -> NegLiteral, variable, Variable {{ if (is_equal) history.pop(); }} before NegLiteral {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Variable {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp44 = host.get_v(); Object temp45 = ((Variable) obj).get_v(); if(temp44 == null && temp45 == null) {} else if(temp44 == null || temp45 == null || !temp44.equals(temp45)) { is_equal = false; return; } }} before -> Assignment, varassignment_list, VarAssignment_List {{ if (is_equal) { Assignment obj = (Assignment) history.peek(); Object temp46 = obj.get_varassignment_list(); if(temp46==null) { is_equal = false; return; } history.push(temp46); } }} after -> Assignment, varassignment_list, VarAssignment_List {{ if (is_equal) history.pop(); }} before Assignment {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> VarAssignment, lit, Lit {{ if (is_equal) { VarAssignment obj = (VarAssignment) history.peek(); Object temp47 = obj.get_lit(); if(temp47==null) { is_equal = false; return; } history.push(temp47); } }} after -> VarAssignment, lit, Lit {{ if (is_equal) history.pop(); }} before VarAssignment {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Quality {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp48 = host.get_number(); Object temp49 = ((Quality) obj).get_number(); if(temp48 == null && temp49 == null) {} else if(temp48 == null || temp49 == null || !temp48.equals(temp49)) { is_equal = false; return; } }} before Main {{ 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 temp50 = host.get_copy(); Object temp51 = ((CopyVisitor) obj).get_copy(); if(temp50 == null && temp51 == null) {} else if(temp50 == null || temp51 == null || !temp50.equals(temp51)) { 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 -> Player_List, first, Nonempty_Player_List {{ if (is_equal) { Player_List obj = (Player_List) history.peek(); Object temp52 = obj.get_first(); if(temp52==null) { is_equal = false; return; } history.push(temp52); } }} after -> Player_List, first, Nonempty_Player_List {{ if (is_equal) history.pop(); }} before Player_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Transaction_List, first, Nonempty_Transaction_List {{ if (is_equal) { Transaction_List obj = (Transaction_List) history.peek(); Object temp53 = obj.get_first(); if(temp53==null) { is_equal = false; return; } history.push(temp53); } }} after -> Transaction_List, first, Nonempty_Transaction_List {{ if (is_equal) history.pop(); }} before Transaction_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Transaction_EList, first, Nonempty_Transaction_EList {{ if (is_equal) { Transaction_EList obj = (Transaction_EList) history.peek(); Object temp54 = obj.get_first(); if(temp54==null) { is_equal = false; return; } history.push(temp54); } }} after -> Transaction_EList, first, Nonempty_Transaction_EList {{ if (is_equal) history.pop(); }} before Transaction_EList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Store_EList, first, Nonempty_Store_EList {{ if (is_equal) { Store_EList obj = (Store_EList) history.peek(); Object temp55 = obj.get_first(); if(temp55==null) { is_equal = false; return; } history.push(temp55); } }} after -> Store_EList, first, Nonempty_Store_EList {{ if (is_equal) history.pop(); }} before Store_EList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> ClauseType_List, first, Nonempty_ClauseType_List {{ if (is_equal) { ClauseType_List obj = (ClauseType_List) history.peek(); Object temp56 = obj.get_first(); if(temp56==null) { is_equal = false; return; } history.push(temp56); } }} after -> ClauseType_List, first, Nonempty_ClauseType_List {{ if (is_equal) history.pop(); }} before ClauseType_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Clause_List, first, Nonempty_Clause_List {{ if (is_equal) { Clause_List obj = (Clause_List) history.peek(); Object temp57 = obj.get_first(); if(temp57==null) { is_equal = false; return; } history.push(temp57); } }} after -> Clause_List, first, Nonempty_Clause_List {{ if (is_equal) history.pop(); }} before Clause_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Lit_List, first, Nonempty_Lit_List {{ if (is_equal) { Lit_List obj = (Lit_List) history.peek(); Object temp58 = obj.get_first(); if(temp58==null) { is_equal = false; return; } history.push(temp58); } }} after -> Lit_List, first, Nonempty_Lit_List {{ if (is_equal) history.pop(); }} before Lit_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> VarAssignment_List, first, Nonempty_VarAssignment_List {{ if (is_equal) { VarAssignment_List obj = (VarAssignment_List) history.peek(); Object temp59 = obj.get_first(); if(temp59==null) { is_equal = false; return; } history.push(temp59); } }} after -> VarAssignment_List, first, Nonempty_VarAssignment_List {{ if (is_equal) history.pop(); }} before VarAssignment_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Player_List, it, Player {{ if (is_equal) { Nonempty_Player_List obj = (Nonempty_Player_List) history.peek(); Object temp60 = obj.get_it(); if(temp60==null) { is_equal = false; return; } history.push(temp60); } }} after -> Nonempty_Player_List, it, Player {{ if (is_equal) history.pop(); }} before -> Nonempty_Player_List, next, Nonempty_Player_List {{ if (is_equal) { Nonempty_Player_List obj = (Nonempty_Player_List) history.peek(); Object temp61 = obj.get_next(); if(temp61==null) { is_equal = false; return; } history.push(temp61); } }} after -> Nonempty_Player_List, next, Nonempty_Player_List {{ if (is_equal) history.pop(); }} before Nonempty_Player_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Transaction_List, it, Transaction {{ if (is_equal) { Nonempty_Transaction_List obj = (Nonempty_Transaction_List) history.peek(); Object temp62 = obj.get_it(); if(temp62==null) { is_equal = false; return; } history.push(temp62); } }} after -> Nonempty_Transaction_List, it, Transaction {{ if (is_equal) history.pop(); }} before -> Nonempty_Transaction_List, next, Nonempty_Transaction_List {{ if (is_equal) { Nonempty_Transaction_List obj = (Nonempty_Transaction_List) history.peek(); Object temp63 = obj.get_next(); if(temp63==null) { is_equal = false; return; } history.push(temp63); } }} after -> Nonempty_Transaction_List, next, Nonempty_Transaction_List {{ if (is_equal) history.pop(); }} before Nonempty_Transaction_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Transaction_EList, it, Transaction {{ if (is_equal) { Nonempty_Transaction_EList obj = (Nonempty_Transaction_EList) history.peek(); Object temp64 = obj.get_it(); if(temp64==null) { is_equal = false; return; } history.push(temp64); } }} after -> Nonempty_Transaction_EList, it, Transaction {{ if (is_equal) history.pop(); }} before -> Nonempty_Transaction_EList, next, Nonempty_Transaction_EList {{ if (is_equal) { Nonempty_Transaction_EList obj = (Nonempty_Transaction_EList) history.peek(); Object temp65 = obj.get_next(); if(temp65==null) { is_equal = false; return; } history.push(temp65); } }} after -> Nonempty_Transaction_EList, next, Nonempty_Transaction_EList {{ if (is_equal) history.pop(); }} before Nonempty_Transaction_EList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Store_EList, it, Store {{ if (is_equal) { Nonempty_Store_EList obj = (Nonempty_Store_EList) history.peek(); Object temp66 = obj.get_it(); if(temp66==null) { is_equal = false; return; } history.push(temp66); } }} after -> Nonempty_Store_EList, it, Store {{ if (is_equal) history.pop(); }} before -> Nonempty_Store_EList, next, Nonempty_Store_EList {{ if (is_equal) { Nonempty_Store_EList obj = (Nonempty_Store_EList) history.peek(); Object temp67 = obj.get_next(); if(temp67==null) { is_equal = false; return; } history.push(temp67); } }} after -> Nonempty_Store_EList, next, Nonempty_Store_EList {{ if (is_equal) history.pop(); }} before Nonempty_Store_EList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_ClauseType_List, it, ClauseType {{ if (is_equal) { Nonempty_ClauseType_List obj = (Nonempty_ClauseType_List) history.peek(); Object temp68 = obj.get_it(); if(temp68==null) { is_equal = false; return; } history.push(temp68); } }} after -> Nonempty_ClauseType_List, it, ClauseType {{ if (is_equal) history.pop(); }} before -> Nonempty_ClauseType_List, next, Nonempty_ClauseType_List {{ if (is_equal) { Nonempty_ClauseType_List obj = (Nonempty_ClauseType_List) history.peek(); Object temp69 = obj.get_next(); if(temp69==null) { is_equal = false; return; } history.push(temp69); } }} after -> Nonempty_ClauseType_List, next, Nonempty_ClauseType_List {{ if (is_equal) history.pop(); }} before Nonempty_ClauseType_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Clause_List, it, Clause {{ if (is_equal) { Nonempty_Clause_List obj = (Nonempty_Clause_List) history.peek(); Object temp70 = obj.get_it(); if(temp70==null) { is_equal = false; return; } history.push(temp70); } }} after -> Nonempty_Clause_List, it, Clause {{ if (is_equal) history.pop(); }} before -> Nonempty_Clause_List, next, Nonempty_Clause_List {{ if (is_equal) { Nonempty_Clause_List obj = (Nonempty_Clause_List) history.peek(); Object temp71 = obj.get_next(); if(temp71==null) { is_equal = false; return; } history.push(temp71); } }} after -> Nonempty_Clause_List, next, Nonempty_Clause_List {{ if (is_equal) history.pop(); }} before Nonempty_Clause_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Lit_List, it, Lit {{ if (is_equal) { Nonempty_Lit_List obj = (Nonempty_Lit_List) history.peek(); Object temp72 = obj.get_it(); if(temp72==null) { is_equal = false; return; } history.push(temp72); } }} after -> Nonempty_Lit_List, it, Lit {{ if (is_equal) history.pop(); }} before -> Nonempty_Lit_List, next, Nonempty_Lit_List {{ if (is_equal) { Nonempty_Lit_List obj = (Nonempty_Lit_List) history.peek(); Object temp73 = obj.get_next(); if(temp73==null) { is_equal = false; return; } history.push(temp73); } }} after -> Nonempty_Lit_List, next, Nonempty_Lit_List {{ if (is_equal) history.pop(); }} before Nonempty_Lit_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_VarAssignment_List, it, VarAssignment {{ if (is_equal) { Nonempty_VarAssignment_List obj = (Nonempty_VarAssignment_List) history.peek(); Object temp74 = obj.get_it(); if(temp74==null) { is_equal = false; return; } history.push(temp74); } }} after -> Nonempty_VarAssignment_List, it, VarAssignment {{ if (is_equal) history.pop(); }} before -> Nonempty_VarAssignment_List, next, Nonempty_VarAssignment_List {{ if (is_equal) { Nonempty_VarAssignment_List obj = (Nonempty_VarAssignment_List) history.peek(); Object temp75 = obj.get_next(); if(temp75==null) { is_equal = false; return; } history.push(temp75); } }} after -> Nonempty_VarAssignment_List, next, Nonempty_VarAssignment_List {{ if (is_equal) history.pop(); }} before Nonempty_VarAssignment_List {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} return boolean {{ is_equal }} }