12.50/4.16 YES 12.50/4.18 proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar 12.50/4.18 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 12.50/4.18 12.50/4.18 12.50/4.18 termination of the given Bare JBC problem could be proven: 12.50/4.18 12.50/4.18 (0) Bare JBC problem 12.50/4.18 (1) BareJBCToJBCProof [EQUIVALENT, 95 ms] 12.50/4.18 (2) JBC problem 12.50/4.18 (3) JBCToGraph [EQUIVALENT, 966 ms] 12.50/4.18 (4) JBCTerminationGraph 12.50/4.18 (5) TerminationGraphToSCCProof [SOUND, 0 ms] 12.50/4.18 (6) AND 12.50/4.18 (7) JBCTerminationSCC 12.50/4.18 (8) SCCToIRSProof [SOUND, 257 ms] 12.50/4.18 (9) IRSwT 12.50/4.18 (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms] 12.50/4.18 (11) IRSwT 12.50/4.18 (12) IRSwTTerminationDigraphProof [EQUIVALENT, 354 ms] 12.50/4.18 (13) IRSwT 12.50/4.18 (14) IntTRSCompressionProof [EQUIVALENT, 0 ms] 12.50/4.18 (15) IRSwT 12.50/4.18 (16) TempFilterProof [SOUND, 19 ms] 12.50/4.18 (17) IntTRS 12.50/4.18 (18) PolynomialOrderProcessor [EQUIVALENT, 0 ms] 12.50/4.18 (19) YES 12.50/4.18 (20) JBCTerminationSCC 12.50/4.18 (21) SCCToQDPProof [SOUND, 386 ms] 12.50/4.18 (22) QDP 12.50/4.18 (23) MRRProof [EQUIVALENT, 12 ms] 12.50/4.18 (24) QDP 12.50/4.18 (25) PisEmptyProof [EQUIVALENT, 0 ms] 12.50/4.18 (26) YES 12.50/4.18 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (0) 12.50/4.18 Obligation: 12.50/4.18 need to prove termination of the following program: 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class ObjectList { 12.50/4.18 Object value; 12.50/4.18 ObjectList next; 12.50/4.18 12.50/4.18 public ObjectList(Object value, ObjectList next) { 12.50/4.18 this.value = value; 12.50/4.18 this.next = next; 12.50/4.18 } 12.50/4.18 12.50/4.18 public static ObjectList createList() { 12.50/4.18 ObjectList result = null; 12.50/4.18 int length = Random.random(); 12.50/4.18 while (length > 0) { 12.50/4.18 result = new ObjectList(new Object(), result); 12.50/4.18 length--; 12.50/4.18 } 12.50/4.18 return result; 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class Random { 12.50/4.18 static String[] args; 12.50/4.18 static int index = 0; 12.50/4.18 12.50/4.18 public static int random() { 12.50/4.18 String string = args[index]; 12.50/4.18 index++; 12.50/4.18 return string.length(); 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class Tree { 12.50/4.18 Tree left; 12.50/4.18 Tree right; 12.50/4.18 Object value; 12.50/4.18 12.50/4.18 public Tree(Tree l, Tree r) { 12.50/4.18 this.left = l; 12.50/4.18 this.right = r; 12.50/4.18 } 12.50/4.18 12.50/4.18 public Tree() { 12.50/4.18 } 12.50/4.18 12.50/4.18 public static Tree createNode() { 12.50/4.18 Tree result = new Tree(); 12.50/4.18 result.value = new Object(); 12.50/4.18 return result; 12.50/4.18 } 12.50/4.18 12.50/4.18 public static Tree createTree() { 12.50/4.18 int counter = Random.random(); 12.50/4.18 if (counter == 0) { 12.50/4.18 return null; 12.50/4.18 } 12.50/4.18 Tree result = createNode(); 12.50/4.18 Tree t = result; 12.50/4.18 12.50/4.18 while (counter > 0) { 12.50/4.18 int branch = Random.random(); 12.50/4.18 if (branch > 0) { 12.50/4.18 if (t.left == null) { 12.50/4.18 t.left = createNode(); 12.50/4.18 t = result; 12.50/4.18 } else { 12.50/4.18 t = t.left; 12.50/4.18 } 12.50/4.18 } else { 12.50/4.18 if (t.right == null) { 12.50/4.18 t.right = createNode(); 12.50/4.18 t = result; 12.50/4.18 } else { 12.50/4.18 t = t.right; 12.50/4.18 } 12.50/4.18 } 12.50/4.18 counter--; 12.50/4.18 } 12.50/4.18 12.50/4.18 return result; 12.50/4.18 } 12.50/4.18 public static void main(String[] args) { 12.50/4.18 Random.args = args; 12.50/4.18 createTree(); 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class TreeLeftmostPath { 12.50/4.18 public static void main(String[] args) { 12.50/4.18 Random.args = args; 12.50/4.18 Tree tree = Tree.createTree(); 12.50/4.18 ObjectList result = null; 12.50/4.18 while (tree.left != null) { 12.50/4.18 /* t t 12.50/4.18 * / \ / \ 12.50/4.18 * tl tr ==> tll tl 12.50/4.18 * / \ / \ 12.50/4.18 * tll tlr tlr \tr 12.50/4.18 */ 12.50/4.18 result = new ObjectList(tree.value, result); 12.50/4.18 Tree tl = tree.left; 12.50/4.18 Tree tll = tl.left; 12.50/4.18 Tree tlr = tl.right; 12.50/4.18 Tree tr = tree.right; 12.50/4.18 tree.right = tl; 12.50/4.18 tl.right = tr; 12.50/4.18 tl.left = tlr; 12.50/4.18 tree.left = tll; 12.50/4.18 } 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (1) BareJBCToJBCProof (EQUIVALENT) 12.50/4.18 initialized classpath 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (2) 12.50/4.18 Obligation: 12.50/4.18 need to prove termination of the following program: 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class ObjectList { 12.50/4.18 Object value; 12.50/4.18 ObjectList next; 12.50/4.18 12.50/4.18 public ObjectList(Object value, ObjectList next) { 12.50/4.18 this.value = value; 12.50/4.18 this.next = next; 12.50/4.18 } 12.50/4.18 12.50/4.18 public static ObjectList createList() { 12.50/4.18 ObjectList result = null; 12.50/4.18 int length = Random.random(); 12.50/4.18 while (length > 0) { 12.50/4.18 result = new ObjectList(new Object(), result); 12.50/4.18 length--; 12.50/4.18 } 12.50/4.18 return result; 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class Random { 12.50/4.18 static String[] args; 12.50/4.18 static int index = 0; 12.50/4.18 12.50/4.18 public static int random() { 12.50/4.18 String string = args[index]; 12.50/4.18 index++; 12.50/4.18 return string.length(); 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class Tree { 12.50/4.18 Tree left; 12.50/4.18 Tree right; 12.50/4.18 Object value; 12.50/4.18 12.50/4.18 public Tree(Tree l, Tree r) { 12.50/4.18 this.left = l; 12.50/4.18 this.right = r; 12.50/4.18 } 12.50/4.18 12.50/4.18 public Tree() { 12.50/4.18 } 12.50/4.18 12.50/4.18 public static Tree createNode() { 12.50/4.18 Tree result = new Tree(); 12.50/4.18 result.value = new Object(); 12.50/4.18 return result; 12.50/4.18 } 12.50/4.18 12.50/4.18 public static Tree createTree() { 12.50/4.18 int counter = Random.random(); 12.50/4.18 if (counter == 0) { 12.50/4.18 return null; 12.50/4.18 } 12.50/4.18 Tree result = createNode(); 12.50/4.18 Tree t = result; 12.50/4.18 12.50/4.18 while (counter > 0) { 12.50/4.18 int branch = Random.random(); 12.50/4.18 if (branch > 0) { 12.50/4.18 if (t.left == null) { 12.50/4.18 t.left = createNode(); 12.50/4.18 t = result; 12.50/4.18 } else { 12.50/4.18 t = t.left; 12.50/4.18 } 12.50/4.18 } else { 12.50/4.18 if (t.right == null) { 12.50/4.18 t.right = createNode(); 12.50/4.18 t = result; 12.50/4.18 } else { 12.50/4.18 t = t.right; 12.50/4.18 } 12.50/4.18 } 12.50/4.18 counter--; 12.50/4.18 } 12.50/4.18 12.50/4.18 return result; 12.50/4.18 } 12.50/4.18 public static void main(String[] args) { 12.50/4.18 Random.args = args; 12.50/4.18 createTree(); 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 package TreeLeftmostPath; 12.50/4.18 12.50/4.18 public class TreeLeftmostPath { 12.50/4.18 public static void main(String[] args) { 12.50/4.18 Random.args = args; 12.50/4.18 Tree tree = Tree.createTree(); 12.50/4.18 ObjectList result = null; 12.50/4.18 while (tree.left != null) { 12.50/4.18 /* t t 12.50/4.18 * / \ / \ 12.50/4.18 * tl tr ==> tll tl 12.50/4.18 * / \ / \ 12.50/4.18 * tll tlr tlr \tr 12.50/4.18 */ 12.50/4.18 result = new ObjectList(tree.value, result); 12.50/4.18 Tree tl = tree.left; 12.50/4.18 Tree tll = tl.left; 12.50/4.18 Tree tlr = tl.right; 12.50/4.18 Tree tr = tree.right; 12.50/4.18 tree.right = tl; 12.50/4.18 tl.right = tr; 12.50/4.18 tl.left = tlr; 12.50/4.18 tree.left = tll; 12.50/4.18 } 12.50/4.18 } 12.50/4.18 } 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (3) JBCToGraph (EQUIVALENT) 12.50/4.18 Constructed TerminationGraph. 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (4) 12.50/4.18 Obligation: 12.50/4.18 Termination Graph based on JBC Program: 12.50/4.18 TreeLeftmostPath.TreeLeftmostPath.main([Ljava/lang/String;)V: Graph of 150 nodes with 1 SCC. 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 TreeLeftmostPath.Tree.createTree()LTreeLeftmostPath/Tree;: Graph of 310 nodes with 1 SCC. 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (5) TerminationGraphToSCCProof (SOUND) 12.50/4.18 Splitted TerminationGraph to 2 SCCss. 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (6) 12.50/4.18 Complex Obligation (AND) 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (7) 12.50/4.18 Obligation: 12.50/4.18 SCC of termination graph based on JBC Program. 12.50/4.18 SCC contains nodes from the following methods: TreeLeftmostPath.Tree.createTree()LTreeLeftmostPath/Tree; 12.50/4.18 SCC calls the following helper methods: 12.50/4.18 Performed SCC analyses: 12.50/4.18 *Used field analysis yielded the following read fields: 12.50/4.18 *java.lang.String: [count] 12.50/4.18 *TreeLeftmostPath.Tree: [right, left] 12.50/4.18 *Marker field analysis yielded the following relations that could be markers: 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (8) SCCToIRSProof (SOUND) 12.50/4.18 Transformed FIGraph SCCs to intTRSs. Log: 12.50/4.18 Generated rules. Obtained 114 IRulesP rules: 12.50/4.18 f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i999) -> f5306_0_createTree_LE(EOS(STATIC_5306(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i999) :|: TRUE 12.50/4.18 f5306_0_createTree_LE(EOS(STATIC_5306(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i999) -> f5308_0_createTree_InvokeMethod(EOS(STATIC_5308(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) :|: i999 > 0 12.50/4.18 f5308_0_createTree_InvokeMethod(EOS(STATIC_5308(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) -> f5310_0_random_FieldAccess(EOS(STATIC_5310(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) :|: TRUE 12.50/4.18 f5310_0_random_FieldAccess(EOS(STATIC_5310(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) -> f5312_0_random_FieldAccess(EOS(STATIC_5312(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6))) :|: TRUE 12.50/4.18 f5312_0_random_FieldAccess(EOS(STATIC_5312(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6))) -> f5315_0_random_ArrayAccess(EOS(STATIC_5315(java.lang.Object(ARRAY(i6)), i993)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6)), i993) :|: TRUE 12.50/4.18 f5315_0_random_ArrayAccess(EOS(STATIC_5315(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6)), i1017) -> f5318_0_random_ArrayAccess(EOS(STATIC_5318(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6)), i1017) :|: TRUE 12.50/4.18 f5318_0_random_ArrayAccess(EOS(STATIC_5318(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6)), i1017) -> f5321_0_random_ArrayAccess(EOS(STATIC_5321(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6)), i1017) :|: TRUE 12.50/4.18 f5321_0_random_ArrayAccess(EOS(STATIC_5321(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(ARRAY(i6)), i1017) -> f5324_0_random_Store(EOS(STATIC_5324(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479) :|: i1017 < i6 12.50/4.18 f5324_0_random_Store(EOS(STATIC_5324(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479) -> f5332_0_random_FieldAccess(EOS(STATIC_5332(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479) :|: TRUE 12.50/4.18 f5332_0_random_FieldAccess(EOS(STATIC_5332(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479) -> f5339_0_random_ConstantStackPush(EOS(STATIC_5339(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479, i1017) :|: TRUE 12.50/4.18 f5339_0_random_ConstantStackPush(EOS(STATIC_5339(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479, i1017) -> f5343_0_random_IntArithmetic(EOS(STATIC_5343(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479, i1017, 1) :|: TRUE 12.50/4.18 f5343_0_random_IntArithmetic(EOS(STATIC_5343(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479, i1017, matching1) -> f5352_0_random_FieldAccess(EOS(STATIC_5352(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479, i1017 + 1) :|: i1017 >= 0 && matching1 = 1 12.50/4.18 f5352_0_random_FieldAccess(EOS(STATIC_5352(java.lang.Object(ARRAY(i6)), i1017)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479, i1033) -> f5361_0_random_Load(EOS(STATIC_5361(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479) :|: TRUE 12.50/4.18 f5361_0_random_Load(EOS(STATIC_5361(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479) -> f5371_0_random_InvokeMethod(EOS(STATIC_5371(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), o1479) :|: TRUE 12.50/4.18 f5371_0_random_InvokeMethod(EOS(STATIC_5371(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1500sub)) -> f5382_0_random_InvokeMethod(EOS(STATIC_5382(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1500sub)) :|: TRUE 12.50/4.18 f5382_0_random_InvokeMethod(EOS(STATIC_5382(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1501sub)) -> f5390_0_random_InvokeMethod(EOS(STATIC_5390(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1501sub)) :|: TRUE 12.50/4.18 f5390_0_random_InvokeMethod(EOS(STATIC_5390(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1501sub)) -> f5402_0_length_Load(EOS(STATIC_5402(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1501sub)) :|: TRUE 12.50/4.18 f5402_0_length_Load(EOS(STATIC_5402(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1501sub)) -> f5426_0_length_FieldAccess(EOS(STATIC_5426(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1501sub)) :|: TRUE 12.50/4.18 f5426_0_length_FieldAccess(EOS(STATIC_5426(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(java.lang.String(EOC, i1060))) -> f5436_0_length_FieldAccess(EOS(STATIC_5436(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(java.lang.String(EOC, i1060))) :|: i1060 >= 0 12.50/4.18 f5436_0_length_FieldAccess(EOS(STATIC_5436(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(java.lang.String(EOC, i1060))) -> f5440_0_length_Return(EOS(STATIC_5440(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) :|: TRUE 12.50/4.18 f5440_0_length_Return(EOS(STATIC_5440(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) -> f5444_0_random_Return(EOS(STATIC_5444(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) :|: TRUE 12.50/4.18 f5444_0_random_Return(EOS(STATIC_5444(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) -> f5449_0_createTree_Store(EOS(STATIC_5449(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) :|: TRUE 12.50/4.18 f5449_0_createTree_Store(EOS(STATIC_5449(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) -> f5453_0_createTree_Load(EOS(STATIC_5453(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) :|: TRUE 12.50/4.18 f5453_0_createTree_Load(EOS(STATIC_5453(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) -> f5465_0_createTree_LE(EOS(STATIC_5465(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1060) :|: TRUE 12.50/4.18 f5465_0_createTree_LE(EOS(STATIC_5465(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), matching1) -> f5481_0_createTree_LE(EOS(STATIC_5481(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), 0) :|: TRUE && matching1 = 0 12.50/4.18 f5465_0_createTree_LE(EOS(STATIC_5465(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1082) -> f5483_0_createTree_LE(EOS(STATIC_5483(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1082) :|: TRUE 12.50/4.18 f5481_0_createTree_LE(EOS(STATIC_5481(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), matching1) -> f5498_0_createTree_Load(EOS(STATIC_5498(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) :|: 0 <= 0 && matching1 = 0 12.50/4.18 f5498_0_createTree_Load(EOS(STATIC_5498(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) -> f5513_0_createTree_FieldAccess(EOS(STATIC_5513(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1439sub)) :|: TRUE 12.50/4.18 f5513_0_createTree_FieldAccess(EOS(STATIC_5513(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1537, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1537, o1536))) -> f5539_0_createTree_FieldAccess(EOS(STATIC_5539(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1537, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1537, o1536))) :|: TRUE 12.50/4.18 f5539_0_createTree_FieldAccess(EOS(STATIC_5539(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1537, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1537, o1536))) -> f5547_0_createTree_NONNULL(EOS(STATIC_5547(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1537, o1536)), o1537) :|: TRUE 12.50/4.18 f5547_0_createTree_NONNULL(EOS(STATIC_5547(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub), o1536)), java.lang.Object(o1549sub)) -> f5553_0_createTree_NONNULL(EOS(STATIC_5553(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub), o1536)), java.lang.Object(o1549sub)) :|: TRUE 12.50/4.18 f5547_0_createTree_NONNULL(EOS(STATIC_5547(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), NULL) -> f5554_0_createTree_NONNULL(EOS(STATIC_5554(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), NULL) :|: TRUE 12.50/4.18 f5553_0_createTree_NONNULL(EOS(STATIC_5553(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub), o1536)), java.lang.Object(o1549sub)) -> f5561_0_createTree_Load(EOS(STATIC_5561(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub), o1536))) :|: TRUE 12.50/4.18 f5561_0_createTree_Load(EOS(STATIC_5561(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub), o1536))) -> f5569_0_createTree_FieldAccess(EOS(STATIC_5569(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub), o1536))) :|: TRUE 12.50/4.18 f5569_0_createTree_FieldAccess(EOS(STATIC_5569(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub), o1536))) -> f5577_0_createTree_Store(EOS(STATIC_5577(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) :|: TRUE 12.50/4.18 f5577_0_createTree_Store(EOS(STATIC_5577(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) -> f5585_0_createTree_Inc(EOS(STATIC_5585(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) :|: TRUE 12.50/4.18 f5585_0_createTree_Inc(EOS(STATIC_5585(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) -> f5600_0_createTree_JMP(EOS(STATIC_5600(java.lang.Object(ARRAY(i6)), i1033)), i999 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) :|: TRUE 12.50/4.18 f5600_0_createTree_JMP(EOS(STATIC_5600(java.lang.Object(ARRAY(i6)), i1033)), i1117, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) -> f5665_0_createTree_Load(EOS(STATIC_5665(java.lang.Object(ARRAY(i6)), i1033)), i1117, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) :|: TRUE 12.50/4.18 f5665_0_createTree_Load(EOS(STATIC_5665(java.lang.Object(ARRAY(i6)), i1033)), i1117, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) -> f5303_0_createTree_Load(EOS(STATIC_5303(java.lang.Object(ARRAY(i6)), i1033)), i1117, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1549sub)) :|: TRUE 12.50/4.18 f5303_0_createTree_Load(EOS(STATIC_5303(java.lang.Object(ARRAY(i6)), i993)), i994, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) -> f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6)), i993)), i994, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i994) :|: TRUE 12.50/4.18 f5554_0_createTree_NONNULL(EOS(STATIC_5554(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), NULL) -> f5562_0_createTree_Load(EOS(STATIC_5562(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536))) :|: TRUE 12.50/4.18 f5562_0_createTree_Load(EOS(STATIC_5562(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536))) -> f5570_0_createTree_InvokeMethod(EOS(STATIC_5570(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536))) :|: TRUE 12.50/4.18 f5570_0_createTree_InvokeMethod(EOS(STATIC_5570(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536))) -> f5578_0_createNode_New(EOS(STATIC_5578(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536))) :|: TRUE 12.50/4.18 f5578_0_createNode_New(EOS(STATIC_5578(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536))) -> f5607_0_createNode_Duplicate(EOS(STATIC_5607(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5607_0_createNode_Duplicate(EOS(STATIC_5607(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5666_0_createNode_InvokeMethod(EOS(STATIC_5666(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5666_0_createNode_InvokeMethod(EOS(STATIC_5666(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5671_0__init__Load(EOS(STATIC_5671(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5671_0__init__Load(EOS(STATIC_5671(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5697_0__init__InvokeMethod(EOS(STATIC_5697(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5697_0__init__InvokeMethod(EOS(STATIC_5697(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5705_0__init__Return(EOS(STATIC_5705(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5705_0__init__Return(EOS(STATIC_5705(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5727_0_createNode_Store(EOS(STATIC_5727(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5727_0_createNode_Store(EOS(STATIC_5727(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5744_0_createNode_Load(EOS(STATIC_5744(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5744_0_createNode_Load(EOS(STATIC_5744(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5753_0_createNode_New(EOS(STATIC_5753(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5753_0_createNode_New(EOS(STATIC_5753(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5766_0_createNode_Duplicate(EOS(STATIC_5766(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 12.50/4.18 f5766_0_createNode_Duplicate(EOS(STATIC_5766(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f5779_0_createNode_InvokeMethod(EOS(STATIC_5779(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE 12.50/4.18 f5779_0_createNode_InvokeMethod(EOS(STATIC_5779(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f5788_0_createNode_FieldAccess(EOS(STATIC_5788(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 12.50/4.18 f5788_0_createNode_FieldAccess(EOS(STATIC_5788(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f5800_0_createNode_Load(EOS(STATIC_5800(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5800_0_createNode_Load(EOS(STATIC_5800(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5815_0_createNode_Return(EOS(STATIC_5815(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5815_0_createNode_Return(EOS(STATIC_5815(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5822_0_createTree_FieldAccess(EOS(STATIC_5822(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5822_0_createTree_FieldAccess(EOS(STATIC_5822(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5845_0_createTree_FieldAccess(EOS(STATIC_5845(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5822_0_createTree_FieldAccess(EOS(STATIC_5822(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5846_0_createTree_FieldAccess(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5845_0_createTree_FieldAccess(EOS(STATIC_5845(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5874_0_createTree_Load(EOS(STATIC_5874(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437put, o1436put))) :|: TRUE 12.50/4.18 f5874_0_createTree_Load(EOS(STATIC_5874(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5901_0_createTree_Store(EOS(STATIC_5901(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5901_0_createTree_Store(EOS(STATIC_5901(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5913_0_createTree_JMP(EOS(STATIC_5913(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5913_0_createTree_JMP(EOS(STATIC_5913(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5927_0_createTree_Inc(EOS(STATIC_5927(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5927_0_createTree_Inc(EOS(STATIC_5927(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5966_0_createTree_JMP(EOS(STATIC_5966(java.lang.Object(ARRAY(i6)), i1033)), i999 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5966_0_createTree_JMP(EOS(STATIC_5966(java.lang.Object(ARRAY(i6)), i1033)), i1189, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5998_0_createTree_Load(EOS(STATIC_5998(java.lang.Object(ARRAY(i6)), i1033)), i1189, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5998_0_createTree_Load(EOS(STATIC_5998(java.lang.Object(ARRAY(i6)), i1033)), i1189, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5303_0_createTree_Load(EOS(STATIC_5303(java.lang.Object(ARRAY(i6)), i1033)), i1189, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5846_0_createTree_FieldAccess(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5885_0_createTree_Load(EOS(STATIC_5885(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) :|: TRUE 12.50/4.18 f5885_0_createTree_Load(EOS(STATIC_5885(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) -> f5904_0_createTree_Store(EOS(STATIC_5904(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) :|: TRUE 12.50/4.18 f5904_0_createTree_Store(EOS(STATIC_5904(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) -> f5914_0_createTree_JMP(EOS(STATIC_5914(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) :|: TRUE 12.50/4.18 f5914_0_createTree_JMP(EOS(STATIC_5914(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) -> f5930_0_createTree_Inc(EOS(STATIC_5930(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) :|: TRUE 12.50/4.18 f5930_0_createTree_Inc(EOS(STATIC_5930(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) -> f5951_0_createTree_Inc(EOS(STATIC_5951(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1705))) :|: TRUE 12.50/4.18 f5951_0_createTree_Inc(EOS(STATIC_5951(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5927_0_createTree_Inc(EOS(STATIC_5927(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5483_0_createTree_LE(EOS(STATIC_5483(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), i1082) -> f5500_0_createTree_Load(EOS(STATIC_5500(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) :|: i1082 > 0 12.50/4.18 f5500_0_createTree_Load(EOS(STATIC_5500(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub)) -> f5519_0_createTree_FieldAccess(EOS(STATIC_5519(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1439sub), java.lang.Object(o1439sub)) :|: TRUE 12.50/4.18 f5519_0_createTree_FieldAccess(EOS(STATIC_5519(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, o1540)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, o1540))) -> f5540_0_createTree_FieldAccess(EOS(STATIC_5540(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, o1540)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, o1540))) :|: TRUE 12.50/4.18 f5540_0_createTree_FieldAccess(EOS(STATIC_5540(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, o1540)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, o1540))) -> f5548_0_createTree_NONNULL(EOS(STATIC_5548(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, o1540)), o1540) :|: TRUE 12.50/4.18 f5548_0_createTree_NONNULL(EOS(STATIC_5548(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, java.lang.Object(o1550sub))), java.lang.Object(o1550sub)) -> f5555_0_createTree_NONNULL(EOS(STATIC_5555(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, java.lang.Object(o1550sub))), java.lang.Object(o1550sub)) :|: TRUE 12.50/4.18 f5548_0_createTree_NONNULL(EOS(STATIC_5548(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), NULL) -> f5556_0_createTree_NONNULL(EOS(STATIC_5556(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), NULL) :|: TRUE 12.50/4.18 f5555_0_createTree_NONNULL(EOS(STATIC_5555(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, java.lang.Object(o1550sub))), java.lang.Object(o1550sub)) -> f5563_0_createTree_Load(EOS(STATIC_5563(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, java.lang.Object(o1550sub)))) :|: TRUE 12.50/4.18 f5563_0_createTree_Load(EOS(STATIC_5563(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, java.lang.Object(o1550sub)))) -> f5571_0_createTree_FieldAccess(EOS(STATIC_5571(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, java.lang.Object(o1550sub)))) :|: TRUE 12.50/4.18 f5571_0_createTree_FieldAccess(EOS(STATIC_5571(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, java.lang.Object(o1550sub)))) -> f5579_0_createTree_Store(EOS(STATIC_5579(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1550sub)) :|: TRUE 12.50/4.18 f5579_0_createTree_Store(EOS(STATIC_5579(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1550sub)) -> f5586_0_createTree_JMP(EOS(STATIC_5586(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1550sub)) :|: TRUE 12.50/4.18 f5586_0_createTree_JMP(EOS(STATIC_5586(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1550sub)) -> f5616_0_createTree_Inc(EOS(STATIC_5616(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1550sub)) :|: TRUE 12.50/4.18 f5616_0_createTree_Inc(EOS(STATIC_5616(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1550sub)) -> f5585_0_createTree_Inc(EOS(STATIC_5585(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(o1550sub)) :|: TRUE 12.50/4.18 f5556_0_createTree_NONNULL(EOS(STATIC_5556(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), NULL) -> f5564_0_createTree_Load(EOS(STATIC_5564(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL))) :|: TRUE 12.50/4.18 f5564_0_createTree_Load(EOS(STATIC_5564(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL))) -> f5572_0_createTree_InvokeMethod(EOS(STATIC_5572(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL))) :|: TRUE 12.50/4.18 f5572_0_createTree_InvokeMethod(EOS(STATIC_5572(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL))) -> f5580_0_createNode_New(EOS(STATIC_5580(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL))) :|: TRUE 12.50/4.18 f5580_0_createNode_New(EOS(STATIC_5580(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL))) -> f5621_0_createNode_Duplicate(EOS(STATIC_5621(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5621_0_createNode_Duplicate(EOS(STATIC_5621(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5667_0_createNode_InvokeMethod(EOS(STATIC_5667(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5667_0_createNode_InvokeMethod(EOS(STATIC_5667(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5672_0__init__Load(EOS(STATIC_5672(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5672_0__init__Load(EOS(STATIC_5672(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5701_0__init__InvokeMethod(EOS(STATIC_5701(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5701_0__init__InvokeMethod(EOS(STATIC_5701(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5709_0__init__Return(EOS(STATIC_5709(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5709_0__init__Return(EOS(STATIC_5709(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5728_0_createNode_Store(EOS(STATIC_5728(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5728_0_createNode_Store(EOS(STATIC_5728(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5749_0_createNode_Load(EOS(STATIC_5749(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5749_0_createNode_Load(EOS(STATIC_5749(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5757_0_createNode_New(EOS(STATIC_5757(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5757_0_createNode_New(EOS(STATIC_5757(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5770_0_createNode_Duplicate(EOS(STATIC_5770(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 12.50/4.18 f5770_0_createNode_Duplicate(EOS(STATIC_5770(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f5783_0_createNode_InvokeMethod(EOS(STATIC_5783(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE 12.50/4.18 f5783_0_createNode_InvokeMethod(EOS(STATIC_5783(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f5792_0_createNode_FieldAccess(EOS(STATIC_5792(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 12.50/4.18 f5792_0_createNode_FieldAccess(EOS(STATIC_5792(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f5807_0_createNode_Load(EOS(STATIC_5807(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5807_0_createNode_Load(EOS(STATIC_5807(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5820_0_createNode_Return(EOS(STATIC_5820(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5820_0_createNode_Return(EOS(STATIC_5820(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5823_0_createTree_FieldAccess(EOS(STATIC_5823(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5823_0_createTree_FieldAccess(EOS(STATIC_5823(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5861_0_createTree_FieldAccess(EOS(STATIC_5861(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5823_0_createTree_FieldAccess(EOS(STATIC_5823(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5862_0_createTree_FieldAccess(EOS(STATIC_5862(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE 12.50/4.18 f5861_0_createTree_FieldAccess(EOS(STATIC_5861(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5892_0_createTree_Load(EOS(STATIC_5892(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437put, o1436put))) :|: TRUE 12.50/4.18 f5892_0_createTree_Load(EOS(STATIC_5892(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5906_0_createTree_Store(EOS(STATIC_5906(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5906_0_createTree_Store(EOS(STATIC_5906(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5916_0_createTree_JMP(EOS(STATIC_5916(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5916_0_createTree_JMP(EOS(STATIC_5916(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) -> f5951_0_createTree_Inc(EOS(STATIC_5951(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437, o1436))) :|: TRUE 12.50/4.18 f5862_0_createTree_FieldAccess(EOS(STATIC_5862(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5897_0_createTree_Load(EOS(STATIC_5897(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE 12.50/4.18 f5897_0_createTree_Load(EOS(STATIC_5897(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f5909_0_createTree_Store(EOS(STATIC_5909(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE 12.50/4.18 f5909_0_createTree_Store(EOS(STATIC_5909(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f5920_0_createTree_JMP(EOS(STATIC_5920(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE 12.50/4.18 f5920_0_createTree_JMP(EOS(STATIC_5920(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f5956_0_createTree_Inc(EOS(STATIC_5956(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE 12.50/4.18 f5956_0_createTree_Inc(EOS(STATIC_5956(java.lang.Object(ARRAY(i6)), i1033)), i999, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f5971_0_createTree_JMP(EOS(STATIC_5971(java.lang.Object(ARRAY(i6)), i1033)), i999 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE 12.50/4.18 f5971_0_createTree_JMP(EOS(STATIC_5971(java.lang.Object(ARRAY(i6)), i1033)), i1192, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6017_0_createTree_Load(EOS(STATIC_6017(java.lang.Object(ARRAY(i6)), i1033)), i1192, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE 12.50/4.18 f6017_0_createTree_Load(EOS(STATIC_6017(java.lang.Object(ARRAY(i6)), i1033)), i1192, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f5303_0_createTree_Load(EOS(STATIC_5303(java.lang.Object(ARRAY(i6)), i1033)), i1192, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1716, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE 12.50/4.18 Combined rules. Obtained 6 IRulesP rules: 12.50/4.18 f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0)), i999:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1536:0)), i999:0) -> f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0 + 1)), i999:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437put:0, o1436put:0)), i999:0 - 1) :|: i999:0 > 0 && i993:0 > -1 && i993:0 < i6:0 12.50/4.18 f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0)), i999:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1549sub:0), o1536:0)), i999:0) -> f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0 + 1)), i999:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, o1436:0)), java.lang.Object(o1549sub:0), i999:0 - 1) :|: i999:0 > 0 && i993:0 > -1 && i993:0 < i6:0 12.50/4.18 f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0)), i999:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541:0, NULL)), i999:0) -> f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0 + 1)), i999:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437put:0, o1436put:0)), i999:0 - 1) :|: i1060:0 > 0 && i999:0 > 0 && i993:0 > -1 && i993:0 < i6:0 12.50/4.18 f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0)), i999:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1436:0)), i999:0) -> f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0 + 1)), i999:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1436:0)), i999:0 - 1) :|: i999:0 > 0 && i993:0 > -1 && i993:0 < i6:0 12.50/4.18 f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0)), i999:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1541:0, java.lang.Object(o1550sub:0))), i999:0) -> f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0 + 1)), i999:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, o1436:0)), java.lang.Object(o1550sub:0), i999:0 - 1) :|: i1060:0 > 0 && i999:0 > 0 && i993:0 > -1 && i993:0 < i6:0 12.50/4.18 f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0)), i999:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, NULL)), i999:0) -> f5304_0_createTree_LE(EOS(STATIC_5304(java.lang.Object(ARRAY(i6:0)), i993:0 + 1)), i999:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1437:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), i999:0 - 1) :|: i1060:0 > 0 && i999:0 > 0 && i993:0 > -1 && i993:0 < i6:0 12.50/4.18 Filtered constant ground arguments: 12.50/4.18 TreeLeftmostPath.Tree(x1, x2, x3) -> TreeLeftmostPath.Tree(x2, x3) 12.50/4.18 Filtered duplicate arguments: 12.50/4.18 f5304_0_createTree_LE(x1, x2, x3, x4, x5) -> f5304_0_createTree_LE(x1, x3, x4, x5) 12.50/4.18 Finished conversion. Obtained 6 rules.P rules: 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1536:0)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), i999:0 - 1, i6:0, i993:0 + 1) :|: i993:0 > -1 && i993:0 < i6:0 && i999:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(o1549sub:0), o1536:0)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(o1549sub:0), i999:0 - 1, i6:0, i993:0 + 1) :|: i993:0 > -1 && i993:0 < i6:0 && i999:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(o1541:0, NULL)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), i999:0 - 1, i6:0, i993:0 + 1) :|: i999:0 > 0 && i1060:0 > 0 && i993:0 < i6:0 && i993:0 > -1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1436:0)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1436:0)), i999:0 - 1, i6:0, i993:0 + 1) :|: i993:0 > -1 && i993:0 < i6:0 && i999:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(o1541:0, java.lang.Object(o1550sub:0))), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(o1550sub:0), i999:0 - 1, i6:0, i993:0 + 1) :|: i999:0 > 0 && i1060:0 > 0 && i993:0 < i6:0 && i993:0 > -1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(o1437:0, NULL)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(o1437:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), i999:0 - 1, i6:0, i993:0 + 1) :|: i999:0 > 0 && i1060:0 > 0 && i993:0 < i6:0 && i993:0 > -1 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (9) 12.50/4.18 Obligation: 12.50/4.18 Rules: 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1536:0)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), i999:0 - 1, i6:0, i993:0 + 1) :|: i993:0 > -1 && i993:0 < i6:0 && i999:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x, x1)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(x2), x3)), x4, x5, x6) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x, x1)), java.lang.Object(x2), x4 - 1, x5, x6 + 1) :|: x6 > -1 && x6 < x5 && x4 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x7, x8)), java.lang.Object(TreeLeftmostPath.Tree(x9, NULL)), x10, x11, x12) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x13, x14)), java.lang.Object(TreeLeftmostPath.Tree(x13, x14)), x10 - 1, x11, x12 + 1) :|: x10 > 0 && x15 > 0 && x12 < x11 && x12 > -1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, x16)), java.lang.Object(TreeLeftmostPath.Tree(NULL, x16)), x17, x18, x19) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x16)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x16)), x17 - 1, x18, x19 + 1) :|: x19 > -1 && x19 < x18 && x17 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x20, x21)), java.lang.Object(TreeLeftmostPath.Tree(x22, java.lang.Object(x23))), x24, x25, x26) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x20, x21)), java.lang.Object(x23), x24 - 1, x25, x26 + 1) :|: x24 > 0 && x27 > 0 && x26 < x25 && x26 > -1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x28, NULL)), java.lang.Object(TreeLeftmostPath.Tree(x28, NULL)), x29, x30, x31) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x28, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(x28, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), x29 - 1, x30, x31 + 1) :|: x29 > 0 && x32 > 0 && x31 < x30 && x31 > -1 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (10) IRSFormatTransformerProof (EQUIVALENT) 12.50/4.18 Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (11) 12.50/4.18 Obligation: 12.50/4.18 Rules: 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1536:0)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), arith, i6:0, arith1) :|: i993:0 > -1 && i993:0 < i6:0 && i999:0 > 0 && arith = i999:0 - 1 && arith1 = i993:0 + 1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33, x34)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(x35), x36)), x37, x38, x39) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33, x34)), java.lang.Object(x35), x40, x38, x41) :|: x39 > -1 && x39 < x38 && x37 > 0 && x40 = x37 - 1 && x41 = x39 + 1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x42, x43)), java.lang.Object(TreeLeftmostPath.Tree(x44, NULL)), x45, x46, x47) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x48, x49)), java.lang.Object(TreeLeftmostPath.Tree(x48, x49)), x50, x46, x51) :|: x45 > 0 && x52 > 0 && x47 < x46 && x47 > -1 && x50 = x45 - 1 && x51 = x47 + 1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, x53)), java.lang.Object(TreeLeftmostPath.Tree(NULL, x53)), x54, x55, x56) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53)), x57, x55, x58) :|: x56 > -1 && x56 < x55 && x54 > 0 && x57 = x54 - 1 && x58 = x56 + 1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59, x60)), java.lang.Object(TreeLeftmostPath.Tree(x61, java.lang.Object(x62))), x63, x64, x65) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59, x60)), java.lang.Object(x62), x66, x64, x67) :|: x63 > 0 && x68 > 0 && x65 < x64 && x65 > -1 && x66 = x63 - 1 && x67 = x65 + 1 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69, NULL)), java.lang.Object(TreeLeftmostPath.Tree(x69, NULL)), x70, x71, x72) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(x69, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), x73, x71, x74) :|: x70 > 0 && x75 > 0 && x72 < x71 && x72 > -1 && x73 = x70 - 1 && x74 = x72 + 1 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (12) IRSwTTerminationDigraphProof (EQUIVALENT) 12.50/4.18 Constructed termination digraph! 12.50/4.18 Nodes: 12.50/4.18 (1) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1536:0)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), arith, i6:0, arith1) :|: i993:0 > -1 && i993:0 < i6:0 && i999:0 > 0 && arith = i999:0 - 1 && arith1 = i993:0 + 1 12.50/4.18 (2) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33, x34)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(x35), x36)), x37, x38, x39) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33, x34)), java.lang.Object(x35), x40, x38, x41) :|: x39 > -1 && x39 < x38 && x37 > 0 && x40 = x37 - 1 && x41 = x39 + 1 12.50/4.18 (3) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x42, x43)), java.lang.Object(TreeLeftmostPath.Tree(x44, NULL)), x45, x46, x47) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x48, x49)), java.lang.Object(TreeLeftmostPath.Tree(x48, x49)), x50, x46, x51) :|: x45 > 0 && x52 > 0 && x47 < x46 && x47 > -1 && x50 = x45 - 1 && x51 = x47 + 1 12.50/4.18 (4) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, x53)), java.lang.Object(TreeLeftmostPath.Tree(NULL, x53)), x54, x55, x56) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53)), x57, x55, x58) :|: x56 > -1 && x56 < x55 && x54 > 0 && x57 = x54 - 1 && x58 = x56 + 1 12.50/4.18 (5) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59, x60)), java.lang.Object(TreeLeftmostPath.Tree(x61, java.lang.Object(x62))), x63, x64, x65) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59, x60)), java.lang.Object(x62), x66, x64, x67) :|: x63 > 0 && x68 > 0 && x65 < x64 && x65 > -1 && x66 = x63 - 1 && x67 = x65 + 1 12.50/4.18 (6) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69, NULL)), java.lang.Object(TreeLeftmostPath.Tree(x69, NULL)), x70, x71, x72) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(x69, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), x73, x71, x74) :|: x70 > 0 && x75 > 0 && x72 < x71 && x72 > -1 && x73 = x70 - 1 && x74 = x72 + 1 12.50/4.18 12.50/4.18 Arcs: 12.50/4.18 (1) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (2) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (3) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (4) -> (2), (3), (5), (6) 12.50/4.18 (5) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (6) -> (1), (2), (4), (5) 12.50/4.18 12.50/4.18 This digraph is fully evaluated! 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (13) 12.50/4.18 Obligation: 12.50/4.18 12.50/4.18 Termination digraph: 12.50/4.18 Nodes: 12.50/4.18 (1) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0, o1436:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1536:0)), i999:0, i6:0, i993:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1437put:0, o1436put:0)), arith, i6:0, arith1) :|: i993:0 > -1 && i993:0 < i6:0 && i999:0 > 0 && arith = i999:0 - 1 && arith1 = i993:0 + 1 12.50/4.18 (2) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33, x34)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(x35), x36)), x37, x38, x39) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33, x34)), java.lang.Object(x35), x40, x38, x41) :|: x39 > -1 && x39 < x38 && x37 > 0 && x40 = x37 - 1 && x41 = x39 + 1 12.50/4.18 (3) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x42, x43)), java.lang.Object(TreeLeftmostPath.Tree(x44, NULL)), x45, x46, x47) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x48, x49)), java.lang.Object(TreeLeftmostPath.Tree(x48, x49)), x50, x46, x51) :|: x45 > 0 && x52 > 0 && x47 < x46 && x47 > -1 && x50 = x45 - 1 && x51 = x47 + 1 12.50/4.18 (4) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, x53)), java.lang.Object(TreeLeftmostPath.Tree(NULL, x53)), x54, x55, x56) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53)), x57, x55, x58) :|: x56 > -1 && x56 < x55 && x54 > 0 && x57 = x54 - 1 && x58 = x56 + 1 12.50/4.18 (5) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59, x60)), java.lang.Object(TreeLeftmostPath.Tree(x61, java.lang.Object(x62))), x63, x64, x65) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59, x60)), java.lang.Object(x62), x66, x64, x67) :|: x63 > 0 && x68 > 0 && x65 < x64 && x65 > -1 && x66 = x63 - 1 && x67 = x65 + 1 12.50/4.18 (6) f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69, NULL)), java.lang.Object(TreeLeftmostPath.Tree(x69, NULL)), x70, x71, x72) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(x69, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), x73, x71, x74) :|: x70 > 0 && x75 > 0 && x72 < x71 && x72 > -1 && x73 = x70 - 1 && x74 = x72 + 1 12.50/4.18 12.50/4.18 Arcs: 12.50/4.18 (1) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (2) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (3) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (4) -> (2), (3), (5), (6) 12.50/4.18 (5) -> (1), (2), (3), (4), (5), (6) 12.50/4.18 (6) -> (1), (2), (4), (5) 12.50/4.18 12.50/4.18 This digraph is fully evaluated! 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (14) IntTRSCompressionProof (EQUIVALENT) 12.50/4.18 Compressed rules. 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (15) 12.50/4.18 Obligation: 12.50/4.18 Rules: 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(x69:0, NULL)), x70:0, x71:0, x72:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x69:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(x69:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), x70:0 - 1, x71:0, x72:0 + 1) :|: x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437:0:0, o1436:0:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1536:0:0)), i999:0:0, i6:0:0, i993:0:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1437put:0:0, o1436put:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o1437put:0:0, o1436put:0:0)), i999:0:0 - 1, i6:0:0, i993:0:0 + 1) :|: i993:0:0 > -1 && i993:0:0 < i6:0:0 && i999:0:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x42:0, x43:0)), java.lang.Object(TreeLeftmostPath.Tree(x44:0, NULL)), x45:0, x46:0, x47:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x48:0, x49:0)), java.lang.Object(TreeLeftmostPath.Tree(x48:0, x49:0)), x45:0 - 1, x46:0, x47:0 + 1) :|: x47:0 < x46:0 && x47:0 > -1 && x52:0 > 0 && x45:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33:0, x34:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(x35:0), x36:0)), x37:0, x38:0, x39:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x33:0, x34:0)), java.lang.Object(x35:0), x37:0 - 1, x38:0, x39:0 + 1) :|: x39:0 > -1 && x39:0 < x38:0 && x37:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, x53:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, x53:0)), x54:0, x55:0, x56:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), x53:0)), x54:0 - 1, x55:0, x56:0 + 1) :|: x56:0 > -1 && x56:0 < x55:0 && x54:0 > 0 12.50/4.18 f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59:0, x60:0)), java.lang.Object(TreeLeftmostPath.Tree(x61:0, java.lang.Object(x62:0))), x63:0, x64:0, x65:0) -> f5304_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x59:0, x60:0)), java.lang.Object(x62:0), x63:0 - 1, x64:0, x65:0 + 1) :|: x65:0 < x64:0 && x65:0 > -1 && x68:0 > 0 && x63:0 > 0 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (16) TempFilterProof (SOUND) 12.50/4.18 Used the following sort dictionary for filtering: 12.50/4.18 f5304_0_createTree_LE(VARIABLE, VARIABLE, INTEGER, INTEGER, INTEGER) 12.50/4.18 java.lang.Object(VARIABLE) 12.50/4.18 TreeLeftmostPath.Tree(VARIABLE, VARIABLE) 12.50/4.18 NULL() 12.50/4.18 Replaced non-predefined constructor symbols by 0. 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (17) 12.50/4.18 Obligation: 12.50/4.18 Rules: 12.50/4.18 f5304_0_createTree_LE(c, c1, x70:0, x71:0, x72:0) -> f5304_0_createTree_LE(c2, c3, c4, x71:0, c5) :|: c5 = x72:0 + 1 && (c4 = x70:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0) 12.50/4.18 f5304_0_createTree_LE(c6, c7, i999:0:0, i6:0:0, i993:0:0) -> f5304_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i993:0:0 + 1 && (c10 = i999:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i993:0:0 > -1 && i993:0:0 < i6:0:0 && i999:0:0 > 0) 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (18) PolynomialOrderProcessor (EQUIVALENT) 12.50/4.18 Found the following polynomial interpretation: 12.50/4.18 [f5304_0_createTree_LE(x, x1, x2, x3, x4)] = c*x + c1*x1 + x3 - x4 12.50/4.18 12.50/4.18 The following rules are decreasing: 12.50/4.18 f5304_0_createTree_LE(c, c1, x70:0, x71:0, x72:0) -> f5304_0_createTree_LE(c2, c3, c4, x71:0, c5) :|: c5 = x72:0 + 1 && (c4 = x70:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0) 12.50/4.18 f5304_0_createTree_LE(c6, c7, i999:0:0, i6:0:0, i993:0:0) -> f5304_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i993:0:0 + 1 && (c10 = i999:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i993:0:0 > -1 && i993:0:0 < i6:0:0 && i999:0:0 > 0) 12.50/4.18 The following rules are bounded: 12.50/4.18 f5304_0_createTree_LE(c, c1, x70:0, x71:0, x72:0) -> f5304_0_createTree_LE(c2, c3, c4, x71:0, c5) :|: c5 = x72:0 + 1 && (c4 = x70:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0) 12.50/4.18 f5304_0_createTree_LE(c6, c7, i999:0:0, i6:0:0, i993:0:0) -> f5304_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i993:0:0 + 1 && (c10 = i999:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i993:0:0 > -1 && i993:0:0 < i6:0:0 && i999:0:0 > 0) 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (19) 12.50/4.18 YES 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (20) 12.50/4.18 Obligation: 12.50/4.18 SCC of termination graph based on JBC Program. 12.50/4.18 SCC contains nodes from the following methods: TreeLeftmostPath.TreeLeftmostPath.main([Ljava/lang/String;)V 12.50/4.18 SCC calls the following helper methods: 12.50/4.18 Performed SCC analyses: 12.50/4.18 *Used field analysis yielded the following read fields: 12.50/4.18 *TreeLeftmostPath.Tree: [value, left, right] 12.50/4.18 *Marker field analysis yielded the following relations that could be markers: 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (21) SCCToQDPProof (SOUND) 12.50/4.18 Transformed TerminationGraph SCC to QDP. Log: 12.50/4.18 Generated 47 rules for P and 0 rules for R.P rules: 12.50/4.18 f6571_0_main_NULL(EOS(STATIC_6571), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6576_0_main_New(EOS(STATIC_6576), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6576_0_main_New(EOS(STATIC_6576), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6585_0_main_Duplicate(EOS(STATIC_6585), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6585_0_main_Duplicate(EOS(STATIC_6585), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6588_0_main_Load(EOS(STATIC_6588), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6588_0_main_Load(EOS(STATIC_6588), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6592_0_main_FieldAccess(EOS(STATIC_6592), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6592_0_main_FieldAccess(EOS(STATIC_6592), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6595_0_main_Load(EOS(STATIC_6595), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6595_0_main_Load(EOS(STATIC_6595), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6599_0_main_InvokeMethod(EOS(STATIC_6599), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6599_0_main_InvokeMethod(EOS(STATIC_6599), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6601_0__init__Load(EOS(STATIC_6601), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6601_0__init__Load(EOS(STATIC_6601), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6604_0__init__InvokeMethod(EOS(STATIC_6604), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6604_0__init__InvokeMethod(EOS(STATIC_6604), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6608_0__init__Load(EOS(STATIC_6608), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6608_0__init__Load(EOS(STATIC_6608), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6611_0__init__Load(EOS(STATIC_6611), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6611_0__init__Load(EOS(STATIC_6611), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6614_0__init__FieldAccess(EOS(STATIC_6614), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6614_0__init__FieldAccess(EOS(STATIC_6614), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6621_0__init__Load(EOS(STATIC_6621), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6621_0__init__Load(EOS(STATIC_6621), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6623_0__init__Load(EOS(STATIC_6623), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6623_0__init__Load(EOS(STATIC_6623), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6626_0__init__FieldAccess(EOS(STATIC_6626), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6626_0__init__FieldAccess(EOS(STATIC_6626), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6633_0__init__Return(EOS(STATIC_6633), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6633_0__init__Return(EOS(STATIC_6633), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6634_0_main_Store(EOS(STATIC_6634), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6634_0_main_Store(EOS(STATIC_6634), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6638_0_main_Load(EOS(STATIC_6638), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6638_0_main_Load(EOS(STATIC_6638), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6641_0_main_FieldAccess(EOS(STATIC_6641), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6641_0_main_FieldAccess(EOS(STATIC_6641), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6644_0_main_Store(EOS(STATIC_6644), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) :|: TRUE 12.50/4.18 f6644_0_main_Store(EOS(STATIC_6644), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6648_0_main_Load(EOS(STATIC_6648), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) :|: TRUE 12.50/4.18 f6648_0_main_Load(EOS(STATIC_6648), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6658_0_main_FieldAccess(EOS(STATIC_6658), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub), java.lang.Object(o2358sub)) :|: TRUE 12.50/4.18 f6658_0_main_FieldAccess(EOS(STATIC_6658), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6661_0_main_FieldAccess(EOS(STATIC_6661), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE 12.50/4.18 f6661_0_main_FieldAccess(EOS(STATIC_6661), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6664_0_main_Store(EOS(STATIC_6664), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) :|: TRUE 12.50/4.18 f6664_0_main_Store(EOS(STATIC_6664), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) -> f6665_0_main_Load(EOS(STATIC_6665), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) :|: TRUE 12.50/4.18 f6665_0_main_Load(EOS(STATIC_6665), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) -> f6669_0_main_FieldAccess(EOS(STATIC_6669), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE 12.50/4.18 f6669_0_main_FieldAccess(EOS(STATIC_6669), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6673_0_main_Store(EOS(STATIC_6673), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) :|: TRUE 12.50/4.18 f6673_0_main_Store(EOS(STATIC_6673), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) -> f6678_0_main_Load(EOS(STATIC_6678), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) :|: TRUE 12.50/4.18 f6678_0_main_Load(EOS(STATIC_6678), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) -> f6679_0_main_FieldAccess(EOS(STATIC_6679), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6679_0_main_FieldAccess(EOS(STATIC_6679), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6682_0_main_Store(EOS(STATIC_6682), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE 12.50/4.18 f6682_0_main_Store(EOS(STATIC_6682), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6686_0_main_Load(EOS(STATIC_6686), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE 12.50/4.18 f6686_0_main_Load(EOS(STATIC_6686), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6687_0_main_Load(EOS(STATIC_6687), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6687_0_main_Load(EOS(STATIC_6687), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6690_0_main_FieldAccess(EOS(STATIC_6690), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE 12.50/4.18 f6690_0_main_FieldAccess(EOS(STATIC_6690), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6695_0_main_Load(EOS(STATIC_6695), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE 12.50/4.18 f6695_0_main_Load(EOS(STATIC_6695), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6699_0_main_Load(EOS(STATIC_6699), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE 12.50/4.18 f6699_0_main_Load(EOS(STATIC_6699), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6703_0_main_FieldAccess(EOS(STATIC_6703), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE 12.50/4.18 f6703_0_main_FieldAccess(EOS(STATIC_6703), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6709_0_main_Load(EOS(STATIC_6709), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2432, o2433) :|: TRUE 12.50/4.18 f6709_0_main_Load(EOS(STATIC_6709), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2432, o2433) -> f6713_0_main_Load(EOS(STATIC_6713), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6713_0_main_Load(EOS(STATIC_6713), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6714_0_main_FieldAccess(EOS(STATIC_6714), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2433) :|: TRUE 12.50/4.18 f6714_0_main_FieldAccess(EOS(STATIC_6714), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2433) -> f6720_0_main_Load(EOS(STATIC_6720), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) :|: TRUE 12.50/4.18 f6720_0_main_Load(EOS(STATIC_6720), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) -> f6721_0_main_Load(EOS(STATIC_6721), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE 12.50/4.18 f6721_0_main_Load(EOS(STATIC_6721), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) -> f6725_0_main_FieldAccess(EOS(STATIC_6725), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) :|: TRUE 12.50/4.18 f6725_0_main_FieldAccess(EOS(STATIC_6725), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) -> f6732_0_main_JMP(EOS(STATIC_6732), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE 12.50/4.18 f6732_0_main_JMP(EOS(STATIC_6732), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) -> f6754_0_main_Load(EOS(STATIC_6754), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE 12.50/4.18 f6754_0_main_Load(EOS(STATIC_6754), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) -> f6554_0_main_Load(EOS(STATIC_6554), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE 12.50/4.18 f6554_0_main_Load(EOS(STATIC_6554), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6561_0_main_FieldAccess(EOS(STATIC_6561), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE 12.50/4.18 f6561_0_main_FieldAccess(EOS(STATIC_6561), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6569_0_main_NULL(EOS(STATIC_6569), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2303) :|: TRUE 12.50/4.18 f6569_0_main_NULL(EOS(STATIC_6569), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6571_0_main_NULL(EOS(STATIC_6571), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) :|: TRUE 12.50/4.18 R rules: 12.50/4.18 Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: 12.50/4.18 f6571_0_main_NULL(EOS(STATIC_6571), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434:0, java.lang.Object(o2358sub:0), o2433:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307:0, o2305:0, o2306:0)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434:0, java.lang.Object(o2358sub:0), o2433:0))) -> f6571_0_main_NULL(EOS(STATIC_6571), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub:0), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434:0, o2433:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307:0, o2305:0, o2306:0)))))), java.lang.Object(o2358sub:0)) :|: TRUE 12.50/4.18 R rules: 12.50/4.18 Filtered ground terms: 12.50/4.18 f6571_0_main_NULL(x1, x2, x3) -> f6571_0_main_NULL(x2, x3) 12.50/4.18 EOS(x1) -> EOS 12.50/4.18 TreeLeftmostPath.Tree(x1, x2, x3, x4) -> TreeLeftmostPath.Tree(x2, x3, x4) 12.50/4.18 Filtered duplicate args: 12.50/4.18 f6571_0_main_NULL(x1, x2) -> f6571_0_main_NULL(x1) 12.50/4.18 Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: 12.50/4.18 F6571_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, java.lang.Object(o2358sub:0:0), o2433:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))) -> F6571_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2358sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, o2433:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))))) :|: TRUE 12.50/4.18 R rules: 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (22) 12.50/4.18 Obligation: 12.50/4.18 Q DP problem: 12.50/4.18 The TRS P consists of the following rules: 12.50/4.18 12.50/4.18 F6571_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, java.lang.Object(o2358sub:0:0), o2433:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))) -> F6571_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2358sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, o2433:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))))) 12.50/4.18 12.50/4.18 R is empty. 12.50/4.18 Q is empty. 12.50/4.18 We have to consider all minimal (P,Q,R)-chains. 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (23) MRRProof (EQUIVALENT) 12.50/4.18 By using the rule removal processor [LPAR04] with the following ordering, at least one Dependency Pair or term rewrite system rule of this QDP problem can be strictly oriented. 12.50/4.18 12.50/4.18 Strictly oriented dependency pairs: 12.50/4.18 12.50/4.18 F6571_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, java.lang.Object(o2358sub:0:0), o2433:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))) -> F6571_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2358sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, o2433:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))))) 12.50/4.18 12.50/4.18 12.50/4.18 Used ordering: Knuth-Bendix order [KBO] with precedence:EOC > TreeLeftmostPath.Tree_3 > java.lang.Object_1 > F6571_0_MAIN_NULL_1 12.50/4.18 12.50/4.18 and weight map: 12.50/4.18 12.50/4.18 EOC=1 12.50/4.18 F6571_0_MAIN_NULL_1=1 12.50/4.18 java.lang.Object_1=1 12.50/4.18 TreeLeftmostPath.Tree_3=0 12.50/4.18 12.50/4.18 The variable weight is 1 12.50/4.18 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (24) 12.50/4.18 Obligation: 12.50/4.18 Q DP problem: 12.50/4.18 P is empty. 12.50/4.18 R is empty. 12.50/4.18 Q is empty. 12.50/4.18 We have to consider all minimal (P,Q,R)-chains. 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (25) PisEmptyProof (EQUIVALENT) 12.50/4.18 The TRS P is empty. Hence, there is no (P,Q,R) chain. 12.50/4.18 ---------------------------------------- 12.50/4.18 12.50/4.18 (26) 12.50/4.18 YES 12.88/4.25 EOF