/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.jar /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 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, 1140 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 2 ms] (6) AND (7) JBCTerminationSCC (8) SCCToQDPProof [SOUND, 477 ms] (9) QDP (10) DependencyGraphProof [EQUIVALENT, 0 ms] (11) QDP (12) QDPSizeChangeProof [EQUIVALENT, 0 ms] (13) YES (14) JBCTerminationSCC (15) SCCToIRSProof [SOUND, 174 ms] (16) IRSwT (17) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (18) IRSwT (19) IRSwTTerminationDigraphProof [EQUIVALENT, 194 ms] (20) IRSwT (21) IntTRSCompressionProof [EQUIVALENT, 0 ms] (22) IRSwT (23) TempFilterProof [SOUND, 163 ms] (24) IntTRS (25) PolynomialOrderProcessor [EQUIVALENT, 34 ms] (26) AND (27) IntTRS (28) RankingReductionPairProof [EQUIVALENT, 0 ms] (29) YES (30) IntTRS (31) RankingReductionPairProof [EQUIVALENT, 0 ms] (32) IntTRS (33) RankingReductionPairProof [EQUIVALENT, 7 ms] (34) YES ---------------------------------------- (0) Obligation: need to prove termination of the following program: package GrowTreeR; public class GrowTreeR { public static void main(final String[] args) { Random.args = args; final Tree t = Tree.createTree(Random.random()); growList(t.children); } public static void growTree(final Tree t) { if (t == null) { return; } else if (t.children == null) { t.children = new TreeList(new Tree(), null); } else { growList(t.children); } } public static void growList(final TreeList l) { if (l == null) { return; } else { growTree(l.value); growList(l.next); } } } package GrowTreeR; public class Random { static String[] args; static int index = 0; public static int random() { final String string = args[index]; index++; return string.length(); } } package GrowTreeR; public class Tree { TreeList children; public Tree() { this.children = null; } public void addChild(final Tree t) { this.children = new TreeList(t, this.children); } public static Tree createNode() { final Tree result = new Tree(); return result; } public static Tree createTree(int depth) { if (depth <= 0) { return null; } depth = depth - 1; final Tree result = new Tree(); final int numberOfChildren = Random.random(); for (int i = 0; i < numberOfChildren; i++) { result.addChild(createTree(depth - 1)); } return result; } } package GrowTreeR; public class TreeList { Tree value; TreeList next; public TreeList(final Tree value, final TreeList next) { this.value = value; this.next = next; } } ---------------------------------------- (1) BareJBCToJBCProof (EQUIVALENT) initialized classpath ---------------------------------------- (2) Obligation: need to prove termination of the following program: package GrowTreeR; public class GrowTreeR { public static void main(final String[] args) { Random.args = args; final Tree t = Tree.createTree(Random.random()); growList(t.children); } public static void growTree(final Tree t) { if (t == null) { return; } else if (t.children == null) { t.children = new TreeList(new Tree(), null); } else { growList(t.children); } } public static void growList(final TreeList l) { if (l == null) { return; } else { growTree(l.value); growList(l.next); } } } package GrowTreeR; public class Random { static String[] args; static int index = 0; public static int random() { final String string = args[index]; index++; return string.length(); } } package GrowTreeR; public class Tree { TreeList children; public Tree() { this.children = null; } public void addChild(final Tree t) { this.children = new TreeList(t, this.children); } public static Tree createNode() { final Tree result = new Tree(); return result; } public static Tree createTree(int depth) { if (depth <= 0) { return null; } depth = depth - 1; final Tree result = new Tree(); final int numberOfChildren = Random.random(); for (int i = 0; i < numberOfChildren; i++) { result.addChild(createTree(depth - 1)); } return result; } } package GrowTreeR; public class TreeList { Tree value; TreeList next; public TreeList(final Tree value, final TreeList next) { this.value = value; this.next = next; } } ---------------------------------------- (3) JBCToGraph (EQUIVALENT) Constructed TerminationGraph. ---------------------------------------- (4) Obligation: Termination Graph based on JBC Program: GrowTreeR.GrowTreeR.main([Ljava/lang/String;)V: Graph of 155 nodes with 0 SCCs. GrowTreeR.Tree.createTree(I)LGrowTreeR/Tree;: Graph of 163 nodes with 1 SCC. GrowTreeR.GrowTreeR.growList(LGrowTreeR/TreeList;)V: Graph of 49 nodes with 0 SCCs. GrowTreeR.GrowTreeR.growTree(LGrowTreeR/Tree;)V: Graph of 51 nodes with 0 SCCs. ---------------------------------------- (5) TerminationGraphToSCCProof (SOUND) Splitted TerminationGraph to 2 SCCss. ---------------------------------------- (6) Complex Obligation (AND) ---------------------------------------- (7) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: GrowTreeR.GrowTreeR.growList(LGrowTreeR/TreeList;)V, GrowTreeR.GrowTreeR.growTree(LGrowTreeR/Tree;)V SCC calls the following helper methods: GrowTreeR.GrowTreeR.growList(LGrowTreeR/TreeList;)V, GrowTreeR.GrowTreeR.growTree(LGrowTreeR/Tree;)V Performed SCC analyses: *Used field analysis yielded the following read fields: *GrowTreeR.TreeList: [value, next] *GrowTreeR.Tree: [children] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (8) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 40 rules for P and 106 rules for R.P rules: f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) -> f4438_0_growList_NONNULL(EOS(STATIC_4438), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) :|: TRUE f4438_0_growList_NONNULL(EOS(STATIC_4438), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) -> f4444_0_growList_Load(EOS(STATIC_4444), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) :|: TRUE f4444_0_growList_Load(EOS(STATIC_4444), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) -> f4449_0_growList_FieldAccess(EOS(STATIC_4449), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) :|: TRUE f4449_0_growList_FieldAccess(EOS(STATIC_4449), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4453_0_growList_FieldAccess(EOS(STATIC_4453), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) :|: TRUE f4453_0_growList_FieldAccess(EOS(STATIC_4453), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4456_0_growList_InvokeMethod(EOS(STATIC_4456), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), o1062) :|: TRUE f4456_0_growList_InvokeMethod(EOS(STATIC_4456), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), o1062) -> f4460_1_growList_InvokeMethod(f4460_0_growTree_Load(EOS(STATIC_4460), o1062, o1062), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) :|: TRUE f4460_0_growTree_Load(EOS(STATIC_4460), o1062, o1062) -> f4464_0_growTree_Load(EOS(STATIC_4464), o1062, o1062) :|: TRUE f4464_0_growTree_Load(EOS(STATIC_4464), o1062, o1062) -> f4470_0_growTree_Load(EOS(STATIC_4470), o1062, o1062) :|: TRUE f4470_0_growTree_Load(EOS(STATIC_4470), o1078, o1078) -> f4473_0_growTree_NONNULL(EOS(STATIC_4473), o1078, o1078, o1078) :|: TRUE f4473_0_growTree_NONNULL(EOS(STATIC_4473), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) -> f4476_0_growTree_NONNULL(EOS(STATIC_4476), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) :|: TRUE f4476_0_growTree_NONNULL(EOS(STATIC_4476), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) -> f4480_0_growTree_Load(EOS(STATIC_4480), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) :|: TRUE f4480_0_growTree_Load(EOS(STATIC_4480), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) -> f4484_0_growTree_FieldAccess(EOS(STATIC_4484), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) :|: TRUE f4484_0_growTree_FieldAccess(EOS(STATIC_4484), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095))) -> f4488_0_growTree_FieldAccess(EOS(STATIC_4488), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095))) :|: TRUE f4488_0_growTree_FieldAccess(EOS(STATIC_4488), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095))) -> f4491_0_growTree_NONNULL(EOS(STATIC_4491), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), o1095) :|: TRUE f4491_0_growTree_NONNULL(EOS(STATIC_4491), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) -> f4495_0_growTree_NONNULL(EOS(STATIC_4495), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) :|: TRUE f4495_0_growTree_NONNULL(EOS(STATIC_4495), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) -> f4500_0_growTree_Load(EOS(STATIC_4500), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) :|: TRUE f4500_0_growTree_Load(EOS(STATIC_4500), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) -> f4505_0_growTree_FieldAccess(EOS(STATIC_4505), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) :|: TRUE f4505_0_growTree_FieldAccess(EOS(STATIC_4505), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) -> f4510_0_growTree_InvokeMethod(EOS(STATIC_4510), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) :|: TRUE f4510_0_growTree_InvokeMethod(EOS(STATIC_4510), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) -> f4515_1_growTree_InvokeMethod(f4515_0_growList_Load(EOS(STATIC_4515), java.lang.Object(o1108sub), java.lang.Object(o1108sub)), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) :|: TRUE f4515_0_growList_Load(EOS(STATIC_4515), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) -> f4518_0_growList_Load(EOS(STATIC_4518), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) :|: TRUE f4518_0_growList_Load(EOS(STATIC_4518), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) -> f4430_0_growList_Load(EOS(STATIC_4430), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) :|: TRUE f4430_0_growList_Load(EOS(STATIC_4430), o1015, o1015) -> f4432_0_growList_NONNULL(EOS(STATIC_4432), o1015, o1015, o1015) :|: TRUE f4492_0_growTree_Return(EOS(STATIC_4492), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4497_0_growList_Load(EOS(STATIC_4497), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4497_0_growList_Load(EOS(STATIC_4497), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4502_0_growList_FieldAccess(EOS(STATIC_4502), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4502_0_growList_FieldAccess(EOS(STATIC_4502), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4507_0_growList_InvokeMethod(EOS(STATIC_4507), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), o1063) :|: TRUE f4507_0_growList_InvokeMethod(EOS(STATIC_4507), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), o1063) -> f4512_1_growList_InvokeMethod(f4512_0_growList_Load(EOS(STATIC_4512), o1063, o1063), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4512_0_growList_Load(EOS(STATIC_4512), o1063, o1063) -> f4517_0_growList_Load(EOS(STATIC_4517), o1063, o1063) :|: TRUE f4517_0_growList_Load(EOS(STATIC_4517), o1063, o1063) -> f4430_0_growList_Load(EOS(STATIC_4430), o1063, o1063) :|: TRUE f4583_0_growTree_Return(EOS(STATIC_4583), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063))) -> f4584_0_growTree_Return(EOS(STATIC_4584), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063))) :|: TRUE f4584_0_growTree_Return(EOS(STATIC_4584), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426))) -> f4620_0_growTree_Return(EOS(STATIC_4620), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426))) :|: TRUE f4620_0_growTree_Return(EOS(STATIC_4620), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4624_0_growList_Load(EOS(STATIC_4624), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) :|: TRUE f4624_0_growList_Load(EOS(STATIC_4624), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4625_0_growList_FieldAccess(EOS(STATIC_4625), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) :|: TRUE f4625_0_growList_FieldAccess(EOS(STATIC_4625), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4626_0_growList_InvokeMethod(EOS(STATIC_4626), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), o1874) :|: TRUE f4626_0_growList_InvokeMethod(EOS(STATIC_4626), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), o1874) -> f4627_1_growList_InvokeMethod(f4627_0_growList_Load(EOS(STATIC_4627), o1874, o1874), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) :|: TRUE f4627_0_growList_Load(EOS(STATIC_4627), o1874, o1874) -> f4628_0_growList_Load(EOS(STATIC_4628), o1874, o1874) :|: TRUE f4628_0_growList_Load(EOS(STATIC_4628), o1874, o1874) -> f4430_0_growList_Load(EOS(STATIC_4430), o1874, o1874) :|: TRUE f4619_0_growTree_Return(EOS(STATIC_4619), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063))) -> f4620_0_growTree_Return(EOS(STATIC_4620), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063))) :|: TRUE f4460_1_growList_InvokeMethod(f4481_0_growTree_Return(EOS(STATIC_4481), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4492_0_growTree_Return(EOS(STATIC_4492), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4460_1_growList_InvokeMethod(f4575_0_growTree_Return(EOS(STATIC_4575), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4583_0_growTree_Return(EOS(STATIC_4583), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063))) :|: TRUE f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4619_0_growTree_Return(EOS(STATIC_4619), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063))) :|: TRUE R rules: f4430_0_growList_Load(EOS(STATIC_4430), o1015, o1015) -> f4432_0_growList_NONNULL(EOS(STATIC_4432), o1015, o1015, o1015) :|: TRUE f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) -> f4438_0_growList_NONNULL(EOS(STATIC_4438), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) :|: TRUE f4432_0_growList_NONNULL(EOS(STATIC_4432), NULL, NULL, NULL) -> f4439_0_growList_NONNULL(EOS(STATIC_4439), NULL, NULL, NULL) :|: TRUE f4438_0_growList_NONNULL(EOS(STATIC_4438), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) -> f4444_0_growList_Load(EOS(STATIC_4444), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) :|: TRUE f4439_0_growList_NONNULL(EOS(STATIC_4439), NULL, NULL, NULL) -> f4445_0_growList_Return(EOS(STATIC_4445), NULL) :|: TRUE f4444_0_growList_Load(EOS(STATIC_4444), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) -> f4449_0_growList_FieldAccess(EOS(STATIC_4449), java.lang.Object(o1042sub), java.lang.Object(o1042sub), java.lang.Object(o1042sub)) :|: TRUE f4449_0_growList_FieldAccess(EOS(STATIC_4449), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4453_0_growList_FieldAccess(EOS(STATIC_4453), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) :|: TRUE f4453_0_growList_FieldAccess(EOS(STATIC_4453), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4456_0_growList_InvokeMethod(EOS(STATIC_4456), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), o1062) :|: TRUE f4456_0_growList_InvokeMethod(EOS(STATIC_4456), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), o1062) -> f4460_1_growList_InvokeMethod(f4460_0_growTree_Load(EOS(STATIC_4460), o1062, o1062), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) :|: TRUE f4460_0_growTree_Load(EOS(STATIC_4460), o1062, o1062) -> f4464_0_growTree_Load(EOS(STATIC_4464), o1062, o1062) :|: TRUE f4492_0_growTree_Return(EOS(STATIC_4492), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4497_0_growList_Load(EOS(STATIC_4497), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4497_0_growList_Load(EOS(STATIC_4497), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4502_0_growList_FieldAccess(EOS(STATIC_4502), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4502_0_growList_FieldAccess(EOS(STATIC_4502), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4507_0_growList_InvokeMethod(EOS(STATIC_4507), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), o1063) :|: TRUE f4507_0_growList_InvokeMethod(EOS(STATIC_4507), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), o1063) -> f4512_1_growList_InvokeMethod(f4512_0_growList_Load(EOS(STATIC_4512), o1063, o1063), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4512_0_growList_Load(EOS(STATIC_4512), o1063, o1063) -> f4517_0_growList_Load(EOS(STATIC_4517), o1063, o1063) :|: TRUE f4522_0_growList_Return(EOS(STATIC_4522), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) -> f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) :|: TRUE f4531_0_growList_Return(EOS(STATIC_4531), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4544_0_growList_Return(EOS(STATIC_4544), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4544_0_growList_Return(EOS(STATIC_4544), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1219))))) -> f4600_0_growList_Return(EOS(STATIC_4600), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1219))))) :|: TRUE f4583_0_growTree_Return(EOS(STATIC_4583), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063))) -> f4584_0_growTree_Return(EOS(STATIC_4584), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063))) :|: TRUE f4584_0_growTree_Return(EOS(STATIC_4584), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426))) -> f4620_0_growTree_Return(EOS(STATIC_4620), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1430, o1429)))), o1426))) :|: TRUE f4600_0_growList_Return(EOS(STATIC_4600), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1622, o1621))))) -> f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1622, o1621))))) :|: TRUE f4616_0_growList_Return(EOS(STATIC_4616), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1755, o1754))))))) -> f4600_0_growList_Return(EOS(STATIC_4600), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1755, o1754))))))) :|: TRUE f4619_0_growTree_Return(EOS(STATIC_4619), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063))) -> f4620_0_growTree_Return(EOS(STATIC_4620), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063))) :|: TRUE f4620_0_growTree_Return(EOS(STATIC_4620), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4624_0_growList_Load(EOS(STATIC_4624), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) :|: TRUE f4624_0_growList_Load(EOS(STATIC_4624), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4625_0_growList_FieldAccess(EOS(STATIC_4625), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) :|: TRUE f4625_0_growList_FieldAccess(EOS(STATIC_4625), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4626_0_growList_InvokeMethod(EOS(STATIC_4626), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), o1874) :|: TRUE f4626_0_growList_InvokeMethod(EOS(STATIC_4626), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874)), o1874) -> f4627_1_growList_InvokeMethod(f4627_0_growList_Load(EOS(STATIC_4627), o1874, o1874), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) :|: TRUE f4627_0_growList_Load(EOS(STATIC_4627), o1874, o1874) -> f4628_0_growList_Load(EOS(STATIC_4628), o1874, o1874) :|: TRUE f4629_0_growList_Return(EOS(STATIC_4629), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), NULL))) -> f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), NULL))) :|: TRUE f4630_0_growList_Return(EOS(STATIC_4630), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4632_0_growList_Return(EOS(STATIC_4632), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4631_0_growList_Return(EOS(STATIC_4631), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1945, o1944))))))) -> f4632_0_growList_Return(EOS(STATIC_4632), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1945, o1944))))))) :|: TRUE f4632_0_growList_Return(EOS(STATIC_4632), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1961, o1960)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1957))))) -> f4641_0_growList_Return(EOS(STATIC_4641), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1961, o1960)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1957))))) :|: TRUE f4638_0_growList_Return(EOS(STATIC_4638), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2008, o2007)))), NULL))))) -> f4600_0_growList_Return(EOS(STATIC_4600), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2008, o2007)))), NULL))))) :|: TRUE f4640_0_growList_Return(EOS(STATIC_4640), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2030, o2029)))), NULL))))) -> f4641_0_growList_Return(EOS(STATIC_4641), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2030, o2029)))), NULL))))) :|: TRUE f4641_0_growList_Return(EOS(STATIC_4641), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2108, o2107)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2104, o2103))))) -> f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2108, o2107)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2104, o2103))))) :|: TRUE f4649_0_growList_Return(EOS(STATIC_4649), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2190, o2189)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2187, o2186))))))) -> f4600_0_growList_Return(EOS(STATIC_4600), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2190, o2189)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2187, o2186))))))) :|: TRUE f4651_0_growList_Return(EOS(STATIC_4651), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2218, o2217)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2215, o2214))))))) -> f4641_0_growList_Return(EOS(STATIC_4641), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2218, o2217)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2215, o2214))))))) :|: TRUE f4517_0_growList_Load(EOS(STATIC_4517), o1063, o1063) -> f4430_0_growList_Load(EOS(STATIC_4430), o1063, o1063) :|: TRUE f4518_0_growList_Load(EOS(STATIC_4518), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) -> f4430_0_growList_Load(EOS(STATIC_4430), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) :|: TRUE f4628_0_growList_Load(EOS(STATIC_4628), o1874, o1874) -> f4430_0_growList_Load(EOS(STATIC_4430), o1874, o1874) :|: TRUE f4470_0_growTree_Load(EOS(STATIC_4470), o1078, o1078) -> f4473_0_growTree_NONNULL(EOS(STATIC_4473), o1078, o1078, o1078) :|: TRUE f4473_0_growTree_NONNULL(EOS(STATIC_4473), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) -> f4476_0_growTree_NONNULL(EOS(STATIC_4476), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) :|: TRUE f4473_0_growTree_NONNULL(EOS(STATIC_4473), NULL, NULL, NULL) -> f4477_0_growTree_NONNULL(EOS(STATIC_4477), NULL, NULL, NULL) :|: TRUE f4476_0_growTree_NONNULL(EOS(STATIC_4476), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) -> f4480_0_growTree_Load(EOS(STATIC_4480), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) :|: TRUE f4477_0_growTree_NONNULL(EOS(STATIC_4477), NULL, NULL, NULL) -> f4481_0_growTree_Return(EOS(STATIC_4481), NULL) :|: TRUE f4480_0_growTree_Load(EOS(STATIC_4480), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) -> f4484_0_growTree_FieldAccess(EOS(STATIC_4484), java.lang.Object(o1085sub), java.lang.Object(o1085sub), java.lang.Object(o1085sub)) :|: TRUE f4484_0_growTree_FieldAccess(EOS(STATIC_4484), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095))) -> f4488_0_growTree_FieldAccess(EOS(STATIC_4488), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095))) :|: TRUE f4488_0_growTree_FieldAccess(EOS(STATIC_4488), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095))) -> f4491_0_growTree_NONNULL(EOS(STATIC_4491), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), java.lang.Object(GrowTreeR.Tree(EOC, o1095)), o1095) :|: TRUE f4491_0_growTree_NONNULL(EOS(STATIC_4491), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) -> f4495_0_growTree_NONNULL(EOS(STATIC_4495), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) :|: TRUE f4491_0_growTree_NONNULL(EOS(STATIC_4491), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) -> f4496_0_growTree_NONNULL(EOS(STATIC_4496), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) :|: TRUE f4495_0_growTree_NONNULL(EOS(STATIC_4495), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) -> f4500_0_growTree_Load(EOS(STATIC_4500), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) :|: TRUE f4496_0_growTree_NONNULL(EOS(STATIC_4496), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) -> f4501_0_growTree_Load(EOS(STATIC_4501), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4500_0_growTree_Load(EOS(STATIC_4500), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) -> f4505_0_growTree_FieldAccess(EOS(STATIC_4505), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) :|: TRUE f4501_0_growTree_Load(EOS(STATIC_4501), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4506_0_growTree_New(EOS(STATIC_4506), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4505_0_growTree_FieldAccess(EOS(STATIC_4505), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) -> f4510_0_growTree_InvokeMethod(EOS(STATIC_4510), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) :|: TRUE f4506_0_growTree_New(EOS(STATIC_4506), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4511_0_growTree_Duplicate(EOS(STATIC_4511), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) :|: TRUE f4510_0_growTree_InvokeMethod(EOS(STATIC_4510), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub))), java.lang.Object(o1108sub)) -> f4515_1_growTree_InvokeMethod(f4515_0_growList_Load(EOS(STATIC_4515), java.lang.Object(o1108sub), java.lang.Object(o1108sub)), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) :|: TRUE f4511_0_growTree_Duplicate(EOS(STATIC_4511), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) -> f4516_0_growTree_New(EOS(STATIC_4516), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) :|: TRUE f4515_0_growList_Load(EOS(STATIC_4515), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) -> f4518_0_growList_Load(EOS(STATIC_4518), java.lang.Object(o1108sub), java.lang.Object(o1108sub)) :|: TRUE f4516_0_growTree_New(EOS(STATIC_4516), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) -> f4519_0_growTree_Duplicate(EOS(STATIC_4519), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4519_0_growTree_Duplicate(EOS(STATIC_4519), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4520_0_growTree_InvokeMethod(EOS(STATIC_4520), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4520_0_growTree_InvokeMethod(EOS(STATIC_4520), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4521_0__init__Load(EOS(STATIC_4521), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4521_0__init__Load(EOS(STATIC_4521), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4524_0__init__InvokeMethod(EOS(STATIC_4524), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4524_0__init__InvokeMethod(EOS(STATIC_4524), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4526_0__init__Load(EOS(STATIC_4526), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4526_0__init__Load(EOS(STATIC_4526), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4528_0__init__ConstantStackPush(EOS(STATIC_4528), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4528_0__init__ConstantStackPush(EOS(STATIC_4528), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4529_0__init__FieldAccess(EOS(STATIC_4529), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) :|: TRUE f4529_0__init__FieldAccess(EOS(STATIC_4529), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) -> f4533_0__init__Return(EOS(STATIC_4533), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4532_0_growList_Return(EOS(STATIC_4532), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4546_0_growList_Return(EOS(STATIC_4546), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4533_0__init__Return(EOS(STATIC_4533), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4537_0_growTree_ConstantStackPush(EOS(STATIC_4537), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4537_0_growTree_ConstantStackPush(EOS(STATIC_4537), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4540_0_growTree_InvokeMethod(EOS(STATIC_4540), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) :|: TRUE f4540_0_growTree_InvokeMethod(EOS(STATIC_4540), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) -> f4541_0__init__Load(EOS(STATIC_4541), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) :|: TRUE f4541_0__init__Load(EOS(STATIC_4541), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) -> f4551_0__init__InvokeMethod(EOS(STATIC_4551), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) :|: TRUE f4546_0_growList_Return(EOS(STATIC_4546), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1234))))) -> f4602_0_growList_Return(EOS(STATIC_4602), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1234))))) :|: TRUE f4551_0__init__InvokeMethod(EOS(STATIC_4551), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) -> f4555_0__init__Load(EOS(STATIC_4555), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) :|: TRUE f4555_0__init__Load(EOS(STATIC_4555), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL) -> f4557_0__init__Load(EOS(STATIC_4557), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) :|: TRUE f4557_0__init__Load(EOS(STATIC_4557), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) -> f4563_0__init__FieldAccess(EOS(STATIC_4563), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) :|: TRUE f4563_0__init__FieldAccess(EOS(STATIC_4563), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL))) -> f4565_0__init__Load(EOS(STATIC_4565), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), NULL) :|: TRUE f4565_0__init__Load(EOS(STATIC_4565), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), NULL) -> f4567_0__init__Load(EOS(STATIC_4567), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))) :|: TRUE f4567_0__init__Load(EOS(STATIC_4567), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))) -> f4569_0__init__FieldAccess(EOS(STATIC_4569), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), NULL) :|: TRUE f4569_0__init__FieldAccess(EOS(STATIC_4569), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)), NULL) -> f4571_0__init__Return(EOS(STATIC_4571), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))) :|: TRUE f4571_0__init__Return(EOS(STATIC_4571), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))) -> f4573_0_growTree_FieldAccess(EOS(STATIC_4573), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))) :|: TRUE f4573_0_growTree_FieldAccess(EOS(STATIC_4573), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.Tree(EOC, NULL)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))) -> f4574_0_growTree_JMP(EOS(STATIC_4574), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))) :|: TRUE f4574_0_growTree_JMP(EOS(STATIC_4574), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))) -> f4575_0_growTree_Return(EOS(STATIC_4575), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))) :|: TRUE f4575_0_growTree_Return(EOS(STATIC_4575), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))) -> f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))) :|: TRUE f4602_0_growList_Return(EOS(STATIC_4602), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1646, o1645))))) -> f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1646, o1645))))) :|: TRUE f4617_0_growList_Return(EOS(STATIC_4617), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1765, o1764))))))) -> f4602_0_growList_Return(EOS(STATIC_4602), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1765, o1764))))))) :|: TRUE f4639_0_growList_Return(EOS(STATIC_4639), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2019, o2018)))), NULL))))) -> f4602_0_growList_Return(EOS(STATIC_4602), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2019, o2018)))), NULL))))) :|: TRUE f4650_0_growList_Return(EOS(STATIC_4650), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2204, o2203)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2201, o2200))))))) -> f4602_0_growList_Return(EOS(STATIC_4602), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2204, o2203)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2201, o2200))))))) :|: TRUE f4464_0_growTree_Load(EOS(STATIC_4464), o1062, o1062) -> f4470_0_growTree_Load(EOS(STATIC_4470), o1062, o1062) :|: TRUE f4460_1_growList_InvokeMethod(f4481_0_growTree_Return(EOS(STATIC_4481), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4492_0_growTree_Return(EOS(STATIC_4492), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) :|: TRUE f4460_1_growList_InvokeMethod(f4575_0_growTree_Return(EOS(STATIC_4575), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4583_0_growTree_Return(EOS(STATIC_4583), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063))) :|: TRUE f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062, o1063))) -> f4619_0_growTree_Return(EOS(STATIC_4619), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785, o1784)))), o1063))) :|: TRUE f4512_1_growList_InvokeMethod(f4445_0_growList_Return(EOS(STATIC_4445), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) -> f4522_0_growList_Return(EOS(STATIC_4522), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) :|: TRUE f4512_1_growList_InvokeMethod(f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4531_0_growList_Return(EOS(STATIC_4531), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4512_1_growList_InvokeMethod(f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1755, o1754))))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4616_0_growList_Return(EOS(STATIC_4616), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1755, o1754))))))) :|: TRUE f4512_1_growList_InvokeMethod(f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2008, o2007)))), NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4638_0_growList_Return(EOS(STATIC_4638), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2008, o2007)))), NULL))))) :|: TRUE f4512_1_growList_InvokeMethod(f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2190, o2189)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2187, o2186))))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063))) -> f4649_0_growList_Return(EOS(STATIC_4649), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2190, o2189)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2187, o2186))))))) :|: TRUE f4627_1_growList_InvokeMethod(f4445_0_growList_Return(EOS(STATIC_4445), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), NULL))) -> f4629_0_growList_Return(EOS(STATIC_4629), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), NULL))) :|: TRUE f4627_1_growList_InvokeMethod(f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4630_0_growList_Return(EOS(STATIC_4630), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4627_1_growList_InvokeMethod(f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1945, o1944))))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4631_0_growList_Return(EOS(STATIC_4631), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1945, o1944))))))) :|: TRUE f4627_1_growList_InvokeMethod(f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2030, o2029)))), NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4640_0_growList_Return(EOS(STATIC_4640), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2030, o2029)))), NULL))))) :|: TRUE f4627_1_growList_InvokeMethod(f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2218, o2217)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2215, o2214))))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), o1874))) -> f4651_0_growList_Return(EOS(STATIC_4651), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878, o1877)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2218, o2217)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2215, o2214))))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4532_0_growList_Return(EOS(STATIC_4532), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1765, o1764))))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) -> f4617_0_growList_Return(EOS(STATIC_4617), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1765, o1764))))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2019, o2018)))), NULL))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) -> f4639_0_growList_Return(EOS(STATIC_4639), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2019, o2018)))), NULL))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2204, o2203)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2201, o2200))))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub)))) -> f4650_0_growList_Return(EOS(STATIC_4650), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2204, o2203)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2201, o2200))))))) :|: TRUE Combined rules. Obtained 4 conditional rules for P and 21 conditional rules for R.P rules: f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785:0, o1784:0))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), o1063:0, o1063:0, o1063:0), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785:0, o1784:0)))), o1063:0))) :|: TRUE f4460_1_growList_InvokeMethod(f4575_0_growTree_Return(EOS(STATIC_4575), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), o1063:0, o1063:0, o1063:0), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063:0))) :|: TRUE f4460_1_growList_InvokeMethod(f4481_0_growTree_Return(EOS(STATIC_4481), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) -> f4512_1_growList_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), o1063:0, o1063:0, o1063:0), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) :|: TRUE f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0))) -> f4460_1_growList_InvokeMethod(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(o1108sub:0), java.lang.Object(o1108sub:0), java.lang.Object(o1108sub:0)), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0))) :|: TRUE R rules: f4432_0_growList_NONNULL(EOS(STATIC_4432), NULL, NULL, NULL) -> f4445_0_growList_Return(EOS(STATIC_4445), NULL) :|: TRUE f4460_1_growList_InvokeMethod(f4481_0_growTree_Return(EOS(STATIC_4481), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) -> f4512_1_growList_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), o1063:0, o1063:0, o1063:0), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) :|: TRUE f4460_1_growList_InvokeMethod(f4575_0_growTree_Return(EOS(STATIC_4575), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), o1063:0, o1063:0, o1063:0), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL)))), o1063:0))) :|: TRUE f4515_1_growTree_InvokeMethod(f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4512_1_growList_InvokeMethod(f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2008:0, o2007:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) -> f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2008:0, o2007:0)))), NULL))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2019:0, o2018:0)))), NULL))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0)))) -> f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2019:0, o2018:0)))), NULL))))) :|: TRUE f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), o1063:0))) -> f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, NULL)), o1063:0))) :|: TRUE f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785:0, o1784:0))))), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, o1062:0, o1063:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), o1063:0, o1063:0, o1063:0), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1785:0, o1784:0)))), o1063:0))) :|: TRUE f4512_1_growList_InvokeMethod(f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1755:0, o1754:0))))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) -> f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1755:0, o1754:0))))))) :|: TRUE f4512_1_growList_InvokeMethod(f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2190:0, o2189:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2187:0, o2186:0))))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) -> f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2190:0, o2189:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2187:0, o2186:0))))))) :|: TRUE f4512_1_growList_InvokeMethod(f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4627_1_growList_InvokeMethod(f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) -> f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))))) :|: TRUE f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) -> f4460_1_growList_InvokeMethod(f4481_0_growTree_Return(EOS(STATIC_4481), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, o1063:0))) :|: TRUE f4627_1_growList_InvokeMethod(f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2218:0, o2217:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2215:0, o2214:0))))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), o1874:0))) -> f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2218:0, o2217:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2215:0, o2214:0))))))) :|: TRUE f4627_1_growList_InvokeMethod(f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1945:0, o1944:0))))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), o1874:0))) -> f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1945:0, o1944:0))))))) :|: TRUE f4627_1_growList_InvokeMethod(f4445_0_growList_Return(EOS(STATIC_4445), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), NULL))) -> f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), NULL))) :|: TRUE f4515_1_growTree_InvokeMethod(f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2204:0, o2203:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2201:0, o2200:0))))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0)))) -> f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2204:0, o2203:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, o2201:0, o2200:0))))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4609_0_growList_Return(EOS(STATIC_4609), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1765:0, o1764:0))))), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0)))) -> f4610_0_growTree_Return(EOS(STATIC_4610), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, NULL, java.lang.Object(GrowTreeR.TreeList(EOC, o1765:0, o1764:0))))))) :|: TRUE f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0))) -> f4460_1_growList_InvokeMethod(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(EOS(STATIC_4432), java.lang.Object(o1108sub:0), java.lang.Object(o1108sub:0), java.lang.Object(o1108sub:0)), java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0)), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(o1108sub:0))), o1063:0))) :|: TRUE f4512_1_growList_InvokeMethod(f4445_0_growList_Return(EOS(STATIC_4445), NULL), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) -> f4525_0_growList_Return(EOS(STATIC_4525), java.lang.Object(GrowTreeR.TreeList(EOC, NULL, NULL))) :|: TRUE f4627_1_growList_InvokeMethod(f4633_0_growList_Return(EOS(STATIC_4633), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2030:0, o2029:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), o1874:0))) -> f4646_0_growList_Return(EOS(STATIC_4646), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o1878:0, o1877:0)))), java.lang.Object(GrowTreeR.TreeList(EOC, java.lang.Object(GrowTreeR.Tree(EOC, java.lang.Object(GrowTreeR.TreeList(EOC, o2030:0, o2029:0)))), NULL))))) :|: TRUE Filtered ground terms: f4432_0_growList_NONNULL(x1, x2, x3, x4) -> f4432_0_growList_NONNULL(x2, x3, x4) f4610_0_growTree_Return(x1, x2) -> f4610_0_growTree_Return(x2) f4575_0_growTree_Return(x1, x2) -> f4575_0_growTree_Return f4481_0_growTree_Return(x1, x2) -> f4481_0_growTree_Return GrowTreeR.TreeList(x1, x2, x3) -> GrowTreeR.TreeList(x2, x3) GrowTreeR.Tree(x1, x2) -> GrowTreeR.Tree(x2) f4445_0_growList_Return(x1, x2) -> f4445_0_growList_Return f4609_0_growList_Return(x1, x2) -> f4609_0_growList_Return(x2) f4646_0_growList_Return(x1, x2) -> f4646_0_growList_Return(x2) f4633_0_growList_Return(x1, x2) -> f4633_0_growList_Return(x2) f4525_0_growList_Return(x1, x2) -> f4525_0_growList_Return Filtered duplicate args: f4460_1_growList_InvokeMethod(x1, x2, x3) -> f4460_1_growList_InvokeMethod(x1, x3) f4432_0_growList_NONNULL(x1, x2, x3) -> f4432_0_growList_NONNULL(x3) Combined rules. Obtained 5 conditional rules for P and 21 conditional rules for R.P rules: F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(java.lang.Object(o1108sub:0:0)) :|: TRUE F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4460_1_GROWLIST_INVOKEMETHOD(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(java.lang.Object(o1108sub:0:0)), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) :|: TRUE F4460_1_GROWLIST_INVOKEMETHOD(f4575_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) :|: TRUE F4460_1_GROWLIST_INVOKEMETHOD(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) :|: TRUE F4460_1_GROWLIST_INVOKEMETHOD(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0))))), java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) :|: TRUE R rules: f4512_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))) -> f4525_0_growList_Return :|: TRUE f4627_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) :|: TRUE f4627_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1945:0:0, o1944:0:0))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1945:0:0, o1944:0:0))))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1765:0:0, o1764:0:0))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1765:0:0, o1764:0:0))))))) :|: TRUE f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(java.lang.Object(o1108sub:0:0)), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) :|: TRUE f4460_1_growList_InvokeMethod(f4575_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), NULL)))), o1063:0:0))) :|: TRUE f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4512_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) :|: TRUE f4515_1_growTree_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2019:0:0, o2018:0:0)))), NULL))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2019:0:0, o2018:0:0)))), NULL))))) :|: TRUE f4627_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2218:0:0, o2217:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2215:0:0, o2214:0:0))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2218:0:0, o2217:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2215:0:0, o2214:0:0))))))) :|: TRUE f4627_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), NULL))) -> f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), NULL))) :|: TRUE f4512_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2008:0:0, o2007:0:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2008:0:0, o2007:0:0)))), NULL))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2204:0:0, o2203:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2201:0:0, o2200:0:0))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2204:0:0, o2203:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2201:0:0, o2200:0:0))))))) :|: TRUE f4512_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) :|: TRUE f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0))))), java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0)))), o1063:0:0))) :|: TRUE f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) :|: TRUE f4512_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1755:0:0, o1754:0:0))))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1755:0:0, o1754:0:0))))))) :|: TRUE f4515_1_growTree_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) :|: TRUE f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), o1063:0:0))) :|: TRUE f4512_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2190:0:0, o2189:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2187:0:0, o2186:0:0))))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2190:0:0, o2189:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2187:0:0, o2186:0:0))))))) :|: TRUE f4627_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2030:0:0, o2029:0:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2030:0:0, o2029:0:0)))), NULL))))) :|: TRUE f4432_0_growList_NONNULL(NULL) -> f4445_0_growList_Return :|: TRUE ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(java.lang.Object(o1108sub:0:0)) F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4460_1_GROWLIST_INVOKEMETHOD(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(java.lang.Object(o1108sub:0:0)), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) F4460_1_GROWLIST_INVOKEMETHOD(f4575_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) F4460_1_GROWLIST_INVOKEMETHOD(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) F4460_1_GROWLIST_INVOKEMETHOD(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0))))), java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) The TRS R consists of the following rules: f4512_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))) -> f4525_0_growList_Return f4627_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4627_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1945:0:0, o1944:0:0))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1945:0:0, o1944:0:0))))))) f4515_1_growTree_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1765:0:0, o1764:0:0))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1765:0:0, o1764:0:0))))))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(java.lang.Object(o1108sub:0:0)), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) f4460_1_growList_InvokeMethod(f4575_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), NULL)))), o1063:0:0))) f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4512_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) f4515_1_growTree_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2019:0:0, o2018:0:0)))), NULL))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2019:0:0, o2018:0:0)))), NULL))))) f4627_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2218:0:0, o2217:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2215:0:0, o2214:0:0))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2218:0:0, o2217:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2215:0:0, o2214:0:0))))))) f4627_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), NULL))) -> f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), NULL))) f4512_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2008:0:0, o2007:0:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2008:0:0, o2007:0:0)))), NULL))))) f4515_1_growTree_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2204:0:0, o2203:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2201:0:0, o2200:0:0))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2204:0:0, o2203:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2201:0:0, o2200:0:0))))))) f4512_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0))))), java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0)))), o1063:0:0))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) f4512_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1755:0:0, o1754:0:0))))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1755:0:0, o1754:0:0))))))) f4515_1_growTree_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), o1063:0:0))) f4512_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2190:0:0, o2189:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2187:0:0, o2186:0:0))))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2190:0:0, o2189:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2187:0:0, o2186:0:0))))))) f4627_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2030:0:0, o2029:0:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2030:0:0, o2029:0:0)))), NULL))))) f4432_0_growList_NONNULL(NULL) -> f4445_0_growList_Return The set Q consists of the following terms: f4512_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))) f4627_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4627_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x2, x3)))), x4))) f4515_1_growTree_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(x2)))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(x0))), x1))) f4460_1_growList_InvokeMethod(f4575_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(x0, x1))) f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, x0))) f4515_1_growTree_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(x2)))) f4627_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(x2, x3))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x4, x5)))), x6))) f4627_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))) f4512_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))), java.lang.Object(GrowTreeR.TreeList(NULL, x2))) f4515_1_growTree_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(x2, x3))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(x4)))) f4512_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.TreeList(x2, x3))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(NULL, x0))) f4512_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.TreeList(NULL, x2))) f4515_1_growTree_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), x0))) f4512_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(x2, x3))))), java.lang.Object(GrowTreeR.TreeList(NULL, x4))) f4627_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x2, x3)))), x4))) f4432_0_growList_NONNULL(NULL) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (10) DependencyGraphProof (EQUIVALENT) The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 2 less nodes. ---------------------------------------- (11) Obligation: Q DP problem: The TRS P consists of the following rules: F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4460_1_GROWLIST_INVOKEMETHOD(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(java.lang.Object(o1108sub:0:0)), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) F4460_1_GROWLIST_INVOKEMETHOD(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0))))), java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(java.lang.Object(o1108sub:0:0)) The TRS R consists of the following rules: f4512_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))) -> f4525_0_growList_Return f4627_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4627_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1945:0:0, o1944:0:0))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1945:0:0, o1944:0:0))))))) f4515_1_growTree_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1765:0:0, o1764:0:0))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1765:0:0, o1764:0:0))))))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(java.lang.Object(o1108sub:0:0)), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) f4460_1_growList_InvokeMethod(f4575_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), NULL)))), o1063:0:0))) f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4512_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) f4515_1_growTree_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2019:0:0, o2018:0:0)))), NULL))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2019:0:0, o2018:0:0)))), NULL))))) f4627_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2218:0:0, o2217:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2215:0:0, o2214:0:0))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2218:0:0, o2217:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2215:0:0, o2214:0:0))))))) f4627_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), NULL))) -> f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), NULL))) f4512_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2008:0:0, o2007:0:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2008:0:0, o2007:0:0)))), NULL))))) f4515_1_growTree_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2204:0:0, o2203:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2201:0:0, o2200:0:0))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2204:0:0, o2203:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2201:0:0, o2200:0:0))))))) f4512_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0))))), java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> f4627_1_growList_InvokeMethod(f4432_0_growList_NONNULL(o1063:0:0), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0)))), o1063:0:0))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) f4512_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1755:0:0, o1754:0:0))))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(o1755:0:0, o1754:0:0))))))) f4515_1_growTree_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) -> f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), o1063:0:0))) -> f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), NULL))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), o1063:0:0))) f4512_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2190:0:0, o2189:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2187:0:0, o2186:0:0))))), java.lang.Object(GrowTreeR.TreeList(NULL, o1063:0:0))) -> f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2190:0:0, o2189:0:0)))), java.lang.Object(GrowTreeR.TreeList(o2187:0:0, o2186:0:0))))))) f4627_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2030:0:0, o2029:0:0)))), NULL))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), o1874:0:0))) -> f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1878:0:0, o1877:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o2030:0:0, o2029:0:0)))), NULL))))) f4432_0_growList_NONNULL(NULL) -> f4445_0_growList_Return The set Q consists of the following terms: f4512_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))) f4627_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4627_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x2, x3)))), x4))) f4515_1_growTree_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(x2)))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(x0))), x1))) f4460_1_growList_InvokeMethod(f4575_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(x0, x1))) f4460_1_growList_InvokeMethod(f4481_0_growTree_Return, java.lang.Object(GrowTreeR.TreeList(NULL, x0))) f4515_1_growTree_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(x2)))) f4627_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(x2, x3))))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x4, x5)))), x6))) f4627_1_growList_InvokeMethod(f4445_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))) f4512_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))), java.lang.Object(GrowTreeR.TreeList(NULL, x2))) f4515_1_growTree_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(x2, x3))))), java.lang.Object(GrowTreeR.Tree(java.lang.Object(x4)))) f4512_1_growList_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4460_1_growList_InvokeMethod(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.TreeList(x2, x3))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(NULL, x0))) f4512_1_growList_InvokeMethod(f4609_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(NULL, java.lang.Object(GrowTreeR.TreeList(x0, x1))))), java.lang.Object(GrowTreeR.TreeList(NULL, x2))) f4515_1_growTree_InvokeMethod(f4525_0_growList_Return, java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(NULL, NULL))))) f4432_0_growList_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(NULL)), x0))) f4512_1_growList_InvokeMethod(f4646_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), java.lang.Object(GrowTreeR.TreeList(x2, x3))))), java.lang.Object(GrowTreeR.TreeList(NULL, x4))) f4627_1_growList_InvokeMethod(f4633_0_growList_Return(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x0, x1)))), NULL))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(x2, x3)))), x4))) f4432_0_growList_NONNULL(NULL) We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (12) 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: *F4460_1_GROWLIST_INVOKEMETHOD(f4610_0_growTree_Return(java.lang.Object(GrowTreeR.Tree(java.lang.Object(GrowTreeR.TreeList(o1785:0:0, o1784:0:0))))), java.lang.Object(GrowTreeR.TreeList(o1062:0:0, o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(o1063:0:0) The graph contains the following edges 2 > 1 *F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4432_0_GROWLIST_NONNULL(java.lang.Object(o1108sub:0:0)) The graph contains the following edges 1 > 1 *F4432_0_GROWLIST_NONNULL(java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) -> F4460_1_GROWLIST_INVOKEMETHOD(f4515_1_growTree_InvokeMethod(f4432_0_growList_NONNULL(java.lang.Object(o1108sub:0:0)), java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0)))), java.lang.Object(GrowTreeR.TreeList(java.lang.Object(GrowTreeR.Tree(java.lang.Object(o1108sub:0:0))), o1063:0:0))) The graph contains the following edges 1 >= 2 ---------------------------------------- (13) YES ---------------------------------------- (14) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: GrowTreeR.Tree.createTree(I)LGrowTreeR/Tree; SCC calls the following helper methods: GrowTreeR.Tree.createTree(I)LGrowTreeR/Tree; Performed SCC analyses: *Used field analysis yielded the following read fields: *java.lang.String: [count] *GrowTreeR.Tree: [children] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (15) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 104 IRulesP rules: f529_0_createTree_GT(EOS(STATIC_529(java.lang.Object(o54sub), i85)), i89, i89, i89) -> f538_0_createTree_GT(EOS(STATIC_538(java.lang.Object(o54sub), i85)), i89, i89, i89) :|: TRUE f538_0_createTree_GT(EOS(STATIC_538(java.lang.Object(o54sub), i85)), i89, i89, i89) -> f541_0_createTree_Load(EOS(STATIC_541(java.lang.Object(o54sub), i85)), i89, i89) :|: i89 > 0 f541_0_createTree_Load(EOS(STATIC_541(java.lang.Object(o54sub), i85)), i89, i89) -> f563_0_createTree_ConstantStackPush(EOS(STATIC_563(java.lang.Object(o54sub), i85)), i89, i89) :|: TRUE f563_0_createTree_ConstantStackPush(EOS(STATIC_563(java.lang.Object(o54sub), i85)), i89, i89) -> f568_0_createTree_IntArithmetic(EOS(STATIC_568(java.lang.Object(o54sub), i85)), i89, i89, 1) :|: TRUE f568_0_createTree_IntArithmetic(EOS(STATIC_568(java.lang.Object(o54sub), i85)), i89, i89, matching1) -> f580_0_createTree_Store(EOS(STATIC_580(java.lang.Object(o54sub), i85)), i89, i89 - 1) :|: i89 > 0 && matching1 = 1 f580_0_createTree_Store(EOS(STATIC_580(java.lang.Object(o54sub), i85)), i89, i103) -> f603_0_createTree_New(EOS(STATIC_603(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f603_0_createTree_New(EOS(STATIC_603(java.lang.Object(o54sub), i85)), i89, i103) -> f610_0_createTree_Duplicate(EOS(STATIC_610(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f610_0_createTree_Duplicate(EOS(STATIC_610(java.lang.Object(o54sub), i85)), i89, i103) -> f614_0_createTree_InvokeMethod(EOS(STATIC_614(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f614_0_createTree_InvokeMethod(EOS(STATIC_614(java.lang.Object(o54sub), i85)), i89, i103) -> f617_0__init__Load(EOS(STATIC_617(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f617_0__init__Load(EOS(STATIC_617(java.lang.Object(o54sub), i85)), i89, i103) -> f620_0__init__InvokeMethod(EOS(STATIC_620(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f620_0__init__InvokeMethod(EOS(STATIC_620(java.lang.Object(o54sub), i85)), i89, i103) -> f623_0__init__Load(EOS(STATIC_623(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f623_0__init__Load(EOS(STATIC_623(java.lang.Object(o54sub), i85)), i89, i103) -> f625_0__init__ConstantStackPush(EOS(STATIC_625(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f625_0__init__ConstantStackPush(EOS(STATIC_625(java.lang.Object(o54sub), i85)), i89, i103) -> f626_0__init__FieldAccess(EOS(STATIC_626(java.lang.Object(o54sub), i85)), i89, i103, NULL) :|: TRUE f626_0__init__FieldAccess(EOS(STATIC_626(java.lang.Object(o54sub), i85)), i89, i103, NULL) -> f629_0__init__Return(EOS(STATIC_629(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f629_0__init__Return(EOS(STATIC_629(java.lang.Object(o54sub), i85)), i89, i103) -> f630_0_createTree_Store(EOS(STATIC_630(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f630_0_createTree_Store(EOS(STATIC_630(java.lang.Object(o54sub), i85)), i89, i103) -> f631_0_createTree_InvokeMethod(EOS(STATIC_631(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f631_0_createTree_InvokeMethod(EOS(STATIC_631(java.lang.Object(o54sub), i85)), i89, i103) -> f632_0_random_FieldAccess(EOS(STATIC_632(java.lang.Object(o54sub), i85)), i89, i103) :|: TRUE f632_0_random_FieldAccess(EOS(STATIC_632(java.lang.Object(o54sub), i85)), i89, i103) -> f633_0_random_FieldAccess(EOS(STATIC_633(java.lang.Object(o54sub), i85)), i89, i103, java.lang.Object(o54sub)) :|: TRUE f633_0_random_FieldAccess(EOS(STATIC_633(java.lang.Object(o54sub), i85)), i89, i103, java.lang.Object(o54sub)) -> f634_0_random_ArrayAccess(EOS(STATIC_634(java.lang.Object(o54sub), i85)), i89, i103, java.lang.Object(o54sub), i85) :|: TRUE f634_0_random_ArrayAccess(EOS(STATIC_634(java.lang.Object(ARRAY(i112)), i85)), i89, i103, java.lang.Object(ARRAY(i112)), i85) -> f635_0_random_ArrayAccess(EOS(STATIC_635(java.lang.Object(ARRAY(i112)), i85)), i89, i103, java.lang.Object(ARRAY(i112)), i85) :|: i112 >= 0 f635_0_random_ArrayAccess(EOS(STATIC_635(java.lang.Object(ARRAY(i112)), i85)), i89, i103, java.lang.Object(ARRAY(i112)), i85) -> f638_0_random_ArrayAccess(EOS(STATIC_638(java.lang.Object(ARRAY(i112)), i85)), i89, i103, java.lang.Object(ARRAY(i112)), i85) :|: TRUE f638_0_random_ArrayAccess(EOS(STATIC_638(java.lang.Object(ARRAY(i112)), i85)), i89, i103, java.lang.Object(ARRAY(i112)), i85) -> f642_0_random_Store(EOS(STATIC_642(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69) :|: i85 < i112 f642_0_random_Store(EOS(STATIC_642(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69) -> f647_0_random_FieldAccess(EOS(STATIC_647(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69) :|: TRUE f647_0_random_FieldAccess(EOS(STATIC_647(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69) -> f648_0_random_ConstantStackPush(EOS(STATIC_648(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69, i85) :|: TRUE f648_0_random_ConstantStackPush(EOS(STATIC_648(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69, i85) -> f650_0_random_IntArithmetic(EOS(STATIC_650(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69, i85, 1) :|: TRUE f650_0_random_IntArithmetic(EOS(STATIC_650(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69, i85, matching1) -> f652_0_random_FieldAccess(EOS(STATIC_652(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69, i85 + 1) :|: i85 > 0 && matching1 = 1 f652_0_random_FieldAccess(EOS(STATIC_652(java.lang.Object(ARRAY(i112)), i85)), i89, i103, o69, i114) -> f653_0_random_Load(EOS(STATIC_653(java.lang.Object(ARRAY(i112)), i114)), i89, i103, o69) :|: TRUE f653_0_random_Load(EOS(STATIC_653(java.lang.Object(ARRAY(i112)), i114)), i89, i103, o69) -> f655_0_random_InvokeMethod(EOS(STATIC_655(java.lang.Object(ARRAY(i112)), i114)), i89, i103, o69) :|: TRUE f655_0_random_InvokeMethod(EOS(STATIC_655(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o72sub)) -> f658_0_random_InvokeMethod(EOS(STATIC_658(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o72sub)) :|: TRUE f658_0_random_InvokeMethod(EOS(STATIC_658(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o73sub)) -> f660_0_random_InvokeMethod(EOS(STATIC_660(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o73sub)) :|: TRUE f660_0_random_InvokeMethod(EOS(STATIC_660(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o73sub)) -> f663_0_length_Load(EOS(STATIC_663(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o73sub)) :|: TRUE f663_0_length_Load(EOS(STATIC_663(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o73sub)) -> f667_0_length_FieldAccess(EOS(STATIC_667(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(o73sub)) :|: TRUE f667_0_length_FieldAccess(EOS(STATIC_667(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(java.lang.String(EOC, i118))) -> f677_0_length_FieldAccess(EOS(STATIC_677(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(java.lang.String(EOC, i118))) :|: i118 >= 0 f677_0_length_FieldAccess(EOS(STATIC_677(java.lang.Object(ARRAY(i112)), i114)), i89, i103, java.lang.Object(java.lang.String(EOC, i118))) -> f679_0_length_Return(EOS(STATIC_679(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) :|: TRUE f679_0_length_Return(EOS(STATIC_679(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) -> f683_0_random_Return(EOS(STATIC_683(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) :|: TRUE f683_0_random_Return(EOS(STATIC_683(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) -> f690_0_createTree_Store(EOS(STATIC_690(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) :|: TRUE f690_0_createTree_Store(EOS(STATIC_690(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) -> f696_0_createTree_ConstantStackPush(EOS(STATIC_696(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) :|: TRUE f696_0_createTree_ConstantStackPush(EOS(STATIC_696(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118) -> f702_0_createTree_Store(EOS(STATIC_702(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118, 0) :|: TRUE f702_0_createTree_Store(EOS(STATIC_702(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118, matching1) -> f709_0_createTree_Load(EOS(STATIC_709(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118, 0) :|: TRUE && matching1 = 0 f709_0_createTree_Load(EOS(STATIC_709(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118, matching1) -> f2001_0_createTree_Load(EOS(STATIC_2001(java.lang.Object(ARRAY(i112)), i114)), i89, i103, i118, 0) :|: TRUE && matching1 = 0 f2001_0_createTree_Load(EOS(STATIC_2001(java.lang.Object(ARRAY(i112)), i358)), i89, i103, i359, i360) -> f3221_0_createTree_Load(EOS(STATIC_3221(java.lang.Object(ARRAY(i112)), i358)), i89, i103, i359, i360) :|: TRUE f3221_0_createTree_Load(EOS(STATIC_3221(java.lang.Object(ARRAY(i112)), i598)), i89, i103, i599, i600) -> f4307_0_createTree_Load(EOS(STATIC_4307(java.lang.Object(ARRAY(i112)), i598)), i89, i103, i599, i600) :|: TRUE f4307_0_createTree_Load(EOS(STATIC_4307(java.lang.Object(ARRAY(i112)), i872)), i89, i103, i873, i874) -> f4394_0_createTree_Load(EOS(STATIC_4394(java.lang.Object(ARRAY(i112)), i872)), i89, i103, i873, i874) :|: TRUE f4394_0_createTree_Load(EOS(STATIC_4394(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056) -> f4395_0_createTree_Load(EOS(STATIC_4395(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1056) :|: TRUE f4395_0_createTree_Load(EOS(STATIC_4395(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1056) -> f4396_0_createTree_GE(EOS(STATIC_4396(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1056, i1055) :|: TRUE f4396_0_createTree_GE(EOS(STATIC_4396(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1056, i1055) -> f4398_0_createTree_GE(EOS(STATIC_4398(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1056, i1055) :|: i1056 < i1055 f4398_0_createTree_GE(EOS(STATIC_4398(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1056, i1055) -> f4400_0_createTree_Load(EOS(STATIC_4400(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056) :|: i1056 < i1055 f4400_0_createTree_Load(EOS(STATIC_4400(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056) -> f4402_0_createTree_Load(EOS(STATIC_4402(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056) :|: TRUE f4402_0_createTree_Load(EOS(STATIC_4402(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056) -> f4404_0_createTree_ConstantStackPush(EOS(STATIC_4404(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i103) :|: TRUE f4404_0_createTree_ConstantStackPush(EOS(STATIC_4404(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i103) -> f4405_0_createTree_IntArithmetic(EOS(STATIC_4405(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i103, 1) :|: TRUE f4405_0_createTree_IntArithmetic(EOS(STATIC_4405(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i103, matching1) -> f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i103 - 1) :|: i103 >= 0 && matching1 = 1 f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1080) -> f4410_0_createTree_Load(EOS(STATIC_4410(java.lang.Object(ARRAY(i1053)), i1054)), i1080, i1080) :|: i89 >= 1 && i1055 >= 1 && i1054 > 1 && i89 > i103 && i1056 < i1055 && i1080 < i103 && i1080 < i89 f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1080) -> f4410_1_createTree_Load(EOS(STATIC_4410(java.lang.Object(ARRAY(i1053)), i1054)), i89, i103, i1055, i1056, i1080) :|: i89 >= 1 && i1055 >= 1 && i1054 > 1 && i89 > i103 && i1056 < i1055 && i1080 < i103 && i1080 < i89 f4410_0_createTree_Load(EOS(STATIC_4410(java.lang.Object(ARRAY(i1053)), i1054)), i1080, i1080) -> f4412_0_createTree_Load(EOS(STATIC_4412(java.lang.Object(ARRAY(i1053)), i1054)), i1080, i1080) :|: TRUE f4412_0_createTree_Load(EOS(STATIC_4412(java.lang.Object(ARRAY(i1053)), i1054)), i1080, i1080) -> f515_0_createTree_Load(EOS(STATIC_515(java.lang.Object(ARRAY(i1053)), i1054)), i1080, i1080) :|: TRUE f515_0_createTree_Load(EOS(STATIC_515(java.lang.Object(o54sub), i85)), i86, i86) -> f529_0_createTree_GT(EOS(STATIC_529(java.lang.Object(o54sub), i85)), i86, i86, i86) :|: TRUE f4417_0_createTree_Return(EOS(STATIC_4417(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4423_0_createTree_InvokeMethod(EOS(STATIC_4423(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4423_0_createTree_InvokeMethod(EOS(STATIC_4423(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4427_0_addChild_Load(EOS(STATIC_4427(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4427_0_addChild_Load(EOS(STATIC_4427(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4433_0_addChild_New(EOS(STATIC_4433(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4433_0_addChild_New(EOS(STATIC_4433(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4440_0_addChild_Duplicate(EOS(STATIC_4440(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4440_0_addChild_Duplicate(EOS(STATIC_4440(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4446_0_addChild_Load(EOS(STATIC_4446(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4446_0_addChild_Load(EOS(STATIC_4446(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4451_0_addChild_Load(EOS(STATIC_4451(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4451_0_addChild_Load(EOS(STATIC_4451(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4454_0_addChild_FieldAccess(EOS(STATIC_4454(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4454_0_addChild_FieldAccess(EOS(STATIC_4454(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4458_0_addChild_InvokeMethod(EOS(STATIC_4458(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4458_0_addChild_InvokeMethod(EOS(STATIC_4458(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4462_0__init__Load(EOS(STATIC_4462(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4462_0__init__Load(EOS(STATIC_4462(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4466_0__init__InvokeMethod(EOS(STATIC_4466(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4466_0__init__InvokeMethod(EOS(STATIC_4466(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4468_0__init__Load(EOS(STATIC_4468(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4468_0__init__Load(EOS(STATIC_4468(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4471_0__init__Load(EOS(STATIC_4471(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4471_0__init__Load(EOS(STATIC_4471(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4474_0__init__FieldAccess(EOS(STATIC_4474(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4474_0__init__FieldAccess(EOS(STATIC_4474(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4478_0__init__Load(EOS(STATIC_4478(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4478_0__init__Load(EOS(STATIC_4478(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4482_0__init__Load(EOS(STATIC_4482(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4482_0__init__Load(EOS(STATIC_4482(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4486_0__init__FieldAccess(EOS(STATIC_4486(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4486_0__init__FieldAccess(EOS(STATIC_4486(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4489_0__init__Return(EOS(STATIC_4489(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4489_0__init__Return(EOS(STATIC_4489(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4493_0_addChild_FieldAccess(EOS(STATIC_4493(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4493_0_addChild_FieldAccess(EOS(STATIC_4493(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4498_0_addChild_Return(EOS(STATIC_4498(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4498_0_addChild_Return(EOS(STATIC_4498(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4503_0_createTree_Inc(EOS(STATIC_4503(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4503_0_createTree_Inc(EOS(STATIC_4503(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) -> f4508_0_createTree_JMP(EOS(STATIC_4508(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056 + 1) :|: TRUE f4508_0_createTree_JMP(EOS(STATIC_4508(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1218) -> f4513_0_createTree_Load(EOS(STATIC_4513(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1218) :|: TRUE f4513_0_createTree_Load(EOS(STATIC_4513(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1218) -> f4394_0_createTree_Load(EOS(STATIC_4394(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1218) :|: TRUE f4421_0_createTree_Return(EOS(STATIC_4421(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4425_0_createTree_InvokeMethod(EOS(STATIC_4425(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4425_0_createTree_InvokeMethod(EOS(STATIC_4425(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4429_0_addChild_Load(EOS(STATIC_4429(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4429_0_addChild_Load(EOS(STATIC_4429(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4437_0_addChild_New(EOS(STATIC_4437(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4437_0_addChild_New(EOS(STATIC_4437(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4443_0_addChild_Duplicate(EOS(STATIC_4443(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4443_0_addChild_Duplicate(EOS(STATIC_4443(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4448_0_addChild_Load(EOS(STATIC_4448(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4448_0_addChild_Load(EOS(STATIC_4448(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4452_0_addChild_Load(EOS(STATIC_4452(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4452_0_addChild_Load(EOS(STATIC_4452(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4455_0_addChild_FieldAccess(EOS(STATIC_4455(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4455_0_addChild_FieldAccess(EOS(STATIC_4455(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4459_0_addChild_InvokeMethod(EOS(STATIC_4459(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4459_0_addChild_InvokeMethod(EOS(STATIC_4459(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4463_0__init__Load(EOS(STATIC_4463(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4463_0__init__Load(EOS(STATIC_4463(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4467_0__init__InvokeMethod(EOS(STATIC_4467(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4467_0__init__InvokeMethod(EOS(STATIC_4467(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4469_0__init__Load(EOS(STATIC_4469(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4469_0__init__Load(EOS(STATIC_4469(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4472_0__init__Load(EOS(STATIC_4472(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4472_0__init__Load(EOS(STATIC_4472(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4475_0__init__FieldAccess(EOS(STATIC_4475(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4475_0__init__FieldAccess(EOS(STATIC_4475(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4479_0__init__Load(EOS(STATIC_4479(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4479_0__init__Load(EOS(STATIC_4479(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4483_0__init__Load(EOS(STATIC_4483(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4483_0__init__Load(EOS(STATIC_4483(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4487_0__init__FieldAccess(EOS(STATIC_4487(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4487_0__init__FieldAccess(EOS(STATIC_4487(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4490_0__init__Return(EOS(STATIC_4490(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4490_0__init__Return(EOS(STATIC_4490(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4494_0_addChild_FieldAccess(EOS(STATIC_4494(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4494_0_addChild_FieldAccess(EOS(STATIC_4494(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4499_0_addChild_Return(EOS(STATIC_4499(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4499_0_addChild_Return(EOS(STATIC_4499(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4504_0_createTree_Inc(EOS(STATIC_4504(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE f4504_0_createTree_Inc(EOS(STATIC_4504(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) -> f4509_0_createTree_JMP(EOS(STATIC_4509(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056 + 1) :|: TRUE f4509_0_createTree_JMP(EOS(STATIC_4509(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1219) -> f4514_0_createTree_Load(EOS(STATIC_4514(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1219) :|: TRUE f4514_0_createTree_Load(EOS(STATIC_4514(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1219) -> f4394_0_createTree_Load(EOS(STATIC_4394(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1219) :|: TRUE f4410_1_createTree_Load(EOS(STATIC_4410(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056, i1080) -> f4417_0_createTree_Return(EOS(STATIC_4417(java.lang.Object(ARRAY(i1053)), i1091)), i89, i103, i1055, i1056) :|: TRUE f4410_1_createTree_Load(EOS(STATIC_4410(java.lang.Object(ARRAY(i1116)), i1054)), i89, i103, i1055, i1056, i1080) -> f4421_0_createTree_Return(EOS(STATIC_4421(java.lang.Object(ARRAY(i1116)), i1113)), i89, i103, i1055, i1056) :|: TRUE Combined rules. Obtained 3 IRulesP rules: f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053:0)), i1054:0)), i89:0, i103:0, i1055:0, i1056:0, i1080:0) -> f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053:0)), i1054:0)), i89:0, i103:0, i1055:0, i1056:0 + 1, i103:0 - 1) :|: i1056:0 + 1 < i1055:0 && i1055:0 > 0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i89:0 > i1080:0 && i1080:0 < i103:0 f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053:0)), i1054:0)), i89:0, i103:0, i1055:0, i1056:0, i1080:0) -> f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053:0)), i1054:0 + 1)), i1080:0, i1080:0 - 1, i118:0, 0, i1080:0 - 2) :|: i1054:0 > 1 && i118:0 > 0 && i1080:0 > 0 && i1053:0 > -1 && i1054:0 < i1053:0 && i1055:0 > 0 && i89:0 > 0 && i89:0 > i103:0 && i1056:0 < i1055:0 && i1080:0 < i103:0 && i89:0 > i1080:0 f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053:0)), i1054:0)), i89:0, i103:0, i1055:0, i1056:0, i1080:0) -> f4408_0_createTree_InvokeMethod(EOS(STATIC_4408(java.lang.Object(ARRAY(i1053:0)), i1113:0)), i89:0, i103:0, i1055:0, i1056:0 + 1, i103:0 - 1) :|: i1056:0 + 1 < i1055:0 && i1055:0 > 0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i89:0 > i1080:0 && i1080:0 < i103:0 Finished conversion. Obtained 3 rules.P rules: f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0, i1080:0, i1053:0, i1054:0) -> f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0 + 1, i103:0 - 1, i1053:0, i1054:0) :|: i1055:0 > 0 && i1056:0 + 1 < i1055:0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i1080:0 < i103:0 && i89:0 > i1080:0 f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0, i1080:0, i1053:0, i1054:0) -> f4408_0_createTree_InvokeMethod(i1080:0, i1080:0 - 1, i118:0, 0, i1080:0 - 2, i1053:0, i1054:0 + 1) :|: i118:0 > 0 && i1054:0 > 1 && i1080:0 > 0 && i1053:0 > -1 && i1054:0 < i1053:0 && i1055:0 > 0 && i89:0 > 0 && i89:0 > i103:0 && i1056:0 < i1055:0 && i89:0 > i1080:0 && i1080:0 < i103:0 f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0, i1080:0, i1053:0, i1054:0) -> f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0 + 1, i103:0 - 1, i1053:0, i1113:0) :|: i1055:0 > 0 && i1056:0 + 1 < i1055:0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i1080:0 < i103:0 && i89:0 > i1080:0 ---------------------------------------- (16) Obligation: Rules: f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0, i1080:0, i1053:0, i1054:0) -> f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0 + 1, i103:0 - 1, i1053:0, i1054:0) :|: i1055:0 > 0 && i1056:0 + 1 < i1055:0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i1080:0 < i103:0 && i89:0 > i1080:0 f4408_0_createTree_InvokeMethod(x, x1, x2, x3, x4, x5, x6) -> f4408_0_createTree_InvokeMethod(x4, x4 - 1, x7, 0, x4 - 2, x5, x6 + 1) :|: x7 > 0 && x6 > 1 && x4 > 0 && x5 > -1 && x6 < x5 && x2 > 0 && x > 0 && x > x1 && x3 < x2 && x > x4 && x4 < x1 f4408_0_createTree_InvokeMethod(x8, x9, x10, x11, x12, x13, x14) -> f4408_0_createTree_InvokeMethod(x8, x9, x10, x11 + 1, x9 - 1, x13, x15) :|: x10 > 0 && x11 + 1 < x10 && x8 > 0 && x14 > 1 && x8 > x9 && x9 > -1 && x12 < x9 && x8 > x12 ---------------------------------------- (17) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (18) Obligation: Rules: f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0, i1080:0, i1053:0, i1054:0) -> f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, arith, arith1, i1053:0, i1054:0) :|: i1055:0 > 0 && i1056:0 + 1 < i1055:0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i1080:0 < i103:0 && i89:0 > i1080:0 && arith = i1056:0 + 1 && arith1 = i103:0 - 1 f4408_0_createTree_InvokeMethod(x16, x17, x18, x19, x20, x21, x22) -> f4408_0_createTree_InvokeMethod(x20, x23, x24, 0, x25, x21, x26) :|: x24 > 0 && x22 > 1 && x20 > 0 && x21 > -1 && x22 < x21 && x18 > 0 && x16 > 0 && x16 > x17 && x19 < x18 && x16 > x20 && x20 < x17 && x23 = x20 - 1 && x25 = x20 - 2 && x26 = x22 + 1 f4408_0_createTree_InvokeMethod(x27, x28, x29, x30, x31, x32, x33) -> f4408_0_createTree_InvokeMethod(x27, x28, x29, x34, x35, x32, x36) :|: x29 > 0 && x30 + 1 < x29 && x27 > 0 && x33 > 1 && x27 > x28 && x28 > -1 && x31 < x28 && x27 > x31 && x34 = x30 + 1 && x35 = x28 - 1 ---------------------------------------- (19) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0, i1080:0, i1053:0, i1054:0) -> f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, arith, arith1, i1053:0, i1054:0) :|: i1055:0 > 0 && i1056:0 + 1 < i1055:0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i1080:0 < i103:0 && i89:0 > i1080:0 && arith = i1056:0 + 1 && arith1 = i103:0 - 1 (2) f4408_0_createTree_InvokeMethod(x16, x17, x18, x19, x20, x21, x22) -> f4408_0_createTree_InvokeMethod(x20, x23, x24, 0, x25, x21, x26) :|: x24 > 0 && x22 > 1 && x20 > 0 && x21 > -1 && x22 < x21 && x18 > 0 && x16 > 0 && x16 > x17 && x19 < x18 && x16 > x20 && x20 < x17 && x23 = x20 - 1 && x25 = x20 - 2 && x26 = x22 + 1 (3) f4408_0_createTree_InvokeMethod(x27, x28, x29, x30, x31, x32, x33) -> f4408_0_createTree_InvokeMethod(x27, x28, x29, x34, x35, x32, x36) :|: x29 > 0 && x30 + 1 < x29 && x27 > 0 && x33 > 1 && x27 > x28 && x28 > -1 && x31 < x28 && x27 > x31 && x34 = x30 + 1 && x35 = x28 - 1 Arcs: (1) -> (1), (2), (3) (2) -> (1), (2), (3) (3) -> (1), (2), (3) This digraph is fully evaluated! ---------------------------------------- (20) Obligation: Termination digraph: Nodes: (1) f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, i1056:0, i1080:0, i1053:0, i1054:0) -> f4408_0_createTree_InvokeMethod(i89:0, i103:0, i1055:0, arith, arith1, i1053:0, i1054:0) :|: i1055:0 > 0 && i1056:0 + 1 < i1055:0 && i89:0 > 0 && i1054:0 > 1 && i89:0 > i103:0 && i103:0 > -1 && i1080:0 < i103:0 && i89:0 > i1080:0 && arith = i1056:0 + 1 && arith1 = i103:0 - 1 (2) f4408_0_createTree_InvokeMethod(x16, x17, x18, x19, x20, x21, x22) -> f4408_0_createTree_InvokeMethod(x20, x23, x24, 0, x25, x21, x26) :|: x24 > 0 && x22 > 1 && x20 > 0 && x21 > -1 && x22 < x21 && x18 > 0 && x16 > 0 && x16 > x17 && x19 < x18 && x16 > x20 && x20 < x17 && x23 = x20 - 1 && x25 = x20 - 2 && x26 = x22 + 1 (3) f4408_0_createTree_InvokeMethod(x27, x28, x29, x30, x31, x32, x33) -> f4408_0_createTree_InvokeMethod(x27, x28, x29, x34, x35, x32, x36) :|: x29 > 0 && x30 + 1 < x29 && x27 > 0 && x33 > 1 && x27 > x28 && x28 > -1 && x31 < x28 && x27 > x31 && x34 = x30 + 1 && x35 = x28 - 1 Arcs: (1) -> (1), (2), (3) (2) -> (1), (2), (3) (3) -> (1), (2), (3) This digraph is fully evaluated! ---------------------------------------- (21) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (22) Obligation: Rules: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0 + 1, x28:0 - 1, x32:0, x36:0) :|: x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0 f4408_0_createTree_InvokeMethod(x16:0, x17:0, x18:0, x19:0, x20:0, x21:0, x22:0) -> f4408_0_createTree_InvokeMethod(x20:0, x20:0 - 1, x24:0, 0, x20:0 - 2, x21:0, x22:0 + 1) :|: x20:0 < x16:0 && x20:0 < x17:0 && x19:0 < x18:0 && x17:0 < x16:0 && x16:0 > 0 && x18:0 > 0 && x22:0 < x21:0 && x21:0 > -1 && x20:0 > 0 && x22:0 > 1 && x24:0 > 0 f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, i1056:0:0, i1080:0:0, i1053:0:0, i1054:0:0) -> f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, i1056:0:0 + 1, i103:0:0 - 1, i1053:0:0, i1054:0:0) :|: i1080:0:0 < i103:0:0 && i89:0:0 > i1080:0:0 && i103:0:0 > -1 && i89:0:0 > i103:0:0 && i1054:0:0 > 1 && i89:0:0 > 0 && i1056:0:0 + 1 < i1055:0:0 && i1055:0:0 > 0 ---------------------------------------- (23) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f4408_0_createTree_InvokeMethod(INTEGER, INTEGER, INTEGER, VARIABLE, INTEGER, VARIABLE, VARIABLE) Replaced non-predefined constructor symbols by 0. ---------------------------------------- (24) Obligation: Rules: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) f4408_0_createTree_InvokeMethod(x16:0, x17:0, x18:0, x19:0, x20:0, x21:0, x22:0) -> f4408_0_createTree_InvokeMethod(x20:0, c2, x24:0, c3, c4, x21:0, c5) :|: c5 = x22:0 + 1 && (c4 = x20:0 - 2 && (c3 = 0 && c2 = x20:0 - 1)) && (x20:0 < x16:0 && x20:0 < x17:0 && x19:0 < x18:0 && x17:0 < x16:0 && x16:0 > 0 && x18:0 > 0 && x22:0 < x21:0 && x21:0 > -1 && x20:0 > 0 && x22:0 > 1 && x24:0 > 0) f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, i1056:0:0, i1080:0:0, i1053:0:0, i1054:0:0) -> f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, c6, c7, i1053:0:0, i1054:0:0) :|: c7 = i103:0:0 - 1 && c6 = i1056:0:0 + 1 && (i1080:0:0 < i103:0:0 && i89:0:0 > i1080:0:0 && i103:0:0 > -1 && i89:0:0 > i103:0:0 && i1054:0:0 > 1 && i89:0:0 > 0 && i1056:0:0 + 1 < i1055:0:0 && i1055:0:0 > 0) ---------------------------------------- (25) PolynomialOrderProcessor (EQUIVALENT) Found the following polynomial interpretation: [f4408_0_createTree_InvokeMethod(x, x1, x2, x3, x4, x5, x6)] = x1 The following rules are decreasing: f4408_0_createTree_InvokeMethod(x16:0, x17:0, x18:0, x19:0, x20:0, x21:0, x22:0) -> f4408_0_createTree_InvokeMethod(x20:0, c2, x24:0, c3, c4, x21:0, c5) :|: c5 = x22:0 + 1 && (c4 = x20:0 - 2 && (c3 = 0 && c2 = x20:0 - 1)) && (x20:0 < x16:0 && x20:0 < x17:0 && x19:0 < x18:0 && x17:0 < x16:0 && x16:0 > 0 && x18:0 > 0 && x22:0 < x21:0 && x21:0 > -1 && x20:0 > 0 && x22:0 > 1 && x24:0 > 0) The following rules are bounded: f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, i1056:0:0, i1080:0:0, i1053:0:0, i1054:0:0) -> f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, c6, c7, i1053:0:0, i1054:0:0) :|: c7 = i103:0:0 - 1 && c6 = i1056:0:0 + 1 && (i1080:0:0 < i103:0:0 && i89:0:0 > i1080:0:0 && i103:0:0 > -1 && i89:0:0 > i103:0:0 && i1054:0:0 > 1 && i89:0:0 > 0 && i1056:0:0 + 1 < i1055:0:0 && i1055:0:0 > 0) ---------------------------------------- (26) Complex Obligation (AND) ---------------------------------------- (27) Obligation: Rules: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, i1056:0:0, i1080:0:0, i1053:0:0, i1054:0:0) -> f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, c6, c7, i1053:0:0, i1054:0:0) :|: c7 = i103:0:0 - 1 && c6 = i1056:0:0 + 1 && (i1080:0:0 < i103:0:0 && i89:0:0 > i1080:0:0 && i103:0:0 > -1 && i89:0:0 > i103:0:0 && i1054:0:0 > 1 && i89:0:0 > 0 && i1056:0:0 + 1 < i1055:0:0 && i1055:0:0 > 0) ---------------------------------------- (28) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f4408_0_createTree_InvokeMethod ] = -1*f4408_0_createTree_InvokeMethod_4 + f4408_0_createTree_InvokeMethod_3 The following rules are decreasing: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, i1056:0:0, i1080:0:0, i1053:0:0, i1054:0:0) -> f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, c6, c7, i1053:0:0, i1054:0:0) :|: c7 = i103:0:0 - 1 && c6 = i1056:0:0 + 1 && (i1080:0:0 < i103:0:0 && i89:0:0 > i1080:0:0 && i103:0:0 > -1 && i89:0:0 > i103:0:0 && i1054:0:0 > 1 && i89:0:0 > 0 && i1056:0:0 + 1 < i1055:0:0 && i1055:0:0 > 0) The following rules are bounded: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, i1056:0:0, i1080:0:0, i1053:0:0, i1054:0:0) -> f4408_0_createTree_InvokeMethod(i89:0:0, i103:0:0, i1055:0:0, c6, c7, i1053:0:0, i1054:0:0) :|: c7 = i103:0:0 - 1 && c6 = i1056:0:0 + 1 && (i1080:0:0 < i103:0:0 && i89:0:0 > i1080:0:0 && i103:0:0 > -1 && i89:0:0 > i103:0:0 && i1054:0:0 > 1 && i89:0:0 > 0 && i1056:0:0 + 1 < i1055:0:0 && i1055:0:0 > 0) ---------------------------------------- (29) YES ---------------------------------------- (30) Obligation: Rules: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) f4408_0_createTree_InvokeMethod(x16:0, x17:0, x18:0, x19:0, x20:0, x21:0, x22:0) -> f4408_0_createTree_InvokeMethod(x20:0, c2, x24:0, c3, c4, x21:0, c5) :|: c5 = x22:0 + 1 && (c4 = x20:0 - 2 && (c3 = 0 && c2 = x20:0 - 1)) && (x20:0 < x16:0 && x20:0 < x17:0 && x19:0 < x18:0 && x17:0 < x16:0 && x16:0 > 0 && x18:0 > 0 && x22:0 < x21:0 && x21:0 > -1 && x20:0 > 0 && x22:0 > 1 && x24:0 > 0) ---------------------------------------- (31) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f4408_0_createTree_InvokeMethod ] = 1/2*f4408_0_createTree_InvokeMethod_1 The following rules are decreasing: f4408_0_createTree_InvokeMethod(x16:0, x17:0, x18:0, x19:0, x20:0, x21:0, x22:0) -> f4408_0_createTree_InvokeMethod(x20:0, c2, x24:0, c3, c4, x21:0, c5) :|: c5 = x22:0 + 1 && (c4 = x20:0 - 2 && (c3 = 0 && c2 = x20:0 - 1)) && (x20:0 < x16:0 && x20:0 < x17:0 && x19:0 < x18:0 && x17:0 < x16:0 && x16:0 > 0 && x18:0 > 0 && x22:0 < x21:0 && x21:0 > -1 && x20:0 > 0 && x22:0 > 1 && x24:0 > 0) The following rules are bounded: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) f4408_0_createTree_InvokeMethod(x16:0, x17:0, x18:0, x19:0, x20:0, x21:0, x22:0) -> f4408_0_createTree_InvokeMethod(x20:0, c2, x24:0, c3, c4, x21:0, c5) :|: c5 = x22:0 + 1 && (c4 = x20:0 - 2 && (c3 = 0 && c2 = x20:0 - 1)) && (x20:0 < x16:0 && x20:0 < x17:0 && x19:0 < x18:0 && x17:0 < x16:0 && x16:0 > 0 && x18:0 > 0 && x22:0 < x21:0 && x21:0 > -1 && x20:0 > 0 && x22:0 > 1 && x24:0 > 0) ---------------------------------------- (32) Obligation: Rules: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) ---------------------------------------- (33) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f4408_0_createTree_InvokeMethod ] = -1*f4408_0_createTree_InvokeMethod_4 + f4408_0_createTree_InvokeMethod_3 The following rules are decreasing: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) The following rules are bounded: f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, x30:0, x31:0, x32:0, x33:0) -> f4408_0_createTree_InvokeMethod(x27:0, x28:0, x29:0, c, c1, x32:0, x36:0) :|: c1 = x28:0 - 1 && c = x30:0 + 1 && (x31:0 < x28:0 && x31:0 < x27:0 && x28:0 > -1 && x28:0 < x27:0 && x33:0 > 1 && x27:0 > 0 && x30:0 + 1 < x29:0 && x29:0 > 0) ---------------------------------------- (34) YES