/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.jar /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty termination of the given Bare JBC problem could be proven: (0) Bare JBC problem (1) BareJBCToJBCProof [EQUIVALENT, 96 ms] (2) JBC problem (3) JBCToGraph [EQUIVALENT, 1189 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 0 ms] (6) AND (7) JBCTerminationSCC (8) SCCToQDPProof [SOUND, 560 ms] (9) QDP (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] (11) YES (12) JBCTerminationSCC (13) SCCToIRSProof [SOUND, 390 ms] (14) IRSwT (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (16) IRSwT (17) IRSwTTerminationDigraphProof [EQUIVALENT, 145 ms] (18) IRSwT (19) IntTRSCompressionProof [EQUIVALENT, 0 ms] (20) IRSwT (21) TempFilterProof [SOUND, 25 ms] (22) IntTRS (23) PolynomialOrderProcessor [EQUIVALENT, 5 ms] (24) YES ---------------------------------------- (0) Obligation: need to prove termination of the following program: public class DuplicateTreePath { public static void main(String[] args) { Random.args = args; Tree t = Tree.createTree(); duplicateRandomPath(t); } public static void duplicateRandomPath(Tree tree) { Tree cur = tree; while (cur != null) { if (Random.random() < 42 && cur.left != null) { //go left Tree t = new Tree(cur.left, cur.right); t.value = cur.value; cur.right = null; cur.left = t; cur = cur.left.left; } else if (cur.right != null) { //go right Tree t = new Tree(cur.left, cur.right); t.value = cur.value; cur.left = null; cur.right = t; cur = cur.right.right; } else { break; } } } } public class Random { static String[] args; static int index = 0; public static int random() { String string = args[index]; index++; return string.length(); } } public class Tree { Tree left; Tree right; Object value; public Tree(Tree l, Tree r) { this.left = l; this.right = r; } public Tree() { } public static Tree createNode() { Tree result = new Tree(); result.value = new Object(); return result; } public static Tree createTree() { int counter = Random.random(); if (counter == 0) { return null; } Tree result = createNode(); Tree t = result; while (counter > 0) { int branch = Random.random(); if (branch > 0) { if (t.left == null) { t.left = createNode(); t = result; } else { t = t.left; } } else { if (t.right == null) { t.right = createNode(); t = result; } else { t = t.right; } } counter--; } return result; } public static void main(String[] args) { Random.args = args; createTree(); } } ---------------------------------------- (1) BareJBCToJBCProof (EQUIVALENT) initialized classpath ---------------------------------------- (2) Obligation: need to prove termination of the following program: public class DuplicateTreePath { public static void main(String[] args) { Random.args = args; Tree t = Tree.createTree(); duplicateRandomPath(t); } public static void duplicateRandomPath(Tree tree) { Tree cur = tree; while (cur != null) { if (Random.random() < 42 && cur.left != null) { //go left Tree t = new Tree(cur.left, cur.right); t.value = cur.value; cur.right = null; cur.left = t; cur = cur.left.left; } else if (cur.right != null) { //go right Tree t = new Tree(cur.left, cur.right); t.value = cur.value; cur.left = null; cur.right = t; cur = cur.right.right; } else { break; } } } } public class Random { static String[] args; static int index = 0; public static int random() { String string = args[index]; index++; return string.length(); } } public class Tree { Tree left; Tree right; Object value; public Tree(Tree l, Tree r) { this.left = l; this.right = r; } public Tree() { } public static Tree createNode() { Tree result = new Tree(); result.value = new Object(); return result; } public static Tree createTree() { int counter = Random.random(); if (counter == 0) { return null; } Tree result = createNode(); Tree t = result; while (counter > 0) { int branch = Random.random(); if (branch > 0) { if (t.left == null) { t.left = createNode(); t = result; } else { t = t.left; } } else { if (t.right == null) { t.right = createNode(); t = result; } else { t = t.right; } } counter--; } return result; } public static void main(String[] args) { Random.args = args; createTree(); } } ---------------------------------------- (3) JBCToGraph (EQUIVALENT) Constructed TerminationGraph. ---------------------------------------- (4) Obligation: Termination Graph based on JBC Program: DuplicateTreePath.main([Ljava/lang/String;)V: Graph of 59 nodes with 0 SCCs. Tree.createTree()LTree;: Graph of 316 nodes with 1 SCC. DuplicateTreePath.duplicateRandomPath(LTree;)V: Graph of 227 nodes with 1 SCC. ---------------------------------------- (5) TerminationGraphToSCCProof (SOUND) Splitted TerminationGraph to 2 SCCss. ---------------------------------------- (6) Complex Obligation (AND) ---------------------------------------- (7) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: DuplicateTreePath.duplicateRandomPath(LTree;)V SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *java.lang.String: [count] *Tree: [left, right, value] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (8) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 144 rules for P and 0 rules for R.P rules: f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(o1708sub))), java.lang.Object(o1735sub), java.lang.Object(o1735sub)) -> f6404_0_duplicateRandomPath_NULL(EOS(STATIC_6404(java.lang.Object(o1708sub))), java.lang.Object(o1735sub), java.lang.Object(o1735sub)) :|: TRUE f6404_0_duplicateRandomPath_NULL(EOS(STATIC_6404(java.lang.Object(o1708sub))), java.lang.Object(o1735sub), java.lang.Object(o1735sub)) -> f6410_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6410(java.lang.Object(o1708sub))), java.lang.Object(o1735sub)) :|: TRUE f6410_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6410(java.lang.Object(o1708sub))), java.lang.Object(o1735sub)) -> f6416_0_random_FieldAccess(EOS(STATIC_6416(java.lang.Object(o1708sub))), java.lang.Object(o1735sub)) :|: TRUE f6416_0_random_FieldAccess(EOS(STATIC_6416(java.lang.Object(o1708sub))), java.lang.Object(o1735sub)) -> f6426_0_random_FieldAccess(EOS(STATIC_6426(java.lang.Object(o1708sub))), java.lang.Object(o1735sub), java.lang.Object(o1708sub)) :|: TRUE f6426_0_random_FieldAccess(EOS(STATIC_6426(java.lang.Object(o1708sub))), java.lang.Object(o1735sub), java.lang.Object(o1708sub)) -> f6431_0_random_ArrayAccess(EOS(STATIC_6431(java.lang.Object(o1708sub))), java.lang.Object(o1735sub), java.lang.Object(o1708sub)) :|: TRUE f6431_0_random_ArrayAccess(EOS(STATIC_6431(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(ARRAY(i1447))) -> f6433_0_random_ArrayAccess(EOS(STATIC_6433(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(ARRAY(i1447))) :|: TRUE f6433_0_random_ArrayAccess(EOS(STATIC_6433(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(ARRAY(i1447))) -> f6437_0_random_ArrayAccess(EOS(STATIC_6437(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(ARRAY(i1447))) :|: TRUE f6437_0_random_ArrayAccess(EOS(STATIC_6437(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(ARRAY(i1447))) -> f6441_0_random_ArrayAccess(EOS(STATIC_6441(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(ARRAY(i1447))) :|: TRUE f6441_0_random_ArrayAccess(EOS(STATIC_6441(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(ARRAY(i1447))) -> f6445_0_random_Store(EOS(STATIC_6445(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) :|: TRUE f6445_0_random_Store(EOS(STATIC_6445(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) -> f6449_0_random_FieldAccess(EOS(STATIC_6449(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) :|: TRUE f6449_0_random_FieldAccess(EOS(STATIC_6449(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) -> f6452_0_random_ConstantStackPush(EOS(STATIC_6452(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) :|: TRUE f6452_0_random_ConstantStackPush(EOS(STATIC_6452(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) -> f6457_0_random_IntArithmetic(EOS(STATIC_6457(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) :|: TRUE f6457_0_random_IntArithmetic(EOS(STATIC_6457(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) -> f6463_0_random_FieldAccess(EOS(STATIC_6463(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) :|: TRUE f6463_0_random_FieldAccess(EOS(STATIC_6463(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) -> f6469_0_random_Load(EOS(STATIC_6469(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) :|: TRUE f6469_0_random_Load(EOS(STATIC_6469(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) -> f6474_0_random_InvokeMethod(EOS(STATIC_6474(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), o1767) :|: TRUE f6474_0_random_InvokeMethod(EOS(STATIC_6474(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1801sub)) -> f6480_0_random_InvokeMethod(EOS(STATIC_6480(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1801sub)) :|: TRUE f6480_0_random_InvokeMethod(EOS(STATIC_6480(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1804sub)) -> f6487_0_random_InvokeMethod(EOS(STATIC_6487(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1804sub)) :|: TRUE f6487_0_random_InvokeMethod(EOS(STATIC_6487(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1804sub)) -> f6493_0_length_Load(EOS(STATIC_6493(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1804sub)) :|: TRUE f6493_0_length_Load(EOS(STATIC_6493(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1804sub)) -> f6504_0_length_FieldAccess(EOS(STATIC_6504(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1804sub)) :|: TRUE f6504_0_length_FieldAccess(EOS(STATIC_6504(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(java.lang.String(EOC, i1495))) -> f6511_0_length_FieldAccess(EOS(STATIC_6511(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(java.lang.String(EOC, i1495))) :|: i1495 >= 0 f6511_0_length_FieldAccess(EOS(STATIC_6511(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(java.lang.String(EOC, i1495))) -> f6518_0_length_Return(EOS(STATIC_6518(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1495) :|: TRUE f6518_0_length_Return(EOS(STATIC_6518(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1495) -> f6525_0_random_Return(EOS(STATIC_6525(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1495) :|: TRUE f6525_0_random_Return(EOS(STATIC_6525(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1495) -> f6531_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6531(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1495) :|: TRUE f6531_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6531(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1495) -> f6536_0_duplicateRandomPath_GE(EOS(STATIC_6536(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1495, 42) :|: TRUE f6536_0_duplicateRandomPath_GE(EOS(STATIC_6536(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1514, matching1) -> f6544_0_duplicateRandomPath_GE(EOS(STATIC_6544(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1514, 42) :|: TRUE && matching1 = 42 f6536_0_duplicateRandomPath_GE(EOS(STATIC_6536(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1515, matching1) -> f6545_0_duplicateRandomPath_GE(EOS(STATIC_6545(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1515, 42) :|: TRUE && matching1 = 42 f6544_0_duplicateRandomPath_GE(EOS(STATIC_6544(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1514, matching1) -> f6551_0_duplicateRandomPath_Load(EOS(STATIC_6551(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub)) :|: i1514 < 42 && matching1 = 42 f6551_0_duplicateRandomPath_Load(EOS(STATIC_6551(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub)) -> f6558_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6558(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1735sub)) :|: TRUE f6558_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6558(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1850, o1851, o1852)), java.lang.Object(Tree(EOC, o1850, o1851, o1852))) -> f6567_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6567(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1850, o1851, o1852)), java.lang.Object(Tree(EOC, o1850, o1851, o1852))) :|: TRUE f6567_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6567(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1850, o1851, o1852)), java.lang.Object(Tree(EOC, o1850, o1851, o1852))) -> f6575_0_duplicateRandomPath_NULL(EOS(STATIC_6575(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1850, o1851, o1852)), o1850) :|: TRUE f6575_0_duplicateRandomPath_NULL(EOS(STATIC_6575(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(o1862sub)) -> f6584_0_duplicateRandomPath_NULL(EOS(STATIC_6584(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(o1862sub)) :|: TRUE f6575_0_duplicateRandomPath_NULL(EOS(STATIC_6575(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852)), NULL) -> f6585_0_duplicateRandomPath_NULL(EOS(STATIC_6585(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852)), NULL) :|: TRUE f6584_0_duplicateRandomPath_NULL(EOS(STATIC_6584(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(o1862sub)) -> f6595_0_duplicateRandomPath_New(EOS(STATIC_6595(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6595_0_duplicateRandomPath_New(EOS(STATIC_6595(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6606_0_duplicateRandomPath_Duplicate(EOS(STATIC_6606(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6606_0_duplicateRandomPath_Duplicate(EOS(STATIC_6606(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6618_0_duplicateRandomPath_Load(EOS(STATIC_6618(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6618_0_duplicateRandomPath_Load(EOS(STATIC_6618(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6629_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6629(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6629_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6629(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6643_0_duplicateRandomPath_Load(EOS(STATIC_6643(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub)) :|: TRUE f6643_0_duplicateRandomPath_Load(EOS(STATIC_6643(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub)) -> f6654_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6654(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6654_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6654(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6669_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6669(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851) :|: TRUE f6669_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6669(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851) -> f6681_0__init__Load(EOS(STATIC_6681(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851) :|: TRUE f6681_0__init__Load(EOS(STATIC_6681(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851) -> f6707_0__init__InvokeMethod(EOS(STATIC_6707(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6707_0__init__InvokeMethod(EOS(STATIC_6707(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6717_0__init__Load(EOS(STATIC_6717(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851) :|: TRUE f6717_0__init__Load(EOS(STATIC_6717(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851) -> f6726_0__init__Load(EOS(STATIC_6726(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6726_0__init__Load(EOS(STATIC_6726(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub), o1851, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6739_0__init__FieldAccess(EOS(STATIC_6739(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1851, java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub)) :|: TRUE f6739_0__init__FieldAccess(EOS(STATIC_6739(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1851, java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1862sub)) -> f6747_0__init__Load(EOS(STATIC_6747(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), o1851) :|: TRUE f6747_0__init__Load(EOS(STATIC_6747(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), o1851) -> f6751_0__init__Load(EOS(STATIC_6751(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), o1851, java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL))) :|: TRUE f6751_0__init__Load(EOS(STATIC_6751(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), o1851, java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL))) -> f6757_0__init__FieldAccess(EOS(STATIC_6757(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), o1851) :|: TRUE f6757_0__init__FieldAccess(EOS(STATIC_6757(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, NULL)), o1851) -> f6762_0__init__Return(EOS(STATIC_6762(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) :|: TRUE f6762_0__init__Return(EOS(STATIC_6762(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) -> f6768_0_duplicateRandomPath_Store(EOS(STATIC_6768(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) :|: TRUE f6768_0_duplicateRandomPath_Store(EOS(STATIC_6768(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) -> f6773_0_duplicateRandomPath_Load(EOS(STATIC_6773(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) :|: TRUE f6773_0_duplicateRandomPath_Load(EOS(STATIC_6773(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) -> f6778_0_duplicateRandomPath_Load(EOS(STATIC_6778(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) :|: TRUE f6778_0_duplicateRandomPath_Load(EOS(STATIC_6778(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL))) -> f6783_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6783(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6783_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6783(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6788_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6788(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), o1852) :|: TRUE f6788_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6788(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, NULL)), o1852) -> f6793_0_duplicateRandomPath_Load(EOS(STATIC_6793(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6793_0_duplicateRandomPath_Load(EOS(STATIC_6793(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6798_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6798(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6798_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6798(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6803_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6803(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), NULL) :|: TRUE f6803_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6803(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), NULL) -> f6808_0_duplicateRandomPath_Load(EOS(STATIC_6808(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6808_0_duplicateRandomPath_Load(EOS(STATIC_6808(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6815_0_duplicateRandomPath_Load(EOS(STATIC_6815(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852))) :|: TRUE f6815_0_duplicateRandomPath_Load(EOS(STATIC_6815(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852))) -> f6822_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6822(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6822_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6822(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), NULL, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6829_0_duplicateRandomPath_Load(EOS(STATIC_6829(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), NULL, o1852))) :|: TRUE f6829_0_duplicateRandomPath_Load(EOS(STATIC_6829(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), NULL, o1852))) -> f6836_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6836(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), NULL, o1852))) :|: TRUE f6836_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6836(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852)), NULL, o1852))) -> f6843_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6843(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) :|: TRUE f6843_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6843(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub), o1851, o1852))) -> f6850_0_duplicateRandomPath_Store(EOS(STATIC_6850(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1862sub)) :|: TRUE f6850_0_duplicateRandomPath_Store(EOS(STATIC_6850(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1862sub)) -> f6857_0_duplicateRandomPath_JMP(EOS(STATIC_6857(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1862sub)) :|: TRUE f6857_0_duplicateRandomPath_JMP(EOS(STATIC_6857(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1862sub)) -> f6860_0_duplicateRandomPath_Load(EOS(STATIC_6860(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1862sub)) :|: TRUE f6860_0_duplicateRandomPath_Load(EOS(STATIC_6860(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1862sub)) -> f6394_0_duplicateRandomPath_Load(EOS(STATIC_6394(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1862sub)) :|: TRUE f6394_0_duplicateRandomPath_Load(EOS(STATIC_6394(java.lang.Object(o1708sub))), o1711) -> f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(o1708sub))), o1711, o1711) :|: TRUE f6585_0_duplicateRandomPath_NULL(EOS(STATIC_6585(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852)), NULL) -> f6596_0_duplicateRandomPath_Load(EOS(STATIC_6596(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852))) :|: TRUE f6596_0_duplicateRandomPath_Load(EOS(STATIC_6596(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852))) -> f6607_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6607(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852)), java.lang.Object(Tree(EOC, NULL, o1851, o1852))) :|: TRUE f6607_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6607(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852)), java.lang.Object(Tree(EOC, NULL, o1851, o1852))) -> f6619_0_duplicateRandomPath_NULL(EOS(STATIC_6619(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, o1851, o1852)), o1851) :|: TRUE f6619_0_duplicateRandomPath_NULL(EOS(STATIC_6619(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(o1885sub)) -> f6630_0_duplicateRandomPath_NULL(EOS(STATIC_6630(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(o1885sub)) :|: TRUE f6630_0_duplicateRandomPath_NULL(EOS(STATIC_6630(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(o1885sub)) -> f6644_0_duplicateRandomPath_New(EOS(STATIC_6644(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6644_0_duplicateRandomPath_New(EOS(STATIC_6644(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6655_0_duplicateRandomPath_Duplicate(EOS(STATIC_6655(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6655_0_duplicateRandomPath_Duplicate(EOS(STATIC_6655(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6670_0_duplicateRandomPath_Load(EOS(STATIC_6670(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6670_0_duplicateRandomPath_Load(EOS(STATIC_6670(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6682_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6682(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6682_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6682(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6697_0_duplicateRandomPath_Load(EOS(STATIC_6697(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL) :|: TRUE f6697_0_duplicateRandomPath_Load(EOS(STATIC_6697(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL) -> f6708_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6708(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6708_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6708(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6718_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6718(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub)) :|: TRUE f6718_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6718(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub)) -> f6727_0__init__Load(EOS(STATIC_6727(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub)) :|: TRUE f6727_0__init__Load(EOS(STATIC_6727(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub)) -> f6748_0__init__InvokeMethod(EOS(STATIC_6748(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6748_0__init__InvokeMethod(EOS(STATIC_6748(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6752_0__init__Load(EOS(STATIC_6752(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub)) :|: TRUE f6752_0__init__Load(EOS(STATIC_6752(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub)) -> f6758_0__init__Load(EOS(STATIC_6758(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6758_0__init__Load(EOS(STATIC_6758(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL, java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6763_0__init__FieldAccess(EOS(STATIC_6763(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL) :|: TRUE f6763_0__init__FieldAccess(EOS(STATIC_6763(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), NULL) -> f6769_0__init__Load(EOS(STATIC_6769(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub)) :|: TRUE f6769_0__init__Load(EOS(STATIC_6769(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub)) -> f6774_0__init__Load(EOS(STATIC_6774(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6774_0__init__Load(EOS(STATIC_6774(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6779_0__init__FieldAccess(EOS(STATIC_6779(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub)) :|: TRUE f6779_0__init__FieldAccess(EOS(STATIC_6779(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1885sub)) -> f6784_0__init__Return(EOS(STATIC_6784(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) :|: TRUE f6784_0__init__Return(EOS(STATIC_6784(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) -> f6789_0_duplicateRandomPath_Store(EOS(STATIC_6789(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) :|: TRUE f6789_0_duplicateRandomPath_Store(EOS(STATIC_6789(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) -> f6794_0_duplicateRandomPath_Load(EOS(STATIC_6794(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) :|: TRUE f6794_0_duplicateRandomPath_Load(EOS(STATIC_6794(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) -> f6799_0_duplicateRandomPath_Load(EOS(STATIC_6799(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) :|: TRUE f6799_0_duplicateRandomPath_Load(EOS(STATIC_6799(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL))) -> f6804_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6804(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6804_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6804(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6809_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6809(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), o1852) :|: TRUE f6809_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6809(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), NULL)), o1852) -> f6816_0_duplicateRandomPath_Load(EOS(STATIC_6816(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6816_0_duplicateRandomPath_Load(EOS(STATIC_6816(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6823_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6823(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6823_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6823(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6830_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6830(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), NULL) :|: TRUE f6830_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6830(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), NULL) -> f6837_0_duplicateRandomPath_Load(EOS(STATIC_6837(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6837_0_duplicateRandomPath_Load(EOS(STATIC_6837(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6844_0_duplicateRandomPath_Load(EOS(STATIC_6844(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6844_0_duplicateRandomPath_Load(EOS(STATIC_6844(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6851_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6851(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6851_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6851(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6858_0_duplicateRandomPath_Load(EOS(STATIC_6858(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), o1852))) :|: TRUE f6858_0_duplicateRandomPath_Load(EOS(STATIC_6858(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), o1852))) -> f6861_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6861(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), o1852))) :|: TRUE f6861_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6861(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852)), o1852))) -> f6863_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6863(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) :|: TRUE f6863_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6863(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub), o1852))) -> f6864_0_duplicateRandomPath_Store(EOS(STATIC_6864(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1885sub)) :|: TRUE f6864_0_duplicateRandomPath_Store(EOS(STATIC_6864(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1885sub)) -> f6865_0_duplicateRandomPath_JMP(EOS(STATIC_6865(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1885sub)) :|: TRUE f6865_0_duplicateRandomPath_JMP(EOS(STATIC_6865(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1885sub)) -> f6866_0_duplicateRandomPath_Load(EOS(STATIC_6866(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1885sub)) :|: TRUE f6866_0_duplicateRandomPath_Load(EOS(STATIC_6866(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1885sub)) -> f6394_0_duplicateRandomPath_Load(EOS(STATIC_6394(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1885sub)) :|: TRUE f6545_0_duplicateRandomPath_GE(EOS(STATIC_6545(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), i1515, matching1) -> f6552_0_duplicateRandomPath_Load(EOS(STATIC_6552(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub)) :|: i1515 >= 42 && matching1 = 42 f6552_0_duplicateRandomPath_Load(EOS(STATIC_6552(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub)) -> f6559_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6559(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1735sub), java.lang.Object(o1735sub)) :|: TRUE f6559_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6559(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, o1855, o1856)), java.lang.Object(Tree(EOC, o1854, o1855, o1856))) -> f6568_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6568(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, o1855, o1856)), java.lang.Object(Tree(EOC, o1854, o1855, o1856))) :|: TRUE f6568_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6568(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, o1855, o1856)), java.lang.Object(Tree(EOC, o1854, o1855, o1856))) -> f6576_0_duplicateRandomPath_NULL(EOS(STATIC_6576(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, o1855, o1856)), o1855) :|: TRUE f6576_0_duplicateRandomPath_NULL(EOS(STATIC_6576(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(o1863sub)) -> f6586_0_duplicateRandomPath_NULL(EOS(STATIC_6586(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(o1863sub)) :|: TRUE f6586_0_duplicateRandomPath_NULL(EOS(STATIC_6586(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(o1863sub)) -> f6597_0_duplicateRandomPath_New(EOS(STATIC_6597(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6597_0_duplicateRandomPath_New(EOS(STATIC_6597(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6608_0_duplicateRandomPath_Duplicate(EOS(STATIC_6608(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6608_0_duplicateRandomPath_Duplicate(EOS(STATIC_6608(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6620_0_duplicateRandomPath_Load(EOS(STATIC_6620(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6620_0_duplicateRandomPath_Load(EOS(STATIC_6620(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6632_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6632(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6632_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6632(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6646_0_duplicateRandomPath_Load(EOS(STATIC_6646(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854) :|: TRUE f6646_0_duplicateRandomPath_Load(EOS(STATIC_6646(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854) -> f6657_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6657(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6657_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6657(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6671_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6671(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub)) :|: TRUE f6671_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6671(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub)) -> f6685_0__init__Load(EOS(STATIC_6685(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub)) :|: TRUE f6685_0__init__Load(EOS(STATIC_6685(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub)) -> f6709_0__init__InvokeMethod(EOS(STATIC_6709(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6709_0__init__InvokeMethod(EOS(STATIC_6709(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6719_0__init__Load(EOS(STATIC_6719(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub)) :|: TRUE f6719_0__init__Load(EOS(STATIC_6719(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub)) -> f6728_0__init__Load(EOS(STATIC_6728(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE f6728_0__init__Load(EOS(STATIC_6728(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854, java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6740_0__init__FieldAccess(EOS(STATIC_6740(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854) :|: TRUE f6740_0__init__FieldAccess(EOS(STATIC_6740(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1854) -> f6749_0__init__Load(EOS(STATIC_6749(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(o1863sub)) :|: TRUE f6749_0__init__Load(EOS(STATIC_6749(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(o1863sub)) -> f6753_0__init__Load(EOS(STATIC_6753(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, o1854, NULL, NULL))) :|: TRUE f6753_0__init__Load(EOS(STATIC_6753(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(o1863sub), java.lang.Object(Tree(EOC, o1854, NULL, NULL))) -> f6759_0__init__FieldAccess(EOS(STATIC_6759(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(o1863sub)) :|: TRUE f6759_0__init__FieldAccess(EOS(STATIC_6759(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(Tree(EOC, o1854, NULL, NULL)), java.lang.Object(o1863sub)) -> f6764_0__init__Return(EOS(STATIC_6764(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) :|: TRUE f6764_0__init__Return(EOS(STATIC_6764(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) -> f6770_0_duplicateRandomPath_Store(EOS(STATIC_6770(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) :|: TRUE f6770_0_duplicateRandomPath_Store(EOS(STATIC_6770(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) -> f6775_0_duplicateRandomPath_Load(EOS(STATIC_6775(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) :|: TRUE f6775_0_duplicateRandomPath_Load(EOS(STATIC_6775(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) -> f6780_0_duplicateRandomPath_Load(EOS(STATIC_6780(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) :|: TRUE f6780_0_duplicateRandomPath_Load(EOS(STATIC_6780(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL))) -> f6785_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6785(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6785_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6785(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6790_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6790(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), o1856) :|: TRUE f6790_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6790(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), NULL)), o1856) -> f6795_0_duplicateRandomPath_Load(EOS(STATIC_6795(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6795_0_duplicateRandomPath_Load(EOS(STATIC_6795(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6800_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6800(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6800_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6800(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6805_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6805(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), NULL) :|: TRUE f6805_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6805(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), NULL) -> f6810_0_duplicateRandomPath_Load(EOS(STATIC_6810(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6810_0_duplicateRandomPath_Load(EOS(STATIC_6810(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6817_0_duplicateRandomPath_Load(EOS(STATIC_6817(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856))) :|: TRUE f6817_0_duplicateRandomPath_Load(EOS(STATIC_6817(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856))) -> f6824_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6824(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6824_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6824(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1863sub), o1856)), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6831_0_duplicateRandomPath_Load(EOS(STATIC_6831(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), o1856))) :|: TRUE f6831_0_duplicateRandomPath_Load(EOS(STATIC_6831(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), o1856))) -> f6838_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6838(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), o1856))) :|: TRUE f6838_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6838(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856)), o1856))) -> f6845_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6845(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) :|: TRUE f6845_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6845(java.lang.Object(ARRAY(i1447)))), java.lang.Object(Tree(EOC, o1854, java.lang.Object(o1863sub), o1856))) -> f6852_0_duplicateRandomPath_Store(EOS(STATIC_6852(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1863sub)) :|: TRUE f6852_0_duplicateRandomPath_Store(EOS(STATIC_6852(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1863sub)) -> f6859_0_duplicateRandomPath_JMP(EOS(STATIC_6859(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1863sub)) :|: TRUE f6859_0_duplicateRandomPath_JMP(EOS(STATIC_6859(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1863sub)) -> f6862_0_duplicateRandomPath_Load(EOS(STATIC_6862(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1863sub)) :|: TRUE f6862_0_duplicateRandomPath_Load(EOS(STATIC_6862(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1863sub)) -> f6394_0_duplicateRandomPath_Load(EOS(STATIC_6394(java.lang.Object(ARRAY(i1447)))), java.lang.Object(o1863sub)) :|: TRUE R rules: Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules: f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(ARRAY(i1447:0)))), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub:0), o1851:0, o1852:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1862sub:0), o1851:0, o1852:0))) -> f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(ARRAY(i1447:0)))), java.lang.Object(o1862sub:0), java.lang.Object(o1862sub:0)) :|: TRUE f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(ARRAY(i1447:0)))), java.lang.Object(Tree(EOC, o1854:0, java.lang.Object(o1863sub:0), o1856:0)), java.lang.Object(Tree(EOC, o1854:0, java.lang.Object(o1863sub:0), o1856:0))) -> f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(ARRAY(i1447:0)))), java.lang.Object(o1863sub:0), java.lang.Object(o1863sub:0)) :|: TRUE f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(ARRAY(i1447:0)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub:0), o1852:0)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1885sub:0), o1852:0))) -> f6399_0_duplicateRandomPath_NULL(EOS(STATIC_6399(java.lang.Object(ARRAY(i1447:0)))), java.lang.Object(o1885sub:0), java.lang.Object(o1885sub:0)) :|: TRUE R rules: Filtered ground terms: Tree(x1, x2, x3, x4) -> Tree(x2, x3, x4) Filtered unneeded arguments: f6399_0_duplicateRandomPath_NULL(x1, x2, x3) -> f6399_0_duplicateRandomPath_NULL(x2, x3) Tree(x1, x2, x3) -> Tree(x1, x2) Filtered duplicate args: f6399_0_duplicateRandomPath_NULL(x1, x2) -> f6399_0_duplicateRandomPath_NULL(x2) Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules: F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1885sub:0:0)))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1885sub:0:0)) :|: TRUE F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1862sub:0:0), o1851:0:0))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1862sub:0:0)) :|: TRUE F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1854:0:0, java.lang.Object(o1863sub:0:0)))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1863sub:0:0)) :|: TRUE R rules: ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1885sub:0:0)))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1885sub:0:0)) F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1862sub:0:0), o1851:0:0))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1862sub:0:0)) F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1854:0:0, java.lang.Object(o1863sub:0:0)))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1863sub:0:0)) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (10) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1885sub:0:0)))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1885sub:0:0)) The graph contains the following edges 1 > 1 *F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1862sub:0:0), o1851:0:0))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1862sub:0:0)) The graph contains the following edges 1 > 1 *F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1854:0:0, java.lang.Object(o1863sub:0:0)))) -> F6399_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1863sub:0:0)) The graph contains the following edges 1 > 1 ---------------------------------------- (11) YES ---------------------------------------- (12) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Tree.createTree()LTree; SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *java.lang.String: [count] *Tree: [right, left] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (13) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 120 IRulesP rules: f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1448) -> f6435_0_createTree_LE(EOS(STATIC_6435(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1448) :|: TRUE f6435_0_createTree_LE(EOS(STATIC_6435(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1448) -> f6439_0_createTree_InvokeMethod(EOS(STATIC_6439(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) :|: i1448 > 0 f6439_0_createTree_InvokeMethod(EOS(STATIC_6439(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) -> f6444_0_random_FieldAccess(EOS(STATIC_6444(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) :|: TRUE f6444_0_random_FieldAccess(EOS(STATIC_6444(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) -> f6450_0_random_FieldAccess(EOS(STATIC_6450(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) :|: TRUE f6450_0_random_FieldAccess(EOS(STATIC_6450(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) -> f6456_0_random_ArrayAccess(EOS(STATIC_6456(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) :|: TRUE f6456_0_random_ArrayAccess(EOS(STATIC_6456(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) -> f6461_0_random_ArrayAccess(EOS(STATIC_6461(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) :|: TRUE f6461_0_random_ArrayAccess(EOS(STATIC_6461(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) -> f6466_0_random_ArrayAccess(EOS(STATIC_6466(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) :|: TRUE f6466_0_random_ArrayAccess(EOS(STATIC_6466(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(ARRAY(i6))) -> f6472_0_random_Store(EOS(STATIC_6472(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) :|: TRUE f6472_0_random_Store(EOS(STATIC_6472(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) -> f6478_0_random_FieldAccess(EOS(STATIC_6478(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) :|: TRUE f6478_0_random_FieldAccess(EOS(STATIC_6478(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) -> f6484_0_random_ConstantStackPush(EOS(STATIC_6484(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) :|: TRUE f6484_0_random_ConstantStackPush(EOS(STATIC_6484(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) -> f6491_0_random_IntArithmetic(EOS(STATIC_6491(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) :|: TRUE f6491_0_random_IntArithmetic(EOS(STATIC_6491(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) -> f6497_0_random_FieldAccess(EOS(STATIC_6497(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) :|: TRUE f6497_0_random_FieldAccess(EOS(STATIC_6497(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) -> f6501_0_random_Load(EOS(STATIC_6501(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) :|: TRUE f6501_0_random_Load(EOS(STATIC_6501(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) -> f6509_0_random_InvokeMethod(EOS(STATIC_6509(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), o1796) :|: TRUE f6509_0_random_InvokeMethod(EOS(STATIC_6509(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1831sub)) -> f6515_0_random_InvokeMethod(EOS(STATIC_6515(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1831sub)) :|: TRUE f6515_0_random_InvokeMethod(EOS(STATIC_6515(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1832sub)) -> f6521_0_random_InvokeMethod(EOS(STATIC_6521(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1832sub)) :|: TRUE f6521_0_random_InvokeMethod(EOS(STATIC_6521(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1832sub)) -> f6528_0_length_Load(EOS(STATIC_6528(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1832sub)) :|: TRUE f6528_0_length_Load(EOS(STATIC_6528(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1832sub)) -> f6540_0_length_FieldAccess(EOS(STATIC_6540(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1832sub)) :|: TRUE f6540_0_length_FieldAccess(EOS(STATIC_6540(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(java.lang.String(EOC, i1519))) -> f6548_0_length_FieldAccess(EOS(STATIC_6548(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(java.lang.String(EOC, i1519))) :|: i1519 >= 0 f6548_0_length_FieldAccess(EOS(STATIC_6548(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(java.lang.String(EOC, i1519))) -> f6555_0_length_Return(EOS(STATIC_6555(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) :|: TRUE f6555_0_length_Return(EOS(STATIC_6555(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) -> f6563_0_random_Return(EOS(STATIC_6563(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) :|: TRUE f6563_0_random_Return(EOS(STATIC_6563(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) -> f6572_0_createTree_Store(EOS(STATIC_6572(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) :|: TRUE f6572_0_createTree_Store(EOS(STATIC_6572(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) -> f6580_0_createTree_Load(EOS(STATIC_6580(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) :|: TRUE f6580_0_createTree_Load(EOS(STATIC_6580(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) -> f6591_0_createTree_LE(EOS(STATIC_6591(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1519) :|: TRUE f6591_0_createTree_LE(EOS(STATIC_6591(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), matching1) -> f6602_0_createTree_LE(EOS(STATIC_6602(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), 0) :|: TRUE && matching1 = 0 f6591_0_createTree_LE(EOS(STATIC_6591(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1540) -> f6603_0_createTree_LE(EOS(STATIC_6603(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1540) :|: TRUE f6602_0_createTree_LE(EOS(STATIC_6602(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), matching1) -> f6613_0_createTree_Load(EOS(STATIC_6613(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) :|: 0 <= 0 && matching1 = 0 f6613_0_createTree_Load(EOS(STATIC_6613(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) -> f6624_0_createTree_FieldAccess(EOS(STATIC_6624(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1753sub)) :|: TRUE f6624_0_createTree_FieldAccess(EOS(STATIC_6624(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1889, o1888)), java.lang.Object(Tree(EOC, o1889, o1888))) -> f6638_0_createTree_FieldAccess(EOS(STATIC_6638(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1889, o1888)), java.lang.Object(Tree(EOC, o1889, o1888))) :|: TRUE f6638_0_createTree_FieldAccess(EOS(STATIC_6638(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1889, o1888)), java.lang.Object(Tree(EOC, o1889, o1888))) -> f6650_0_createTree_NONNULL(EOS(STATIC_6650(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1889, o1888)), o1889) :|: TRUE f6650_0_createTree_NONNULL(EOS(STATIC_6650(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub), o1888)), java.lang.Object(o1910sub)) -> f6661_0_createTree_NONNULL(EOS(STATIC_6661(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub), o1888)), java.lang.Object(o1910sub)) :|: TRUE f6650_0_createTree_NONNULL(EOS(STATIC_6650(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), NULL) -> f6662_0_createTree_NONNULL(EOS(STATIC_6662(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), NULL) :|: TRUE f6661_0_createTree_NONNULL(EOS(STATIC_6661(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub), o1888)), java.lang.Object(o1910sub)) -> f6674_0_createTree_Load(EOS(STATIC_6674(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub), o1888))) :|: TRUE f6674_0_createTree_Load(EOS(STATIC_6674(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub), o1888))) -> f6691_0_createTree_FieldAccess(EOS(STATIC_6691(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub), o1888))) :|: TRUE f6691_0_createTree_FieldAccess(EOS(STATIC_6691(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub), o1888))) -> f6701_0_createTree_Store(EOS(STATIC_6701(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) :|: TRUE f6701_0_createTree_Store(EOS(STATIC_6701(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) -> f6713_0_createTree_Inc(EOS(STATIC_6713(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) :|: TRUE f6713_0_createTree_Inc(EOS(STATIC_6713(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) -> f6720_0_createTree_JMP(EOS(STATIC_6720(java.lang.Object(ARRAY(i6)))), i1448 + -1, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) :|: TRUE f6720_0_createTree_JMP(EOS(STATIC_6720(java.lang.Object(ARRAY(i6)))), i1636, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) -> f6734_0_createTree_Load(EOS(STATIC_6734(java.lang.Object(ARRAY(i6)))), i1636, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) :|: TRUE f6734_0_createTree_Load(EOS(STATIC_6734(java.lang.Object(ARRAY(i6)))), i1636, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) -> f6430_0_createTree_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1636, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1910sub)) :|: TRUE f6430_0_createTree_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1442, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) -> f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6)))), i1442, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1442) :|: TRUE f6662_0_createTree_NONNULL(EOS(STATIC_6662(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), NULL) -> f6675_0_createTree_Load(EOS(STATIC_6675(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888))) :|: TRUE f6675_0_createTree_Load(EOS(STATIC_6675(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888))) -> f6692_0_createTree_InvokeMethod(EOS(STATIC_6692(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888))) :|: TRUE f6692_0_createTree_InvokeMethod(EOS(STATIC_6692(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888))) -> f6702_0_createNode_New(EOS(STATIC_6702(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888))) :|: TRUE f6702_0_createNode_New(EOS(STATIC_6702(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888))) -> f6721_0_createNode_Duplicate(EOS(STATIC_6721(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6721_0_createNode_Duplicate(EOS(STATIC_6721(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6735_0_createNode_InvokeMethod(EOS(STATIC_6735(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6735_0_createNode_InvokeMethod(EOS(STATIC_6735(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6742_0__init__Load(EOS(STATIC_6742(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6742_0__init__Load(EOS(STATIC_6742(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6754_0__init__InvokeMethod(EOS(STATIC_6754(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6754_0__init__InvokeMethod(EOS(STATIC_6754(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6760_0__init__Return(EOS(STATIC_6760(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6760_0__init__Return(EOS(STATIC_6760(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6765_0_createNode_Store(EOS(STATIC_6765(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6765_0_createNode_Store(EOS(STATIC_6765(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6771_0_createNode_Load(EOS(STATIC_6771(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6771_0_createNode_Load(EOS(STATIC_6771(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6776_0_createNode_New(EOS(STATIC_6776(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6776_0_createNode_New(EOS(STATIC_6776(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6781_0_createNode_Duplicate(EOS(STATIC_6781(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE f6781_0_createNode_Duplicate(EOS(STATIC_6781(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6786_0_createNode_InvokeMethod(EOS(STATIC_6786(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE f6786_0_createNode_InvokeMethod(EOS(STATIC_6786(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6791_0_createNode_FieldAccess(EOS(STATIC_6791(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE f6791_0_createNode_FieldAccess(EOS(STATIC_6791(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6796_0_createNode_Load(EOS(STATIC_6796(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6796_0_createNode_Load(EOS(STATIC_6796(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6801_0_createNode_Return(EOS(STATIC_6801(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6801_0_createNode_Return(EOS(STATIC_6801(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6806_0_createTree_FieldAccess(EOS(STATIC_6806(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6806_0_createTree_FieldAccess(EOS(STATIC_6806(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6811_0_createTree_FieldAccess(EOS(STATIC_6811(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6806_0_createTree_FieldAccess(EOS(STATIC_6806(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, NULL, o2134)), java.lang.Object(Tree(EOC, NULL, o2134)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6812_0_createTree_FieldAccess(EOS(STATIC_6812(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, NULL, o2134)), java.lang.Object(Tree(EOC, NULL, o2134)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6811_0_createTree_FieldAccess(EOS(STATIC_6811(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6818_0_createTree_Load(EOS(STATIC_6818(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751put, o1750put))) :|: TRUE f6818_0_createTree_Load(EOS(STATIC_6818(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750))) -> f6825_0_createTree_Store(EOS(STATIC_6825(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6825_0_createTree_Store(EOS(STATIC_6825(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6832_0_createTree_JMP(EOS(STATIC_6832(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6832_0_createTree_JMP(EOS(STATIC_6832(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6839_0_createTree_Inc(EOS(STATIC_6839(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6839_0_createTree_Inc(EOS(STATIC_6839(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6846_0_createTree_JMP(EOS(STATIC_6846(java.lang.Object(ARRAY(i6)))), i1448 + -1, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6846_0_createTree_JMP(EOS(STATIC_6846(java.lang.Object(ARRAY(i6)))), i1707, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6853_0_createTree_Load(EOS(STATIC_6853(java.lang.Object(ARRAY(i6)))), i1707, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6853_0_createTree_Load(EOS(STATIC_6853(java.lang.Object(ARRAY(i6)))), i1707, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6430_0_createTree_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1707, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6812_0_createTree_FieldAccess(EOS(STATIC_6812(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, NULL, o2134)), java.lang.Object(Tree(EOC, NULL, o2134)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6819_0_createTree_Load(EOS(STATIC_6819(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) :|: TRUE f6819_0_createTree_Load(EOS(STATIC_6819(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) -> f6826_0_createTree_Store(EOS(STATIC_6826(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) :|: TRUE f6826_0_createTree_Store(EOS(STATIC_6826(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) -> f6833_0_createTree_JMP(EOS(STATIC_6833(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) :|: TRUE f6833_0_createTree_JMP(EOS(STATIC_6833(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) -> f6840_0_createTree_Inc(EOS(STATIC_6840(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) :|: TRUE f6840_0_createTree_Inc(EOS(STATIC_6840(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) -> f6847_0_createTree_JMP(EOS(STATIC_6847(java.lang.Object(ARRAY(i6)))), i1448 + -1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) :|: TRUE f6847_0_createTree_JMP(EOS(STATIC_6847(java.lang.Object(ARRAY(i6)))), i1708, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) -> f6854_0_createTree_Load(EOS(STATIC_6854(java.lang.Object(ARRAY(i6)))), i1708, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) :|: TRUE f6854_0_createTree_Load(EOS(STATIC_6854(java.lang.Object(ARRAY(i6)))), i1708, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) -> f6430_0_createTree_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1708, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2134))) :|: TRUE f6603_0_createTree_LE(EOS(STATIC_6603(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), i1540) -> f6614_0_createTree_Load(EOS(STATIC_6614(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) :|: i1540 > 0 f6614_0_createTree_Load(EOS(STATIC_6614(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub)) -> f6625_0_createTree_FieldAccess(EOS(STATIC_6625(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1753sub), java.lang.Object(o1753sub)) :|: TRUE f6625_0_createTree_FieldAccess(EOS(STATIC_6625(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, o1892)), java.lang.Object(Tree(EOC, o1893, o1892))) -> f6639_0_createTree_FieldAccess(EOS(STATIC_6639(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, o1892)), java.lang.Object(Tree(EOC, o1893, o1892))) :|: TRUE f6639_0_createTree_FieldAccess(EOS(STATIC_6639(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, o1892)), java.lang.Object(Tree(EOC, o1893, o1892))) -> f6651_0_createTree_NONNULL(EOS(STATIC_6651(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, o1892)), o1892) :|: TRUE f6651_0_createTree_NONNULL(EOS(STATIC_6651(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, java.lang.Object(o1911sub))), java.lang.Object(o1911sub)) -> f6663_0_createTree_NONNULL(EOS(STATIC_6663(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, java.lang.Object(o1911sub))), java.lang.Object(o1911sub)) :|: TRUE f6651_0_createTree_NONNULL(EOS(STATIC_6651(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), NULL) -> f6664_0_createTree_NONNULL(EOS(STATIC_6664(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), NULL) :|: TRUE f6663_0_createTree_NONNULL(EOS(STATIC_6663(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, java.lang.Object(o1911sub))), java.lang.Object(o1911sub)) -> f6676_0_createTree_Load(EOS(STATIC_6676(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, java.lang.Object(o1911sub)))) :|: TRUE f6676_0_createTree_Load(EOS(STATIC_6676(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, java.lang.Object(o1911sub)))) -> f6693_0_createTree_FieldAccess(EOS(STATIC_6693(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, java.lang.Object(o1911sub)))) :|: TRUE f6693_0_createTree_FieldAccess(EOS(STATIC_6693(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, java.lang.Object(o1911sub)))) -> f6703_0_createTree_Store(EOS(STATIC_6703(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) :|: TRUE f6703_0_createTree_Store(EOS(STATIC_6703(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) -> f6714_0_createTree_JMP(EOS(STATIC_6714(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) :|: TRUE f6714_0_createTree_JMP(EOS(STATIC_6714(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) -> f6722_0_createTree_Inc(EOS(STATIC_6722(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) :|: TRUE f6722_0_createTree_Inc(EOS(STATIC_6722(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) -> f6736_0_createTree_JMP(EOS(STATIC_6736(java.lang.Object(ARRAY(i6)))), i1448 + -1, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) :|: TRUE f6736_0_createTree_JMP(EOS(STATIC_6736(java.lang.Object(ARRAY(i6)))), i1667, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) -> f6743_0_createTree_Load(EOS(STATIC_6743(java.lang.Object(ARRAY(i6)))), i1667, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) :|: TRUE f6743_0_createTree_Load(EOS(STATIC_6743(java.lang.Object(ARRAY(i6)))), i1667, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) -> f6430_0_createTree_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1667, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(o1911sub)) :|: TRUE f6664_0_createTree_NONNULL(EOS(STATIC_6664(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), NULL) -> f6677_0_createTree_Load(EOS(STATIC_6677(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL))) :|: TRUE f6677_0_createTree_Load(EOS(STATIC_6677(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL))) -> f6694_0_createTree_InvokeMethod(EOS(STATIC_6694(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL))) :|: TRUE f6694_0_createTree_InvokeMethod(EOS(STATIC_6694(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL))) -> f6704_0_createNode_New(EOS(STATIC_6704(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL))) :|: TRUE f6704_0_createNode_New(EOS(STATIC_6704(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL))) -> f6723_0_createNode_Duplicate(EOS(STATIC_6723(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6723_0_createNode_Duplicate(EOS(STATIC_6723(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6737_0_createNode_InvokeMethod(EOS(STATIC_6737(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6737_0_createNode_InvokeMethod(EOS(STATIC_6737(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6744_0__init__Load(EOS(STATIC_6744(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6744_0__init__Load(EOS(STATIC_6744(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6755_0__init__InvokeMethod(EOS(STATIC_6755(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6755_0__init__InvokeMethod(EOS(STATIC_6755(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6761_0__init__Return(EOS(STATIC_6761(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6761_0__init__Return(EOS(STATIC_6761(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6766_0_createNode_Store(EOS(STATIC_6766(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6766_0_createNode_Store(EOS(STATIC_6766(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6772_0_createNode_Load(EOS(STATIC_6772(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6772_0_createNode_Load(EOS(STATIC_6772(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6777_0_createNode_New(EOS(STATIC_6777(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6777_0_createNode_New(EOS(STATIC_6777(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6782_0_createNode_Duplicate(EOS(STATIC_6782(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE f6782_0_createNode_Duplicate(EOS(STATIC_6782(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6787_0_createNode_InvokeMethod(EOS(STATIC_6787(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE f6787_0_createNode_InvokeMethod(EOS(STATIC_6787(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6792_0_createNode_FieldAccess(EOS(STATIC_6792(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE f6792_0_createNode_FieldAccess(EOS(STATIC_6792(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6797_0_createNode_Load(EOS(STATIC_6797(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6797_0_createNode_Load(EOS(STATIC_6797(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6802_0_createNode_Return(EOS(STATIC_6802(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6802_0_createNode_Return(EOS(STATIC_6802(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6807_0_createTree_FieldAccess(EOS(STATIC_6807(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6807_0_createTree_FieldAccess(EOS(STATIC_6807(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6813_0_createTree_FieldAccess(EOS(STATIC_6813(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6807_0_createTree_FieldAccess(EOS(STATIC_6807(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, NULL)), java.lang.Object(Tree(EOC, o2143, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6814_0_createTree_FieldAccess(EOS(STATIC_6814(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, NULL)), java.lang.Object(Tree(EOC, o2143, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6813_0_createTree_FieldAccess(EOS(STATIC_6813(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1893, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6820_0_createTree_Load(EOS(STATIC_6820(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751put, o1750put))) :|: TRUE f6820_0_createTree_Load(EOS(STATIC_6820(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750))) -> f6827_0_createTree_Store(EOS(STATIC_6827(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6827_0_createTree_Store(EOS(STATIC_6827(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6834_0_createTree_JMP(EOS(STATIC_6834(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6834_0_createTree_JMP(EOS(STATIC_6834(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6841_0_createTree_Inc(EOS(STATIC_6841(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6841_0_createTree_Inc(EOS(STATIC_6841(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6848_0_createTree_JMP(EOS(STATIC_6848(java.lang.Object(ARRAY(i6)))), i1448 + -1, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6848_0_createTree_JMP(EOS(STATIC_6848(java.lang.Object(ARRAY(i6)))), i1709, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6855_0_createTree_Load(EOS(STATIC_6855(java.lang.Object(ARRAY(i6)))), i1709, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6855_0_createTree_Load(EOS(STATIC_6855(java.lang.Object(ARRAY(i6)))), i1709, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) -> f6430_0_createTree_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1709, java.lang.Object(Tree(EOC, o1751, o1750)), java.lang.Object(Tree(EOC, o1751, o1750))) :|: TRUE f6814_0_createTree_FieldAccess(EOS(STATIC_6814(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, NULL)), java.lang.Object(Tree(EOC, o2143, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6821_0_createTree_Load(EOS(STATIC_6821(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE f6821_0_createTree_Load(EOS(STATIC_6821(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6828_0_createTree_Store(EOS(STATIC_6828(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE f6828_0_createTree_Store(EOS(STATIC_6828(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6835_0_createTree_JMP(EOS(STATIC_6835(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE f6835_0_createTree_JMP(EOS(STATIC_6835(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6842_0_createTree_Inc(EOS(STATIC_6842(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE f6842_0_createTree_Inc(EOS(STATIC_6842(java.lang.Object(ARRAY(i6)))), i1448, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6849_0_createTree_JMP(EOS(STATIC_6849(java.lang.Object(ARRAY(i6)))), i1448 + -1, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE f6849_0_createTree_JMP(EOS(STATIC_6849(java.lang.Object(ARRAY(i6)))), i1710, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6856_0_createTree_Load(EOS(STATIC_6856(java.lang.Object(ARRAY(i6)))), i1710, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE f6856_0_createTree_Load(EOS(STATIC_6856(java.lang.Object(ARRAY(i6)))), i1710, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6430_0_createTree_Load(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1710, java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2143, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE Combined rules. Obtained 6 IRulesP rules: f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0, java.lang.Object(Tree(EOC, NULL, o1750:0)), java.lang.Object(Tree(EOC, NULL, o1750:0)), i1448:0) -> f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o1750:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o1750:0)), i1448:0 - 1) :|: i1448:0 > 0 f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0, java.lang.Object(Tree(EOC, o1751:0, o1750:0)), java.lang.Object(Tree(EOC, o1893:0, java.lang.Object(o1911sub:0))), i1448:0) -> f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0 - 1, java.lang.Object(Tree(EOC, o1751:0, o1750:0)), java.lang.Object(o1911sub:0), i1448:0 - 1) :|: i1448:0 > 0 && i1519:0 > 0 f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0, java.lang.Object(Tree(EOC, o1751:0, o1750:0)), java.lang.Object(Tree(EOC, NULL, o1888:0)), i1448:0) -> f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0 - 1, java.lang.Object(Tree(EOC, o1751put:0, o1750put:0)), java.lang.Object(Tree(EOC, o1751put:0, o1750put:0)), i1448:0 - 1) :|: i1448:0 > 0 f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0, java.lang.Object(Tree(EOC, o1751:0, o1750:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1910sub:0), o1888:0)), i1448:0) -> f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0 - 1, java.lang.Object(Tree(EOC, o1751:0, o1750:0)), java.lang.Object(o1910sub:0), i1448:0 - 1) :|: i1448:0 > 0 f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0, java.lang.Object(Tree(EOC, o1751:0, o1750:0)), java.lang.Object(Tree(EOC, o1893:0, NULL)), i1448:0) -> f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0 - 1, java.lang.Object(Tree(EOC, o1751put:0, o1750put:0)), java.lang.Object(Tree(EOC, o1751put:0, o1750put:0)), i1448:0 - 1) :|: i1448:0 > 0 && i1519:0 > 0 f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0, java.lang.Object(Tree(EOC, o1751:0, NULL)), java.lang.Object(Tree(EOC, o1751:0, NULL)), i1448:0) -> f6432_0_createTree_LE(EOS(STATIC_6432(java.lang.Object(ARRAY(i6:0)))), i1448:0 - 1, java.lang.Object(Tree(EOC, o1751:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o1751:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1448:0 - 1) :|: i1448:0 > 0 && i1519:0 > 0 Filtered constant ground arguments: Tree(x1, x2, x3) -> Tree(x2, x3) Filtered duplicate arguments: f6432_0_createTree_LE(x1, x2, x3, x4, x5) -> f6432_0_createTree_LE(x1, x3, x4, x5) Filtered unneeded arguments: f6432_0_createTree_LE(x1, x2, x3, x4) -> f6432_0_createTree_LE(x2, x3, x4) Finished conversion. Obtained 6 rules.P rules: f6432_0_createTree_LE(java.lang.Object(Tree(NULL, o1750:0)), java.lang.Object(Tree(NULL, o1750:0)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), i1448:0 - 1) :|: i1448:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, o1750:0)), java.lang.Object(Tree(o1893:0, java.lang.Object(o1911sub:0))), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, o1750:0)), java.lang.Object(o1911sub:0), i1448:0 - 1) :|: i1448:0 > 0 && i1519:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, o1750:0)), java.lang.Object(Tree(NULL, o1888:0)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(o1751put:0, o1750put:0)), java.lang.Object(Tree(o1751put:0, o1750put:0)), i1448:0 - 1) :|: i1448:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, o1750:0)), java.lang.Object(Tree(java.lang.Object(o1910sub:0), o1888:0)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, o1750:0)), java.lang.Object(o1910sub:0), i1448:0 - 1) :|: i1448:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, o1750:0)), java.lang.Object(Tree(o1893:0, NULL)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(o1751put:0, o1750put:0)), java.lang.Object(Tree(o1751put:0, o1750put:0)), i1448:0 - 1) :|: i1448:0 > 0 && i1519:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, NULL)), java.lang.Object(Tree(o1751:0, NULL)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(o1751:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1751:0, java.lang.Object(Tree(NULL, NULL)))), i1448:0 - 1) :|: i1448:0 > 0 && i1519:0 > 0 ---------------------------------------- (14) Obligation: Rules: f6432_0_createTree_LE(java.lang.Object(Tree(NULL, o1750:0)), java.lang.Object(Tree(NULL, o1750:0)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), i1448:0 - 1) :|: i1448:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(x2, java.lang.Object(x3))), x4) -> f6432_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(x3), x4 - 1) :|: x4 > 0 && x5 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x6, x7)), java.lang.Object(Tree(NULL, x8)), x9) -> f6432_0_createTree_LE(java.lang.Object(Tree(x10, x11)), java.lang.Object(Tree(x10, x11)), x9 - 1) :|: x9 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x12, x13)), java.lang.Object(Tree(java.lang.Object(x14), x15)), x16) -> f6432_0_createTree_LE(java.lang.Object(Tree(x12, x13)), java.lang.Object(x14), x16 - 1) :|: x16 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x17, x18)), java.lang.Object(Tree(x19, NULL)), x20) -> f6432_0_createTree_LE(java.lang.Object(Tree(x21, x22)), java.lang.Object(Tree(x21, x22)), x20 - 1) :|: x20 > 0 && x23 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x24, NULL)), java.lang.Object(Tree(x24, NULL)), x25) -> f6432_0_createTree_LE(java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), x25 - 1) :|: x25 > 0 && x26 > 0 ---------------------------------------- (15) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (16) Obligation: Rules: f6432_0_createTree_LE(java.lang.Object(Tree(NULL, o1750:0)), java.lang.Object(Tree(NULL, o1750:0)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), arith) :|: i1448:0 > 0 && arith = i1448:0 - 1 f6432_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x29, java.lang.Object(x30))), x31) -> f6432_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x30), x32) :|: x31 > 0 && x33 > 0 && x32 = x31 - 1 f6432_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(NULL, x36)), x37) -> f6432_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x38, x39)), x40) :|: x37 > 0 && x40 = x37 - 1 f6432_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(Tree(java.lang.Object(x43), x44)), x45) -> f6432_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(x43), x46) :|: x45 > 0 && x46 = x45 - 1 f6432_0_createTree_LE(java.lang.Object(Tree(x47, x48)), java.lang.Object(Tree(x49, NULL)), x50) -> f6432_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x51, x52)), x53) :|: x50 > 0 && x54 > 0 && x53 = x50 - 1 f6432_0_createTree_LE(java.lang.Object(Tree(x55, NULL)), java.lang.Object(Tree(x55, NULL)), x56) -> f6432_0_createTree_LE(java.lang.Object(Tree(x55, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x55, java.lang.Object(Tree(NULL, NULL)))), x57) :|: x56 > 0 && x58 > 0 && x57 = x56 - 1 ---------------------------------------- (17) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f6432_0_createTree_LE(java.lang.Object(Tree(NULL, o1750:0)), java.lang.Object(Tree(NULL, o1750:0)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), arith) :|: i1448:0 > 0 && arith = i1448:0 - 1 (2) f6432_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x29, java.lang.Object(x30))), x31) -> f6432_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x30), x32) :|: x31 > 0 && x33 > 0 && x32 = x31 - 1 (3) f6432_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(NULL, x36)), x37) -> f6432_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x38, x39)), x40) :|: x37 > 0 && x40 = x37 - 1 (4) f6432_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(Tree(java.lang.Object(x43), x44)), x45) -> f6432_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(x43), x46) :|: x45 > 0 && x46 = x45 - 1 (5) f6432_0_createTree_LE(java.lang.Object(Tree(x47, x48)), java.lang.Object(Tree(x49, NULL)), x50) -> f6432_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x51, x52)), x53) :|: x50 > 0 && x54 > 0 && x53 = x50 - 1 (6) f6432_0_createTree_LE(java.lang.Object(Tree(x55, NULL)), java.lang.Object(Tree(x55, NULL)), x56) -> f6432_0_createTree_LE(java.lang.Object(Tree(x55, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x55, java.lang.Object(Tree(NULL, NULL)))), x57) :|: x56 > 0 && x58 > 0 && x57 = x56 - 1 Arcs: (1) -> (2), (4), (5), (6) (2) -> (1), (2), (3), (4), (5), (6) (3) -> (1), (2), (3), (4), (5), (6) (4) -> (1), (2), (3), (4), (5), (6) (5) -> (1), (2), (3), (4), (5), (6) (6) -> (1), (2), (3), (4) This digraph is fully evaluated! ---------------------------------------- (18) Obligation: Termination digraph: Nodes: (1) f6432_0_createTree_LE(java.lang.Object(Tree(NULL, o1750:0)), java.lang.Object(Tree(NULL, o1750:0)), i1448:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0)), arith) :|: i1448:0 > 0 && arith = i1448:0 - 1 (2) f6432_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x29, java.lang.Object(x30))), x31) -> f6432_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x30), x32) :|: x31 > 0 && x33 > 0 && x32 = x31 - 1 (3) f6432_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(NULL, x36)), x37) -> f6432_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x38, x39)), x40) :|: x37 > 0 && x40 = x37 - 1 (4) f6432_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(Tree(java.lang.Object(x43), x44)), x45) -> f6432_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(x43), x46) :|: x45 > 0 && x46 = x45 - 1 (5) f6432_0_createTree_LE(java.lang.Object(Tree(x55, NULL)), java.lang.Object(Tree(x55, NULL)), x56) -> f6432_0_createTree_LE(java.lang.Object(Tree(x55, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x55, java.lang.Object(Tree(NULL, NULL)))), x57) :|: x56 > 0 && x58 > 0 && x57 = x56 - 1 (6) f6432_0_createTree_LE(java.lang.Object(Tree(x47, x48)), java.lang.Object(Tree(x49, NULL)), x50) -> f6432_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x51, x52)), x53) :|: x50 > 0 && x54 > 0 && x53 = x50 - 1 Arcs: (1) -> (2), (4), (5), (6) (2) -> (1), (2), (3), (4), (5), (6) (3) -> (1), (2), (3), (4), (5), (6) (4) -> (1), (2), (3), (4), (5), (6) (5) -> (1), (2), (3), (4) (6) -> (1), (2), (3), (4), (5), (6) This digraph is fully evaluated! ---------------------------------------- (19) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (20) Obligation: Rules: f6432_0_createTree_LE(java.lang.Object(Tree(x34:0, x35:0)), java.lang.Object(Tree(NULL, x36:0)), x37:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(Tree(x38:0, x39:0)), x37:0 - 1) :|: x37:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x47:0, x48:0)), java.lang.Object(Tree(x49:0, NULL)), x50:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(x51:0, x52:0)), java.lang.Object(Tree(x51:0, x52:0)), x50:0 - 1) :|: x50:0 > 0 && x54:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x41:0, x42:0)), java.lang.Object(Tree(java.lang.Object(x43:0), x44:0)), x45:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(x41:0, x42:0)), java.lang.Object(x43:0), x45:0 - 1) :|: x45:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(Tree(x29:0, java.lang.Object(x30:0))), x31:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(x30:0), x31:0 - 1) :|: x31:0 > 0 && x33:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(NULL, o1750:0:0)), java.lang.Object(Tree(NULL, o1750:0:0)), i1448:0:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1750:0:0)), i1448:0:0 - 1) :|: i1448:0:0 > 0 f6432_0_createTree_LE(java.lang.Object(Tree(x55:0, NULL)), java.lang.Object(Tree(x55:0, NULL)), x56:0) -> f6432_0_createTree_LE(java.lang.Object(Tree(x55:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x55:0, java.lang.Object(Tree(NULL, NULL)))), x56:0 - 1) :|: x56:0 > 0 && x58:0 > 0 ---------------------------------------- (21) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f6432_0_createTree_LE(VARIABLE, VARIABLE, INTEGER) java.lang.Object(VARIABLE) Tree(VARIABLE, VARIABLE) NULL() Replaced non-predefined constructor symbols by 0. ---------------------------------------- (22) Obligation: Rules: f6432_0_createTree_LE(c, c1, x37:0) -> f6432_0_createTree_LE(c2, c3, c4) :|: c4 = x37:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x37:0 > 0 f6432_0_createTree_LE(c5, c6, x50:0) -> f6432_0_createTree_LE(c7, c8, c9) :|: c9 = x50:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x50:0 > 0 && x54:0 > 0) ---------------------------------------- (23) PolynomialOrderProcessor (EQUIVALENT) Found the following polynomial interpretation: [f6432_0_createTree_LE(x, x1, x2)] = c*x + c1*x1 + x2 The following rules are decreasing: f6432_0_createTree_LE(c, c1, x37:0) -> f6432_0_createTree_LE(c2, c3, c4) :|: c4 = x37:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x37:0 > 0 f6432_0_createTree_LE(c5, c6, x50:0) -> f6432_0_createTree_LE(c7, c8, c9) :|: c9 = x50:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x50:0 > 0 && x54:0 > 0) The following rules are bounded: f6432_0_createTree_LE(c, c1, x37:0) -> f6432_0_createTree_LE(c2, c3, c4) :|: c4 = x37:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x37:0 > 0 f6432_0_createTree_LE(c5, c6, x50:0) -> f6432_0_createTree_LE(c7, c8, c9) :|: c9 = x50:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x50:0 > 0 && x54:0 > 0) ---------------------------------------- (24) YES