/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.jar /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox/benchmark/theBenchmark.jar # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty termination of the given Bare JBC problem could be proven: (0) Bare JBC problem (1) BareJBCToJBCProof [EQUIVALENT, 96 ms] (2) JBC problem (3) JBCToGraph [EQUIVALENT, 1994 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 0 ms] (6) AND (7) JBCTerminationSCC (8) SCCToQDPProof [SOUND, 182 ms] (9) QDP (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] (11) YES (12) JBCTerminationSCC (13) SCCToIRSProof [SOUND, 429 ms] (14) IRSwT (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (16) IRSwT (17) IRSwTTerminationDigraphProof [EQUIVALENT, 211 ms] (18) IRSwT (19) IntTRSCompressionProof [EQUIVALENT, 0 ms] (20) IRSwT (21) TempFilterProof [SOUND, 4 ms] (22) IRSwT (23) IRSwTToQDPProof [SOUND, 0 ms] (24) QDP (25) QDPSizeChangeProof [EQUIVALENT, 0 ms] (26) YES (27) JBCTerminationSCC (28) SCCToIRSProof [SOUND, 33 ms] (29) IRSwT (30) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (31) IRSwT (32) IRSwTTerminationDigraphProof [EQUIVALENT, 0 ms] (33) IRSwT (34) IntTRSCompressionProof [EQUIVALENT, 0 ms] (35) IRSwT (36) TempFilterProof [SOUND, 25 ms] (37) IntTRS (38) PolynomialOrderProcessor [EQUIVALENT, 14 ms] (39) YES (40) JBCTerminationSCC (41) SCCToIRSProof [SOUND, 256 ms] (42) IRSwT (43) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (44) IRSwT (45) IRSwTTerminationDigraphProof [EQUIVALENT, 59 ms] (46) IRSwT (47) IntTRSCompressionProof [EQUIVALENT, 0 ms] (48) IRSwT (49) TempFilterProof [SOUND, 84 ms] (50) IntTRS (51) PolynomialOrderProcessor [EQUIVALENT, 0 ms] (52) AND (53) IntTRS (54) RankingReductionPairProof [EQUIVALENT, 7 ms] (55) YES (56) IntTRS (57) RankingReductionPairProof [EQUIVALENT, 0 ms] (58) YES ---------------------------------------- (0) Obligation: need to prove termination of the following program: public class Infix2Postfix { public static LinkedList buildExpression(int n) { LinkedList exp = null; for (int i = 1; i <= n; i++) { if (i <= n-1) exp = new LinkedList(')', exp); exp = new LinkedList(')', exp); exp = new LinkedList('b', exp); exp = new LinkedList('+', exp); exp = new LinkedList('a', exp); exp = new LinkedList('(', exp); if (i <= n-1) exp = new LinkedList('*', exp); } for (int i = 1; i < n; i++) exp = new LinkedList('(', exp); return exp; } public static LinkedList toPostfix(LinkedList infix) { LinkedList operators = null, operands = null; while (infix != null) { char c = infix.getFirst(); switch (c) { case '(': break; case '+': case '-': case '*': case '/': operators = new LinkedList(c, operators); break; case ')': operands = new LinkedList(operators.getFirst(), operands); operators = operators.getTail(); break; default: operands = new LinkedList(c, operands); } infix = infix.getTail(); } LinkedList postfix = null; while (operands != null) { postfix = new LinkedList(operands.getFirst(), postfix); operands = operands.getTail(); } return postfix; } public static void main(String args[]) { LinkedList infix = buildExpression(args.length); // System.out.println("infix = " + infix); LinkedList postfix = toPostfix(infix); // System.out.println("postfix = " + postfix); } } public class LinkedList { private char head; private LinkedList tail; public LinkedList(char head, LinkedList tail) { this.head = head; this.tail = tail; } public char getFirst() { return this.head; } public LinkedList getTail() { return this.tail; } /* public String toString() { return head + (tail == null ? "" : " " + tail.toString()); } */ } ---------------------------------------- (1) BareJBCToJBCProof (EQUIVALENT) initialized classpath ---------------------------------------- (2) Obligation: need to prove termination of the following program: public class Infix2Postfix { public static LinkedList buildExpression(int n) { LinkedList exp = null; for (int i = 1; i <= n; i++) { if (i <= n-1) exp = new LinkedList(')', exp); exp = new LinkedList(')', exp); exp = new LinkedList('b', exp); exp = new LinkedList('+', exp); exp = new LinkedList('a', exp); exp = new LinkedList('(', exp); if (i <= n-1) exp = new LinkedList('*', exp); } for (int i = 1; i < n; i++) exp = new LinkedList('(', exp); return exp; } public static LinkedList toPostfix(LinkedList infix) { LinkedList operators = null, operands = null; while (infix != null) { char c = infix.getFirst(); switch (c) { case '(': break; case '+': case '-': case '*': case '/': operators = new LinkedList(c, operators); break; case ')': operands = new LinkedList(operators.getFirst(), operands); operators = operators.getTail(); break; default: operands = new LinkedList(c, operands); } infix = infix.getTail(); } LinkedList postfix = null; while (operands != null) { postfix = new LinkedList(operands.getFirst(), postfix); operands = operands.getTail(); } return postfix; } public static void main(String args[]) { LinkedList infix = buildExpression(args.length); // System.out.println("infix = " + infix); LinkedList postfix = toPostfix(infix); // System.out.println("postfix = " + postfix); } } public class LinkedList { private char head; private LinkedList tail; public LinkedList(char head, LinkedList tail) { this.head = head; this.tail = tail; } public char getFirst() { return this.head; } public LinkedList getTail() { return this.tail; } /* public String toString() { return head + (tail == null ? "" : " " + tail.toString()); } */ } ---------------------------------------- (3) JBCToGraph (EQUIVALENT) Constructed TerminationGraph. ---------------------------------------- (4) Obligation: Termination Graph based on JBC Program: Infix2Postfix.main([Ljava/lang/String;)V: Graph of 264 nodes with 2 SCCs. Infix2Postfix.toPostfix(LLinkedList;)LLinkedList;: Graph of 292 nodes with 2 SCCs. ---------------------------------------- (5) TerminationGraphToSCCProof (SOUND) Splitted TerminationGraph to 4 SCCss. ---------------------------------------- (6) Complex Obligation (AND) ---------------------------------------- (7) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Infix2Postfix.toPostfix(LLinkedList;)LLinkedList; SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *LinkedList: [head, tail] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (8) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 31 rules for P and 0 rules for R.P rules: f5844_0_toPostfix_NULL(EOS(STATIC_5844), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) -> f5847_0_toPostfix_NULL(EOS(STATIC_5847), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) :|: TRUE f5847_0_toPostfix_NULL(EOS(STATIC_5847), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) -> f5851_0_toPostfix_New(EOS(STATIC_5851), java.lang.Object(o18627sub)) :|: TRUE f5851_0_toPostfix_New(EOS(STATIC_5851), java.lang.Object(o18627sub)) -> f5855_0_toPostfix_Duplicate(EOS(STATIC_5855), java.lang.Object(o18627sub)) :|: TRUE f5855_0_toPostfix_Duplicate(EOS(STATIC_5855), java.lang.Object(o18627sub)) -> f5859_0_toPostfix_Load(EOS(STATIC_5859), java.lang.Object(o18627sub)) :|: TRUE f5859_0_toPostfix_Load(EOS(STATIC_5859), java.lang.Object(o18627sub)) -> f5863_0_toPostfix_InvokeMethod(EOS(STATIC_5863), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) :|: TRUE f5863_0_toPostfix_InvokeMethod(EOS(STATIC_5863), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) -> f5868_0_getFirst_Load(EOS(STATIC_5868), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) :|: TRUE f5868_0_getFirst_Load(EOS(STATIC_5868), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) -> f5877_0_getFirst_FieldAccess(EOS(STATIC_5877), java.lang.Object(o18627sub), java.lang.Object(o18627sub)) :|: TRUE f5877_0_getFirst_FieldAccess(EOS(STATIC_5877), java.lang.Object(LinkedList(EOC, i1359, o18641)), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5882_0_getFirst_FieldAccess(EOS(STATIC_5882), java.lang.Object(LinkedList(EOC, i1359, o18641)), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5882_0_getFirst_FieldAccess(EOS(STATIC_5882), java.lang.Object(LinkedList(EOC, i1359, o18641)), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5887_0_getFirst_Return(EOS(STATIC_5887), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5887_0_getFirst_Return(EOS(STATIC_5887), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5892_0_toPostfix_Load(EOS(STATIC_5892), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5892_0_toPostfix_Load(EOS(STATIC_5892), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5897_0_toPostfix_InvokeMethod(EOS(STATIC_5897), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5897_0_toPostfix_InvokeMethod(EOS(STATIC_5897), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5899_0__init__Load(EOS(STATIC_5899), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5899_0__init__Load(EOS(STATIC_5899), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5906_0__init__InvokeMethod(EOS(STATIC_5906), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5906_0__init__InvokeMethod(EOS(STATIC_5906), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5910_0__init__Load(EOS(STATIC_5910), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5910_0__init__Load(EOS(STATIC_5910), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5917_0__init__Load(EOS(STATIC_5917), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5917_0__init__Load(EOS(STATIC_5917), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5923_0__init__FieldAccess(EOS(STATIC_5923), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5923_0__init__FieldAccess(EOS(STATIC_5923), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5929_0__init__Load(EOS(STATIC_5929), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5929_0__init__Load(EOS(STATIC_5929), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5934_0__init__Load(EOS(STATIC_5934), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5934_0__init__Load(EOS(STATIC_5934), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5938_0__init__FieldAccess(EOS(STATIC_5938), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5938_0__init__FieldAccess(EOS(STATIC_5938), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5942_0__init__Return(EOS(STATIC_5942), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5942_0__init__Return(EOS(STATIC_5942), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5946_0_toPostfix_Store(EOS(STATIC_5946), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5946_0_toPostfix_Store(EOS(STATIC_5946), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5950_0_toPostfix_Load(EOS(STATIC_5950), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5950_0_toPostfix_Load(EOS(STATIC_5950), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5955_0_toPostfix_InvokeMethod(EOS(STATIC_5955), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5955_0_toPostfix_InvokeMethod(EOS(STATIC_5955), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5959_0_getTail_Load(EOS(STATIC_5959), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5959_0_getTail_Load(EOS(STATIC_5959), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5967_0_getTail_FieldAccess(EOS(STATIC_5967), java.lang.Object(LinkedList(EOC, i1359, o18641))) :|: TRUE f5967_0_getTail_FieldAccess(EOS(STATIC_5967), java.lang.Object(LinkedList(EOC, i1359, o18641))) -> f5970_0_getTail_Return(EOS(STATIC_5970), o18641) :|: TRUE f5970_0_getTail_Return(EOS(STATIC_5970), o18641) -> f5975_0_toPostfix_Store(EOS(STATIC_5975), o18641) :|: TRUE f5975_0_toPostfix_Store(EOS(STATIC_5975), o18641) -> f5980_0_toPostfix_JMP(EOS(STATIC_5980), o18641) :|: TRUE f5980_0_toPostfix_JMP(EOS(STATIC_5980), o18641) -> f5985_0_toPostfix_Load(EOS(STATIC_5985), o18641) :|: TRUE f5985_0_toPostfix_Load(EOS(STATIC_5985), o18641) -> f5841_0_toPostfix_Load(EOS(STATIC_5841), o18641) :|: TRUE f5841_0_toPostfix_Load(EOS(STATIC_5841), o18612) -> f5844_0_toPostfix_NULL(EOS(STATIC_5844), o18612, o18612) :|: TRUE R rules: Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: f5844_0_toPostfix_NULL(EOS(STATIC_5844), java.lang.Object(LinkedList(EOC, i1359:0, o18641:0)), java.lang.Object(LinkedList(EOC, i1359:0, o18641:0))) -> f5844_0_toPostfix_NULL(EOS(STATIC_5844), o18641:0, o18641:0) :|: TRUE R rules: Filtered ground terms: f5844_0_toPostfix_NULL(x1, x2, x3) -> f5844_0_toPostfix_NULL(x2, x3) EOS(x1) -> EOS LinkedList(x1, x2, x3) -> LinkedList(x2, x3) Filtered unneeded arguments: LinkedList(x1, x2) -> LinkedList(x2) Filtered duplicate args: f5844_0_toPostfix_NULL(x1, x2) -> f5844_0_toPostfix_NULL(x2) Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: F5844_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o18641:0:0))) -> F5844_0_TOPOSTFIX_NULL(o18641:0:0) :|: TRUE R rules: ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: F5844_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o18641:0:0))) -> F5844_0_TOPOSTFIX_NULL(o18641:0:0) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (10) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *F5844_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o18641:0:0))) -> F5844_0_TOPOSTFIX_NULL(o18641:0:0) The graph contains the following edges 1 > 1 ---------------------------------------- (11) YES ---------------------------------------- (12) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Infix2Postfix.toPostfix(LLinkedList;)LLinkedList; SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *LinkedList: [head, tail] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (13) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 234 IRulesP rules: f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) -> f5284_0_toPostfix_NULL(EOS(STATIC_5284), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) :|: TRUE f5284_0_toPostfix_NULL(EOS(STATIC_5284), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) -> f5288_0_toPostfix_Load(EOS(STATIC_5288), java.lang.Object(o16437sub), o16423) :|: TRUE f5288_0_toPostfix_Load(EOS(STATIC_5288), java.lang.Object(o16437sub), o16423) -> f5294_0_toPostfix_InvokeMethod(EOS(STATIC_5294), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) :|: TRUE f5294_0_toPostfix_InvokeMethod(EOS(STATIC_5294), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) -> f5300_0_getFirst_Load(EOS(STATIC_5300), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) :|: TRUE f5300_0_getFirst_Load(EOS(STATIC_5300), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) -> f5311_0_getFirst_FieldAccess(EOS(STATIC_5311), java.lang.Object(o16437sub), o16423, java.lang.Object(o16437sub)) :|: TRUE f5311_0_getFirst_FieldAccess(EOS(STATIC_5311), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) -> f5318_0_getFirst_FieldAccess(EOS(STATIC_5318), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) :|: TRUE f5318_0_getFirst_FieldAccess(EOS(STATIC_5318), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) -> f5324_0_getFirst_Return(EOS(STATIC_5324), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5324_0_getFirst_Return(EOS(STATIC_5324), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5330_0_toPostfix_Store(EOS(STATIC_5330), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5330_0_toPostfix_Store(EOS(STATIC_5330), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5336_0_toPostfix_Load(EOS(STATIC_5336), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5336_0_toPostfix_Load(EOS(STATIC_5336), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5341_0_toPostfix_TableSwitch(EOS(STATIC_5341), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) :|: TRUE f5341_0_toPostfix_TableSwitch(EOS(STATIC_5341), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) -> f5348_0_toPostfix_TableSwitch(EOS(STATIC_5348), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) :|: TRUE f5341_0_toPostfix_TableSwitch(EOS(STATIC_5341), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) -> f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) :|: TRUE f5341_0_toPostfix_TableSwitch(EOS(STATIC_5341), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) -> f5350_0_toPostfix_TableSwitch(EOS(STATIC_5350), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) :|: TRUE f5348_0_toPostfix_TableSwitch(EOS(STATIC_5348), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) -> f5355_0_toPostfix_New(EOS(STATIC_5355), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: i1178 < 40 f5355_0_toPostfix_New(EOS(STATIC_5355), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5370_0_toPostfix_Duplicate(EOS(STATIC_5370), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5370_0_toPostfix_Duplicate(EOS(STATIC_5370), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5384_0_toPostfix_Load(EOS(STATIC_5384), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5384_0_toPostfix_Load(EOS(STATIC_5384), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5397_0_toPostfix_Load(EOS(STATIC_5397), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5397_0_toPostfix_Load(EOS(STATIC_5397), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5410_0_toPostfix_InvokeMethod(EOS(STATIC_5410), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5410_0_toPostfix_InvokeMethod(EOS(STATIC_5410), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5421_0__init__Load(EOS(STATIC_5421), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5421_0__init__Load(EOS(STATIC_5421), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5447_0__init__InvokeMethod(EOS(STATIC_5447), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5447_0__init__InvokeMethod(EOS(STATIC_5447), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5453_0__init__Load(EOS(STATIC_5453), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5453_0__init__Load(EOS(STATIC_5453), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5467_0__init__Load(EOS(STATIC_5467), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5467_0__init__Load(EOS(STATIC_5467), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5482_0__init__FieldAccess(EOS(STATIC_5482), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE f5482_0__init__FieldAccess(EOS(STATIC_5482), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5496_0__init__Load(EOS(STATIC_5496), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) :|: TRUE f5496_0__init__Load(EOS(STATIC_5496), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) -> f5510_0__init__Load(EOS(STATIC_5510), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) :|: TRUE f5510_0__init__Load(EOS(STATIC_5510), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) -> f5524_0__init__FieldAccess(EOS(STATIC_5524), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) :|: TRUE f5524_0__init__FieldAccess(EOS(STATIC_5524), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) -> f5537_0__init__Return(EOS(STATIC_5537), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) :|: TRUE f5537_0__init__Return(EOS(STATIC_5537), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) -> f5550_0_toPostfix_Store(EOS(STATIC_5550), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) :|: TRUE f5550_0_toPostfix_Store(EOS(STATIC_5550), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) -> f5564_0_toPostfix_Load(EOS(STATIC_5564), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) :|: TRUE f5564_0_toPostfix_Load(EOS(STATIC_5564), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423) -> f5576_0_toPostfix_InvokeMethod(EOS(STATIC_5576), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) :|: TRUE f5576_0_toPostfix_InvokeMethod(EOS(STATIC_5576), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) -> f5589_0_getTail_Load(EOS(STATIC_5589), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) :|: TRUE f5589_0_getTail_Load(EOS(STATIC_5589), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) -> f5613_0_getTail_FieldAccess(EOS(STATIC_5613), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) :|: TRUE f5613_0_getTail_FieldAccess(EOS(STATIC_5613), o16423, java.lang.Object(LinkedList(EOC, i1178, o16480))) -> f5624_0_getTail_Return(EOS(STATIC_5624), o16423, o16480) :|: TRUE f5624_0_getTail_Return(EOS(STATIC_5624), o16423, o16480) -> f5634_0_toPostfix_Store(EOS(STATIC_5634), o16423, o16480) :|: TRUE f5634_0_toPostfix_Store(EOS(STATIC_5634), o16423, o16480) -> f5648_0_toPostfix_JMP(EOS(STATIC_5648), o16480, o16423) :|: TRUE f5648_0_toPostfix_JMP(EOS(STATIC_5648), o16480, o16423) -> f5662_0_toPostfix_Load(EOS(STATIC_5662), o16480, o16423) :|: TRUE f5662_0_toPostfix_Load(EOS(STATIC_5662), o16480, o16423) -> f5275_0_toPostfix_Load(EOS(STATIC_5275), o16480, o16423) :|: TRUE f5275_0_toPostfix_Load(EOS(STATIC_5275), o16422, o16423) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16422, o16423, o16422) :|: TRUE f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5356_0_toPostfix_TableSwitch(EOS(STATIC_5356), java.lang.Object(LinkedList(EOC, 40, o16480)), o16423, 40, 40) :|: TRUE && matching1 = 40 && matching2 = 40 && matching3 = 40 f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5357_0_toPostfix_TableSwitch(EOS(STATIC_5357), java.lang.Object(LinkedList(EOC, 41, o16480)), o16423, 41, 41) :|: TRUE && matching1 = 41 && matching2 = 41 && matching3 = 41 f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5358_0_toPostfix_TableSwitch(EOS(STATIC_5358), java.lang.Object(LinkedList(EOC, 42, o16480)), o16423, 42, 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42 f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5359_0_toPostfix_TableSwitch(EOS(STATIC_5359), java.lang.Object(LinkedList(EOC, 43, o16480)), o16423, 43, 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43 f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5360_0_toPostfix_TableSwitch(EOS(STATIC_5360), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44, 44) :|: TRUE && matching1 = 44 && matching2 = 44 && matching3 = 44 f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5361_0_toPostfix_TableSwitch(EOS(STATIC_5361), java.lang.Object(LinkedList(EOC, 45, o16480)), o16423, 45, 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45 f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5362_0_toPostfix_TableSwitch(EOS(STATIC_5362), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46, 46) :|: TRUE && matching1 = 46 && matching2 = 46 && matching3 = 46 f5349_0_toPostfix_TableSwitch(EOS(STATIC_5349), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5363_0_toPostfix_TableSwitch(EOS(STATIC_5363), java.lang.Object(LinkedList(EOC, 47, o16480)), o16423, 47, 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47 f5356_0_toPostfix_TableSwitch(EOS(STATIC_5356), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5371_0_toPostfix_JMP(EOS(STATIC_5371), java.lang.Object(LinkedList(EOC, 40, o16480)), o16423) :|: TRUE && matching1 = 40 && matching2 = 40 && matching3 = 40 f5371_0_toPostfix_JMP(EOS(STATIC_5371), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5385_0_toPostfix_Load(EOS(STATIC_5385), java.lang.Object(LinkedList(EOC, 40, o16480)), o16423) :|: TRUE && matching1 = 40 f5385_0_toPostfix_Load(EOS(STATIC_5385), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5398_0_toPostfix_InvokeMethod(EOS(STATIC_5398), o16423, java.lang.Object(LinkedList(EOC, 40, o16480))) :|: TRUE && matching1 = 40 f5398_0_toPostfix_InvokeMethod(EOS(STATIC_5398), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5411_0_getTail_Load(EOS(STATIC_5411), o16423, java.lang.Object(LinkedList(EOC, 40, o16480))) :|: TRUE && matching1 = 40 f5411_0_getTail_Load(EOS(STATIC_5411), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5434_0_getTail_FieldAccess(EOS(STATIC_5434), o16423, java.lang.Object(LinkedList(EOC, 40, o16480))) :|: TRUE && matching1 = 40 f5434_0_getTail_FieldAccess(EOS(STATIC_5434), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5448_0_getTail_Return(EOS(STATIC_5448), o16423, o16480) :|: TRUE && matching1 = 40 f5448_0_getTail_Return(EOS(STATIC_5448), o16423, o16480) -> f5454_0_toPostfix_Store(EOS(STATIC_5454), o16423, o16480) :|: TRUE f5454_0_toPostfix_Store(EOS(STATIC_5454), o16423, o16480) -> f5468_0_toPostfix_JMP(EOS(STATIC_5468), o16480, o16423) :|: TRUE f5468_0_toPostfix_JMP(EOS(STATIC_5468), o16480, o16423) -> f5483_0_toPostfix_Load(EOS(STATIC_5483), o16480, o16423) :|: TRUE f5483_0_toPostfix_Load(EOS(STATIC_5483), o16480, o16423) -> f5275_0_toPostfix_Load(EOS(STATIC_5275), o16480, o16423) :|: TRUE f5357_0_toPostfix_TableSwitch(EOS(STATIC_5357), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5372_0_toPostfix_New(EOS(STATIC_5372), java.lang.Object(LinkedList(EOC, 41, o16480)), o16423) :|: TRUE && matching1 = 41 && matching2 = 41 && matching3 = 41 f5372_0_toPostfix_New(EOS(STATIC_5372), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5386_0_toPostfix_Duplicate(EOS(STATIC_5386), java.lang.Object(LinkedList(EOC, 41, o16480)), o16423) :|: TRUE && matching1 = 41 f5386_0_toPostfix_Duplicate(EOS(STATIC_5386), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5399_0_toPostfix_Load(EOS(STATIC_5399), java.lang.Object(LinkedList(EOC, 41, o16480)), o16423) :|: TRUE && matching1 = 41 f5399_0_toPostfix_Load(EOS(STATIC_5399), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5412_0_toPostfix_InvokeMethod(EOS(STATIC_5412), java.lang.Object(LinkedList(EOC, 41, o16480)), o16423, o16423) :|: TRUE && matching1 = 41 f5412_0_toPostfix_InvokeMethod(EOS(STATIC_5412), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(o16647sub), java.lang.Object(o16647sub)) -> f5422_0_toPostfix_InvokeMethod(EOS(STATIC_5422), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(o16647sub), java.lang.Object(o16647sub)) :|: TRUE && matching1 = 41 f5422_0_toPostfix_InvokeMethod(EOS(STATIC_5422), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(o16647sub), java.lang.Object(o16647sub)) -> f5435_0_getFirst_Load(EOS(STATIC_5435), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(o16647sub), java.lang.Object(o16647sub)) :|: TRUE && matching1 = 41 f5435_0_getFirst_Load(EOS(STATIC_5435), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(o16647sub), java.lang.Object(o16647sub)) -> f5455_0_getFirst_FieldAccess(EOS(STATIC_5455), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(o16647sub), java.lang.Object(o16647sub)) :|: TRUE && matching1 = 41 f5455_0_getFirst_FieldAccess(EOS(STATIC_5455), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5469_0_getFirst_FieldAccess(EOS(STATIC_5469), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5469_0_getFirst_FieldAccess(EOS(STATIC_5469), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5484_0_getFirst_Return(EOS(STATIC_5484), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5484_0_getFirst_Return(EOS(STATIC_5484), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5497_0_toPostfix_Load(EOS(STATIC_5497), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5497_0_toPostfix_Load(EOS(STATIC_5497), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5511_0_toPostfix_InvokeMethod(EOS(STATIC_5511), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5511_0_toPostfix_InvokeMethod(EOS(STATIC_5511), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5525_0__init__Load(EOS(STATIC_5525), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5525_0__init__Load(EOS(STATIC_5525), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5551_0__init__InvokeMethod(EOS(STATIC_5551), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5551_0__init__InvokeMethod(EOS(STATIC_5551), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5565_0__init__Load(EOS(STATIC_5565), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5565_0__init__Load(EOS(STATIC_5565), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5577_0__init__Load(EOS(STATIC_5577), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5577_0__init__Load(EOS(STATIC_5577), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5590_0__init__FieldAccess(EOS(STATIC_5590), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) :|: TRUE && matching1 = 41 f5590_0__init__FieldAccess(EOS(STATIC_5590), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766)), i1192) -> f5602_0__init__Load(EOS(STATIC_5602), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5602_0__init__Load(EOS(STATIC_5602), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5614_0__init__Load(EOS(STATIC_5614), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5614_0__init__Load(EOS(STATIC_5614), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5625_0__init__FieldAccess(EOS(STATIC_5625), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5625_0__init__FieldAccess(EOS(STATIC_5625), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5635_0__init__Return(EOS(STATIC_5635), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5635_0__init__Return(EOS(STATIC_5635), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5649_0_toPostfix_Store(EOS(STATIC_5649), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5649_0_toPostfix_Store(EOS(STATIC_5649), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5663_0_toPostfix_Load(EOS(STATIC_5663), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5663_0_toPostfix_Load(EOS(STATIC_5663), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5675_0_toPostfix_InvokeMethod(EOS(STATIC_5675), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5675_0_toPostfix_InvokeMethod(EOS(STATIC_5675), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5687_0_getTail_Load(EOS(STATIC_5687), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5687_0_getTail_Load(EOS(STATIC_5687), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5704_0_getTail_FieldAccess(EOS(STATIC_5704), java.lang.Object(LinkedList(EOC, 41, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) :|: TRUE && matching1 = 41 f5704_0_getTail_FieldAccess(EOS(STATIC_5704), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, i1192, o16766))) -> f5712_0_getTail_Return(EOS(STATIC_5712), java.lang.Object(LinkedList(EOC, 41, o16480)), o16766) :|: TRUE && matching1 = 41 f5712_0_getTail_Return(EOS(STATIC_5712), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16766) -> f5719_0_toPostfix_Store(EOS(STATIC_5719), java.lang.Object(LinkedList(EOC, 41, o16480)), o16766) :|: TRUE && matching1 = 41 f5719_0_toPostfix_Store(EOS(STATIC_5719), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16766) -> f5724_0_toPostfix_JMP(EOS(STATIC_5724), java.lang.Object(LinkedList(EOC, 41, o16480)), o16766) :|: TRUE && matching1 = 41 f5724_0_toPostfix_JMP(EOS(STATIC_5724), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16766) -> f5730_0_toPostfix_Load(EOS(STATIC_5730), java.lang.Object(LinkedList(EOC, 41, o16480)), o16766) :|: TRUE && matching1 = 41 f5730_0_toPostfix_Load(EOS(STATIC_5730), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16766) -> f5735_0_toPostfix_InvokeMethod(EOS(STATIC_5735), o16766, java.lang.Object(LinkedList(EOC, 41, o16480))) :|: TRUE && matching1 = 41 f5735_0_toPostfix_InvokeMethod(EOS(STATIC_5735), o16766, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5741_0_getTail_Load(EOS(STATIC_5741), o16766, java.lang.Object(LinkedList(EOC, 41, o16480))) :|: TRUE && matching1 = 41 f5741_0_getTail_Load(EOS(STATIC_5741), o16766, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5752_0_getTail_FieldAccess(EOS(STATIC_5752), o16766, java.lang.Object(LinkedList(EOC, 41, o16480))) :|: TRUE && matching1 = 41 f5752_0_getTail_FieldAccess(EOS(STATIC_5752), o16766, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5756_0_getTail_Return(EOS(STATIC_5756), o16766, o16480) :|: TRUE && matching1 = 41 f5756_0_getTail_Return(EOS(STATIC_5756), o16766, o16480) -> f5624_0_getTail_Return(EOS(STATIC_5624), o16766, o16480) :|: TRUE f5358_0_toPostfix_TableSwitch(EOS(STATIC_5358), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5373_0_toPostfix_New(EOS(STATIC_5373), java.lang.Object(LinkedList(EOC, 42, o16480)), o16423, 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42 f5373_0_toPostfix_New(EOS(STATIC_5373), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5387_0_toPostfix_Duplicate(EOS(STATIC_5387), java.lang.Object(LinkedList(EOC, 42, o16480)), o16423, 42, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42 f5387_0_toPostfix_Duplicate(EOS(STATIC_5387), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5400_0_toPostfix_Load(EOS(STATIC_5400), java.lang.Object(LinkedList(EOC, 42, o16480)), o16423, 42, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 0 f5400_0_toPostfix_Load(EOS(STATIC_5400), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5413_0_toPostfix_Load(EOS(STATIC_5413), java.lang.Object(LinkedList(EOC, 42, o16480)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 0 && matching4 = 0 f5413_0_toPostfix_Load(EOS(STATIC_5413), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5424_0_toPostfix_InvokeMethod(EOS(STATIC_5424), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16423) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 f5424_0_toPostfix_InvokeMethod(EOS(STATIC_5424), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5437_0__init__Load(EOS(STATIC_5437), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16423) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 f5437_0__init__Load(EOS(STATIC_5437), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5457_0__init__InvokeMethod(EOS(STATIC_5457), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 f5457_0__init__InvokeMethod(EOS(STATIC_5457), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5471_0__init__Load(EOS(STATIC_5471), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16423) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 && matching5 = 0 f5471_0__init__Load(EOS(STATIC_5471), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5485_0__init__Load(EOS(STATIC_5485), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 f5485_0__init__Load(EOS(STATIC_5485), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5499_0__init__FieldAccess(EOS(STATIC_5499), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), 42) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 && matching5 = 0 f5499_0__init__FieldAccess(EOS(STATIC_5499), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5513_0__init__Load(EOS(STATIC_5513), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 42, NULL)), java.lang.Object(LinkedList(EOC, 42, NULL)), o16423) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 42 f5513_0__init__Load(EOS(STATIC_5513), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5526_0__init__Load(EOS(STATIC_5526), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 42, NULL)), o16423, java.lang.Object(LinkedList(EOC, 42, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42 f5526_0__init__Load(EOS(STATIC_5526), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5539_0__init__FieldAccess(EOS(STATIC_5539), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 42, NULL)), java.lang.Object(LinkedList(EOC, 42, NULL)), o16423) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42 f5539_0__init__FieldAccess(EOS(STATIC_5539), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5553_0__init__Return(EOS(STATIC_5553), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 42, o16423))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42 f5553_0__init__Return(EOS(STATIC_5553), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5566_0_toPostfix_Store(EOS(STATIC_5566), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 42, o16423))) :|: TRUE && matching1 = 42 && matching2 = 42 f5566_0_toPostfix_Store(EOS(STATIC_5566), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5579_0_toPostfix_JMP(EOS(STATIC_5579), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 42, o16423))) :|: TRUE && matching1 = 42 && matching2 = 42 f5579_0_toPostfix_JMP(EOS(STATIC_5579), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5592_0_toPostfix_Load(EOS(STATIC_5592), java.lang.Object(LinkedList(EOC, 42, o16480)), java.lang.Object(LinkedList(EOC, 42, o16423))) :|: TRUE && matching1 = 42 && matching2 = 42 f5592_0_toPostfix_Load(EOS(STATIC_5592), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5604_0_toPostfix_InvokeMethod(EOS(STATIC_5604), java.lang.Object(LinkedList(EOC, 42, o16423)), java.lang.Object(LinkedList(EOC, 42, o16480))) :|: TRUE && matching1 = 42 && matching2 = 42 f5604_0_toPostfix_InvokeMethod(EOS(STATIC_5604), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5616_0_getTail_Load(EOS(STATIC_5616), java.lang.Object(LinkedList(EOC, 42, o16423)), java.lang.Object(LinkedList(EOC, 42, o16480))) :|: TRUE && matching1 = 42 && matching2 = 42 f5616_0_getTail_Load(EOS(STATIC_5616), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5637_0_getTail_FieldAccess(EOS(STATIC_5637), java.lang.Object(LinkedList(EOC, 42, o16423)), java.lang.Object(LinkedList(EOC, 42, o16480))) :|: TRUE && matching1 = 42 && matching2 = 42 f5637_0_getTail_FieldAccess(EOS(STATIC_5637), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5651_0_getTail_Return(EOS(STATIC_5651), java.lang.Object(LinkedList(EOC, 42, o16423)), o16480) :|: TRUE && matching1 = 42 && matching2 = 42 f5651_0_getTail_Return(EOS(STATIC_5651), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5665_0_toPostfix_Store(EOS(STATIC_5665), java.lang.Object(LinkedList(EOC, 42, o16423)), o16480) :|: TRUE && matching1 = 42 f5665_0_toPostfix_Store(EOS(STATIC_5665), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5677_0_toPostfix_JMP(EOS(STATIC_5677), o16480, java.lang.Object(LinkedList(EOC, 42, o16423))) :|: TRUE && matching1 = 42 f5677_0_toPostfix_JMP(EOS(STATIC_5677), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5689_0_toPostfix_Load(EOS(STATIC_5689), o16480, java.lang.Object(LinkedList(EOC, 42, o16423))) :|: TRUE && matching1 = 42 f5689_0_toPostfix_Load(EOS(STATIC_5689), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5275_0_toPostfix_Load(EOS(STATIC_5275), o16480, java.lang.Object(LinkedList(EOC, 42, o16423))) :|: TRUE && matching1 = 42 f5359_0_toPostfix_TableSwitch(EOS(STATIC_5359), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5374_0_toPostfix_New(EOS(STATIC_5374), java.lang.Object(LinkedList(EOC, 43, o16480)), o16423, 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43 f5374_0_toPostfix_New(EOS(STATIC_5374), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5388_0_toPostfix_Duplicate(EOS(STATIC_5388), java.lang.Object(LinkedList(EOC, 43, o16480)), o16423, 43, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43 f5388_0_toPostfix_Duplicate(EOS(STATIC_5388), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5401_0_toPostfix_Load(EOS(STATIC_5401), java.lang.Object(LinkedList(EOC, 43, o16480)), o16423, 43, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 0 f5401_0_toPostfix_Load(EOS(STATIC_5401), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5414_0_toPostfix_Load(EOS(STATIC_5414), java.lang.Object(LinkedList(EOC, 43, o16480)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 0 && matching4 = 0 f5414_0_toPostfix_Load(EOS(STATIC_5414), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5425_0_toPostfix_InvokeMethod(EOS(STATIC_5425), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16423) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 f5425_0_toPostfix_InvokeMethod(EOS(STATIC_5425), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5438_0__init__Load(EOS(STATIC_5438), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16423) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 f5438_0__init__Load(EOS(STATIC_5438), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5458_0__init__InvokeMethod(EOS(STATIC_5458), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 f5458_0__init__InvokeMethod(EOS(STATIC_5458), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5472_0__init__Load(EOS(STATIC_5472), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16423) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 && matching5 = 0 f5472_0__init__Load(EOS(STATIC_5472), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5486_0__init__Load(EOS(STATIC_5486), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 f5486_0__init__Load(EOS(STATIC_5486), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5500_0__init__FieldAccess(EOS(STATIC_5500), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), 43) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 && matching5 = 0 f5500_0__init__FieldAccess(EOS(STATIC_5500), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5514_0__init__Load(EOS(STATIC_5514), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 43, NULL)), java.lang.Object(LinkedList(EOC, 43, NULL)), o16423) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 43 f5514_0__init__Load(EOS(STATIC_5514), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5527_0__init__Load(EOS(STATIC_5527), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 43, NULL)), o16423, java.lang.Object(LinkedList(EOC, 43, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43 f5527_0__init__Load(EOS(STATIC_5527), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5540_0__init__FieldAccess(EOS(STATIC_5540), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 43, NULL)), java.lang.Object(LinkedList(EOC, 43, NULL)), o16423) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43 f5540_0__init__FieldAccess(EOS(STATIC_5540), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5554_0__init__Return(EOS(STATIC_5554), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 43, o16423))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43 f5554_0__init__Return(EOS(STATIC_5554), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5567_0_toPostfix_Store(EOS(STATIC_5567), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 43, o16423))) :|: TRUE && matching1 = 43 && matching2 = 43 f5567_0_toPostfix_Store(EOS(STATIC_5567), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5580_0_toPostfix_JMP(EOS(STATIC_5580), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 43, o16423))) :|: TRUE && matching1 = 43 && matching2 = 43 f5580_0_toPostfix_JMP(EOS(STATIC_5580), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5593_0_toPostfix_Load(EOS(STATIC_5593), java.lang.Object(LinkedList(EOC, 43, o16480)), java.lang.Object(LinkedList(EOC, 43, o16423))) :|: TRUE && matching1 = 43 && matching2 = 43 f5593_0_toPostfix_Load(EOS(STATIC_5593), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5605_0_toPostfix_InvokeMethod(EOS(STATIC_5605), java.lang.Object(LinkedList(EOC, 43, o16423)), java.lang.Object(LinkedList(EOC, 43, o16480))) :|: TRUE && matching1 = 43 && matching2 = 43 f5605_0_toPostfix_InvokeMethod(EOS(STATIC_5605), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5617_0_getTail_Load(EOS(STATIC_5617), java.lang.Object(LinkedList(EOC, 43, o16423)), java.lang.Object(LinkedList(EOC, 43, o16480))) :|: TRUE && matching1 = 43 && matching2 = 43 f5617_0_getTail_Load(EOS(STATIC_5617), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5638_0_getTail_FieldAccess(EOS(STATIC_5638), java.lang.Object(LinkedList(EOC, 43, o16423)), java.lang.Object(LinkedList(EOC, 43, o16480))) :|: TRUE && matching1 = 43 && matching2 = 43 f5638_0_getTail_FieldAccess(EOS(STATIC_5638), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5652_0_getTail_Return(EOS(STATIC_5652), java.lang.Object(LinkedList(EOC, 43, o16423)), o16480) :|: TRUE && matching1 = 43 && matching2 = 43 f5652_0_getTail_Return(EOS(STATIC_5652), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5666_0_toPostfix_Store(EOS(STATIC_5666), java.lang.Object(LinkedList(EOC, 43, o16423)), o16480) :|: TRUE && matching1 = 43 f5666_0_toPostfix_Store(EOS(STATIC_5666), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5678_0_toPostfix_JMP(EOS(STATIC_5678), o16480, java.lang.Object(LinkedList(EOC, 43, o16423))) :|: TRUE && matching1 = 43 f5678_0_toPostfix_JMP(EOS(STATIC_5678), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5690_0_toPostfix_Load(EOS(STATIC_5690), o16480, java.lang.Object(LinkedList(EOC, 43, o16423))) :|: TRUE && matching1 = 43 f5690_0_toPostfix_Load(EOS(STATIC_5690), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5275_0_toPostfix_Load(EOS(STATIC_5275), o16480, java.lang.Object(LinkedList(EOC, 43, o16423))) :|: TRUE && matching1 = 43 f5360_0_toPostfix_TableSwitch(EOS(STATIC_5360), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5375_0_toPostfix_New(EOS(STATIC_5375), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 && matching3 = 44 f5375_0_toPostfix_New(EOS(STATIC_5375), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5389_0_toPostfix_Duplicate(EOS(STATIC_5389), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5389_0_toPostfix_Duplicate(EOS(STATIC_5389), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5402_0_toPostfix_Load(EOS(STATIC_5402), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5402_0_toPostfix_Load(EOS(STATIC_5402), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5415_0_toPostfix_Load(EOS(STATIC_5415), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5415_0_toPostfix_Load(EOS(STATIC_5415), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5426_0_toPostfix_InvokeMethod(EOS(STATIC_5426), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5426_0_toPostfix_InvokeMethod(EOS(STATIC_5426), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5439_0__init__Load(EOS(STATIC_5439), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5439_0__init__Load(EOS(STATIC_5439), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5459_0__init__InvokeMethod(EOS(STATIC_5459), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5459_0__init__InvokeMethod(EOS(STATIC_5459), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5473_0__init__Load(EOS(STATIC_5473), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5473_0__init__Load(EOS(STATIC_5473), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5487_0__init__Load(EOS(STATIC_5487), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5487_0__init__Load(EOS(STATIC_5487), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5501_0__init__FieldAccess(EOS(STATIC_5501), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423, 44) :|: TRUE && matching1 = 44 && matching2 = 44 f5501_0__init__FieldAccess(EOS(STATIC_5501), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5515_0__init__Load(EOS(STATIC_5515), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423) :|: TRUE && matching1 = 44 && matching2 = 44 f5515_0__init__Load(EOS(STATIC_5515), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5528_0__init__Load(EOS(STATIC_5528), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423) :|: TRUE && matching1 = 44 f5528_0__init__Load(EOS(STATIC_5528), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5541_0__init__FieldAccess(EOS(STATIC_5541), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423) :|: TRUE && matching1 = 44 f5541_0__init__FieldAccess(EOS(STATIC_5541), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5555_0__init__Return(EOS(STATIC_5555), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423) :|: TRUE && matching1 = 44 f5555_0__init__Return(EOS(STATIC_5555), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5568_0_toPostfix_Store(EOS(STATIC_5568), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423) :|: TRUE && matching1 = 44 f5568_0_toPostfix_Store(EOS(STATIC_5568), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5581_0_toPostfix_Load(EOS(STATIC_5581), java.lang.Object(LinkedList(EOC, 44, o16480)), o16423) :|: TRUE && matching1 = 44 f5581_0_toPostfix_Load(EOS(STATIC_5581), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5594_0_toPostfix_InvokeMethod(EOS(STATIC_5594), o16423, java.lang.Object(LinkedList(EOC, 44, o16480))) :|: TRUE && matching1 = 44 f5594_0_toPostfix_InvokeMethod(EOS(STATIC_5594), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5606_0_getTail_Load(EOS(STATIC_5606), o16423, java.lang.Object(LinkedList(EOC, 44, o16480))) :|: TRUE && matching1 = 44 f5606_0_getTail_Load(EOS(STATIC_5606), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5627_0_getTail_FieldAccess(EOS(STATIC_5627), o16423, java.lang.Object(LinkedList(EOC, 44, o16480))) :|: TRUE && matching1 = 44 f5627_0_getTail_FieldAccess(EOS(STATIC_5627), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5639_0_getTail_Return(EOS(STATIC_5639), o16423, o16480) :|: TRUE && matching1 = 44 f5639_0_getTail_Return(EOS(STATIC_5639), o16423, o16480) -> f5756_0_getTail_Return(EOS(STATIC_5756), o16423, o16480) :|: TRUE f5361_0_toPostfix_TableSwitch(EOS(STATIC_5361), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5376_0_toPostfix_New(EOS(STATIC_5376), java.lang.Object(LinkedList(EOC, 45, o16480)), o16423, 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45 f5376_0_toPostfix_New(EOS(STATIC_5376), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5390_0_toPostfix_Duplicate(EOS(STATIC_5390), java.lang.Object(LinkedList(EOC, 45, o16480)), o16423, 45, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45 f5390_0_toPostfix_Duplicate(EOS(STATIC_5390), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5403_0_toPostfix_Load(EOS(STATIC_5403), java.lang.Object(LinkedList(EOC, 45, o16480)), o16423, 45, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 0 f5403_0_toPostfix_Load(EOS(STATIC_5403), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5416_0_toPostfix_Load(EOS(STATIC_5416), java.lang.Object(LinkedList(EOC, 45, o16480)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 0 && matching4 = 0 f5416_0_toPostfix_Load(EOS(STATIC_5416), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5427_0_toPostfix_InvokeMethod(EOS(STATIC_5427), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16423) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 f5427_0_toPostfix_InvokeMethod(EOS(STATIC_5427), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5440_0__init__Load(EOS(STATIC_5440), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16423) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 f5440_0__init__Load(EOS(STATIC_5440), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5460_0__init__InvokeMethod(EOS(STATIC_5460), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 f5460_0__init__InvokeMethod(EOS(STATIC_5460), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5474_0__init__Load(EOS(STATIC_5474), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16423) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 && matching5 = 0 f5474_0__init__Load(EOS(STATIC_5474), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5488_0__init__Load(EOS(STATIC_5488), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 f5488_0__init__Load(EOS(STATIC_5488), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5502_0__init__FieldAccess(EOS(STATIC_5502), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), 45) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 && matching5 = 0 f5502_0__init__FieldAccess(EOS(STATIC_5502), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5516_0__init__Load(EOS(STATIC_5516), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 45, NULL)), java.lang.Object(LinkedList(EOC, 45, NULL)), o16423) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 45 f5516_0__init__Load(EOS(STATIC_5516), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5529_0__init__Load(EOS(STATIC_5529), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 45, NULL)), o16423, java.lang.Object(LinkedList(EOC, 45, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45 f5529_0__init__Load(EOS(STATIC_5529), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5542_0__init__FieldAccess(EOS(STATIC_5542), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 45, NULL)), java.lang.Object(LinkedList(EOC, 45, NULL)), o16423) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45 f5542_0__init__FieldAccess(EOS(STATIC_5542), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5556_0__init__Return(EOS(STATIC_5556), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 45, o16423))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45 f5556_0__init__Return(EOS(STATIC_5556), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5569_0_toPostfix_Store(EOS(STATIC_5569), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 45, o16423))) :|: TRUE && matching1 = 45 && matching2 = 45 f5569_0_toPostfix_Store(EOS(STATIC_5569), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5582_0_toPostfix_JMP(EOS(STATIC_5582), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 45, o16423))) :|: TRUE && matching1 = 45 && matching2 = 45 f5582_0_toPostfix_JMP(EOS(STATIC_5582), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5595_0_toPostfix_Load(EOS(STATIC_5595), java.lang.Object(LinkedList(EOC, 45, o16480)), java.lang.Object(LinkedList(EOC, 45, o16423))) :|: TRUE && matching1 = 45 && matching2 = 45 f5595_0_toPostfix_Load(EOS(STATIC_5595), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5607_0_toPostfix_InvokeMethod(EOS(STATIC_5607), java.lang.Object(LinkedList(EOC, 45, o16423)), java.lang.Object(LinkedList(EOC, 45, o16480))) :|: TRUE && matching1 = 45 && matching2 = 45 f5607_0_toPostfix_InvokeMethod(EOS(STATIC_5607), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5618_0_getTail_Load(EOS(STATIC_5618), java.lang.Object(LinkedList(EOC, 45, o16423)), java.lang.Object(LinkedList(EOC, 45, o16480))) :|: TRUE && matching1 = 45 && matching2 = 45 f5618_0_getTail_Load(EOS(STATIC_5618), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5640_0_getTail_FieldAccess(EOS(STATIC_5640), java.lang.Object(LinkedList(EOC, 45, o16423)), java.lang.Object(LinkedList(EOC, 45, o16480))) :|: TRUE && matching1 = 45 && matching2 = 45 f5640_0_getTail_FieldAccess(EOS(STATIC_5640), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5654_0_getTail_Return(EOS(STATIC_5654), java.lang.Object(LinkedList(EOC, 45, o16423)), o16480) :|: TRUE && matching1 = 45 && matching2 = 45 f5654_0_getTail_Return(EOS(STATIC_5654), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5668_0_toPostfix_Store(EOS(STATIC_5668), java.lang.Object(LinkedList(EOC, 45, o16423)), o16480) :|: TRUE && matching1 = 45 f5668_0_toPostfix_Store(EOS(STATIC_5668), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5680_0_toPostfix_JMP(EOS(STATIC_5680), o16480, java.lang.Object(LinkedList(EOC, 45, o16423))) :|: TRUE && matching1 = 45 f5680_0_toPostfix_JMP(EOS(STATIC_5680), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5691_0_toPostfix_Load(EOS(STATIC_5691), o16480, java.lang.Object(LinkedList(EOC, 45, o16423))) :|: TRUE && matching1 = 45 f5691_0_toPostfix_Load(EOS(STATIC_5691), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5275_0_toPostfix_Load(EOS(STATIC_5275), o16480, java.lang.Object(LinkedList(EOC, 45, o16423))) :|: TRUE && matching1 = 45 f5362_0_toPostfix_TableSwitch(EOS(STATIC_5362), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5377_0_toPostfix_New(EOS(STATIC_5377), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 && matching3 = 46 f5377_0_toPostfix_New(EOS(STATIC_5377), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5391_0_toPostfix_Duplicate(EOS(STATIC_5391), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5391_0_toPostfix_Duplicate(EOS(STATIC_5391), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5404_0_toPostfix_Load(EOS(STATIC_5404), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5404_0_toPostfix_Load(EOS(STATIC_5404), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5417_0_toPostfix_Load(EOS(STATIC_5417), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5417_0_toPostfix_Load(EOS(STATIC_5417), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5428_0_toPostfix_InvokeMethod(EOS(STATIC_5428), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5428_0_toPostfix_InvokeMethod(EOS(STATIC_5428), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5441_0__init__Load(EOS(STATIC_5441), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5441_0__init__Load(EOS(STATIC_5441), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5461_0__init__InvokeMethod(EOS(STATIC_5461), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5461_0__init__InvokeMethod(EOS(STATIC_5461), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5475_0__init__Load(EOS(STATIC_5475), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5475_0__init__Load(EOS(STATIC_5475), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5489_0__init__Load(EOS(STATIC_5489), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5489_0__init__Load(EOS(STATIC_5489), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5503_0__init__FieldAccess(EOS(STATIC_5503), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423, 46) :|: TRUE && matching1 = 46 && matching2 = 46 f5503_0__init__FieldAccess(EOS(STATIC_5503), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5517_0__init__Load(EOS(STATIC_5517), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423) :|: TRUE && matching1 = 46 && matching2 = 46 f5517_0__init__Load(EOS(STATIC_5517), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5530_0__init__Load(EOS(STATIC_5530), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423) :|: TRUE && matching1 = 46 f5530_0__init__Load(EOS(STATIC_5530), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5543_0__init__FieldAccess(EOS(STATIC_5543), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423) :|: TRUE && matching1 = 46 f5543_0__init__FieldAccess(EOS(STATIC_5543), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5557_0__init__Return(EOS(STATIC_5557), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423) :|: TRUE && matching1 = 46 f5557_0__init__Return(EOS(STATIC_5557), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5570_0_toPostfix_Store(EOS(STATIC_5570), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423) :|: TRUE && matching1 = 46 f5570_0_toPostfix_Store(EOS(STATIC_5570), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5583_0_toPostfix_Load(EOS(STATIC_5583), java.lang.Object(LinkedList(EOC, 46, o16480)), o16423) :|: TRUE && matching1 = 46 f5583_0_toPostfix_Load(EOS(STATIC_5583), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423) -> f5596_0_toPostfix_InvokeMethod(EOS(STATIC_5596), o16423, java.lang.Object(LinkedList(EOC, 46, o16480))) :|: TRUE && matching1 = 46 f5596_0_toPostfix_InvokeMethod(EOS(STATIC_5596), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5608_0_getTail_Load(EOS(STATIC_5608), o16423, java.lang.Object(LinkedList(EOC, 46, o16480))) :|: TRUE && matching1 = 46 f5608_0_getTail_Load(EOS(STATIC_5608), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5628_0_getTail_FieldAccess(EOS(STATIC_5628), o16423, java.lang.Object(LinkedList(EOC, 46, o16480))) :|: TRUE && matching1 = 46 f5628_0_getTail_FieldAccess(EOS(STATIC_5628), o16423, java.lang.Object(LinkedList(EOC, matching1, o16480))) -> f5641_0_getTail_Return(EOS(STATIC_5641), o16423, o16480) :|: TRUE && matching1 = 46 f5641_0_getTail_Return(EOS(STATIC_5641), o16423, o16480) -> f5756_0_getTail_Return(EOS(STATIC_5756), o16423, o16480) :|: TRUE f5363_0_toPostfix_TableSwitch(EOS(STATIC_5363), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, matching3) -> f5378_0_toPostfix_New(EOS(STATIC_5378), java.lang.Object(LinkedList(EOC, 47, o16480)), o16423, 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47 f5378_0_toPostfix_New(EOS(STATIC_5378), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2) -> f5392_0_toPostfix_Duplicate(EOS(STATIC_5392), java.lang.Object(LinkedList(EOC, 47, o16480)), o16423, 47, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47 f5392_0_toPostfix_Duplicate(EOS(STATIC_5392), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5405_0_toPostfix_Load(EOS(STATIC_5405), java.lang.Object(LinkedList(EOC, 47, o16480)), o16423, 47, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 0 f5405_0_toPostfix_Load(EOS(STATIC_5405), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5418_0_toPostfix_Load(EOS(STATIC_5418), java.lang.Object(LinkedList(EOC, 47, o16480)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 0 && matching4 = 0 f5418_0_toPostfix_Load(EOS(STATIC_5418), java.lang.Object(LinkedList(EOC, matching1, o16480)), o16423, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5429_0_toPostfix_InvokeMethod(EOS(STATIC_5429), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16423) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 f5429_0_toPostfix_InvokeMethod(EOS(STATIC_5429), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5442_0__init__Load(EOS(STATIC_5442), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16423) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 f5442_0__init__Load(EOS(STATIC_5442), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5462_0__init__InvokeMethod(EOS(STATIC_5462), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 f5462_0__init__InvokeMethod(EOS(STATIC_5462), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5476_0__init__Load(EOS(STATIC_5476), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16423) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 && matching5 = 0 f5476_0__init__Load(EOS(STATIC_5476), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423) -> f5490_0__init__Load(EOS(STATIC_5490), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16423, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 f5490_0__init__Load(EOS(STATIC_5490), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16423, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5504_0__init__FieldAccess(EOS(STATIC_5504), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16423, java.lang.Object(LinkedList(EOC, 0, NULL)), 47) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 && matching5 = 0 f5504_0__init__FieldAccess(EOS(STATIC_5504), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5518_0__init__Load(EOS(STATIC_5518), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 47, NULL)), java.lang.Object(LinkedList(EOC, 47, NULL)), o16423) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 47 f5518_0__init__Load(EOS(STATIC_5518), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5531_0__init__Load(EOS(STATIC_5531), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 47, NULL)), o16423, java.lang.Object(LinkedList(EOC, 47, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47 f5531_0__init__Load(EOS(STATIC_5531), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16423, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5544_0__init__FieldAccess(EOS(STATIC_5544), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 47, NULL)), java.lang.Object(LinkedList(EOC, 47, NULL)), o16423) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47 f5544_0__init__FieldAccess(EOS(STATIC_5544), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16423) -> f5558_0__init__Return(EOS(STATIC_5558), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 47, o16423))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47 f5558_0__init__Return(EOS(STATIC_5558), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5571_0_toPostfix_Store(EOS(STATIC_5571), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 47, o16423))) :|: TRUE && matching1 = 47 && matching2 = 47 f5571_0_toPostfix_Store(EOS(STATIC_5571), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5584_0_toPostfix_JMP(EOS(STATIC_5584), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 47, o16423))) :|: TRUE && matching1 = 47 && matching2 = 47 f5584_0_toPostfix_JMP(EOS(STATIC_5584), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5597_0_toPostfix_Load(EOS(STATIC_5597), java.lang.Object(LinkedList(EOC, 47, o16480)), java.lang.Object(LinkedList(EOC, 47, o16423))) :|: TRUE && matching1 = 47 && matching2 = 47 f5597_0_toPostfix_Load(EOS(STATIC_5597), java.lang.Object(LinkedList(EOC, matching1, o16480)), java.lang.Object(LinkedList(EOC, matching2, o16423))) -> f5609_0_toPostfix_InvokeMethod(EOS(STATIC_5609), java.lang.Object(LinkedList(EOC, 47, o16423)), java.lang.Object(LinkedList(EOC, 47, o16480))) :|: TRUE && matching1 = 47 && matching2 = 47 f5609_0_toPostfix_InvokeMethod(EOS(STATIC_5609), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5619_0_getTail_Load(EOS(STATIC_5619), java.lang.Object(LinkedList(EOC, 47, o16423)), java.lang.Object(LinkedList(EOC, 47, o16480))) :|: TRUE && matching1 = 47 && matching2 = 47 f5619_0_getTail_Load(EOS(STATIC_5619), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5642_0_getTail_FieldAccess(EOS(STATIC_5642), java.lang.Object(LinkedList(EOC, 47, o16423)), java.lang.Object(LinkedList(EOC, 47, o16480))) :|: TRUE && matching1 = 47 && matching2 = 47 f5642_0_getTail_FieldAccess(EOS(STATIC_5642), java.lang.Object(LinkedList(EOC, matching1, o16423)), java.lang.Object(LinkedList(EOC, matching2, o16480))) -> f5656_0_getTail_Return(EOS(STATIC_5656), java.lang.Object(LinkedList(EOC, 47, o16423)), o16480) :|: TRUE && matching1 = 47 && matching2 = 47 f5656_0_getTail_Return(EOS(STATIC_5656), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5670_0_toPostfix_Store(EOS(STATIC_5670), java.lang.Object(LinkedList(EOC, 47, o16423)), o16480) :|: TRUE && matching1 = 47 f5670_0_toPostfix_Store(EOS(STATIC_5670), java.lang.Object(LinkedList(EOC, matching1, o16423)), o16480) -> f5682_0_toPostfix_JMP(EOS(STATIC_5682), o16480, java.lang.Object(LinkedList(EOC, 47, o16423))) :|: TRUE && matching1 = 47 f5682_0_toPostfix_JMP(EOS(STATIC_5682), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5692_0_toPostfix_Load(EOS(STATIC_5692), o16480, java.lang.Object(LinkedList(EOC, 47, o16423))) :|: TRUE && matching1 = 47 f5692_0_toPostfix_Load(EOS(STATIC_5692), o16480, java.lang.Object(LinkedList(EOC, matching1, o16423))) -> f5275_0_toPostfix_Load(EOS(STATIC_5275), o16480, java.lang.Object(LinkedList(EOC, 47, o16423))) :|: TRUE && matching1 = 47 f5350_0_toPostfix_TableSwitch(EOS(STATIC_5350), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178, i1178) -> f5364_0_toPostfix_New(EOS(STATIC_5364), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: i1178 > 47 f5364_0_toPostfix_New(EOS(STATIC_5364), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) -> f5355_0_toPostfix_New(EOS(STATIC_5355), java.lang.Object(LinkedList(EOC, i1178, o16480)), o16423, i1178) :|: TRUE Combined rules. Obtained 10 IRulesP rules: f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 45, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, 45, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, java.lang.Object(LinkedList(EOC, 45, o16423:0)), o16480:0) :|: TRUE f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 44, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, 44, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, o16423:0, o16480:0) :|: TRUE f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 43, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, 43, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, java.lang.Object(LinkedList(EOC, 43, o16423:0)), o16480:0) :|: TRUE f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 40, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, 40, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, o16423:0, o16480:0) :|: TRUE f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 42, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, 42, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, java.lang.Object(LinkedList(EOC, 42, o16423:0)), o16480:0) :|: TRUE f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, i1178:0, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, i1178:0, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, o16423:0, o16480:0) :|: i1178:0 < 40 f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, i1178:0, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, i1178:0, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, o16423:0, o16480:0) :|: i1178:0 > 47 f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 46, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, 46, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, o16423:0, o16480:0) :|: TRUE f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 41, o16480:0)), java.lang.Object(LinkedList(EOC, i1192:0, o16766:0)), java.lang.Object(LinkedList(EOC, 41, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, o16766:0, o16480:0) :|: TRUE f5279_0_toPostfix_NULL(EOS(STATIC_5279), java.lang.Object(LinkedList(EOC, 47, o16480:0)), o16423:0, java.lang.Object(LinkedList(EOC, 47, o16480:0))) -> f5279_0_toPostfix_NULL(EOS(STATIC_5279), o16480:0, java.lang.Object(LinkedList(EOC, 47, o16423:0)), o16480:0) :|: TRUE Filtered constant ground arguments: f5279_0_toPostfix_NULL(x1, x2, x3, x4) -> f5279_0_toPostfix_NULL(x2, x3, x4) EOS(x1) -> EOS LinkedList(x1, x2, x3) -> LinkedList(x2, x3) Filtered duplicate arguments: f5279_0_toPostfix_NULL(x1, x2, x3) -> f5279_0_toPostfix_NULL(x2, x3) Finished conversion. Obtained 10 rules.P rules: f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_45, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o16423:0)), o16480:0) :|: TRUE && cons_45 = 45 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_44, o16480:0))) -> f5279_0_toPostfix_NULL(o16423:0, o16480:0) :|: TRUE && cons_44 = 44 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_43, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(43, o16423:0)), o16480:0) :|: TRUE && cons_43 = 43 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_40, o16480:0))) -> f5279_0_toPostfix_NULL(o16423:0, o16480:0) :|: TRUE && cons_40 = 40 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_42, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(42, o16423:0)), o16480:0) :|: TRUE && cons_42 = 42 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(i1178:0, o16480:0))) -> f5279_0_toPostfix_NULL(o16423:0, o16480:0) :|: i1178:0 < 40 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(i1178:0, o16480:0))) -> f5279_0_toPostfix_NULL(o16423:0, o16480:0) :|: i1178:0 > 47 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_46, o16480:0))) -> f5279_0_toPostfix_NULL(o16423:0, o16480:0) :|: TRUE && cons_46 = 46 f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(i1192:0, o16766:0)), java.lang.Object(LinkedList(cons_41, o16480:0))) -> f5279_0_toPostfix_NULL(o16766:0, o16480:0) :|: TRUE && cons_41 = 41 f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_47, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(47, o16423:0)), o16480:0) :|: TRUE && cons_47 = 47 ---------------------------------------- (14) Obligation: Rules: f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_45, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o16423:0)), o16480:0) :|: TRUE && cons_45 = 45 f5279_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5279_0_toPostfix_NULL(x, x2) :|: TRUE && x1 = 44 f5279_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x3)), x5) :|: TRUE && x4 = 43 f5279_0_toPostfix_NULL(x6, java.lang.Object(LinkedList(x7, x8))) -> f5279_0_toPostfix_NULL(x6, x8) :|: TRUE && x7 = 40 f5279_0_toPostfix_NULL(x9, java.lang.Object(LinkedList(x10, x11))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x9)), x11) :|: TRUE && x10 = 42 f5279_0_toPostfix_NULL(x12, java.lang.Object(LinkedList(x13, x14))) -> f5279_0_toPostfix_NULL(x12, x14) :|: x13 < 40 f5279_0_toPostfix_NULL(x15, java.lang.Object(LinkedList(x16, x17))) -> f5279_0_toPostfix_NULL(x15, x17) :|: x16 > 47 f5279_0_toPostfix_NULL(x18, java.lang.Object(LinkedList(x19, x20))) -> f5279_0_toPostfix_NULL(x18, x20) :|: TRUE && x19 = 46 f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21, x22)), java.lang.Object(LinkedList(x23, x24))) -> f5279_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 41 f5279_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x25)), x27) :|: TRUE && x26 = 47 ---------------------------------------- (15) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (16) Obligation: Rules: f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_45, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o16423:0)), o16480:0) :|: TRUE && cons_45 = 45 f5279_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5279_0_toPostfix_NULL(x, x2) :|: TRUE && x1 = 44 f5279_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x3)), x5) :|: TRUE && x4 = 43 f5279_0_toPostfix_NULL(x6, java.lang.Object(LinkedList(x7, x8))) -> f5279_0_toPostfix_NULL(x6, x8) :|: TRUE && x7 = 40 f5279_0_toPostfix_NULL(x9, java.lang.Object(LinkedList(x10, x11))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x9)), x11) :|: TRUE && x10 = 42 f5279_0_toPostfix_NULL(x12, java.lang.Object(LinkedList(x13, x14))) -> f5279_0_toPostfix_NULL(x12, x14) :|: x13 < 40 f5279_0_toPostfix_NULL(x15, java.lang.Object(LinkedList(x16, x17))) -> f5279_0_toPostfix_NULL(x15, x17) :|: x16 > 47 f5279_0_toPostfix_NULL(x18, java.lang.Object(LinkedList(x19, x20))) -> f5279_0_toPostfix_NULL(x18, x20) :|: TRUE && x19 = 46 f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21, x22)), java.lang.Object(LinkedList(x23, x24))) -> f5279_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 41 f5279_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x25)), x27) :|: TRUE && x26 = 47 ---------------------------------------- (17) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_45, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o16423:0)), o16480:0) :|: TRUE && cons_45 = 45 (2) f5279_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5279_0_toPostfix_NULL(x, x2) :|: TRUE && x1 = 44 (3) f5279_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x3)), x5) :|: TRUE && x4 = 43 (4) f5279_0_toPostfix_NULL(x6, java.lang.Object(LinkedList(x7, x8))) -> f5279_0_toPostfix_NULL(x6, x8) :|: TRUE && x7 = 40 (5) f5279_0_toPostfix_NULL(x9, java.lang.Object(LinkedList(x10, x11))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x9)), x11) :|: TRUE && x10 = 42 (6) f5279_0_toPostfix_NULL(x12, java.lang.Object(LinkedList(x13, x14))) -> f5279_0_toPostfix_NULL(x12, x14) :|: x13 < 40 (7) f5279_0_toPostfix_NULL(x15, java.lang.Object(LinkedList(x16, x17))) -> f5279_0_toPostfix_NULL(x15, x17) :|: x16 > 47 (8) f5279_0_toPostfix_NULL(x18, java.lang.Object(LinkedList(x19, x20))) -> f5279_0_toPostfix_NULL(x18, x20) :|: TRUE && x19 = 46 (9) f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21, x22)), java.lang.Object(LinkedList(x23, x24))) -> f5279_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 41 (10) f5279_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x25)), x27) :|: TRUE && x26 = 47 Arcs: (1) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (2) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (3) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (4) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (5) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (6) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (7) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (8) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (9) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (10) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) This digraph is fully evaluated! ---------------------------------------- (18) Obligation: Termination digraph: Nodes: (1) f5279_0_toPostfix_NULL(o16423:0, java.lang.Object(LinkedList(cons_45, o16480:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o16423:0)), o16480:0) :|: TRUE && cons_45 = 45 (2) f5279_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5279_0_toPostfix_NULL(x, x2) :|: TRUE && x1 = 44 (3) f5279_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x3)), x5) :|: TRUE && x4 = 43 (4) f5279_0_toPostfix_NULL(x6, java.lang.Object(LinkedList(x7, x8))) -> f5279_0_toPostfix_NULL(x6, x8) :|: TRUE && x7 = 40 (5) f5279_0_toPostfix_NULL(x9, java.lang.Object(LinkedList(x10, x11))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x9)), x11) :|: TRUE && x10 = 42 (6) f5279_0_toPostfix_NULL(x12, java.lang.Object(LinkedList(x13, x14))) -> f5279_0_toPostfix_NULL(x12, x14) :|: x13 < 40 (7) f5279_0_toPostfix_NULL(x15, java.lang.Object(LinkedList(x16, x17))) -> f5279_0_toPostfix_NULL(x15, x17) :|: x16 > 47 (8) f5279_0_toPostfix_NULL(x18, java.lang.Object(LinkedList(x19, x20))) -> f5279_0_toPostfix_NULL(x18, x20) :|: TRUE && x19 = 46 (9) f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21, x22)), java.lang.Object(LinkedList(x23, x24))) -> f5279_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 41 (10) f5279_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x25)), x27) :|: TRUE && x26 = 47 Arcs: (1) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (2) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (3) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (4) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (5) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (6) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (7) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (8) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (9) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) (10) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10) This digraph is fully evaluated! ---------------------------------------- (19) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (20) Obligation: Rules: f5279_0_toPostfix_NULL(x6:0, java.lang.Object(LinkedList(cons_40, x8:0))) -> f5279_0_toPostfix_NULL(x6:0, x8:0) :|: TRUE && cons_40 = 40 f5279_0_toPostfix_NULL(x18:0, java.lang.Object(LinkedList(cons_46, x20:0))) -> f5279_0_toPostfix_NULL(x18:0, x20:0) :|: TRUE && cons_46 = 46 f5279_0_toPostfix_NULL(o16423:0:0, java.lang.Object(LinkedList(cons_45, o16480:0:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o16423:0:0)), o16480:0:0) :|: TRUE && cons_45 = 45 f5279_0_toPostfix_NULL(x25:0, java.lang.Object(LinkedList(cons_47, x27:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x25:0)), x27:0) :|: TRUE && cons_47 = 47 f5279_0_toPostfix_NULL(x15:0, java.lang.Object(LinkedList(x16:0, x17:0))) -> f5279_0_toPostfix_NULL(x15:0, x17:0) :|: x16:0 > 47 f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21:0, x22:0)), java.lang.Object(LinkedList(cons_41, x24:0))) -> f5279_0_toPostfix_NULL(x22:0, x24:0) :|: TRUE && cons_41 = 41 f5279_0_toPostfix_NULL(x3:0, java.lang.Object(LinkedList(cons_43, x5:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x3:0)), x5:0) :|: TRUE && cons_43 = 43 f5279_0_toPostfix_NULL(x9:0, java.lang.Object(LinkedList(cons_42, x11:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x9:0)), x11:0) :|: TRUE && cons_42 = 42 f5279_0_toPostfix_NULL(x12:0, java.lang.Object(LinkedList(x13:0, x14:0))) -> f5279_0_toPostfix_NULL(x12:0, x14:0) :|: x13:0 < 40 f5279_0_toPostfix_NULL(x:0, java.lang.Object(LinkedList(cons_44, x2:0))) -> f5279_0_toPostfix_NULL(x:0, x2:0) :|: TRUE && cons_44 = 44 ---------------------------------------- (21) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f5279_0_toPostfix_NULL(VARIABLE, VARIABLE) java.lang.Object(VARIABLE) LinkedList(VARIABLE, VARIABLE) Removed predefined arithmetic. ---------------------------------------- (22) Obligation: Rules: f5279_0_toPostfix_NULL(x6:0, java.lang.Object(LinkedList(predef, x8:0))) -> f5279_0_toPostfix_NULL(x6:0, x8:0) f5279_0_toPostfix_NULL(o16423:0:0, java.lang.Object(LinkedList(predef, o16480:0:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, o16423:0:0)), o16480:0:0) f5279_0_toPostfix_NULL(x15:0, java.lang.Object(LinkedList(x16:0, x17:0))) -> f5279_0_toPostfix_NULL(x15:0, x17:0) f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21:0, x22:0)), java.lang.Object(LinkedList(predef, x24:0))) -> f5279_0_toPostfix_NULL(x22:0, x24:0) ---------------------------------------- (23) IRSwTToQDPProof (SOUND) Removed the integers and created a QDP-Problem. ---------------------------------------- (24) Obligation: Q DP problem: The TRS P consists of the following rules: f5279_0_toPostfix_NULL(x6:0, java.lang.Object(LinkedList(predef, x8:0))) -> f5279_0_toPostfix_NULL(x6:0, x8:0) f5279_0_toPostfix_NULL(o16423:0:0, java.lang.Object(LinkedList(predef, o16480:0:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, o16423:0:0)), o16480:0:0) f5279_0_toPostfix_NULL(x15:0, java.lang.Object(LinkedList(x16:0, x17:0))) -> f5279_0_toPostfix_NULL(x15:0, x17:0) f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21:0, x22:0)), java.lang.Object(LinkedList(predef, x24:0))) -> f5279_0_toPostfix_NULL(x22:0, x24:0) R is empty. Q is empty. We have to consider all (P,Q,R)-chains. ---------------------------------------- (25) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *f5279_0_toPostfix_NULL(x6:0, java.lang.Object(LinkedList(predef, x8:0))) -> f5279_0_toPostfix_NULL(x6:0, x8:0) The graph contains the following edges 1 >= 1, 2 > 2 *f5279_0_toPostfix_NULL(o16423:0:0, java.lang.Object(LinkedList(predef, o16480:0:0))) -> f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, o16423:0:0)), o16480:0:0) The graph contains the following edges 2 > 2 *f5279_0_toPostfix_NULL(x15:0, java.lang.Object(LinkedList(x16:0, x17:0))) -> f5279_0_toPostfix_NULL(x15:0, x17:0) The graph contains the following edges 1 >= 1, 2 > 2 *f5279_0_toPostfix_NULL(java.lang.Object(LinkedList(x21:0, x22:0)), java.lang.Object(LinkedList(predef, x24:0))) -> f5279_0_toPostfix_NULL(x22:0, x24:0) The graph contains the following edges 1 > 1, 2 > 2 ---------------------------------------- (26) YES ---------------------------------------- (27) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Infix2Postfix.main([Ljava/lang/String;)V SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (28) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 22 IRulesP rules: f6120_0_buildExpression_Load(EOS(STATIC_6120), java.lang.Object(ARRAY(i1446)), i1446, i1447, i1447) -> f6123_0_buildExpression_GE(EOS(STATIC_6123), java.lang.Object(ARRAY(i1446)), i1446, i1447, i1447, i1446) :|: TRUE f6123_0_buildExpression_GE(EOS(STATIC_6123), java.lang.Object(ARRAY(i1446)), i1446, i1447, i1447, i1446) -> f6127_0_buildExpression_GE(EOS(STATIC_6127), java.lang.Object(ARRAY(i1446)), i1446, i1447, i1447, i1446) :|: i1447 < i1446 f6127_0_buildExpression_GE(EOS(STATIC_6127), java.lang.Object(ARRAY(i1446)), i1446, i1447, i1447, i1446) -> f6131_0_buildExpression_New(EOS(STATIC_6131), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: i1447 < i1446 f6131_0_buildExpression_New(EOS(STATIC_6131), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6135_0_buildExpression_Duplicate(EOS(STATIC_6135), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6135_0_buildExpression_Duplicate(EOS(STATIC_6135), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6139_0_buildExpression_ConstantStackPush(EOS(STATIC_6139), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6139_0_buildExpression_ConstantStackPush(EOS(STATIC_6139), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6143_0_buildExpression_Load(EOS(STATIC_6143), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6143_0_buildExpression_Load(EOS(STATIC_6143), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6147_0_buildExpression_InvokeMethod(EOS(STATIC_6147), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6147_0_buildExpression_InvokeMethod(EOS(STATIC_6147), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6149_0__init__Load(EOS(STATIC_6149), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6149_0__init__Load(EOS(STATIC_6149), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6155_0__init__InvokeMethod(EOS(STATIC_6155), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6155_0__init__InvokeMethod(EOS(STATIC_6155), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6158_0__init__Load(EOS(STATIC_6158), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6158_0__init__Load(EOS(STATIC_6158), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6161_0__init__Load(EOS(STATIC_6161), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6161_0__init__Load(EOS(STATIC_6161), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6167_0__init__FieldAccess(EOS(STATIC_6167), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6167_0__init__FieldAccess(EOS(STATIC_6167), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6172_0__init__Load(EOS(STATIC_6172), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6172_0__init__Load(EOS(STATIC_6172), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6177_0__init__Load(EOS(STATIC_6177), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6177_0__init__Load(EOS(STATIC_6177), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6181_0__init__FieldAccess(EOS(STATIC_6181), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6181_0__init__FieldAccess(EOS(STATIC_6181), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6184_0__init__Return(EOS(STATIC_6184), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6184_0__init__Return(EOS(STATIC_6184), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6187_0_buildExpression_Store(EOS(STATIC_6187), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6187_0_buildExpression_Store(EOS(STATIC_6187), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6190_0_buildExpression_Inc(EOS(STATIC_6190), java.lang.Object(ARRAY(i1446)), i1446, i1447) :|: TRUE f6190_0_buildExpression_Inc(EOS(STATIC_6190), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6193_0_buildExpression_JMP(EOS(STATIC_6193), java.lang.Object(ARRAY(i1446)), i1446, i1447 + 1) :|: TRUE f6193_0_buildExpression_JMP(EOS(STATIC_6193), java.lang.Object(ARRAY(i1446)), i1446, i1452) -> f6196_0_buildExpression_Load(EOS(STATIC_6196), java.lang.Object(ARRAY(i1446)), i1446, i1452) :|: TRUE f6196_0_buildExpression_Load(EOS(STATIC_6196), java.lang.Object(ARRAY(i1446)), i1446, i1452) -> f6117_0_buildExpression_Load(EOS(STATIC_6117), java.lang.Object(ARRAY(i1446)), i1446, i1452) :|: TRUE f6117_0_buildExpression_Load(EOS(STATIC_6117), java.lang.Object(ARRAY(i1446)), i1446, i1447) -> f6120_0_buildExpression_Load(EOS(STATIC_6120), java.lang.Object(ARRAY(i1446)), i1446, i1447, i1447) :|: TRUE Combined rules. Obtained 1 IRulesP rules: f6120_0_buildExpression_Load(EOS(STATIC_6120), java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0, i1447:0) -> f6120_0_buildExpression_Load(EOS(STATIC_6120), java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0 + 1, i1447:0 + 1) :|: i1447:0 < i1446:0 Filtered constant ground arguments: f6120_0_buildExpression_Load(x1, x2, x3, x4, x5) -> f6120_0_buildExpression_Load(x2, x3, x4, x5) EOS(x1) -> EOS Filtered duplicate arguments: f6120_0_buildExpression_Load(x1, x2, x3, x4) -> f6120_0_buildExpression_Load(x1, x2, x4) Finished conversion. Obtained 1 rules.P rules: f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0, i1446:0) -> f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0 + 1, i1446:0) :|: i1447:0 < i1446:0 ---------------------------------------- (29) Obligation: Rules: f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0, i1446:0) -> f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0 + 1, i1446:0) :|: i1447:0 < i1446:0 ---------------------------------------- (30) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (31) Obligation: Rules: f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0, i1446:0) -> f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, arith, i1446:0) :|: i1447:0 < i1446:0 && arith = i1447:0 + 1 ---------------------------------------- (32) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0, i1446:0) -> f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, arith, i1446:0) :|: i1447:0 < i1446:0 && arith = i1447:0 + 1 Arcs: (1) -> (1) This digraph is fully evaluated! ---------------------------------------- (33) Obligation: Termination digraph: Nodes: (1) f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, i1447:0, i1446:0) -> f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0)), i1446:0, arith, i1446:0) :|: i1447:0 < i1446:0 && arith = i1447:0 + 1 Arcs: (1) -> (1) This digraph is fully evaluated! ---------------------------------------- (34) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (35) Obligation: Rules: f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0:0)), i1446:0:0, i1447:0:0, i1446:0:0) -> f6120_0_buildExpression_Load(java.lang.Object(ARRAY(i1446:0:0)), i1446:0:0, i1447:0:0 + 1, i1446:0:0) :|: i1447:0:0 < i1446:0:0 ---------------------------------------- (36) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f6120_0_buildExpression_Load(VARIABLE, INTEGER, INTEGER, INTEGER) java.lang.Object(VARIABLE) ARRAY(INTEGER) Replaced non-predefined constructor symbols by 0. ---------------------------------------- (37) Obligation: Rules: f6120_0_buildExpression_Load(c, i1446:0:0, i1447:0:0, i1446:0:0) -> f6120_0_buildExpression_Load(c1, i1446:0:0, c2, i1446:0:0) :|: c2 = i1447:0:0 + 1 && (c1 = 0 && c = 0) && i1447:0:0 < i1446:0:0 ---------------------------------------- (38) PolynomialOrderProcessor (EQUIVALENT) Found the following polynomial interpretation: [f6120_0_buildExpression_Load(x, x1, x2, x3)] = c*x - x2 + x3 The following rules are decreasing: f6120_0_buildExpression_Load(c, i1446:0:0, i1447:0:0, i1446:0:0) -> f6120_0_buildExpression_Load(c1, i1446:0:0, c2, i1446:0:0) :|: c2 = i1447:0:0 + 1 && (c1 = 0 && c = 0) && i1447:0:0 < i1446:0:0 The following rules are bounded: f6120_0_buildExpression_Load(c, i1446:0:0, i1447:0:0, i1446:0:0) -> f6120_0_buildExpression_Load(c1, i1446:0:0, c2, i1446:0:0) :|: c2 = i1447:0:0 + 1 && (c1 = 0 && c = 0) && i1447:0:0 < i1446:0:0 ---------------------------------------- (39) YES ---------------------------------------- (40) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Infix2Postfix.main([Ljava/lang/String;)V SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (41) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 211 IRulesP rules: f5837_0_buildExpression_Load(EOS(STATIC_5837), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) -> f5839_0_buildExpression_GT(EOS(STATIC_5839), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) :|: TRUE f5839_0_buildExpression_GT(EOS(STATIC_5839), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) -> f5843_0_buildExpression_GT(EOS(STATIC_5843), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) :|: i1347 <= i1346 f5843_0_buildExpression_GT(EOS(STATIC_5843), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) -> f5846_0_buildExpression_Load(EOS(STATIC_5846), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: i1347 <= i1346 f5846_0_buildExpression_Load(EOS(STATIC_5846), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5850_0_buildExpression_Load(EOS(STATIC_5850), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) :|: TRUE f5850_0_buildExpression_Load(EOS(STATIC_5850), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) -> f5854_0_buildExpression_ConstantStackPush(EOS(STATIC_5854), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) :|: TRUE f5854_0_buildExpression_ConstantStackPush(EOS(STATIC_5854), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) -> f5858_0_buildExpression_IntArithmetic(EOS(STATIC_5858), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346, 1) :|: TRUE f5858_0_buildExpression_IntArithmetic(EOS(STATIC_5858), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346, matching1) -> f5862_0_buildExpression_GT(EOS(STATIC_5862), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346 - 1) :|: i1346 > 0 && matching1 = 1 f5862_0_buildExpression_GT(EOS(STATIC_5862), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1355) -> f5866_0_buildExpression_GT(EOS(STATIC_5866), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1355) :|: i1347 > i1355 f5862_0_buildExpression_GT(EOS(STATIC_5862), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1355) -> f5867_0_buildExpression_GT(EOS(STATIC_5867), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1355) :|: i1347 <= i1355 f5866_0_buildExpression_GT(EOS(STATIC_5866), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1355) -> f5871_0_buildExpression_New(EOS(STATIC_5871), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: i1347 > i1355 f5871_0_buildExpression_New(EOS(STATIC_5871), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5875_0_buildExpression_Duplicate(EOS(STATIC_5875), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5875_0_buildExpression_Duplicate(EOS(STATIC_5875), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5880_0_buildExpression_ConstantStackPush(EOS(STATIC_5880), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5880_0_buildExpression_ConstantStackPush(EOS(STATIC_5880), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5885_0_buildExpression_Load(EOS(STATIC_5885), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5885_0_buildExpression_Load(EOS(STATIC_5885), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5890_0_buildExpression_InvokeMethod(EOS(STATIC_5890), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5890_0_buildExpression_InvokeMethod(EOS(STATIC_5890), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5895_0__init__Load(EOS(STATIC_5895), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5895_0__init__Load(EOS(STATIC_5895), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5901_0__init__InvokeMethod(EOS(STATIC_5901), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5901_0__init__InvokeMethod(EOS(STATIC_5901), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5904_0__init__Load(EOS(STATIC_5904), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5904_0__init__Load(EOS(STATIC_5904), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5908_0__init__Load(EOS(STATIC_5908), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5908_0__init__Load(EOS(STATIC_5908), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5915_0__init__FieldAccess(EOS(STATIC_5915), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5915_0__init__FieldAccess(EOS(STATIC_5915), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5921_0__init__Load(EOS(STATIC_5921), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5921_0__init__Load(EOS(STATIC_5921), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5927_0__init__Load(EOS(STATIC_5927), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5927_0__init__Load(EOS(STATIC_5927), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5932_0__init__FieldAccess(EOS(STATIC_5932), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5932_0__init__FieldAccess(EOS(STATIC_5932), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5936_0__init__Return(EOS(STATIC_5936), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5936_0__init__Return(EOS(STATIC_5936), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5940_0_buildExpression_Store(EOS(STATIC_5940), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5940_0_buildExpression_Store(EOS(STATIC_5940), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5944_0_buildExpression_New(EOS(STATIC_5944), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5944_0_buildExpression_New(EOS(STATIC_5944), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5948_0_buildExpression_Duplicate(EOS(STATIC_5948), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5948_0_buildExpression_Duplicate(EOS(STATIC_5948), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5953_0_buildExpression_ConstantStackPush(EOS(STATIC_5953), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5953_0_buildExpression_ConstantStackPush(EOS(STATIC_5953), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5957_0_buildExpression_Load(EOS(STATIC_5957), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5957_0_buildExpression_Load(EOS(STATIC_5957), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5961_0_buildExpression_InvokeMethod(EOS(STATIC_5961), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5961_0_buildExpression_InvokeMethod(EOS(STATIC_5961), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5965_0__init__Load(EOS(STATIC_5965), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5965_0__init__Load(EOS(STATIC_5965), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5973_0__init__InvokeMethod(EOS(STATIC_5973), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5973_0__init__InvokeMethod(EOS(STATIC_5973), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5978_0__init__Load(EOS(STATIC_5978), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5978_0__init__Load(EOS(STATIC_5978), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5983_0__init__Load(EOS(STATIC_5983), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5983_0__init__Load(EOS(STATIC_5983), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5988_0__init__FieldAccess(EOS(STATIC_5988), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5988_0__init__FieldAccess(EOS(STATIC_5988), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5992_0__init__Load(EOS(STATIC_5992), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5992_0__init__Load(EOS(STATIC_5992), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5995_0__init__Load(EOS(STATIC_5995), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5995_0__init__Load(EOS(STATIC_5995), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5998_0__init__FieldAccess(EOS(STATIC_5998), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5998_0__init__FieldAccess(EOS(STATIC_5998), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6001_0__init__Return(EOS(STATIC_6001), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6001_0__init__Return(EOS(STATIC_6001), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6004_0_buildExpression_Store(EOS(STATIC_6004), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6004_0_buildExpression_Store(EOS(STATIC_6004), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6010_0_buildExpression_New(EOS(STATIC_6010), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6010_0_buildExpression_New(EOS(STATIC_6010), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6015_0_buildExpression_Duplicate(EOS(STATIC_6015), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6015_0_buildExpression_Duplicate(EOS(STATIC_6015), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6020_0_buildExpression_ConstantStackPush(EOS(STATIC_6020), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6020_0_buildExpression_ConstantStackPush(EOS(STATIC_6020), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6024_0_buildExpression_Load(EOS(STATIC_6024), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6024_0_buildExpression_Load(EOS(STATIC_6024), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6027_0_buildExpression_InvokeMethod(EOS(STATIC_6027), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6027_0_buildExpression_InvokeMethod(EOS(STATIC_6027), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6030_0__init__Load(EOS(STATIC_6030), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6030_0__init__Load(EOS(STATIC_6030), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6034_0__init__InvokeMethod(EOS(STATIC_6034), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6034_0__init__InvokeMethod(EOS(STATIC_6034), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6038_0__init__Load(EOS(STATIC_6038), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6038_0__init__Load(EOS(STATIC_6038), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6041_0__init__Load(EOS(STATIC_6041), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6041_0__init__Load(EOS(STATIC_6041), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6044_0__init__FieldAccess(EOS(STATIC_6044), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6044_0__init__FieldAccess(EOS(STATIC_6044), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6048_0__init__Load(EOS(STATIC_6048), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6048_0__init__Load(EOS(STATIC_6048), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6052_0__init__Load(EOS(STATIC_6052), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6052_0__init__Load(EOS(STATIC_6052), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6056_0__init__FieldAccess(EOS(STATIC_6056), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6056_0__init__FieldAccess(EOS(STATIC_6056), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6060_0__init__Return(EOS(STATIC_6060), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6060_0__init__Return(EOS(STATIC_6060), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6064_0_buildExpression_Store(EOS(STATIC_6064), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6064_0_buildExpression_Store(EOS(STATIC_6064), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6068_0_buildExpression_New(EOS(STATIC_6068), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6068_0_buildExpression_New(EOS(STATIC_6068), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6072_0_buildExpression_Duplicate(EOS(STATIC_6072), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6072_0_buildExpression_Duplicate(EOS(STATIC_6072), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6075_0_buildExpression_ConstantStackPush(EOS(STATIC_6075), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6075_0_buildExpression_ConstantStackPush(EOS(STATIC_6075), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6078_0_buildExpression_Load(EOS(STATIC_6078), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6078_0_buildExpression_Load(EOS(STATIC_6078), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6081_0_buildExpression_InvokeMethod(EOS(STATIC_6081), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6081_0_buildExpression_InvokeMethod(EOS(STATIC_6081), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6084_0__init__Load(EOS(STATIC_6084), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6084_0__init__Load(EOS(STATIC_6084), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6093_0__init__InvokeMethod(EOS(STATIC_6093), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6093_0__init__InvokeMethod(EOS(STATIC_6093), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6098_0__init__Load(EOS(STATIC_6098), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6098_0__init__Load(EOS(STATIC_6098), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6102_0__init__Load(EOS(STATIC_6102), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6102_0__init__Load(EOS(STATIC_6102), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6105_0__init__FieldAccess(EOS(STATIC_6105), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6105_0__init__FieldAccess(EOS(STATIC_6105), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6108_0__init__Load(EOS(STATIC_6108), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6108_0__init__Load(EOS(STATIC_6108), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6111_0__init__Load(EOS(STATIC_6111), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6111_0__init__Load(EOS(STATIC_6111), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6114_0__init__FieldAccess(EOS(STATIC_6114), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6114_0__init__FieldAccess(EOS(STATIC_6114), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6118_0__init__Return(EOS(STATIC_6118), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6118_0__init__Return(EOS(STATIC_6118), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6121_0_buildExpression_Store(EOS(STATIC_6121), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6121_0_buildExpression_Store(EOS(STATIC_6121), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6124_0_buildExpression_New(EOS(STATIC_6124), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6124_0_buildExpression_New(EOS(STATIC_6124), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6128_0_buildExpression_Duplicate(EOS(STATIC_6128), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6128_0_buildExpression_Duplicate(EOS(STATIC_6128), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6132_0_buildExpression_ConstantStackPush(EOS(STATIC_6132), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6132_0_buildExpression_ConstantStackPush(EOS(STATIC_6132), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6136_0_buildExpression_Load(EOS(STATIC_6136), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6136_0_buildExpression_Load(EOS(STATIC_6136), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6140_0_buildExpression_InvokeMethod(EOS(STATIC_6140), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6140_0_buildExpression_InvokeMethod(EOS(STATIC_6140), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6144_0__init__Load(EOS(STATIC_6144), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6144_0__init__Load(EOS(STATIC_6144), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6150_0__init__InvokeMethod(EOS(STATIC_6150), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6150_0__init__InvokeMethod(EOS(STATIC_6150), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6153_0__init__Load(EOS(STATIC_6153), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6153_0__init__Load(EOS(STATIC_6153), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6156_0__init__Load(EOS(STATIC_6156), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6156_0__init__Load(EOS(STATIC_6156), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6159_0__init__FieldAccess(EOS(STATIC_6159), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6159_0__init__FieldAccess(EOS(STATIC_6159), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6162_0__init__Load(EOS(STATIC_6162), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6162_0__init__Load(EOS(STATIC_6162), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6168_0__init__Load(EOS(STATIC_6168), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6168_0__init__Load(EOS(STATIC_6168), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6173_0__init__FieldAccess(EOS(STATIC_6173), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6173_0__init__FieldAccess(EOS(STATIC_6173), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6178_0__init__Return(EOS(STATIC_6178), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6178_0__init__Return(EOS(STATIC_6178), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6182_0_buildExpression_Store(EOS(STATIC_6182), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6182_0_buildExpression_Store(EOS(STATIC_6182), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6185_0_buildExpression_Load(EOS(STATIC_6185), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6185_0_buildExpression_Load(EOS(STATIC_6185), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6188_0_buildExpression_Load(EOS(STATIC_6188), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) :|: TRUE f6188_0_buildExpression_Load(EOS(STATIC_6188), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) -> f6191_0_buildExpression_ConstantStackPush(EOS(STATIC_6191), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) :|: TRUE f6191_0_buildExpression_ConstantStackPush(EOS(STATIC_6191), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) -> f6194_0_buildExpression_IntArithmetic(EOS(STATIC_6194), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346, 1) :|: TRUE f6194_0_buildExpression_IntArithmetic(EOS(STATIC_6194), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346, matching1) -> f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346 - 1) :|: i1346 > 0 && matching1 = 1 f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1455) -> f6199_0_buildExpression_GT(EOS(STATIC_6199), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1455) :|: i1347 > i1455 f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1455) -> f6200_0_buildExpression_GT(EOS(STATIC_6200), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1455) :|: i1347 <= i1455 f6199_0_buildExpression_GT(EOS(STATIC_6199), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1455) -> f6202_0_buildExpression_Inc(EOS(STATIC_6202), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: i1347 > i1455 f6202_0_buildExpression_Inc(EOS(STATIC_6202), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6204_0_buildExpression_JMP(EOS(STATIC_6204), java.lang.Object(ARRAY(i1346)), i1346, i1347 + 1) :|: TRUE f6204_0_buildExpression_JMP(EOS(STATIC_6204), java.lang.Object(ARRAY(i1346)), i1346, i1456) -> f6207_0_buildExpression_Load(EOS(STATIC_6207), java.lang.Object(ARRAY(i1346)), i1346, i1456) :|: TRUE f6207_0_buildExpression_Load(EOS(STATIC_6207), java.lang.Object(ARRAY(i1346)), i1346, i1456) -> f5835_0_buildExpression_Load(EOS(STATIC_5835), java.lang.Object(ARRAY(i1346)), i1346, i1456) :|: TRUE f5835_0_buildExpression_Load(EOS(STATIC_5835), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5837_0_buildExpression_Load(EOS(STATIC_5837), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) :|: TRUE f6200_0_buildExpression_GT(EOS(STATIC_6200), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1455) -> f6203_0_buildExpression_New(EOS(STATIC_6203), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: i1347 <= i1455 f6203_0_buildExpression_New(EOS(STATIC_6203), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6205_0_buildExpression_Duplicate(EOS(STATIC_6205), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6205_0_buildExpression_Duplicate(EOS(STATIC_6205), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6208_0_buildExpression_ConstantStackPush(EOS(STATIC_6208), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6208_0_buildExpression_ConstantStackPush(EOS(STATIC_6208), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6210_0_buildExpression_Load(EOS(STATIC_6210), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6210_0_buildExpression_Load(EOS(STATIC_6210), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6212_0_buildExpression_InvokeMethod(EOS(STATIC_6212), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6212_0_buildExpression_InvokeMethod(EOS(STATIC_6212), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6214_0__init__Load(EOS(STATIC_6214), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6214_0__init__Load(EOS(STATIC_6214), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6217_0__init__InvokeMethod(EOS(STATIC_6217), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6217_0__init__InvokeMethod(EOS(STATIC_6217), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6219_0__init__Load(EOS(STATIC_6219), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6219_0__init__Load(EOS(STATIC_6219), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6221_0__init__Load(EOS(STATIC_6221), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6221_0__init__Load(EOS(STATIC_6221), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6223_0__init__FieldAccess(EOS(STATIC_6223), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6223_0__init__FieldAccess(EOS(STATIC_6223), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6225_0__init__Load(EOS(STATIC_6225), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6225_0__init__Load(EOS(STATIC_6225), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6227_0__init__Load(EOS(STATIC_6227), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6227_0__init__Load(EOS(STATIC_6227), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6229_0__init__FieldAccess(EOS(STATIC_6229), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6229_0__init__FieldAccess(EOS(STATIC_6229), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6231_0__init__Return(EOS(STATIC_6231), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6231_0__init__Return(EOS(STATIC_6231), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6233_0_buildExpression_Store(EOS(STATIC_6233), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6233_0_buildExpression_Store(EOS(STATIC_6233), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6234_0_buildExpression_Inc(EOS(STATIC_6234), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6234_0_buildExpression_Inc(EOS(STATIC_6234), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6235_0_buildExpression_JMP(EOS(STATIC_6235), java.lang.Object(ARRAY(i1346)), i1346, i1347 + 1) :|: TRUE f6235_0_buildExpression_JMP(EOS(STATIC_6235), java.lang.Object(ARRAY(i1346)), i1346, i1461) -> f6236_0_buildExpression_Load(EOS(STATIC_6236), java.lang.Object(ARRAY(i1346)), i1346, i1461) :|: TRUE f6236_0_buildExpression_Load(EOS(STATIC_6236), java.lang.Object(ARRAY(i1346)), i1346, i1461) -> f5835_0_buildExpression_Load(EOS(STATIC_5835), java.lang.Object(ARRAY(i1346)), i1346, i1461) :|: TRUE f5867_0_buildExpression_GT(EOS(STATIC_5867), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1355) -> f5872_0_buildExpression_New(EOS(STATIC_5872), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: i1347 <= i1355 f5872_0_buildExpression_New(EOS(STATIC_5872), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5876_0_buildExpression_Duplicate(EOS(STATIC_5876), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5876_0_buildExpression_Duplicate(EOS(STATIC_5876), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5881_0_buildExpression_ConstantStackPush(EOS(STATIC_5881), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5881_0_buildExpression_ConstantStackPush(EOS(STATIC_5881), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5886_0_buildExpression_Load(EOS(STATIC_5886), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5886_0_buildExpression_Load(EOS(STATIC_5886), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5891_0_buildExpression_InvokeMethod(EOS(STATIC_5891), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5891_0_buildExpression_InvokeMethod(EOS(STATIC_5891), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5896_0__init__Load(EOS(STATIC_5896), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5896_0__init__Load(EOS(STATIC_5896), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5902_0__init__InvokeMethod(EOS(STATIC_5902), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5902_0__init__InvokeMethod(EOS(STATIC_5902), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5905_0__init__Load(EOS(STATIC_5905), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5905_0__init__Load(EOS(STATIC_5905), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5909_0__init__Load(EOS(STATIC_5909), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5909_0__init__Load(EOS(STATIC_5909), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5916_0__init__FieldAccess(EOS(STATIC_5916), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5916_0__init__FieldAccess(EOS(STATIC_5916), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5922_0__init__Load(EOS(STATIC_5922), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5922_0__init__Load(EOS(STATIC_5922), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5928_0__init__Load(EOS(STATIC_5928), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5928_0__init__Load(EOS(STATIC_5928), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5933_0__init__FieldAccess(EOS(STATIC_5933), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5933_0__init__FieldAccess(EOS(STATIC_5933), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5937_0__init__Return(EOS(STATIC_5937), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5937_0__init__Return(EOS(STATIC_5937), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5941_0_buildExpression_Store(EOS(STATIC_5941), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5941_0_buildExpression_Store(EOS(STATIC_5941), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5945_0_buildExpression_New(EOS(STATIC_5945), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5945_0_buildExpression_New(EOS(STATIC_5945), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5949_0_buildExpression_Duplicate(EOS(STATIC_5949), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5949_0_buildExpression_Duplicate(EOS(STATIC_5949), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5954_0_buildExpression_ConstantStackPush(EOS(STATIC_5954), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5954_0_buildExpression_ConstantStackPush(EOS(STATIC_5954), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5958_0_buildExpression_Load(EOS(STATIC_5958), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5958_0_buildExpression_Load(EOS(STATIC_5958), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5962_0_buildExpression_InvokeMethod(EOS(STATIC_5962), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5962_0_buildExpression_InvokeMethod(EOS(STATIC_5962), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5966_0__init__Load(EOS(STATIC_5966), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5966_0__init__Load(EOS(STATIC_5966), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5974_0__init__InvokeMethod(EOS(STATIC_5974), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5974_0__init__InvokeMethod(EOS(STATIC_5974), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5979_0__init__Load(EOS(STATIC_5979), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5979_0__init__Load(EOS(STATIC_5979), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5984_0__init__Load(EOS(STATIC_5984), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5984_0__init__Load(EOS(STATIC_5984), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5989_0__init__FieldAccess(EOS(STATIC_5989), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5989_0__init__FieldAccess(EOS(STATIC_5989), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5993_0__init__Load(EOS(STATIC_5993), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5993_0__init__Load(EOS(STATIC_5993), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5996_0__init__Load(EOS(STATIC_5996), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5996_0__init__Load(EOS(STATIC_5996), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f5999_0__init__FieldAccess(EOS(STATIC_5999), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f5999_0__init__FieldAccess(EOS(STATIC_5999), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6002_0__init__Return(EOS(STATIC_6002), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6002_0__init__Return(EOS(STATIC_6002), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6005_0_buildExpression_Store(EOS(STATIC_6005), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6005_0_buildExpression_Store(EOS(STATIC_6005), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6011_0_buildExpression_New(EOS(STATIC_6011), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6011_0_buildExpression_New(EOS(STATIC_6011), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6016_0_buildExpression_Duplicate(EOS(STATIC_6016), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6016_0_buildExpression_Duplicate(EOS(STATIC_6016), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6021_0_buildExpression_ConstantStackPush(EOS(STATIC_6021), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6021_0_buildExpression_ConstantStackPush(EOS(STATIC_6021), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6025_0_buildExpression_Load(EOS(STATIC_6025), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6025_0_buildExpression_Load(EOS(STATIC_6025), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6028_0_buildExpression_InvokeMethod(EOS(STATIC_6028), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6028_0_buildExpression_InvokeMethod(EOS(STATIC_6028), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6031_0__init__Load(EOS(STATIC_6031), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6031_0__init__Load(EOS(STATIC_6031), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6035_0__init__InvokeMethod(EOS(STATIC_6035), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6035_0__init__InvokeMethod(EOS(STATIC_6035), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6039_0__init__Load(EOS(STATIC_6039), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6039_0__init__Load(EOS(STATIC_6039), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6042_0__init__Load(EOS(STATIC_6042), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6042_0__init__Load(EOS(STATIC_6042), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6045_0__init__FieldAccess(EOS(STATIC_6045), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6045_0__init__FieldAccess(EOS(STATIC_6045), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6049_0__init__Load(EOS(STATIC_6049), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6049_0__init__Load(EOS(STATIC_6049), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6053_0__init__Load(EOS(STATIC_6053), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6053_0__init__Load(EOS(STATIC_6053), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6057_0__init__FieldAccess(EOS(STATIC_6057), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6057_0__init__FieldAccess(EOS(STATIC_6057), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6061_0__init__Return(EOS(STATIC_6061), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6061_0__init__Return(EOS(STATIC_6061), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6065_0_buildExpression_Store(EOS(STATIC_6065), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6065_0_buildExpression_Store(EOS(STATIC_6065), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6069_0_buildExpression_New(EOS(STATIC_6069), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6069_0_buildExpression_New(EOS(STATIC_6069), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6073_0_buildExpression_Duplicate(EOS(STATIC_6073), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6073_0_buildExpression_Duplicate(EOS(STATIC_6073), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6076_0_buildExpression_ConstantStackPush(EOS(STATIC_6076), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6076_0_buildExpression_ConstantStackPush(EOS(STATIC_6076), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6079_0_buildExpression_Load(EOS(STATIC_6079), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6079_0_buildExpression_Load(EOS(STATIC_6079), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6082_0_buildExpression_InvokeMethod(EOS(STATIC_6082), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6082_0_buildExpression_InvokeMethod(EOS(STATIC_6082), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6085_0__init__Load(EOS(STATIC_6085), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6085_0__init__Load(EOS(STATIC_6085), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6094_0__init__InvokeMethod(EOS(STATIC_6094), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6094_0__init__InvokeMethod(EOS(STATIC_6094), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6099_0__init__Load(EOS(STATIC_6099), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6099_0__init__Load(EOS(STATIC_6099), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6103_0__init__Load(EOS(STATIC_6103), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6103_0__init__Load(EOS(STATIC_6103), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6106_0__init__FieldAccess(EOS(STATIC_6106), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6106_0__init__FieldAccess(EOS(STATIC_6106), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6109_0__init__Load(EOS(STATIC_6109), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6109_0__init__Load(EOS(STATIC_6109), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6112_0__init__Load(EOS(STATIC_6112), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6112_0__init__Load(EOS(STATIC_6112), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6115_0__init__FieldAccess(EOS(STATIC_6115), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6115_0__init__FieldAccess(EOS(STATIC_6115), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6119_0__init__Return(EOS(STATIC_6119), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6119_0__init__Return(EOS(STATIC_6119), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6122_0_buildExpression_Store(EOS(STATIC_6122), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6122_0_buildExpression_Store(EOS(STATIC_6122), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6125_0_buildExpression_New(EOS(STATIC_6125), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6125_0_buildExpression_New(EOS(STATIC_6125), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6129_0_buildExpression_Duplicate(EOS(STATIC_6129), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6129_0_buildExpression_Duplicate(EOS(STATIC_6129), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6133_0_buildExpression_ConstantStackPush(EOS(STATIC_6133), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6133_0_buildExpression_ConstantStackPush(EOS(STATIC_6133), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6137_0_buildExpression_Load(EOS(STATIC_6137), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6137_0_buildExpression_Load(EOS(STATIC_6137), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6141_0_buildExpression_InvokeMethod(EOS(STATIC_6141), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6141_0_buildExpression_InvokeMethod(EOS(STATIC_6141), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6145_0__init__Load(EOS(STATIC_6145), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6145_0__init__Load(EOS(STATIC_6145), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6151_0__init__InvokeMethod(EOS(STATIC_6151), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6151_0__init__InvokeMethod(EOS(STATIC_6151), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6154_0__init__Load(EOS(STATIC_6154), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6154_0__init__Load(EOS(STATIC_6154), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6157_0__init__Load(EOS(STATIC_6157), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6157_0__init__Load(EOS(STATIC_6157), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6160_0__init__FieldAccess(EOS(STATIC_6160), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6160_0__init__FieldAccess(EOS(STATIC_6160), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6163_0__init__Load(EOS(STATIC_6163), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6163_0__init__Load(EOS(STATIC_6163), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6169_0__init__Load(EOS(STATIC_6169), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6169_0__init__Load(EOS(STATIC_6169), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6174_0__init__FieldAccess(EOS(STATIC_6174), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6174_0__init__FieldAccess(EOS(STATIC_6174), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6179_0__init__Return(EOS(STATIC_6179), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6179_0__init__Return(EOS(STATIC_6179), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6183_0_buildExpression_Store(EOS(STATIC_6183), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6183_0_buildExpression_Store(EOS(STATIC_6183), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6186_0_buildExpression_New(EOS(STATIC_6186), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6186_0_buildExpression_New(EOS(STATIC_6186), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6189_0_buildExpression_Duplicate(EOS(STATIC_6189), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6189_0_buildExpression_Duplicate(EOS(STATIC_6189), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6192_0_buildExpression_ConstantStackPush(EOS(STATIC_6192), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6192_0_buildExpression_ConstantStackPush(EOS(STATIC_6192), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6195_0_buildExpression_Load(EOS(STATIC_6195), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6195_0_buildExpression_Load(EOS(STATIC_6195), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6198_0_buildExpression_InvokeMethod(EOS(STATIC_6198), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6198_0_buildExpression_InvokeMethod(EOS(STATIC_6198), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6201_0__init__Load(EOS(STATIC_6201), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6201_0__init__Load(EOS(STATIC_6201), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6206_0__init__InvokeMethod(EOS(STATIC_6206), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6206_0__init__InvokeMethod(EOS(STATIC_6206), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6209_0__init__Load(EOS(STATIC_6209), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6209_0__init__Load(EOS(STATIC_6209), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6211_0__init__Load(EOS(STATIC_6211), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6211_0__init__Load(EOS(STATIC_6211), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6213_0__init__FieldAccess(EOS(STATIC_6213), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6213_0__init__FieldAccess(EOS(STATIC_6213), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6215_0__init__Load(EOS(STATIC_6215), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6215_0__init__Load(EOS(STATIC_6215), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6216_0__init__Load(EOS(STATIC_6216), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6216_0__init__Load(EOS(STATIC_6216), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6218_0__init__FieldAccess(EOS(STATIC_6218), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6218_0__init__FieldAccess(EOS(STATIC_6218), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6220_0__init__Return(EOS(STATIC_6220), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6220_0__init__Return(EOS(STATIC_6220), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6222_0_buildExpression_Store(EOS(STATIC_6222), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6222_0_buildExpression_Store(EOS(STATIC_6222), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6224_0_buildExpression_Load(EOS(STATIC_6224), java.lang.Object(ARRAY(i1346)), i1346, i1347) :|: TRUE f6224_0_buildExpression_Load(EOS(STATIC_6224), java.lang.Object(ARRAY(i1346)), i1346, i1347) -> f6226_0_buildExpression_Load(EOS(STATIC_6226), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) :|: TRUE f6226_0_buildExpression_Load(EOS(STATIC_6226), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347) -> f6228_0_buildExpression_ConstantStackPush(EOS(STATIC_6228), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) :|: TRUE f6228_0_buildExpression_ConstantStackPush(EOS(STATIC_6228), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346) -> f6230_0_buildExpression_IntArithmetic(EOS(STATIC_6230), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346, 1) :|: TRUE f6230_0_buildExpression_IntArithmetic(EOS(STATIC_6230), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346, matching1) -> f6232_0_buildExpression_GT(EOS(STATIC_6232), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1346 - 1) :|: i1346 > 0 && matching1 = 1 f6232_0_buildExpression_GT(EOS(STATIC_6232), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1459) -> f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346)), i1346, i1347, i1347, i1459) :|: TRUE Combined rules. Obtained 4 IRulesP rules: f5837_0_buildExpression_Load(EOS(STATIC_5837), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1347:0) -> f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1347:0, i1346:0 - 1) :|: i1347:0 <= i1346:0 && i1346:0 > 0 && i1347:0 <= i1346:0 - 1 f5837_0_buildExpression_Load(EOS(STATIC_5837), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1347:0) -> f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1347:0, i1346:0 - 1) :|: i1347:0 <= i1346:0 && i1346:0 > 0 && i1347:0 > i1346:0 - 1 f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1347:0, i1455:0) -> f5837_0_buildExpression_Load(EOS(STATIC_5837), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0 + 1, i1347:0 + 1) :|: i1455:0 < i1347:0 f6197_0_buildExpression_GT(EOS(STATIC_6197), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1347:0, i1455:0) -> f5837_0_buildExpression_Load(EOS(STATIC_5837), java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0 + 1, i1347:0 + 1) :|: i1455:0 >= i1347:0 Filtered constant ground arguments: f5837_0_buildExpression_Load(x1, x2, x3, x4, x5) -> f5837_0_buildExpression_Load(x2, x3, x4, x5) f6197_0_buildExpression_GT(x1, x2, x3, x4, x5, x6) -> f6197_0_buildExpression_GT(x2, x3, x4, x5, x6) Filtered duplicate arguments: f5837_0_buildExpression_Load(x1, x2, x3, x4) -> f5837_0_buildExpression_Load(x1, x2, x4) f6197_0_buildExpression_GT(x1, x2, x3, x4, x5) -> f6197_0_buildExpression_GT(x1, x2, x4, x5) Finished conversion. Obtained 4 rules.P rules: f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0 - 1, i1346:0) :|: i1346:0 > 0 && i1347:0 <= i1346:0 - 1 && i1347:0 <= i1346:0 f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0 - 1, i1346:0) :|: i1346:0 > 0 && i1347:0 > i1346:0 - 1 && i1347:0 <= i1346:0 f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1455:0, i1346:0) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0 + 1, i1346:0) :|: i1455:0 < i1347:0 f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1455:0, i1346:0) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0 + 1, i1346:0) :|: i1455:0 >= i1347:0 ---------------------------------------- (42) Obligation: Rules: f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0 - 1, i1346:0) :|: i1346:0 > 0 && i1347:0 <= i1346:0 - 1 && i1347:0 <= i1346:0 f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x)), x, x1, x) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x)), x, x1, x - 1, x) :|: x > 0 && x1 > x - 1 && x1 <= x f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x2)), x2, x3, x4, x2) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x2)), x2, x3 + 1, x2) :|: x4 < x3 f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x5)), x5, x6, x7, x5) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x5)), x5, x6 + 1, x5) :|: x7 >= x6 ---------------------------------------- (43) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (44) Obligation: Rules: f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, arith, i1346:0) :|: i1346:0 > 0 && i1347:0 <= i1346:0 - 1 && i1347:0 <= i1346:0 && arith = i1346:0 - 1 f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x8)), x8, x9, x8) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x8)), x8, x9, x10, x8) :|: x8 > 0 && x9 > x8 - 1 && x9 <= x8 && x10 = x8 - 1 f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x11)), x11, x12, x13, x11) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x11)), x11, x14, x11) :|: x13 < x12 && x14 = x12 + 1 f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x15)), x15, x16, x17, x15) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x15)), x15, x18, x15) :|: x17 >= x16 && x18 = x16 + 1 ---------------------------------------- (45) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, arith, i1346:0) :|: i1346:0 > 0 && i1347:0 <= i1346:0 - 1 && i1347:0 <= i1346:0 && arith = i1346:0 - 1 (2) f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x8)), x8, x9, x8) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x8)), x8, x9, x10, x8) :|: x8 > 0 && x9 > x8 - 1 && x9 <= x8 && x10 = x8 - 1 (3) f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x11)), x11, x12, x13, x11) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x11)), x11, x14, x11) :|: x13 < x12 && x14 = x12 + 1 (4) f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x15)), x15, x16, x17, x15) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x15)), x15, x18, x15) :|: x17 >= x16 && x18 = x16 + 1 Arcs: (1) -> (4) (2) -> (3) (3) -> (1), (2) (4) -> (1), (2) This digraph is fully evaluated! ---------------------------------------- (46) Obligation: Termination digraph: Nodes: (1) f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, i1346:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0)), i1346:0, i1347:0, arith, i1346:0) :|: i1346:0 > 0 && i1347:0 <= i1346:0 - 1 && i1347:0 <= i1346:0 && arith = i1346:0 - 1 (2) f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x11)), x11, x12, x13, x11) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x11)), x11, x14, x11) :|: x13 < x12 && x14 = x12 + 1 (3) f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x8)), x8, x9, x8) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x8)), x8, x9, x10, x8) :|: x8 > 0 && x9 > x8 - 1 && x9 <= x8 && x10 = x8 - 1 (4) f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x15)), x15, x16, x17, x15) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x15)), x15, x18, x15) :|: x17 >= x16 && x18 = x16 + 1 Arcs: (1) -> (4) (2) -> (1), (3) (3) -> (2) (4) -> (1), (3) This digraph is fully evaluated! ---------------------------------------- (47) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (48) Obligation: Rules: f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x8:0)), x8:0, x9:0, x8:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x8:0)), x8:0, x9:0, x8:0 - 1, x8:0) :|: x8:0 > 0 && x9:0 > x8:0 - 1 && x9:0 <= x8:0 f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x15:0)), x15:0, x16:0, x17:0, x15:0) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x15:0)), x15:0, x16:0 + 1, x15:0) :|: x17:0 >= x16:0 f5837_0_buildExpression_Load(java.lang.Object(ARRAY(i1346:0:0)), i1346:0:0, i1347:0:0, i1346:0:0) -> f6197_0_buildExpression_GT(java.lang.Object(ARRAY(i1346:0:0)), i1346:0:0, i1347:0:0, i1346:0:0 - 1, i1346:0:0) :|: i1346:0:0 > 0 && i1347:0:0 <= i1346:0:0 - 1 && i1347:0:0 <= i1346:0:0 f6197_0_buildExpression_GT(java.lang.Object(ARRAY(x11:0)), x11:0, x12:0, x13:0, x11:0) -> f5837_0_buildExpression_Load(java.lang.Object(ARRAY(x11:0)), x11:0, x12:0 + 1, x11:0) :|: x13:0 < x12:0 ---------------------------------------- (49) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f5837_0_buildExpression_Load(VARIABLE, VARIABLE, INTEGER, VARIABLE) java.lang.Object(VARIABLE) ARRAY(VARIABLE) f6197_0_buildExpression_GT(VARIABLE, VARIABLE, INTEGER, INTEGER, VARIABLE) Replaced non-predefined constructor symbols by 0. ---------------------------------------- (50) Obligation: Rules: f5837_0_buildExpression_Load(c, x8:0, x9:0, x8:0) -> f6197_0_buildExpression_GT(c1, x8:0, x9:0, c2, x8:0) :|: c2 = x8:0 - 1 && (c1 = 0 && c = 0) && (x8:0 > 0 && x9:0 > x8:0 - 1 && x9:0 <= x8:0) f6197_0_buildExpression_GT(c3, x15:0, x16:0, x17:0, x15:0) -> f5837_0_buildExpression_Load(c4, x15:0, c5, x15:0) :|: c5 = x16:0 + 1 && (c4 = 0 && c3 = 0) && x17:0 >= x16:0 f5837_0_buildExpression_Load(c6, i1346:0:0, i1347:0:0, i1346:0:0) -> f6197_0_buildExpression_GT(c7, i1346:0:0, i1347:0:0, c8, i1346:0:0) :|: c8 = i1346:0:0 - 1 && (c7 = 0 && c6 = 0) && (i1346:0:0 > 0 && i1347:0:0 <= i1346:0:0 - 1 && i1347:0:0 <= i1346:0:0) f6197_0_buildExpression_GT(c9, x11:0, x12:0, x13:0, x11:0) -> f5837_0_buildExpression_Load(c10, x11:0, c11, x11:0) :|: c11 = x12:0 + 1 && (c10 = 0 && c9 = 0) && x13:0 < x12:0 ---------------------------------------- (51) PolynomialOrderProcessor (EQUIVALENT) Found the following polynomial interpretation: [f5837_0_buildExpression_Load(x, x1, x2, x3)] = -1 + c*x + 2*x1 - x2 [f6197_0_buildExpression_GT(x4, x5, x6, x7, x8)] = -1 + c4*x4 + 2*x5 - x6 The following rules are decreasing: f6197_0_buildExpression_GT(c3, x15:0, x16:0, x17:0, x15:0) -> f5837_0_buildExpression_Load(c4, x15:0, c5, x15:0) :|: c5 = x16:0 + 1 && (c4 = 0 && c3 = 0) && x17:0 >= x16:0 f6197_0_buildExpression_GT(c9, x11:0, x12:0, x13:0, x11:0) -> f5837_0_buildExpression_Load(c10, x11:0, c11, x11:0) :|: c11 = x12:0 + 1 && (c10 = 0 && c9 = 0) && x13:0 < x12:0 The following rules are bounded: f5837_0_buildExpression_Load(c, x8:0, x9:0, x8:0) -> f6197_0_buildExpression_GT(c1, x8:0, x9:0, c2, x8:0) :|: c2 = x8:0 - 1 && (c1 = 0 && c = 0) && (x8:0 > 0 && x9:0 > x8:0 - 1 && x9:0 <= x8:0) f5837_0_buildExpression_Load(c6, i1346:0:0, i1347:0:0, i1346:0:0) -> f6197_0_buildExpression_GT(c7, i1346:0:0, i1347:0:0, c8, i1346:0:0) :|: c8 = i1346:0:0 - 1 && (c7 = 0 && c6 = 0) && (i1346:0:0 > 0 && i1347:0:0 <= i1346:0:0 - 1 && i1347:0:0 <= i1346:0:0) ---------------------------------------- (52) Complex Obligation (AND) ---------------------------------------- (53) Obligation: Rules: f5837_0_buildExpression_Load(c, x8:0, x9:0, x8:0) -> f6197_0_buildExpression_GT(c1, x8:0, x9:0, c2, x8:0) :|: c2 = x8:0 - 1 && (c1 = 0 && c = 0) && (x8:0 > 0 && x9:0 > x8:0 - 1 && x9:0 <= x8:0) f5837_0_buildExpression_Load(c6, i1346:0:0, i1347:0:0, i1346:0:0) -> f6197_0_buildExpression_GT(c7, i1346:0:0, i1347:0:0, c8, i1346:0:0) :|: c8 = i1346:0:0 - 1 && (c7 = 0 && c6 = 0) && (i1346:0:0 > 0 && i1347:0:0 <= i1346:0:0 - 1 && i1347:0:0 <= i1346:0:0) ---------------------------------------- (54) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f5837_0_buildExpression_Load ] = f5837_0_buildExpression_Load_4 [ f6197_0_buildExpression_GT ] = f6197_0_buildExpression_GT_4 The following rules are decreasing: f5837_0_buildExpression_Load(c, x8:0, x9:0, x8:0) -> f6197_0_buildExpression_GT(c1, x8:0, x9:0, c2, x8:0) :|: c2 = x8:0 - 1 && (c1 = 0 && c = 0) && (x8:0 > 0 && x9:0 > x8:0 - 1 && x9:0 <= x8:0) f5837_0_buildExpression_Load(c6, i1346:0:0, i1347:0:0, i1346:0:0) -> f6197_0_buildExpression_GT(c7, i1346:0:0, i1347:0:0, c8, i1346:0:0) :|: c8 = i1346:0:0 - 1 && (c7 = 0 && c6 = 0) && (i1346:0:0 > 0 && i1347:0:0 <= i1346:0:0 - 1 && i1347:0:0 <= i1346:0:0) The following rules are bounded: f5837_0_buildExpression_Load(c, x8:0, x9:0, x8:0) -> f6197_0_buildExpression_GT(c1, x8:0, x9:0, c2, x8:0) :|: c2 = x8:0 - 1 && (c1 = 0 && c = 0) && (x8:0 > 0 && x9:0 > x8:0 - 1 && x9:0 <= x8:0) f5837_0_buildExpression_Load(c6, i1346:0:0, i1347:0:0, i1346:0:0) -> f6197_0_buildExpression_GT(c7, i1346:0:0, i1347:0:0, c8, i1346:0:0) :|: c8 = i1346:0:0 - 1 && (c7 = 0 && c6 = 0) && (i1346:0:0 > 0 && i1347:0:0 <= i1346:0:0 - 1 && i1347:0:0 <= i1346:0:0) ---------------------------------------- (55) YES ---------------------------------------- (56) Obligation: Rules: f6197_0_buildExpression_GT(c3, x15:0, x16:0, x17:0, x15:0) -> f5837_0_buildExpression_Load(c4, x15:0, c5, x15:0) :|: c5 = x16:0 + 1 && (c4 = 0 && c3 = 0) && x17:0 >= x16:0 f6197_0_buildExpression_GT(c9, x11:0, x12:0, x13:0, x11:0) -> f5837_0_buildExpression_Load(c10, x11:0, c11, x11:0) :|: c11 = x12:0 + 1 && (c10 = 0 && c9 = 0) && x13:0 < x12:0 ---------------------------------------- (57) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f6197_0_buildExpression_GT ] = 0 [ f5837_0_buildExpression_Load ] = -1 The following rules are decreasing: f6197_0_buildExpression_GT(c3, x15:0, x16:0, x17:0, x15:0) -> f5837_0_buildExpression_Load(c4, x15:0, c5, x15:0) :|: c5 = x16:0 + 1 && (c4 = 0 && c3 = 0) && x17:0 >= x16:0 f6197_0_buildExpression_GT(c9, x11:0, x12:0, x13:0, x11:0) -> f5837_0_buildExpression_Load(c10, x11:0, c11, x11:0) :|: c11 = x12:0 + 1 && (c10 = 0 && c9 = 0) && x13:0 < x12:0 The following rules are bounded: f6197_0_buildExpression_GT(c3, x15:0, x16:0, x17:0, x15:0) -> f5837_0_buildExpression_Load(c4, x15:0, c5, x15:0) :|: c5 = x16:0 + 1 && (c4 = 0 && c3 = 0) && x17:0 >= x16:0 f6197_0_buildExpression_GT(c9, x11:0, x12:0, x13:0, x11:0) -> f5837_0_buildExpression_Load(c10, x11:0, c11, x11:0) :|: c11 = x12:0 + 1 && (c10 = 0 && c9 = 0) && x13:0 < x12:0 ---------------------------------------- (58) YES