12.03/4.11 YES 12.03/4.13 proof of /export/starexec/sandbox/benchmark/theBenchmark.jar 12.03/4.13 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 12.03/4.13 12.03/4.13 12.03/4.13 termination of the given Bare JBC problem could be proven: 12.03/4.13 12.03/4.13 (0) Bare JBC problem 12.03/4.13 (1) BareJBCToJBCProof [EQUIVALENT, 100 ms] 12.03/4.13 (2) JBC problem 12.03/4.13 (3) JBCToGraph [EQUIVALENT, 1001 ms] 12.03/4.13 (4) JBCTerminationGraph 12.03/4.13 (5) TerminationGraphToSCCProof [SOUND, 0 ms] 12.03/4.13 (6) AND 12.03/4.13 (7) JBCTerminationSCC 12.03/4.13 (8) SCCToQDPProof [SOUND, 372 ms] 12.03/4.13 (9) QDP 12.03/4.13 (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] 12.03/4.13 (11) YES 12.03/4.13 (12) JBCTerminationSCC 12.03/4.13 (13) SCCToIRSProof [SOUND, 307 ms] 12.03/4.13 (14) IRSwT 12.03/4.13 (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms] 12.03/4.13 (16) IRSwT 12.03/4.13 (17) IRSwTTerminationDigraphProof [EQUIVALENT, 112 ms] 12.03/4.13 (18) IRSwT 12.03/4.13 (19) IntTRSCompressionProof [EQUIVALENT, 0 ms] 12.03/4.13 (20) IRSwT 12.03/4.13 (21) TempFilterProof [SOUND, 16 ms] 12.03/4.13 (22) IntTRS 12.03/4.13 (23) PolynomialOrderProcessor [EQUIVALENT, 0 ms] 12.03/4.13 (24) YES 12.03/4.13 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (0) 12.03/4.13 Obligation: 12.03/4.13 need to prove termination of the following program: 12.03/4.13 public class DuplicateNodes { 12.03/4.13 public static void main(String[] args) { 12.03/4.13 Random.args = args; 12.03/4.13 Tree tree = Tree.createTree(); 12.03/4.13 12.03/4.13 randomlyDuplicate(tree); 12.03/4.13 } 12.03/4.13 12.03/4.13 public static void randomlyDuplicate(Tree tree) { 12.03/4.13 Tree cur = tree; 12.03/4.13 12.03/4.13 while (cur != null) { 12.03/4.13 if (Random.random() > 42) { 12.03/4.13 cur.right = new Tree(cur.left, cur.right); 12.03/4.13 cur = cur.left; 12.03/4.13 } else { 12.03/4.13 cur.left = new Tree(cur.left, cur.right); 12.03/4.13 cur = cur.right; 12.03/4.13 } 12.03/4.13 } 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 public class List { 12.03/4.13 Tree value; 12.03/4.13 List next; 12.03/4.13 12.03/4.13 public List(Tree value, List next) { 12.03/4.13 this.value = value; 12.03/4.13 this.next = next; 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 public class Random { 12.03/4.13 static String[] args; 12.03/4.13 static int index = 0; 12.03/4.13 12.03/4.13 public static int random() { 12.03/4.13 String string = args[index]; 12.03/4.13 index++; 12.03/4.13 return string.length(); 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 public class Tree { 12.03/4.13 Tree left; 12.03/4.13 Tree right; 12.03/4.13 Object value; 12.03/4.13 12.03/4.13 public Tree(Tree l, Tree r) { 12.03/4.13 this.left = l; 12.03/4.13 this.right = r; 12.03/4.13 } 12.03/4.13 12.03/4.13 public Tree() { 12.03/4.13 } 12.03/4.13 12.03/4.13 public static Tree createNode() { 12.03/4.13 if (Random.random() == 0) { 12.03/4.13 return null; 12.03/4.13 } 12.03/4.13 Tree result = new Tree(); 12.03/4.13 return result; 12.03/4.13 } 12.03/4.13 12.03/4.13 public static Tree createTree() { 12.03/4.13 Tree result = createNode(); 12.03/4.13 List list = new List(result, null); 12.03/4.13 12.03/4.13 int counter = Random.random(); 12.03/4.13 while (counter > 0 && list != null) { 12.03/4.13 Tree first = list.value; 12.03/4.13 list = list.next; 12.03/4.13 12.03/4.13 if (first != null) { 12.03/4.13 Tree left = createNode(); 12.03/4.13 Tree right = createNode(); 12.03/4.13 first.left = left; 12.03/4.13 first.right = right; 12.03/4.13 list = new List(left, list); 12.03/4.13 list = new List(right, list); 12.03/4.13 } 12.03/4.13 12.03/4.13 counter--; 12.03/4.13 } 12.03/4.13 12.03/4.13 return result; 12.03/4.13 } 12.03/4.13 12.03/4.13 public static void main(String[] args) { 12.03/4.13 Random.args = args; 12.03/4.13 createTree(); 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (1) BareJBCToJBCProof (EQUIVALENT) 12.03/4.13 initialized classpath 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (2) 12.03/4.13 Obligation: 12.03/4.13 need to prove termination of the following program: 12.03/4.13 public class DuplicateNodes { 12.03/4.13 public static void main(String[] args) { 12.03/4.13 Random.args = args; 12.03/4.13 Tree tree = Tree.createTree(); 12.03/4.13 12.03/4.13 randomlyDuplicate(tree); 12.03/4.13 } 12.03/4.13 12.03/4.13 public static void randomlyDuplicate(Tree tree) { 12.03/4.13 Tree cur = tree; 12.03/4.13 12.03/4.13 while (cur != null) { 12.03/4.13 if (Random.random() > 42) { 12.03/4.13 cur.right = new Tree(cur.left, cur.right); 12.03/4.13 cur = cur.left; 12.03/4.13 } else { 12.03/4.13 cur.left = new Tree(cur.left, cur.right); 12.03/4.13 cur = cur.right; 12.03/4.13 } 12.03/4.13 } 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 public class List { 12.03/4.13 Tree value; 12.03/4.13 List next; 12.03/4.13 12.03/4.13 public List(Tree value, List next) { 12.03/4.13 this.value = value; 12.03/4.13 this.next = next; 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 public class Random { 12.03/4.13 static String[] args; 12.03/4.13 static int index = 0; 12.03/4.13 12.03/4.13 public static int random() { 12.03/4.13 String string = args[index]; 12.03/4.13 index++; 12.03/4.13 return string.length(); 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 public class Tree { 12.03/4.13 Tree left; 12.03/4.13 Tree right; 12.03/4.13 Object value; 12.03/4.13 12.03/4.13 public Tree(Tree l, Tree r) { 12.03/4.13 this.left = l; 12.03/4.13 this.right = r; 12.03/4.13 } 12.03/4.13 12.03/4.13 public Tree() { 12.03/4.13 } 12.03/4.13 12.03/4.13 public static Tree createNode() { 12.03/4.13 if (Random.random() == 0) { 12.03/4.13 return null; 12.03/4.13 } 12.03/4.13 Tree result = new Tree(); 12.03/4.13 return result; 12.03/4.13 } 12.03/4.13 12.03/4.13 public static Tree createTree() { 12.03/4.13 Tree result = createNode(); 12.03/4.13 List list = new List(result, null); 12.03/4.13 12.03/4.13 int counter = Random.random(); 12.03/4.13 while (counter > 0 && list != null) { 12.03/4.13 Tree first = list.value; 12.03/4.13 list = list.next; 12.03/4.13 12.03/4.13 if (first != null) { 12.03/4.13 Tree left = createNode(); 12.03/4.13 Tree right = createNode(); 12.03/4.13 first.left = left; 12.03/4.13 first.right = right; 12.03/4.13 list = new List(left, list); 12.03/4.13 list = new List(right, list); 12.03/4.13 } 12.03/4.13 12.03/4.13 counter--; 12.03/4.13 } 12.03/4.13 12.03/4.13 return result; 12.03/4.13 } 12.03/4.13 12.03/4.13 public static void main(String[] args) { 12.03/4.13 Random.args = args; 12.03/4.13 createTree(); 12.03/4.13 } 12.03/4.13 } 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (3) JBCToGraph (EQUIVALENT) 12.03/4.13 Constructed TerminationGraph. 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (4) 12.03/4.13 Obligation: 12.03/4.13 Termination Graph based on JBC Program: 12.03/4.13 DuplicateNodes.main([Ljava/lang/String;)V: Graph of 45 nodes with 0 SCCs. 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 Tree.createTree()LTree;: Graph of 404 nodes with 1 SCC. 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 Tree.createNode()LTree;: Graph of 109 nodes with 0 SCCs. 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 DuplicateNodes.randomlyDuplicate(LTree;)V: Graph of 128 nodes with 1 SCC. 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (5) TerminationGraphToSCCProof (SOUND) 12.03/4.13 Splitted TerminationGraph to 2 SCCss. 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (6) 12.03/4.13 Complex Obligation (AND) 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (7) 12.03/4.13 Obligation: 12.03/4.13 SCC of termination graph based on JBC Program. 12.03/4.13 SCC contains nodes from the following methods: DuplicateNodes.randomlyDuplicate(LTree;)V 12.03/4.13 SCC calls the following helper methods: 12.03/4.13 Performed SCC analyses: 12.03/4.13 *Used field analysis yielded the following read fields: 12.03/4.13 *java.lang.String: [count] 12.03/4.13 *Tree: [left, right] 12.03/4.13 *Marker field analysis yielded the following relations that could be markers: 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (8) SCCToQDPProof (SOUND) 12.03/4.13 Transformed TerminationGraph SCC to QDP. Log: 12.03/4.13 Generated 76 rules for P and 0 rules for R.P rules: 12.03/4.13 f6361_0_randomlyDuplicate_NULL(EOS(STATIC_6361(java.lang.Object(o3658sub))), java.lang.Object(o3739sub), java.lang.Object(o3739sub)) -> f6366_0_randomlyDuplicate_NULL(EOS(STATIC_6366(java.lang.Object(o3658sub))), java.lang.Object(o3739sub), java.lang.Object(o3739sub)) :|: TRUE 12.03/4.13 f6366_0_randomlyDuplicate_NULL(EOS(STATIC_6366(java.lang.Object(o3658sub))), java.lang.Object(o3739sub), java.lang.Object(o3739sub)) -> f6372_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6372(java.lang.Object(o3658sub))), java.lang.Object(o3739sub)) :|: TRUE 12.03/4.13 f6372_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6372(java.lang.Object(o3658sub))), java.lang.Object(o3739sub)) -> f6378_0_random_FieldAccess(EOS(STATIC_6378(java.lang.Object(o3658sub))), java.lang.Object(o3739sub)) :|: TRUE 12.03/4.13 f6378_0_random_FieldAccess(EOS(STATIC_6378(java.lang.Object(o3658sub))), java.lang.Object(o3739sub)) -> f6384_0_random_FieldAccess(EOS(STATIC_6384(java.lang.Object(o3658sub))), java.lang.Object(o3739sub), java.lang.Object(o3658sub)) :|: TRUE 12.03/4.13 f6384_0_random_FieldAccess(EOS(STATIC_6384(java.lang.Object(o3658sub))), java.lang.Object(o3739sub), java.lang.Object(o3658sub)) -> f6389_0_random_ArrayAccess(EOS(STATIC_6389(java.lang.Object(o3658sub))), java.lang.Object(o3739sub), java.lang.Object(o3658sub)) :|: TRUE 12.03/4.13 f6389_0_random_ArrayAccess(EOS(STATIC_6389(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(ARRAY(i2978))) -> f6393_0_random_ArrayAccess(EOS(STATIC_6393(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(ARRAY(i2978))) :|: TRUE 12.03/4.13 f6393_0_random_ArrayAccess(EOS(STATIC_6393(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(ARRAY(i2978))) -> f6397_0_random_ArrayAccess(EOS(STATIC_6397(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(ARRAY(i2978))) :|: TRUE 12.03/4.13 f6397_0_random_ArrayAccess(EOS(STATIC_6397(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(ARRAY(i2978))) -> f6402_0_random_Store(EOS(STATIC_6402(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) :|: TRUE 12.03/4.13 f6402_0_random_Store(EOS(STATIC_6402(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) -> f6406_0_random_FieldAccess(EOS(STATIC_6406(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) :|: TRUE 12.03/4.13 f6406_0_random_FieldAccess(EOS(STATIC_6406(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) -> f6409_0_random_ConstantStackPush(EOS(STATIC_6409(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) :|: TRUE 12.03/4.13 f6409_0_random_ConstantStackPush(EOS(STATIC_6409(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) -> f6412_0_random_IntArithmetic(EOS(STATIC_6412(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) :|: TRUE 12.03/4.13 f6412_0_random_IntArithmetic(EOS(STATIC_6412(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) -> f6415_0_random_FieldAccess(EOS(STATIC_6415(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) :|: TRUE 12.03/4.13 f6415_0_random_FieldAccess(EOS(STATIC_6415(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) -> f6417_0_random_Load(EOS(STATIC_6417(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) :|: TRUE 12.03/4.13 f6417_0_random_Load(EOS(STATIC_6417(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) -> f6420_0_random_InvokeMethod(EOS(STATIC_6420(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), o3856) :|: TRUE 12.03/4.13 f6420_0_random_InvokeMethod(EOS(STATIC_6420(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3866sub)) -> f6423_0_random_InvokeMethod(EOS(STATIC_6423(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3866sub)) :|: TRUE 12.03/4.13 f6423_0_random_InvokeMethod(EOS(STATIC_6423(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3867sub)) -> f6426_0_random_InvokeMethod(EOS(STATIC_6426(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3867sub)) :|: TRUE 12.03/4.13 f6426_0_random_InvokeMethod(EOS(STATIC_6426(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3867sub)) -> f6430_0_length_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3867sub)) :|: TRUE 12.03/4.13 f6430_0_length_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3867sub)) -> f6437_0_length_FieldAccess(EOS(STATIC_6437(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3867sub)) :|: TRUE 12.03/4.13 f6437_0_length_FieldAccess(EOS(STATIC_6437(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(java.lang.String(EOC, i2988))) -> f6442_0_length_FieldAccess(EOS(STATIC_6442(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(java.lang.String(EOC, i2988))) :|: i2988 >= 0 12.03/4.13 f6442_0_length_FieldAccess(EOS(STATIC_6442(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(java.lang.String(EOC, i2988))) -> f6446_0_length_Return(EOS(STATIC_6446(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i2988) :|: TRUE 12.03/4.13 f6446_0_length_Return(EOS(STATIC_6446(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i2988) -> f6448_0_random_Return(EOS(STATIC_6448(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i2988) :|: TRUE 12.03/4.13 f6448_0_random_Return(EOS(STATIC_6448(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i2988) -> f6451_0_randomlyDuplicate_ConstantStackPush(EOS(STATIC_6451(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i2988) :|: TRUE 12.03/4.13 f6451_0_randomlyDuplicate_ConstantStackPush(EOS(STATIC_6451(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i2988) -> f6453_0_randomlyDuplicate_LE(EOS(STATIC_6453(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i2988, 42) :|: TRUE 12.03/4.13 f6453_0_randomlyDuplicate_LE(EOS(STATIC_6453(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i3024, matching1) -> f6462_0_randomlyDuplicate_LE(EOS(STATIC_6462(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i3024, 42) :|: TRUE && matching1 = 42 12.03/4.13 f6453_0_randomlyDuplicate_LE(EOS(STATIC_6453(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i3025, matching1) -> f6463_0_randomlyDuplicate_LE(EOS(STATIC_6463(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i3025, 42) :|: TRUE && matching1 = 42 12.03/4.13 f6462_0_randomlyDuplicate_LE(EOS(STATIC_6462(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i3024, matching1) -> f6469_0_randomlyDuplicate_Load(EOS(STATIC_6469(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub)) :|: i3024 <= 42 && matching1 = 42 12.03/4.13 f6469_0_randomlyDuplicate_Load(EOS(STATIC_6469(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub)) -> f6475_0_randomlyDuplicate_New(EOS(STATIC_6475(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub)) :|: TRUE 12.03/4.13 f6475_0_randomlyDuplicate_New(EOS(STATIC_6475(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub)) -> f6481_0_randomlyDuplicate_Duplicate(EOS(STATIC_6481(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6481_0_randomlyDuplicate_Duplicate(EOS(STATIC_6481(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6489_0_randomlyDuplicate_Load(EOS(STATIC_6489(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6489_0_randomlyDuplicate_Load(EOS(STATIC_6489(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6494_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6494(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(o3739sub)) :|: TRUE 12.03/4.13 f6494_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6494(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3940, o3941))) -> f6498_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6498(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3940, o3941))) :|: TRUE 12.03/4.13 f6498_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6498(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3940, o3941))) -> f6502_0_randomlyDuplicate_Load(EOS(STATIC_6502(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940) :|: TRUE 12.03/4.13 f6502_0_randomlyDuplicate_Load(EOS(STATIC_6502(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940) -> f6518_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6518(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, java.lang.Object(Tree(EOC, o3940, o3941))) :|: TRUE 12.03/4.13 f6518_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6518(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, java.lang.Object(Tree(EOC, o3940, o3941))) -> f6528_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6528(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941) :|: TRUE 12.03/4.13 f6528_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6528(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941) -> f6538_0__init__Load(EOS(STATIC_6538(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941) :|: TRUE 12.03/4.13 f6538_0__init__Load(EOS(STATIC_6538(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941) -> f6555_0__init__InvokeMethod(EOS(STATIC_6555(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6555_0__init__InvokeMethod(EOS(STATIC_6555(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6563_0__init__Load(EOS(STATIC_6563(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941) :|: TRUE 12.03/4.13 f6563_0__init__Load(EOS(STATIC_6563(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941) -> f6571_0__init__Load(EOS(STATIC_6571(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6571_0__init__Load(EOS(STATIC_6571(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3940, o3941, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6578_0__init__FieldAccess(EOS(STATIC_6578(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3941, java.lang.Object(Tree(EOC, NULL, NULL)), o3940) :|: TRUE 12.03/4.13 f6578_0__init__FieldAccess(EOS(STATIC_6578(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3941, java.lang.Object(Tree(EOC, NULL, NULL)), o3940) -> f6585_0__init__Load(EOS(STATIC_6585(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, NULL)), java.lang.Object(Tree(EOC, o3940, NULL)), o3941) :|: TRUE 12.03/4.13 f6585_0__init__Load(EOS(STATIC_6585(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, NULL)), java.lang.Object(Tree(EOC, o3940, NULL)), o3941) -> f6591_0__init__Load(EOS(STATIC_6591(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, NULL)), o3941, java.lang.Object(Tree(EOC, o3940, NULL))) :|: TRUE 12.03/4.13 f6591_0__init__Load(EOS(STATIC_6591(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, NULL)), o3941, java.lang.Object(Tree(EOC, o3940, NULL))) -> f6598_0__init__FieldAccess(EOS(STATIC_6598(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, NULL)), java.lang.Object(Tree(EOC, o3940, NULL)), o3941) :|: TRUE 12.03/4.13 f6598_0__init__FieldAccess(EOS(STATIC_6598(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, NULL)), java.lang.Object(Tree(EOC, o3940, NULL)), o3941) -> f6604_0__init__Return(EOS(STATIC_6604(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941))) :|: TRUE 12.03/4.13 f6604_0__init__Return(EOS(STATIC_6604(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941))) -> f6610_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6610(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941))) :|: TRUE 12.03/4.13 f6610_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6610(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941)), java.lang.Object(Tree(EOC, o3940, o3941))) -> f6616_0_randomlyDuplicate_Load(EOS(STATIC_6616(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3940, o3941)), o3941))) :|: TRUE 12.03/4.13 f6616_0_randomlyDuplicate_Load(EOS(STATIC_6616(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3940, o3941)), o3941))) -> f6622_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6622(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3940, o3941)), o3941))) :|: TRUE 12.03/4.13 f6622_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6622(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3940, o3941)), o3941))) -> f6624_0_randomlyDuplicate_Store(EOS(STATIC_6624(java.lang.Object(ARRAY(i2978)))), o3941) :|: TRUE 12.03/4.13 f6624_0_randomlyDuplicate_Store(EOS(STATIC_6624(java.lang.Object(ARRAY(i2978)))), o3941) -> f6630_0_randomlyDuplicate_JMP(EOS(STATIC_6630(java.lang.Object(ARRAY(i2978)))), o3941) :|: TRUE 12.03/4.13 f6630_0_randomlyDuplicate_JMP(EOS(STATIC_6630(java.lang.Object(ARRAY(i2978)))), o3941) -> f6636_0_randomlyDuplicate_Load(EOS(STATIC_6636(java.lang.Object(ARRAY(i2978)))), o3941) :|: TRUE 12.03/4.13 f6636_0_randomlyDuplicate_Load(EOS(STATIC_6636(java.lang.Object(ARRAY(i2978)))), o3941) -> f6356_0_randomlyDuplicate_Load(EOS(STATIC_6356(java.lang.Object(ARRAY(i2978)))), o3941) :|: TRUE 12.03/4.13 f6356_0_randomlyDuplicate_Load(EOS(STATIC_6356(java.lang.Object(o3658sub))), o3660) -> f6361_0_randomlyDuplicate_NULL(EOS(STATIC_6361(java.lang.Object(o3658sub))), o3660, o3660) :|: TRUE 12.03/4.13 f6463_0_randomlyDuplicate_LE(EOS(STATIC_6463(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), i3025, matching1) -> f6470_0_randomlyDuplicate_Load(EOS(STATIC_6470(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub)) :|: i3025 > 42 && matching1 = 42 12.03/4.13 f6470_0_randomlyDuplicate_Load(EOS(STATIC_6470(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub)) -> f6476_0_randomlyDuplicate_New(EOS(STATIC_6476(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub)) :|: TRUE 12.03/4.13 f6476_0_randomlyDuplicate_New(EOS(STATIC_6476(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub)) -> f6482_0_randomlyDuplicate_Duplicate(EOS(STATIC_6482(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6482_0_randomlyDuplicate_Duplicate(EOS(STATIC_6482(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6490_0_randomlyDuplicate_Load(EOS(STATIC_6490(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6490_0_randomlyDuplicate_Load(EOS(STATIC_6490(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6495_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6495(java.lang.Object(ARRAY(i2978)))), java.lang.Object(o3739sub), java.lang.Object(o3739sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(o3739sub)) :|: TRUE 12.03/4.13 f6495_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6495(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3944, o3945))) -> f6499_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6499(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3944, o3945))) :|: TRUE 12.03/4.13 f6499_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6499(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3944, o3945))) -> f6503_0_randomlyDuplicate_Load(EOS(STATIC_6503(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944) :|: TRUE 12.03/4.13 f6503_0_randomlyDuplicate_Load(EOS(STATIC_6503(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944) -> f6519_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6519(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, java.lang.Object(Tree(EOC, o3944, o3945))) :|: TRUE 12.03/4.13 f6519_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6519(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, java.lang.Object(Tree(EOC, o3944, o3945))) -> f6529_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6529(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945) :|: TRUE 12.03/4.13 f6529_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6529(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945) -> f6539_0__init__Load(EOS(STATIC_6539(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945) :|: TRUE 12.03/4.13 f6539_0__init__Load(EOS(STATIC_6539(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945) -> f6556_0__init__InvokeMethod(EOS(STATIC_6556(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6556_0__init__InvokeMethod(EOS(STATIC_6556(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6564_0__init__Load(EOS(STATIC_6564(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945) :|: TRUE 12.03/4.13 f6564_0__init__Load(EOS(STATIC_6564(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945) -> f6572_0__init__Load(EOS(STATIC_6572(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6572_0__init__Load(EOS(STATIC_6572(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3944, o3945, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6579_0__init__FieldAccess(EOS(STATIC_6579(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3945, java.lang.Object(Tree(EOC, NULL, NULL)), o3944) :|: TRUE 12.03/4.13 f6579_0__init__FieldAccess(EOS(STATIC_6579(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3945, java.lang.Object(Tree(EOC, NULL, NULL)), o3944) -> f6586_0__init__Load(EOS(STATIC_6586(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, NULL)), java.lang.Object(Tree(EOC, o3944, NULL)), o3945) :|: TRUE 12.03/4.13 f6586_0__init__Load(EOS(STATIC_6586(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, NULL)), java.lang.Object(Tree(EOC, o3944, NULL)), o3945) -> f6592_0__init__Load(EOS(STATIC_6592(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, NULL)), o3945, java.lang.Object(Tree(EOC, o3944, NULL))) :|: TRUE 12.03/4.13 f6592_0__init__Load(EOS(STATIC_6592(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, NULL)), o3945, java.lang.Object(Tree(EOC, o3944, NULL))) -> f6599_0__init__FieldAccess(EOS(STATIC_6599(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, NULL)), java.lang.Object(Tree(EOC, o3944, NULL)), o3945) :|: TRUE 12.03/4.13 f6599_0__init__FieldAccess(EOS(STATIC_6599(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, NULL)), java.lang.Object(Tree(EOC, o3944, NULL)), o3945) -> f6605_0__init__Return(EOS(STATIC_6605(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945))) :|: TRUE 12.03/4.13 f6605_0__init__Return(EOS(STATIC_6605(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945))) -> f6611_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6611(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945))) :|: TRUE 12.03/4.13 f6611_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6611(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945)), java.lang.Object(Tree(EOC, o3944, o3945))) -> f6617_0_randomlyDuplicate_Load(EOS(STATIC_6617(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, java.lang.Object(Tree(EOC, o3944, o3945))))) :|: TRUE 12.03/4.13 f6617_0_randomlyDuplicate_Load(EOS(STATIC_6617(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, java.lang.Object(Tree(EOC, o3944, o3945))))) -> f6623_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6623(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, java.lang.Object(Tree(EOC, o3944, o3945))))) :|: TRUE 12.03/4.13 f6623_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6623(java.lang.Object(ARRAY(i2978)))), java.lang.Object(Tree(EOC, o3944, java.lang.Object(Tree(EOC, o3944, o3945))))) -> f6625_0_randomlyDuplicate_Store(EOS(STATIC_6625(java.lang.Object(ARRAY(i2978)))), o3944) :|: TRUE 12.03/4.13 f6625_0_randomlyDuplicate_Store(EOS(STATIC_6625(java.lang.Object(ARRAY(i2978)))), o3944) -> f6631_0_randomlyDuplicate_JMP(EOS(STATIC_6631(java.lang.Object(ARRAY(i2978)))), o3944) :|: TRUE 12.03/4.13 f6631_0_randomlyDuplicate_JMP(EOS(STATIC_6631(java.lang.Object(ARRAY(i2978)))), o3944) -> f6637_0_randomlyDuplicate_Load(EOS(STATIC_6637(java.lang.Object(ARRAY(i2978)))), o3944) :|: TRUE 12.03/4.13 f6637_0_randomlyDuplicate_Load(EOS(STATIC_6637(java.lang.Object(ARRAY(i2978)))), o3944) -> f6356_0_randomlyDuplicate_Load(EOS(STATIC_6356(java.lang.Object(ARRAY(i2978)))), o3944) :|: TRUE 12.03/4.13 R rules: 12.03/4.13 Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: 12.03/4.13 f6361_0_randomlyDuplicate_NULL(EOS(STATIC_6361(java.lang.Object(ARRAY(i2978:0)))), java.lang.Object(Tree(EOC, o3940:0, o3941:0)), java.lang.Object(Tree(EOC, o3940:0, o3941:0))) -> f6361_0_randomlyDuplicate_NULL(EOS(STATIC_6361(java.lang.Object(ARRAY(i2978:0)))), o3941:0, o3941:0) :|: TRUE 12.03/4.13 f6361_0_randomlyDuplicate_NULL(EOS(STATIC_6361(java.lang.Object(ARRAY(i2978:0)))), java.lang.Object(Tree(EOC, o3944:0, o3945:0)), java.lang.Object(Tree(EOC, o3944:0, o3945:0))) -> f6361_0_randomlyDuplicate_NULL(EOS(STATIC_6361(java.lang.Object(ARRAY(i2978:0)))), o3944:0, o3944:0) :|: TRUE 12.03/4.13 R rules: 12.03/4.13 Filtered ground terms: 12.03/4.13 Tree(x1, x2, x3) -> Tree(x2, x3) 12.03/4.13 Filtered unneeded arguments: 12.03/4.13 f6361_0_randomlyDuplicate_NULL(x1, x2, x3) -> f6361_0_randomlyDuplicate_NULL(x2, x3) 12.03/4.13 Filtered duplicate args: 12.03/4.13 f6361_0_randomlyDuplicate_NULL(x1, x2) -> f6361_0_randomlyDuplicate_NULL(x2) 12.03/4.13 Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: 12.03/4.13 F6361_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3944:0:0, o3945:0:0))) -> F6361_0_RANDOMLYDUPLICATE_NULL(o3944:0:0) :|: TRUE 12.03/4.13 F6361_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3940:0:0, o3941:0:0))) -> F6361_0_RANDOMLYDUPLICATE_NULL(o3941:0:0) :|: TRUE 12.03/4.13 R rules: 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (9) 12.03/4.13 Obligation: 12.03/4.13 Q DP problem: 12.03/4.13 The TRS P consists of the following rules: 12.03/4.13 12.03/4.13 F6361_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3944:0:0, o3945:0:0))) -> F6361_0_RANDOMLYDUPLICATE_NULL(o3944:0:0) 12.03/4.13 F6361_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3940:0:0, o3941:0:0))) -> F6361_0_RANDOMLYDUPLICATE_NULL(o3941:0:0) 12.03/4.13 12.03/4.13 R is empty. 12.03/4.13 Q is empty. 12.03/4.13 We have to consider all minimal (P,Q,R)-chains. 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (10) QDPSizeChangeProof (EQUIVALENT) 12.03/4.13 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. 12.03/4.13 12.03/4.13 From the DPs we obtained the following set of size-change graphs: 12.03/4.13 *F6361_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3944:0:0, o3945:0:0))) -> F6361_0_RANDOMLYDUPLICATE_NULL(o3944:0:0) 12.03/4.13 The graph contains the following edges 1 > 1 12.03/4.13 12.03/4.13 12.03/4.13 *F6361_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3940:0:0, o3941:0:0))) -> F6361_0_RANDOMLYDUPLICATE_NULL(o3941:0:0) 12.03/4.13 The graph contains the following edges 1 > 1 12.03/4.13 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (11) 12.03/4.13 YES 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (12) 12.03/4.13 Obligation: 12.03/4.13 SCC of termination graph based on JBC Program. 12.03/4.13 SCC contains nodes from the following methods: Tree.createTree()LTree; 12.03/4.13 SCC calls the following helper methods: Tree.createNode()LTree; 12.03/4.13 Performed SCC analyses: 12.03/4.13 *Used field analysis yielded the following read fields: 12.03/4.13 *List: [value, next] 12.03/4.13 *Marker field analysis yielded the following relations that could be markers: 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (13) SCCToIRSProof (SOUND) 12.03/4.13 Transformed FIGraph SCCs to intTRSs. Log: 12.03/4.13 Generated rules. Obtained 208 IRulesP rules: 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), o3846, i2977, i2977) -> f6388_0_createTree_LE(EOS(STATIC_6388), o3846, i2977, i2977) :|: TRUE 12.03/4.13 f6388_0_createTree_LE(EOS(STATIC_6388), o3846, i2977, i2977) -> f6392_0_createTree_Load(EOS(STATIC_6392), o3846, i2977) :|: i2977 > 0 12.03/4.13 f6392_0_createTree_Load(EOS(STATIC_6392), o3846, i2977) -> f6396_0_createTree_NULL(EOS(STATIC_6396), o3846, i2977, o3846) :|: TRUE 12.03/4.13 f6396_0_createTree_NULL(EOS(STATIC_6396), java.lang.Object(o3855sub), i2977, java.lang.Object(o3855sub)) -> f6400_0_createTree_NULL(EOS(STATIC_6400), java.lang.Object(o3855sub), i2977, java.lang.Object(o3855sub)) :|: TRUE 12.03/4.13 f6400_0_createTree_NULL(EOS(STATIC_6400), java.lang.Object(o3855sub), i2977, java.lang.Object(o3855sub)) -> f6404_0_createTree_Load(EOS(STATIC_6404), java.lang.Object(o3855sub), i2977) :|: TRUE 12.03/4.13 f6404_0_createTree_Load(EOS(STATIC_6404), java.lang.Object(o3855sub), i2977) -> f6408_0_createTree_FieldAccess(EOS(STATIC_6408), java.lang.Object(o3855sub), i2977, java.lang.Object(o3855sub)) :|: TRUE 12.03/4.13 f6408_0_createTree_FieldAccess(EOS(STATIC_6408), java.lang.Object(List(EOC, o3864, o3865)), i2977, java.lang.Object(List(EOC, o3864, o3865))) -> f6411_0_createTree_FieldAccess(EOS(STATIC_6411), java.lang.Object(List(EOC, o3864, o3865)), i2977, java.lang.Object(List(EOC, o3864, o3865))) :|: TRUE 12.03/4.13 f6411_0_createTree_FieldAccess(EOS(STATIC_6411), java.lang.Object(List(EOC, o3864, o3865)), i2977, java.lang.Object(List(EOC, o3864, o3865))) -> f6414_0_createTree_Store(EOS(STATIC_6414), java.lang.Object(List(EOC, o3864, o3865)), i2977, o3864) :|: TRUE 12.03/4.13 f6414_0_createTree_Store(EOS(STATIC_6414), java.lang.Object(List(EOC, o3864, o3865)), i2977, o3864) -> f6416_0_createTree_Load(EOS(STATIC_6416), java.lang.Object(List(EOC, o3864, o3865)), i2977, o3864) :|: TRUE 12.03/4.13 f6416_0_createTree_Load(EOS(STATIC_6416), java.lang.Object(List(EOC, o3864, o3865)), i2977, o3864) -> f6419_0_createTree_FieldAccess(EOS(STATIC_6419), i2977, o3864, java.lang.Object(List(EOC, o3864, o3865))) :|: TRUE 12.03/4.13 f6419_0_createTree_FieldAccess(EOS(STATIC_6419), i2977, o3864, java.lang.Object(List(EOC, o3864, o3865))) -> f6422_0_createTree_Store(EOS(STATIC_6422), i2977, o3864, o3865) :|: TRUE 12.03/4.13 f6422_0_createTree_Store(EOS(STATIC_6422), i2977, o3864, o3865) -> f6425_0_createTree_Load(EOS(STATIC_6425), o3865, i2977, o3864) :|: TRUE 12.03/4.13 f6425_0_createTree_Load(EOS(STATIC_6425), o3865, i2977, o3864) -> f6429_0_createTree_NULL(EOS(STATIC_6429), o3865, i2977, o3864, o3864) :|: TRUE 12.03/4.13 f6429_0_createTree_NULL(EOS(STATIC_6429), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(o3869sub)) -> f6432_0_createTree_NULL(EOS(STATIC_6432), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(o3869sub)) :|: TRUE 12.03/4.13 f6429_0_createTree_NULL(EOS(STATIC_6429), o3865, i2977, NULL, NULL) -> f6433_0_createTree_NULL(EOS(STATIC_6433), o3865, i2977, NULL, NULL) :|: TRUE 12.03/4.13 f6432_0_createTree_NULL(EOS(STATIC_6432), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(o3869sub)) -> f6435_0_createTree_InvokeMethod(EOS(STATIC_6435), o3865, i2977, java.lang.Object(o3869sub)) :|: TRUE 12.03/4.13 f6435_0_createTree_InvokeMethod(EOS(STATIC_6435), o3865, i2977, java.lang.Object(o3869sub)) -> f6440_0_createNode_InvokeMethod(EOS(STATIC_6440)) :|: i2977 >= 1 && i2965 >= 1 12.03/4.13 f6435_0_createTree_InvokeMethod(EOS(STATIC_6435), o3865, i2977, java.lang.Object(o3869sub)) -> f6440_1_createNode_InvokeMethod(EOS(STATIC_6440), o3865, i2977, java.lang.Object(o3869sub)) :|: i2977 >= 1 && i2965 >= 1 12.03/4.13 f6440_0_createNode_InvokeMethod(EOS(STATIC_6440)) -> f6925_0_createNode_InvokeMethod(EOS(STATIC_6925)) :|: TRUE 12.03/4.13 f6456_0_createNode_Return(EOS(STATIC_6456), o3865, i2977, java.lang.Object(o3869sub), NULL) -> f6466_0_createTree_Store(EOS(STATIC_6466), o3865, i2977, java.lang.Object(o3869sub), NULL) :|: TRUE 12.03/4.13 f6466_0_createTree_Store(EOS(STATIC_6466), o3865, i2977, java.lang.Object(o3869sub), NULL) -> f6472_0_createTree_InvokeMethod(EOS(STATIC_6472), o3865, i2977, java.lang.Object(o3869sub), NULL) :|: TRUE 12.03/4.13 f6472_0_createTree_InvokeMethod(EOS(STATIC_6472), o3865, i2977, java.lang.Object(o3869sub), NULL) -> f6479_0_createNode_InvokeMethod(EOS(STATIC_6479)) :|: i2977 >= 1 && i2993 >= 1 12.03/4.13 f6472_0_createTree_InvokeMethod(EOS(STATIC_6472), o3865, i2977, java.lang.Object(o3869sub), NULL) -> f6479_1_createNode_InvokeMethod(EOS(STATIC_6479), o3865, i2977, java.lang.Object(o3869sub), NULL) :|: i2977 >= 1 && i2993 >= 1 12.03/4.13 f6479_0_createNode_InvokeMethod(EOS(STATIC_6479)) -> f6945_0_createNode_InvokeMethod(EOS(STATIC_6945)) :|: TRUE 12.03/4.13 f6506_0_createNode_Return(EOS(STATIC_6506), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL) -> f6522_0_createTree_Store(EOS(STATIC_6522), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL) :|: TRUE 12.03/4.13 f6522_0_createTree_Store(EOS(STATIC_6522), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL) -> f6532_0_createTree_Load(EOS(STATIC_6532), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL) :|: TRUE 12.03/4.13 f6532_0_createTree_Load(EOS(STATIC_6532), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL) -> f6542_0_createTree_Load(EOS(STATIC_6542), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL, java.lang.Object(o3869sub)) :|: TRUE 12.03/4.13 f6542_0_createTree_Load(EOS(STATIC_6542), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL, java.lang.Object(o3869sub)) -> f6548_0_createTree_FieldAccess(EOS(STATIC_6548), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL, java.lang.Object(o3869sub), NULL) :|: TRUE 12.03/4.13 f6548_0_createTree_FieldAccess(EOS(STATIC_6548), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6558_0_createTree_FieldAccess(EOS(STATIC_6558), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6558_0_createTree_FieldAccess(EOS(STATIC_6558), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6567_0_createTree_Load(EOS(STATIC_6567), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, NULL) :|: TRUE 12.03/4.13 f6567_0_createTree_Load(EOS(STATIC_6567), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, NULL) -> f6574_0_createTree_Load(EOS(STATIC_6574), o3865, i2977, NULL, NULL, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6574_0_createTree_Load(EOS(STATIC_6574), o3865, i2977, NULL, NULL, java.lang.Object(Tree(EOC))) -> f6581_0_createTree_FieldAccess(EOS(STATIC_6581), o3865, i2977, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6581_0_createTree_FieldAccess(EOS(STATIC_6581), o3865, i2977, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6587_0_createTree_New(EOS(STATIC_6587), o3865, i2977, NULL, NULL) :|: TRUE 12.03/4.13 f6587_0_createTree_New(EOS(STATIC_6587), o3865, i2977, NULL, NULL) -> f6594_0_createTree_Duplicate(EOS(STATIC_6594), o3865, i2977, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6594_0_createTree_Duplicate(EOS(STATIC_6594), o3865, i2977, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6600_0_createTree_Load(EOS(STATIC_6600), o3865, i2977, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6600_0_createTree_Load(EOS(STATIC_6600), o3865, i2977, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6606_0_createTree_Load(EOS(STATIC_6606), o3865, i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6606_0_createTree_Load(EOS(STATIC_6606), o3865, i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6612_0_createTree_InvokeMethod(EOS(STATIC_6612), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) :|: TRUE 12.03/4.13 f6612_0_createTree_InvokeMethod(EOS(STATIC_6612), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) -> f6618_0__init__Load(EOS(STATIC_6618), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) :|: TRUE 12.03/4.13 f6618_0__init__Load(EOS(STATIC_6618), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) -> f6626_0__init__InvokeMethod(EOS(STATIC_6626), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6626_0__init__InvokeMethod(EOS(STATIC_6626), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6632_0__init__Load(EOS(STATIC_6632), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) :|: TRUE 12.03/4.13 f6632_0__init__Load(EOS(STATIC_6632), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) -> f6638_0__init__Load(EOS(STATIC_6638), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6638_0__init__Load(EOS(STATIC_6638), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6642_0__init__FieldAccess(EOS(STATIC_6642), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6642_0__init__FieldAccess(EOS(STATIC_6642), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6646_0__init__Load(EOS(STATIC_6646), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) :|: TRUE 12.03/4.13 f6646_0__init__Load(EOS(STATIC_6646), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) -> f6650_0__init__Load(EOS(STATIC_6650), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6650_0__init__Load(EOS(STATIC_6650), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6654_0__init__FieldAccess(EOS(STATIC_6654), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) :|: TRUE 12.03/4.13 f6654_0__init__FieldAccess(EOS(STATIC_6654), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) -> f6658_0__init__Return(EOS(STATIC_6658), i2977, NULL, java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6658_0__init__Return(EOS(STATIC_6658), i2977, NULL, java.lang.Object(List(EOC, NULL, o3865))) -> f6662_0_createTree_Store(EOS(STATIC_6662), i2977, NULL, java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6662_0_createTree_Store(EOS(STATIC_6662), i2977, NULL, java.lang.Object(List(EOC, NULL, o3865))) -> f6666_0_createTree_New(EOS(STATIC_6666), java.lang.Object(List(EOC, NULL, o3865)), i2977, NULL) :|: TRUE 12.03/4.13 f6666_0_createTree_New(EOS(STATIC_6666), java.lang.Object(List(EOC, NULL, o3865)), i2977, NULL) -> f6670_0_createTree_Duplicate(EOS(STATIC_6670), java.lang.Object(List(EOC, NULL, o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6670_0_createTree_Duplicate(EOS(STATIC_6670), java.lang.Object(List(EOC, NULL, o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6674_0_createTree_Load(EOS(STATIC_6674), java.lang.Object(List(EOC, NULL, o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6674_0_createTree_Load(EOS(STATIC_6674), java.lang.Object(List(EOC, NULL, o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6678_0_createTree_Load(EOS(STATIC_6678), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6678_0_createTree_Load(EOS(STATIC_6678), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6682_0_createTree_InvokeMethod(EOS(STATIC_6682), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6682_0_createTree_InvokeMethod(EOS(STATIC_6682), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865))) -> f6686_0__init__Load(EOS(STATIC_6686), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6686_0__init__Load(EOS(STATIC_6686), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865))) -> f6690_0__init__InvokeMethod(EOS(STATIC_6690), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6690_0__init__InvokeMethod(EOS(STATIC_6690), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6694_0__init__Load(EOS(STATIC_6694), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6694_0__init__Load(EOS(STATIC_6694), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865))) -> f6698_0__init__Load(EOS(STATIC_6698), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6698_0__init__Load(EOS(STATIC_6698), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6702_0__init__FieldAccess(EOS(STATIC_6702), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6702_0__init__FieldAccess(EOS(STATIC_6702), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6706_0__init__Load(EOS(STATIC_6706), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6706_0__init__Load(EOS(STATIC_6706), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865))) -> f6710_0__init__Load(EOS(STATIC_6710), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6710_0__init__Load(EOS(STATIC_6710), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6714_0__init__FieldAccess(EOS(STATIC_6714), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6714_0__init__FieldAccess(EOS(STATIC_6714), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865))) -> f6718_0__init__Return(EOS(STATIC_6718), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865))))) :|: TRUE 12.03/4.13 f6718_0__init__Return(EOS(STATIC_6718), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865))))) -> f6722_0_createTree_Store(EOS(STATIC_6722), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865))))) :|: TRUE 12.03/4.13 f6722_0_createTree_Store(EOS(STATIC_6722), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865))))) -> f6726_0_createTree_Inc(EOS(STATIC_6726), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865)))), i2977) :|: TRUE 12.03/4.13 f6726_0_createTree_Inc(EOS(STATIC_6726), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865)))), i2977) -> f6730_0_createTree_JMP(EOS(STATIC_6730), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865)))), i2977 + -1) :|: TRUE 12.03/4.13 f6730_0_createTree_JMP(EOS(STATIC_6730), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865)))), i4072) -> f6734_0_createTree_Load(EOS(STATIC_6734), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865)))), i4072) :|: TRUE 12.03/4.13 f6734_0_createTree_Load(EOS(STATIC_6734), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865)))), i4072) -> f6382_0_createTree_Load(EOS(STATIC_6382), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865)))), i4072) :|: TRUE 12.03/4.13 f6382_0_createTree_Load(EOS(STATIC_6382), o3846, i2966) -> f6383_0_createTree_LE(EOS(STATIC_6383), o3846, i2966, i2966) :|: TRUE 12.03/4.13 f6508_0_createNode_Return(EOS(STATIC_6508), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC))) -> f6523_0_createTree_Store(EOS(STATIC_6523), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6523_0_createTree_Store(EOS(STATIC_6523), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC))) -> f6533_0_createTree_Load(EOS(STATIC_6533), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6533_0_createTree_Load(EOS(STATIC_6533), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC))) -> f6543_0_createTree_Load(EOS(STATIC_6543), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o3869sub)) :|: TRUE 12.03/4.13 f6543_0_createTree_Load(EOS(STATIC_6543), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o3869sub)) -> f6549_0_createTree_FieldAccess(EOS(STATIC_6549), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o3869sub), NULL) :|: TRUE 12.03/4.13 f6549_0_createTree_FieldAccess(EOS(STATIC_6549), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6559_0_createTree_FieldAccess(EOS(STATIC_6559), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6559_0_createTree_FieldAccess(EOS(STATIC_6559), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6568_0_createTree_Load(EOS(STATIC_6568), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6568_0_createTree_Load(EOS(STATIC_6568), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6575_0_createTree_Load(EOS(STATIC_6575), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6575_0_createTree_Load(EOS(STATIC_6575), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6582_0_createTree_FieldAccess(EOS(STATIC_6582), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6582_0_createTree_FieldAccess(EOS(STATIC_6582), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6588_0_createTree_New(EOS(STATIC_6588), o3865, i2977, NULL, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6588_0_createTree_New(EOS(STATIC_6588), o3865, i2977, NULL, java.lang.Object(Tree(EOC))) -> f6595_0_createTree_Duplicate(EOS(STATIC_6595), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6595_0_createTree_Duplicate(EOS(STATIC_6595), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6601_0_createTree_Load(EOS(STATIC_6601), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6601_0_createTree_Load(EOS(STATIC_6601), o3865, i2977, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6607_0_createTree_Load(EOS(STATIC_6607), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6607_0_createTree_Load(EOS(STATIC_6607), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6613_0_createTree_InvokeMethod(EOS(STATIC_6613), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) :|: TRUE 12.03/4.13 f6613_0_createTree_InvokeMethod(EOS(STATIC_6613), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) -> f6619_0__init__Load(EOS(STATIC_6619), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) :|: TRUE 12.03/4.13 f6619_0__init__Load(EOS(STATIC_6619), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) -> f6627_0__init__InvokeMethod(EOS(STATIC_6627), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6627_0__init__InvokeMethod(EOS(STATIC_6627), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6633_0__init__Load(EOS(STATIC_6633), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) :|: TRUE 12.03/4.13 f6633_0__init__Load(EOS(STATIC_6633), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865) -> f6639_0__init__Load(EOS(STATIC_6639), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6639_0__init__Load(EOS(STATIC_6639), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6643_0__init__FieldAccess(EOS(STATIC_6643), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6643_0__init__FieldAccess(EOS(STATIC_6643), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6647_0__init__Load(EOS(STATIC_6647), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) :|: TRUE 12.03/4.13 f6647_0__init__Load(EOS(STATIC_6647), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) -> f6651_0__init__Load(EOS(STATIC_6651), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6651_0__init__Load(EOS(STATIC_6651), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6655_0__init__FieldAccess(EOS(STATIC_6655), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) :|: TRUE 12.03/4.13 f6655_0__init__FieldAccess(EOS(STATIC_6655), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865) -> f6659_0__init__Return(EOS(STATIC_6659), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6659_0__init__Return(EOS(STATIC_6659), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) -> f6663_0_createTree_Store(EOS(STATIC_6663), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6663_0_createTree_Store(EOS(STATIC_6663), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) -> f6667_0_createTree_New(EOS(STATIC_6667), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6667_0_createTree_New(EOS(STATIC_6667), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(Tree(EOC))) -> f6671_0_createTree_Duplicate(EOS(STATIC_6671), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6671_0_createTree_Duplicate(EOS(STATIC_6671), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6675_0_createTree_Load(EOS(STATIC_6675), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6675_0_createTree_Load(EOS(STATIC_6675), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6679_0_createTree_Load(EOS(STATIC_6679), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6679_0_createTree_Load(EOS(STATIC_6679), java.lang.Object(List(EOC, NULL, o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6683_0_createTree_InvokeMethod(EOS(STATIC_6683), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6683_0_createTree_InvokeMethod(EOS(STATIC_6683), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) -> f6687_0__init__Load(EOS(STATIC_6687), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6687_0__init__Load(EOS(STATIC_6687), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) -> f6691_0__init__InvokeMethod(EOS(STATIC_6691), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6691_0__init__InvokeMethod(EOS(STATIC_6691), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6695_0__init__Load(EOS(STATIC_6695), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6695_0__init__Load(EOS(STATIC_6695), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))) -> f6699_0__init__Load(EOS(STATIC_6699), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6699_0__init__Load(EOS(STATIC_6699), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6703_0__init__FieldAccess(EOS(STATIC_6703), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6703_0__init__FieldAccess(EOS(STATIC_6703), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6707_0__init__Load(EOS(STATIC_6707), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6707_0__init__Load(EOS(STATIC_6707), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3865))) -> f6711_0__init__Load(EOS(STATIC_6711), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE 12.03/4.13 f6711_0__init__Load(EOS(STATIC_6711), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3865)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6715_0__init__FieldAccess(EOS(STATIC_6715), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3865))) :|: TRUE 12.03/4.13 f6715_0__init__FieldAccess(EOS(STATIC_6715), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3865))) -> f6719_0__init__Return(EOS(STATIC_6719), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))))) :|: TRUE 12.03/4.13 f6719_0__init__Return(EOS(STATIC_6719), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))))) -> f6723_0_createTree_Store(EOS(STATIC_6723), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))))) :|: TRUE 12.03/4.13 f6723_0_createTree_Store(EOS(STATIC_6723), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865))))) -> f6727_0_createTree_Inc(EOS(STATIC_6727), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)))), i2977) :|: TRUE 12.03/4.13 f6727_0_createTree_Inc(EOS(STATIC_6727), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)))), i2977) -> f6731_0_createTree_JMP(EOS(STATIC_6731), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)))), i2977 + -1) :|: TRUE 12.03/4.13 f6731_0_createTree_JMP(EOS(STATIC_6731), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)))), i4075) -> f6735_0_createTree_Load(EOS(STATIC_6735), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)))), i4075) :|: TRUE 12.03/4.13 f6735_0_createTree_Load(EOS(STATIC_6735), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)))), i4075) -> f6382_0_createTree_Load(EOS(STATIC_6382), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865)))), i4075) :|: TRUE 12.03/4.13 f6458_0_createNode_Return(EOS(STATIC_6458), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) -> f6467_0_createTree_Store(EOS(STATIC_6467), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6467_0_createTree_Store(EOS(STATIC_6467), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) -> f6473_0_createTree_InvokeMethod(EOS(STATIC_6473), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6473_0_createTree_InvokeMethod(EOS(STATIC_6473), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) -> f6480_0_createNode_InvokeMethod(EOS(STATIC_6480)) :|: i2977 >= 1 && i3003 >= 1 12.03/4.13 f6473_0_createTree_InvokeMethod(EOS(STATIC_6473), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) -> f6480_1_createNode_InvokeMethod(EOS(STATIC_6480), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) :|: i2977 >= 1 && i3003 >= 1 12.03/4.13 f6480_0_createNode_InvokeMethod(EOS(STATIC_6480)) -> f7135_0_createNode_InvokeMethod(EOS(STATIC_7135)) :|: TRUE 12.03/4.13 f6512_0_createNode_Return(EOS(STATIC_6512), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL) -> f6525_0_createTree_Store(EOS(STATIC_6525), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6525_0_createTree_Store(EOS(STATIC_6525), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL) -> f6535_0_createTree_Load(EOS(STATIC_6535), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6535_0_createTree_Load(EOS(STATIC_6535), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL) -> f6544_0_createTree_Load(EOS(STATIC_6544), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o3869sub)) :|: TRUE 12.03/4.13 f6544_0_createTree_Load(EOS(STATIC_6544), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o3869sub)) -> f6552_0_createTree_FieldAccess(EOS(STATIC_6552), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6552_0_createTree_FieldAccess(EOS(STATIC_6552), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6561_0_createTree_FieldAccess(EOS(STATIC_6561), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6561_0_createTree_FieldAccess(EOS(STATIC_6561), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6569_0_createTree_Load(EOS(STATIC_6569), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6569_0_createTree_Load(EOS(STATIC_6569), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6576_0_createTree_Load(EOS(STATIC_6576), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6576_0_createTree_Load(EOS(STATIC_6576), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6583_0_createTree_FieldAccess(EOS(STATIC_6583), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6583_0_createTree_FieldAccess(EOS(STATIC_6583), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) -> f6589_0_createTree_New(EOS(STATIC_6589), o3865, i2977, java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6589_0_createTree_New(EOS(STATIC_6589), o3865, i2977, java.lang.Object(Tree(EOC)), NULL) -> f6596_0_createTree_Duplicate(EOS(STATIC_6596), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6596_0_createTree_Duplicate(EOS(STATIC_6596), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6602_0_createTree_Load(EOS(STATIC_6602), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6602_0_createTree_Load(EOS(STATIC_6602), o3865, i2977, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6608_0_createTree_Load(EOS(STATIC_6608), o3865, i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6608_0_createTree_Load(EOS(STATIC_6608), o3865, i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6614_0_createTree_InvokeMethod(EOS(STATIC_6614), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) :|: TRUE 12.03/4.13 f6614_0_createTree_InvokeMethod(EOS(STATIC_6614), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) -> f6620_0__init__Load(EOS(STATIC_6620), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) :|: TRUE 12.03/4.13 f6620_0__init__Load(EOS(STATIC_6620), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) -> f6628_0__init__InvokeMethod(EOS(STATIC_6628), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6628_0__init__InvokeMethod(EOS(STATIC_6628), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6634_0__init__Load(EOS(STATIC_6634), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) :|: TRUE 12.03/4.13 f6634_0__init__Load(EOS(STATIC_6634), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) -> f6640_0__init__Load(EOS(STATIC_6640), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6640_0__init__Load(EOS(STATIC_6640), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6644_0__init__FieldAccess(EOS(STATIC_6644), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6644_0__init__FieldAccess(EOS(STATIC_6644), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6648_0__init__Load(EOS(STATIC_6648), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) :|: TRUE 12.03/4.13 f6648_0__init__Load(EOS(STATIC_6648), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) -> f6652_0__init__Load(EOS(STATIC_6652), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE 12.03/4.13 f6652_0__init__Load(EOS(STATIC_6652), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6656_0__init__FieldAccess(EOS(STATIC_6656), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) :|: TRUE 12.03/4.13 f6656_0__init__FieldAccess(EOS(STATIC_6656), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) -> f6660_0__init__Return(EOS(STATIC_6660), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6660_0__init__Return(EOS(STATIC_6660), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6664_0_createTree_Store(EOS(STATIC_6664), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6664_0_createTree_Store(EOS(STATIC_6664), i2977, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6668_0_createTree_New(EOS(STATIC_6668), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, NULL) :|: TRUE 12.03/4.13 f6668_0_createTree_New(EOS(STATIC_6668), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, NULL) -> f6672_0_createTree_Duplicate(EOS(STATIC_6672), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6672_0_createTree_Duplicate(EOS(STATIC_6672), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6676_0_createTree_Load(EOS(STATIC_6676), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6676_0_createTree_Load(EOS(STATIC_6676), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6680_0_createTree_Load(EOS(STATIC_6680), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6680_0_createTree_Load(EOS(STATIC_6680), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6684_0_createTree_InvokeMethod(EOS(STATIC_6684), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6684_0_createTree_InvokeMethod(EOS(STATIC_6684), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6688_0__init__Load(EOS(STATIC_6688), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6688_0__init__Load(EOS(STATIC_6688), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6692_0__init__InvokeMethod(EOS(STATIC_6692), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6692_0__init__InvokeMethod(EOS(STATIC_6692), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6696_0__init__Load(EOS(STATIC_6696), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6696_0__init__Load(EOS(STATIC_6696), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6700_0__init__Load(EOS(STATIC_6700), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6700_0__init__Load(EOS(STATIC_6700), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6704_0__init__FieldAccess(EOS(STATIC_6704), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE 12.03/4.13 f6704_0__init__FieldAccess(EOS(STATIC_6704), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6708_0__init__Load(EOS(STATIC_6708), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6708_0__init__Load(EOS(STATIC_6708), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6712_0__init__Load(EOS(STATIC_6712), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6712_0__init__Load(EOS(STATIC_6712), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6716_0__init__FieldAccess(EOS(STATIC_6716), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6716_0__init__FieldAccess(EOS(STATIC_6716), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6720_0__init__Return(EOS(STATIC_6720), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) :|: TRUE 12.03/4.13 f6720_0__init__Return(EOS(STATIC_6720), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) -> f6724_0_createTree_Store(EOS(STATIC_6724), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) :|: TRUE 12.03/4.13 f6724_0_createTree_Store(EOS(STATIC_6724), i2977, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) -> f6728_0_createTree_Inc(EOS(STATIC_6728), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i2977) :|: TRUE 12.03/4.13 f6728_0_createTree_Inc(EOS(STATIC_6728), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i2977) -> f6732_0_createTree_JMP(EOS(STATIC_6732), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i2977 + -1) :|: TRUE 12.03/4.13 f6732_0_createTree_JMP(EOS(STATIC_6732), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4080) -> f6736_0_createTree_Load(EOS(STATIC_6736), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4080) :|: TRUE 12.03/4.13 f6736_0_createTree_Load(EOS(STATIC_6736), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4080) -> f6382_0_createTree_Load(EOS(STATIC_6382), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4080) :|: TRUE 12.03/4.13 f6514_0_createNode_Return(EOS(STATIC_6514), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6526_0_createTree_Store(EOS(STATIC_6526), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6526_0_createTree_Store(EOS(STATIC_6526), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6536_0_createTree_Load(EOS(STATIC_6536), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6536_0_createTree_Load(EOS(STATIC_6536), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6545_0_createTree_Load(EOS(STATIC_6545), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o3869sub)) :|: TRUE 12.03/4.13 f6545_0_createTree_Load(EOS(STATIC_6545), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o3869sub)) -> f6553_0_createTree_FieldAccess(EOS(STATIC_6553), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6553_0_createTree_FieldAccess(EOS(STATIC_6553), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6562_0_createTree_FieldAccess(EOS(STATIC_6562), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6562_0_createTree_FieldAccess(EOS(STATIC_6562), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6570_0_createTree_Load(EOS(STATIC_6570), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6570_0_createTree_Load(EOS(STATIC_6570), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6577_0_createTree_Load(EOS(STATIC_6577), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6577_0_createTree_Load(EOS(STATIC_6577), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6584_0_createTree_FieldAccess(EOS(STATIC_6584), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6584_0_createTree_FieldAccess(EOS(STATIC_6584), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6590_0_createTree_New(EOS(STATIC_6590), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6590_0_createTree_New(EOS(STATIC_6590), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6597_0_createTree_Duplicate(EOS(STATIC_6597), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6597_0_createTree_Duplicate(EOS(STATIC_6597), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6603_0_createTree_Load(EOS(STATIC_6603), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6603_0_createTree_Load(EOS(STATIC_6603), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6609_0_createTree_Load(EOS(STATIC_6609), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6609_0_createTree_Load(EOS(STATIC_6609), o3865, i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6615_0_createTree_InvokeMethod(EOS(STATIC_6615), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) :|: TRUE 12.03/4.13 f6615_0_createTree_InvokeMethod(EOS(STATIC_6615), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) -> f6621_0__init__Load(EOS(STATIC_6621), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) :|: TRUE 12.03/4.13 f6621_0__init__Load(EOS(STATIC_6621), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) -> f6629_0__init__InvokeMethod(EOS(STATIC_6629), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6629_0__init__InvokeMethod(EOS(STATIC_6629), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6635_0__init__Load(EOS(STATIC_6635), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) :|: TRUE 12.03/4.13 f6635_0__init__Load(EOS(STATIC_6635), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865) -> f6641_0__init__Load(EOS(STATIC_6641), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6641_0__init__Load(EOS(STATIC_6641), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3865, java.lang.Object(List(EOC, NULL, NULL))) -> f6645_0__init__FieldAccess(EOS(STATIC_6645), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6645_0__init__FieldAccess(EOS(STATIC_6645), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3865, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6649_0__init__Load(EOS(STATIC_6649), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) :|: TRUE 12.03/4.13 f6649_0__init__Load(EOS(STATIC_6649), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) -> f6653_0__init__Load(EOS(STATIC_6653), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE 12.03/4.13 f6653_0__init__Load(EOS(STATIC_6653), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6657_0__init__FieldAccess(EOS(STATIC_6657), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) :|: TRUE 12.03/4.13 f6657_0__init__FieldAccess(EOS(STATIC_6657), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3865) -> f6661_0__init__Return(EOS(STATIC_6661), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6661_0__init__Return(EOS(STATIC_6661), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6665_0_createTree_Store(EOS(STATIC_6665), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6665_0_createTree_Store(EOS(STATIC_6665), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6669_0_createTree_New(EOS(STATIC_6669), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6669_0_createTree_New(EOS(STATIC_6669), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(Tree(EOC))) -> f6673_0_createTree_Duplicate(EOS(STATIC_6673), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6673_0_createTree_Duplicate(EOS(STATIC_6673), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6677_0_createTree_Load(EOS(STATIC_6677), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6677_0_createTree_Load(EOS(STATIC_6677), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6681_0_createTree_Load(EOS(STATIC_6681), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6681_0_createTree_Load(EOS(STATIC_6681), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6685_0_createTree_InvokeMethod(EOS(STATIC_6685), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6685_0_createTree_InvokeMethod(EOS(STATIC_6685), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6689_0__init__Load(EOS(STATIC_6689), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6689_0__init__Load(EOS(STATIC_6689), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6693_0__init__InvokeMethod(EOS(STATIC_6693), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6693_0__init__InvokeMethod(EOS(STATIC_6693), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6697_0__init__Load(EOS(STATIC_6697), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6697_0__init__Load(EOS(STATIC_6697), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6701_0__init__Load(EOS(STATIC_6701), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE 12.03/4.13 f6701_0__init__Load(EOS(STATIC_6701), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL))) -> f6705_0__init__FieldAccess(EOS(STATIC_6705), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6705_0__init__FieldAccess(EOS(STATIC_6705), i2977, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6709_0__init__Load(EOS(STATIC_6709), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6709_0__init__Load(EOS(STATIC_6709), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6713_0__init__Load(EOS(STATIC_6713), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE 12.03/4.13 f6713_0__init__Load(EOS(STATIC_6713), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6717_0__init__FieldAccess(EOS(STATIC_6717), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) :|: TRUE 12.03/4.13 f6717_0__init__FieldAccess(EOS(STATIC_6717), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))) -> f6721_0__init__Return(EOS(STATIC_6721), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) :|: TRUE 12.03/4.13 f6721_0__init__Return(EOS(STATIC_6721), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) -> f6725_0_createTree_Store(EOS(STATIC_6725), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) :|: TRUE 12.03/4.13 f6725_0_createTree_Store(EOS(STATIC_6725), i2977, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865))))) -> f6729_0_createTree_Inc(EOS(STATIC_6729), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i2977) :|: TRUE 12.03/4.13 f6729_0_createTree_Inc(EOS(STATIC_6729), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i2977) -> f6733_0_createTree_JMP(EOS(STATIC_6733), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i2977 + -1) :|: TRUE 12.03/4.13 f6733_0_createTree_JMP(EOS(STATIC_6733), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4087) -> f6737_0_createTree_Load(EOS(STATIC_6737), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4087) :|: TRUE 12.03/4.13 f6737_0_createTree_Load(EOS(STATIC_6737), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4087) -> f6382_0_createTree_Load(EOS(STATIC_6382), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865)))), i4087) :|: TRUE 12.03/4.13 f6433_0_createTree_NULL(EOS(STATIC_6433), o3865, i2977, NULL, NULL) -> f6436_0_createTree_Inc(EOS(STATIC_6436), o3865, i2977) :|: TRUE 12.03/4.13 f6436_0_createTree_Inc(EOS(STATIC_6436), o3865, i2977) -> f6441_0_createTree_JMP(EOS(STATIC_6441), o3865, i2977 + -1) :|: TRUE 12.03/4.13 f6441_0_createTree_JMP(EOS(STATIC_6441), o3865, i2984) -> f6445_0_createTree_Load(EOS(STATIC_6445), o3865, i2984) :|: TRUE 12.03/4.13 f6445_0_createTree_Load(EOS(STATIC_6445), o3865, i2984) -> f6382_0_createTree_Load(EOS(STATIC_6382), o3865, i2984) :|: TRUE 12.03/4.13 f6440_1_createNode_InvokeMethod(EOS(STATIC_6440), o3865, i2977, java.lang.Object(o3869sub)) -> f6456_0_createNode_Return(EOS(STATIC_6456), o3865, i2977, java.lang.Object(o3869sub), NULL) :|: TRUE 12.03/4.13 f6440_1_createNode_InvokeMethod(EOS(STATIC_6440), o3865, i2977, java.lang.Object(o3869sub)) -> f6458_0_createNode_Return(EOS(STATIC_6458), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6479_1_createNode_InvokeMethod(EOS(STATIC_6479), o3865, i2977, java.lang.Object(o3869sub), NULL) -> f6506_0_createNode_Return(EOS(STATIC_6506), o3865, i2977, java.lang.Object(o3869sub), NULL, NULL) :|: TRUE 12.03/4.13 f6479_1_createNode_InvokeMethod(EOS(STATIC_6479), o3865, i2977, java.lang.Object(o3869sub), NULL) -> f6508_0_createNode_Return(EOS(STATIC_6508), o3865, i2977, java.lang.Object(o3869sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 f6480_1_createNode_InvokeMethod(EOS(STATIC_6480), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) -> f6512_0_createNode_Return(EOS(STATIC_6512), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE 12.03/4.13 f6480_1_createNode_InvokeMethod(EOS(STATIC_6480), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC))) -> f6514_0_createNode_Return(EOS(STATIC_6514), o3865, i2977, java.lang.Object(o3869sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE 12.03/4.13 Combined rules. Obtained 8 IRulesP rules: 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865:0)), i2977:0, i2977:0) -> f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865:0)))), i2977:0 - 1, i2977:0 - 1) :|: i2977:0 > 0 && i3003:0 > 0 && i2965:0 > 0 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865:0)), i2977:0, i2977:0) -> f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3865:0)))), i2977:0 - 1, i2977:0 - 1) :|: i2977:0 > 0 && i2993:0 > 0 && i2965:0 > 0 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865:0)), i2977:0, i2977:0) -> f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865:0)))), i2977:0 - 1, i2977:0 - 1) :|: i2977:0 > 0 && i3003:0 > 0 && i2965:0 > 0 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, NULL, o3865:0)), i2977:0, i2977:0) -> f6383_0_createTree_LE(EOS(STATIC_6383), o3865:0, i2977:0 - 1, i2977:0 - 1) :|: i2977:0 > 0 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3865:0)), i2977:0, i2977:0) -> f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3865:0)))), i2977:0 - 1, i2977:0 - 1) :|: i2977:0 > 0 && i2993:0 > 0 && i2965:0 > 0 12.03/4.13 Removed following non-SCC rules: 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(o3869sub:0), o3865:0)), i2977:0, i2977:0) -> f6925_0_createNode_InvokeMethod(EOS(STATIC_6925)) :|: i2977:0 > 0 && i2965:0 > 0 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(o3869sub:0), o3865:0)), i2977:0, i2977:0) -> f7135_0_createNode_InvokeMethod(EOS(STATIC_7135)) :|: i2977:0 > 0 && i3003:0 > 0 && i2965:0 > 0 12.03/4.13 f6383_0_createTree_LE(EOS(STATIC_6383), java.lang.Object(List(EOC, java.lang.Object(o3869sub:0), o3865:0)), i2977:0, i2977:0) -> f6945_0_createNode_InvokeMethod(EOS(STATIC_6945)) :|: i2977:0 > 0 && i2993:0 > 0 && i2965:0 > 0 12.03/4.13 Filtered constant ground arguments: 12.03/4.13 f6383_0_createTree_LE(x1, x2, x3, x4) -> f6383_0_createTree_LE(x2, x3, x4) 12.03/4.13 EOS(x1) -> EOS 12.03/4.13 List(x1, x2, x3) -> List(x2, x3) 12.03/4.13 Tree(x1) -> Tree 12.03/4.13 Filtered duplicate arguments: 12.03/4.13 f6383_0_createTree_LE(x1, x2, x3) -> f6383_0_createTree_LE(x1, x3) 12.03/4.13 Finished conversion. Obtained 5 rules.P rules: 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o3865:0)))), i2977:0 - 1) :|: i3003:0 > 0 && i2965:0 > 0 && i2977:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, o3865:0)))), i2977:0 - 1) :|: i2993:0 > 0 && i2965:0 > 0 && i2977:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o3865:0)))), i2977:0 - 1) :|: i3003:0 > 0 && i2965:0 > 0 && i2977:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(NULL, o3865:0)), i2977:0) -> f6383_0_createTree_LE(o3865:0, i2977:0 - 1) :|: i2977:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o3865:0)))), i2977:0 - 1) :|: i2993:0 > 0 && i2965:0 > 0 && i2977:0 > 0 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (14) 12.03/4.13 Obligation: 12.03/4.13 Rules: 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o3865:0)))), i2977:0 - 1) :|: i3003:0 > 0 && i2965:0 > 0 && i2977:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x)), x1) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x)))), x1 - 1) :|: x2 > 0 && x3 > 0 && x1 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x4)), x5) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x4)))), x5 - 1) :|: x6 > 0 && x7 > 0 && x5 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(NULL, x8)), x9) -> f6383_0_createTree_LE(x8, x9 - 1) :|: x9 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x10)), x11) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x10)))), x11 - 1) :|: x12 > 0 && x13 > 0 && x11 > 0 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (15) IRSFormatTransformerProof (EQUIVALENT) 12.03/4.13 Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (16) 12.03/4.13 Obligation: 12.03/4.13 Rules: 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o3865:0)))), arith) :|: i3003:0 > 0 && i2965:0 > 0 && i2977:0 > 0 && arith = i2977:0 - 1 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(NULL, x24)), x25) -> f6383_0_createTree_LE(x24, x26) :|: x25 > 0 && x26 = x25 - 1 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (17) IRSwTTerminationDigraphProof (EQUIVALENT) 12.03/4.13 Constructed termination digraph! 12.03/4.13 Nodes: 12.03/4.13 (1) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o3865:0)))), arith) :|: i3003:0 > 0 && i2965:0 > 0 && i2977:0 > 0 && arith = i2977:0 - 1 12.03/4.13 (2) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1 12.03/4.13 (3) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1 12.03/4.13 (4) f6383_0_createTree_LE(java.lang.Object(List(NULL, x24)), x25) -> f6383_0_createTree_LE(x24, x26) :|: x25 > 0 && x26 = x25 - 1 12.03/4.13 (5) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1 12.03/4.13 12.03/4.13 Arcs: 12.03/4.13 (1) -> (1), (2), (3), (5) 12.03/4.13 (2) -> (4) 12.03/4.13 (3) -> (4) 12.03/4.13 (4) -> (1), (2), (3), (4), (5) 12.03/4.13 (5) -> (1), (2), (3), (5) 12.03/4.13 12.03/4.13 This digraph is fully evaluated! 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (18) 12.03/4.13 Obligation: 12.03/4.13 12.03/4.13 Termination digraph: 12.03/4.13 Nodes: 12.03/4.13 (1) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0)), i2977:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o3865:0)))), arith) :|: i3003:0 > 0 && i2965:0 > 0 && i2977:0 > 0 && arith = i2977:0 - 1 12.03/4.13 (2) f6383_0_createTree_LE(java.lang.Object(List(NULL, x24)), x25) -> f6383_0_createTree_LE(x24, x26) :|: x25 > 0 && x26 = x25 - 1 12.03/4.13 (3) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1 12.03/4.13 (4) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1 12.03/4.13 (5) f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1 12.03/4.13 12.03/4.13 Arcs: 12.03/4.13 (1) -> (1), (3), (4), (5) 12.03/4.13 (2) -> (1), (2), (3), (4), (5) 12.03/4.13 (3) -> (2) 12.03/4.13 (4) -> (2) 12.03/4.13 (5) -> (1), (3), (4), (5) 12.03/4.13 12.03/4.13 This digraph is fully evaluated! 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (19) IntTRSCompressionProof (EQUIVALENT) 12.03/4.13 Compressed rules. 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (20) 12.03/4.13 Obligation: 12.03/4.13 Rules: 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19:0)), x20:0) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x19:0)))), x20:0 - 1) :|: x22:0 > 0 && x23:0 > 0 && x20:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14:0)), x15:0) -> f6383_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x14:0)))), x15:0 - 1) :|: x17:0 > 0 && x18:0 > 0 && x15:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3865:0:0)), i2977:0:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o3865:0:0)))), i2977:0:0 - 1) :|: i3003:0:0 > 0 && i2965:0:0 > 0 && i2977:0:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27:0)), x28:0) -> f6383_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x27:0)))), x28:0 - 1) :|: x30:0 > 0 && x31:0 > 0 && x28:0 > 0 12.03/4.13 f6383_0_createTree_LE(java.lang.Object(List(NULL, x24:0)), x25:0) -> f6383_0_createTree_LE(x24:0, x25:0 - 1) :|: x25:0 > 0 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (21) TempFilterProof (SOUND) 12.03/4.13 Used the following sort dictionary for filtering: 12.03/4.13 f6383_0_createTree_LE(VARIABLE, INTEGER) 12.03/4.13 java.lang.Object(VARIABLE) 12.03/4.13 List(VARIABLE, VARIABLE) 12.03/4.13 Tree() 12.03/4.13 NULL() 12.03/4.13 Replaced non-predefined constructor symbols by 0. 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (22) 12.03/4.13 Obligation: 12.03/4.13 Rules: 12.03/4.13 f6383_0_createTree_LE(c, x20:0) -> f6383_0_createTree_LE(c1, c2) :|: c2 = x20:0 - 1 && (c1 = 0 && c = 0) && (x22:0 > 0 && x23:0 > 0 && x20:0 > 0) 12.03/4.13 f6383_0_createTree_LE(c12, x25:0) -> f6383_0_createTree_LE(x24:0, c13) :|: c13 = x25:0 - 1 && c12 = 0 && x25:0 > 0 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (23) PolynomialOrderProcessor (EQUIVALENT) 12.03/4.13 Found the following polynomial interpretation: 12.03/4.13 [f6383_0_createTree_LE(x, x1)] = x1 12.03/4.13 12.03/4.13 The following rules are decreasing: 12.03/4.13 f6383_0_createTree_LE(c, x20:0) -> f6383_0_createTree_LE(c1, c2) :|: c2 = x20:0 - 1 && (c1 = 0 && c = 0) && (x22:0 > 0 && x23:0 > 0 && x20:0 > 0) 12.03/4.13 f6383_0_createTree_LE(c12, x25:0) -> f6383_0_createTree_LE(x24:0, c13) :|: c13 = x25:0 - 1 && c12 = 0 && x25:0 > 0 12.03/4.13 The following rules are bounded: 12.03/4.13 f6383_0_createTree_LE(c, x20:0) -> f6383_0_createTree_LE(c1, c2) :|: c2 = x20:0 - 1 && (c1 = 0 && c = 0) && (x22:0 > 0 && x23:0 > 0 && x20:0 > 0) 12.03/4.13 f6383_0_createTree_LE(c12, x25:0) -> f6383_0_createTree_LE(x24:0, c13) :|: c13 = x25:0 - 1 && c12 = 0 && x25:0 > 0 12.03/4.13 12.03/4.13 ---------------------------------------- 12.03/4.13 12.03/4.13 (24) 12.03/4.13 YES 12.25/4.17 EOF