// 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 -> Bank, businessunit_list, BusinessUnit_List {{
    if (is_equal) {
      Bank obj = (Bank) history.peek();
      Object temp1 = obj.get_businessunit_list();
      if(temp1==null) { is_equal = false; return; }
      history.push(temp1);
    }
  }}
  after -> Bank, businessunit_list, BusinessUnit_List {{
    if (is_equal) history.pop();
  }}

  before Bank {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> BusinessUnit, index, Index {{
    if (is_equal) {
      BusinessUnit obj = (BusinessUnit) history.peek();
      Object temp2 = obj.get_index();
      if(temp2==null) { is_equal = false; return; }
      history.push(temp2);
    }
  }}
  after -> BusinessUnit, index, Index {{
    if (is_equal) history.pop();
  }}

  before -> BusinessUnit, country, Country {{
    if (is_equal) {
      BusinessUnit obj = (BusinessUnit) history.peek();
      Object temp3 = obj.get_country();
      if(temp3==null) { is_equal = false; return; }
      history.push(temp3);
    }
  }}
  after -> BusinessUnit, country, Country {{
    if (is_equal) history.pop();
  }}

  before -> BusinessUnit, location, Location {{
    if (is_equal) {
      BusinessUnit obj = (BusinessUnit) history.peek();
      Object temp4 = obj.get_location();
      if(temp4==null) { is_equal = false; return; }
      history.push(temp4);
    }
  }}
  after -> BusinessUnit, location, Location {{
    if (is_equal) history.pop();
  }}

  before -> BusinessUnit, party_list, Party_List {{
    if (is_equal) {
      BusinessUnit obj = (BusinessUnit) history.peek();
      Object temp5 = obj.get_party_list();
      if(temp5==null) { is_equal = false; return; }
      history.push(temp5);
    }
  }}
  after -> BusinessUnit, party_list, Party_List {{
    if (is_equal) history.pop();
  }}

  before BusinessUnit {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Party, agreement, Agreement {{
    if (is_equal) {
      Party obj = (Party) history.peek();
      Object temp6 = obj.get_agreement();
      if(temp6==null) { is_equal = false; return; }
      history.push(temp6);
    }
  }}
  after -> Party, agreement, Agreement {{
    if (is_equal) history.pop();
  }}

  before -> Party, partyid, PartyId {{
    if (is_equal) {
      Party obj = (Party) history.peek();
      Object temp7 = obj.get_partyid();
      if(temp7==null) { is_equal = false; return; }
      history.push(temp7);
    }
  }}
  after -> Party, partyid, PartyId {{
    if (is_equal) history.pop();
  }}

  before Party {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Individual, firstname, FirstName {{
    if (is_equal) {
      Individual obj = (Individual) history.peek();
      Object temp8 = obj.get_firstname();
      if(temp8==null) { is_equal = false; return; }
      history.push(temp8);
    }
  }}
  after -> Individual, firstname, FirstName {{
    if (is_equal) history.pop();
  }}

  before -> Individual, lastname, LastName {{
    if (is_equal) {
      Individual obj = (Individual) history.peek();
      Object temp9 = obj.get_lastname();
      if(temp9==null) { is_equal = false; return; }
      history.push(temp9);
    }
  }}
  after -> Individual, lastname, LastName {{
    if (is_equal) history.pop();
  }}

  before -> Individual, birthdate, Date {{
    if (is_equal) {
      Individual obj = (Individual) history.peek();
      Object temp10 = obj.get_birthdate();
      if(temp10==null) { is_equal = false; return; }
      history.push(temp10);
    }
  }}
  after -> Individual, birthdate, Date {{
    if (is_equal) history.pop();
  }}

  before Individual {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> CorporateBody, companyname, CompanyName {{
    if (is_equal) {
      CorporateBody obj = (CorporateBody) history.peek();
      Object temp11 = obj.get_companyname();
      if(temp11==null) { is_equal = false; return; }
      history.push(temp11);
    }
  }}
  after -> CorporateBody, companyname, CompanyName {{
    if (is_equal) history.pop();
  }}

  before -> CorporateBody, rating, Rating {{
    if (is_equal) {
      CorporateBody obj = (CorporateBody) history.peek();
      Object temp12 = obj.get_rating();
      if(temp12==null) { is_equal = false; return; }
      history.push(temp12);
    }
  }}
  after -> CorporateBody, rating, Rating {{
    if (is_equal) history.pop();
  }}

  before CorporateBody {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Agreement, contract_list, Contract_List {{
    if (is_equal) {
      Agreement obj = (Agreement) history.peek();
      Object temp13 = obj.get_contract_list();
      if(temp13==null) { is_equal = false; return; }
      history.push(temp13);
    }
  }}
  after -> Agreement, contract_list, Contract_List {{
    if (is_equal) history.pop();
  }}

  before -> Agreement, agr_rule_list, Agr_Rule_List {{
    if (is_equal) {
      Agreement obj = (Agreement) history.peek();
      Object temp14 = obj.get_agr_rule_list();
      if(temp14==null) { is_equal = false; return; }
      history.push(temp14);
    }
  }}
  after -> Agreement, agr_rule_list, Agr_Rule_List {{
    if (is_equal) history.pop();
  }}

  before -> Agreement, statement_ending, Day {{
    if (is_equal) {
      Agreement obj = (Agreement) history.peek();
      Object temp15 = obj.get_statement_ending();
      if(temp15==null) { is_equal = false; return; }
      history.push(temp15);
    }
  }}
  after -> Agreement, statement_ending, Day {{
    if (is_equal) history.pop();
  }}

  before Agreement {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before FirstName {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp16 = host.get_string();
    Object temp17 = ((FirstName) obj).get_string();
    if(temp16 == null && temp17 == null) {}
    else if(temp16 == null ||
            temp17 == null ||
            !temp16.equals(temp17)) { is_equal = false; return; }
  }}

  before LastName {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp18 = host.get_string();
    Object temp19 = ((LastName) obj).get_string();
    if(temp18 == null && temp19 == null) {}
    else if(temp18 == null ||
            temp19 == null ||
            !temp18.equals(temp19)) { is_equal = false; return; }
  }}

  before CompanyName {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp20 = host.get_string();
    Object temp21 = ((CompanyName) obj).get_string();
    if(temp20 == null && temp21 == null) {}
    else if(temp20 == null ||
            temp21 == null ||
            !temp20.equals(temp21)) { is_equal = false; return; }
  }}

  before PartyId {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_partyId() == ((PartyId) obj).get_partyId();
  }}

  before Rating {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Contract, index, Index {{
    if (is_equal) {
      Contract obj = (Contract) history.peek();
      Object temp22 = obj.get_index();
      if(temp22==null) { is_equal = false; return; }
      history.push(temp22);
    }
  }}
  after -> Contract, index, Index {{
    if (is_equal) history.pop();
  }}

  before -> Contract, location, Location {{
    if (is_equal) {
      Contract obj = (Contract) history.peek();
      Object temp23 = obj.get_location();
      if(temp23==null) { is_equal = false; return; }
      history.push(temp23);
    }
  }}
  after -> Contract, location, Location {{
    if (is_equal) history.pop();
  }}

  before -> Contract, portfolios, Portfolio_List {{
    if (is_equal) {
      Contract obj = (Contract) history.peek();
      Object temp24 = obj.get_portfolios();
      if(temp24==null) { is_equal = false; return; }
      history.push(temp24);
    }
  }}
  after -> Contract, portfolios, Portfolio_List {{
    if (is_equal) history.pop();
  }}

  before Contract {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Agr_Rule, rule, Rule {{
    if (is_equal) {
      Agr_Rule obj = (Agr_Rule) history.peek();
      Object temp25 = obj.get_rule();
      if(temp25==null) { is_equal = false; return; }
      history.push(temp25);
    }
  }}
  after -> Agr_Rule, rule, Rule {{
    if (is_equal) history.pop();
  }}

  before -> Agr_Rule, description, Description {{
    if (is_equal) {
      Agr_Rule obj = (Agr_Rule) history.peek();
      Object temp26 = obj.get_description();
      if(temp26==null) { is_equal = false; return; }
      history.push(temp26);
    }
  }}
  after -> Agr_Rule, description, Description {{
    if (is_equal) history.pop();
  }}

  before Agr_Rule {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Rule {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_rule() == ((Rule) obj).get_rule();
  }}

  before -> Portfolio, index, Index {{
    if (is_equal) {
      Portfolio obj = (Portfolio) history.peek();
      Object temp27 = obj.get_index();
      if(temp27==null) { is_equal = false; return; }
      history.push(temp27);
    }
  }}
  after -> Portfolio, index, Index {{
    if (is_equal) history.pop();
  }}

  before -> Portfolio, description, Description {{
    if (is_equal) {
      Portfolio obj = (Portfolio) history.peek();
      Object temp28 = obj.get_description();
      if(temp28==null) { is_equal = false; return; }
      history.push(temp28);
    }
  }}
  after -> Portfolio, description, Description {{
    if (is_equal) history.pop();
  }}

  before -> Portfolio, accounts, Account_List {{
    if (is_equal) {
      Portfolio obj = (Portfolio) history.peek();
      Object temp29 = obj.get_accounts();
      if(temp29==null) { is_equal = false; return; }
      history.push(temp29);
    }
  }}
  after -> Portfolio, accounts, Account_List {{
    if (is_equal) history.pop();
  }}

  before Portfolio {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Account, postings, Posting_List {{
    if (is_equal) {
      Account obj = (Account) history.peek();
      Object temp30 = obj.get_postings();
      if(temp30==null) { is_equal = false; return; }
      history.push(temp30);
    }
  }}
  after -> Account, postings, Posting_List {{
    if (is_equal) history.pop();
  }}

  before -> Account, accountid, AccountID {{
    if (is_equal) {
      Account obj = (Account) history.peek();
      Object temp31 = obj.get_accountid();
      if(temp31==null) { is_equal = false; return; }
      history.push(temp31);
    }
  }}
  after -> Account, accountid, AccountID {{
    if (is_equal) history.pop();
  }}

  before -> Account, accounttype, AccountType {{
    if (is_equal) {
      Account obj = (Account) history.peek();
      Object temp32 = obj.get_accounttype();
      if(temp32==null) { is_equal = false; return; }
      history.push(temp32);
    }
  }}
  after -> Account, accounttype, AccountType {{
    if (is_equal) history.pop();
  }}

  before -> Account, agreement, Agreement {{
    if (is_equal) {
      Account obj = (Account) history.peek();
      Object temp33 = obj.get_agreement();
      if(temp33==null) { is_equal = false; return; }
      history.push(temp33);
    }
  }}
  after -> Account, agreement, Agreement {{
    if (is_equal) history.pop();
  }}

  before Account {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Posting, amount, Amount {{
    if (is_equal) {
      Posting obj = (Posting) history.peek();
      Object temp34 = obj.get_amount();
      if(temp34==null) { is_equal = false; return; }
      history.push(temp34);
    }
  }}
  after -> Posting, amount, Amount {{
    if (is_equal) history.pop();
  }}

  before -> Posting, date, Date {{
    if (is_equal) {
      Posting obj = (Posting) history.peek();
      Object temp35 = obj.get_date();
      if(temp35==null) { is_equal = false; return; }
      history.push(temp35);
    }
  }}
  after -> Posting, date, Date {{
    if (is_equal) history.pop();
  }}

  before Posting {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before AccountID {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_account_id() == ((AccountID) obj).get_account_id();
  }}

  before Amount {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_amount() == ((Amount) obj).get_amount();
  }}

  before Credit {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Debit {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before AccountType {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Savings {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Checking {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Overdraft {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before CD {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Loan {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Description {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp36 = host.get_string();
    Object temp37 = ((Description) obj).get_string();
    if(temp36 == null && temp37 == null) {}
    else if(temp36 == null ||
            temp37 == null ||
            !temp36.equals(temp37)) { is_equal = false; return; }
  }}

  before Index {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_index() == ((Index) obj).get_index();
  }}

  before Location {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp38 = host.get_string();
    Object temp39 = ((Location) obj).get_string();
    if(temp38 == null && temp39 == null) {}
    else if(temp38 == null ||
            temp39 == null ||
            !temp38.equals(temp39)) { is_equal = false; return; }
  }}

  before Country {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp40 = host.get_string();
    Object temp41 = ((Country) obj).get_string();
    if(temp40 == null && temp41 == null) {}
    else if(temp40 == null ||
            temp41 == null ||
            !temp40.equals(temp41)) { is_equal = false; return; }
  }}

  before -> Date, month, Month {{
    if (is_equal) {
      Date obj = (Date) history.peek();
      Object temp42 = obj.get_month();
      if(temp42==null) { is_equal = false; return; }
      history.push(temp42);
    }
  }}
  after -> Date, month, Month {{
    if (is_equal) history.pop();
  }}

  before -> Date, day, Day {{
    if (is_equal) {
      Date obj = (Date) history.peek();
      Object temp43 = obj.get_day();
      if(temp43==null) { is_equal = false; return; }
      history.push(temp43);
    }
  }}
  after -> Date, day, Day {{
    if (is_equal) history.pop();
  }}

  before -> Date, year, Year {{
    if (is_equal) {
      Date obj = (Date) history.peek();
      Object temp44 = obj.get_year();
      if(temp44==null) { is_equal = false; return; }
      history.push(temp44);
    }
  }}
  after -> Date, year, Year {{
    if (is_equal) history.pop();
  }}

  before Date {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Month {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_month() == ((Month) obj).get_month();
  }}

  before Day {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_day() == ((Day) obj).get_day();
  }}

  before Year {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_year() == ((Year) obj).get_year();
  }}

  before C0 {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before C1 {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before C9 {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before D0 {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before D1 {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before D3 {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before D4 {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Main {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp45 = host.get_s();
    Object temp46 = ((Main) obj).get_s();
    if(temp45 == null && temp46 == null) {}
    else if(temp45 == null ||
            temp46 == null ||
            !temp45.equals(temp46)) { is_equal = false; 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 temp47 = host.get_copy();
    Object temp48 = ((CopyVisitor) obj).get_copy();
    if(temp47 == null && temp48 == null) {}
    else if(temp47 == null ||
            temp48 == null ||
            !temp47.equals(temp48)) { 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 -> BusinessUnit_List, first, Nonempty_BusinessUnit_List {{
    if (is_equal) {
      BusinessUnit_List obj = (BusinessUnit_List) history.peek();
      Object temp49 = obj.get_first();
      if(temp49==null) { is_equal = false; return; }
      history.push(temp49);
    }
  }}
  after -> BusinessUnit_List, first, Nonempty_BusinessUnit_List {{
    if (is_equal) history.pop();
  }}

  before BusinessUnit_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Party_List, first, Nonempty_Party_List {{
    if (is_equal) {
      Party_List obj = (Party_List) history.peek();
      Object temp50 = obj.get_first();
      if(temp50==null) { is_equal = false; return; }
      history.push(temp50);
    }
  }}
  after -> Party_List, first, Nonempty_Party_List {{
    if (is_equal) history.pop();
  }}

  before Party_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Contract_List, first, Nonempty_Contract_List {{
    if (is_equal) {
      Contract_List obj = (Contract_List) history.peek();
      Object temp51 = obj.get_first();
      if(temp51==null) { is_equal = false; return; }
      history.push(temp51);
    }
  }}
  after -> Contract_List, first, Nonempty_Contract_List {{
    if (is_equal) history.pop();
  }}

  before Contract_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Agr_Rule_List, first, Nonempty_Agr_Rule_List {{
    if (is_equal) {
      Agr_Rule_List obj = (Agr_Rule_List) history.peek();
      Object temp52 = obj.get_first();
      if(temp52==null) { is_equal = false; return; }
      history.push(temp52);
    }
  }}
  after -> Agr_Rule_List, first, Nonempty_Agr_Rule_List {{
    if (is_equal) history.pop();
  }}

  before Agr_Rule_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Portfolio_List, first, Nonempty_Portfolio_List {{
    if (is_equal) {
      Portfolio_List obj = (Portfolio_List) history.peek();
      Object temp53 = obj.get_first();
      if(temp53==null) { is_equal = false; return; }
      history.push(temp53);
    }
  }}
  after -> Portfolio_List, first, Nonempty_Portfolio_List {{
    if (is_equal) history.pop();
  }}

  before Portfolio_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Account_List, first, Nonempty_Account_List {{
    if (is_equal) {
      Account_List obj = (Account_List) history.peek();
      Object temp54 = obj.get_first();
      if(temp54==null) { is_equal = false; return; }
      history.push(temp54);
    }
  }}
  after -> Account_List, first, Nonempty_Account_List {{
    if (is_equal) history.pop();
  }}

  before Account_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Posting_List, first, Nonempty_Posting_List {{
    if (is_equal) {
      Posting_List obj = (Posting_List) history.peek();
      Object temp55 = obj.get_first();
      if(temp55==null) { is_equal = false; return; }
      history.push(temp55);
    }
  }}
  after -> Posting_List, first, Nonempty_Posting_List {{
    if (is_equal) history.pop();
  }}

  before Posting_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_BusinessUnit_List, it, BusinessUnit {{
    if (is_equal) {
      Nonempty_BusinessUnit_List obj = (Nonempty_BusinessUnit_List) history.peek();
      Object temp56 = obj.get_it();
      if(temp56==null) { is_equal = false; return; }
      history.push(temp56);
    }
  }}
  after -> Nonempty_BusinessUnit_List, it, BusinessUnit {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_BusinessUnit_List, next, Nonempty_BusinessUnit_List {{
    if (is_equal) {
      Nonempty_BusinessUnit_List obj = (Nonempty_BusinessUnit_List) history.peek();
      Object temp57 = obj.get_next();
      if(temp57==null) { is_equal = false; return; }
      history.push(temp57);
    }
  }}
  after -> Nonempty_BusinessUnit_List, next, Nonempty_BusinessUnit_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_BusinessUnit_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Party_List, it, Party {{
    if (is_equal) {
      Nonempty_Party_List obj = (Nonempty_Party_List) history.peek();
      Object temp58 = obj.get_it();
      if(temp58==null) { is_equal = false; return; }
      history.push(temp58);
    }
  }}
  after -> Nonempty_Party_List, it, Party {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Party_List, next, Nonempty_Party_List {{
    if (is_equal) {
      Nonempty_Party_List obj = (Nonempty_Party_List) history.peek();
      Object temp59 = obj.get_next();
      if(temp59==null) { is_equal = false; return; }
      history.push(temp59);
    }
  }}
  after -> Nonempty_Party_List, next, Nonempty_Party_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Party_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Contract_List, it, Contract {{
    if (is_equal) {
      Nonempty_Contract_List obj = (Nonempty_Contract_List) history.peek();
      Object temp60 = obj.get_it();
      if(temp60==null) { is_equal = false; return; }
      history.push(temp60);
    }
  }}
  after -> Nonempty_Contract_List, it, Contract {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Contract_List, next, Nonempty_Contract_List {{
    if (is_equal) {
      Nonempty_Contract_List obj = (Nonempty_Contract_List) history.peek();
      Object temp61 = obj.get_next();
      if(temp61==null) { is_equal = false; return; }
      history.push(temp61);
    }
  }}
  after -> Nonempty_Contract_List, next, Nonempty_Contract_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Contract_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Agr_Rule_List, it, Agr_Rule {{
    if (is_equal) {
      Nonempty_Agr_Rule_List obj = (Nonempty_Agr_Rule_List) history.peek();
      Object temp62 = obj.get_it();
      if(temp62==null) { is_equal = false; return; }
      history.push(temp62);
    }
  }}
  after -> Nonempty_Agr_Rule_List, it, Agr_Rule {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Agr_Rule_List, next, Nonempty_Agr_Rule_List {{
    if (is_equal) {
      Nonempty_Agr_Rule_List obj = (Nonempty_Agr_Rule_List) history.peek();
      Object temp63 = obj.get_next();
      if(temp63==null) { is_equal = false; return; }
      history.push(temp63);
    }
  }}
  after -> Nonempty_Agr_Rule_List, next, Nonempty_Agr_Rule_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Agr_Rule_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Portfolio_List, it, Portfolio {{
    if (is_equal) {
      Nonempty_Portfolio_List obj = (Nonempty_Portfolio_List) history.peek();
      Object temp64 = obj.get_it();
      if(temp64==null) { is_equal = false; return; }
      history.push(temp64);
    }
  }}
  after -> Nonempty_Portfolio_List, it, Portfolio {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Portfolio_List, next, Nonempty_Portfolio_List {{
    if (is_equal) {
      Nonempty_Portfolio_List obj = (Nonempty_Portfolio_List) history.peek();
      Object temp65 = obj.get_next();
      if(temp65==null) { is_equal = false; return; }
      history.push(temp65);
    }
  }}
  after -> Nonempty_Portfolio_List, next, Nonempty_Portfolio_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Portfolio_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Account_List, it, Account {{
    if (is_equal) {
      Nonempty_Account_List obj = (Nonempty_Account_List) history.peek();
      Object temp66 = obj.get_it();
      if(temp66==null) { is_equal = false; return; }
      history.push(temp66);
    }
  }}
  after -> Nonempty_Account_List, it, Account {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Account_List, next, Nonempty_Account_List {{
    if (is_equal) {
      Nonempty_Account_List obj = (Nonempty_Account_List) history.peek();
      Object temp67 = obj.get_next();
      if(temp67==null) { is_equal = false; return; }
      history.push(temp67);
    }
  }}
  after -> Nonempty_Account_List, next, Nonempty_Account_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Account_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Nonempty_Posting_List, it, Posting {{
    if (is_equal) {
      Nonempty_Posting_List obj = (Nonempty_Posting_List) history.peek();
      Object temp68 = obj.get_it();
      if(temp68==null) { is_equal = false; return; }
      history.push(temp68);
    }
  }}
  after -> Nonempty_Posting_List, it, Posting {{
    if (is_equal) history.pop();
  }}

  before -> Nonempty_Posting_List, next, Nonempty_Posting_List {{
    if (is_equal) {
      Nonempty_Posting_List obj = (Nonempty_Posting_List) history.peek();
      Object temp69 = obj.get_next();
      if(temp69==null) { is_equal = false; return; }
      history.push(temp69);
    }
  }}
  after -> Nonempty_Posting_List, next, Nonempty_Posting_List {{
    if (is_equal) history.pop();
  }}

  before Nonempty_Posting_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  return boolean {{ is_equal }}
}