14.50/4.81 YES 14.50/4.83 proof of /export/starexec/sandbox/benchmark/theBenchmark.jar 14.50/4.83 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 14.50/4.83 14.50/4.83 14.50/4.83 termination of the given Bare JBC problem could be proven: 14.50/4.83 14.50/4.83 (0) Bare JBC problem 14.50/4.83 (1) BareJBCToJBCProof [EQUIVALENT, 96 ms] 14.50/4.83 (2) JBC problem 14.50/4.83 (3) JBCToGraph [EQUIVALENT, 1156 ms] 14.50/4.83 (4) JBCTerminationGraph 14.50/4.83 (5) TerminationGraphToSCCProof [SOUND, 0 ms] 14.50/4.83 (6) AND 14.50/4.83 (7) JBCTerminationSCC 14.50/4.83 (8) SCCToQDPProof [SOUND, 203 ms] 14.50/4.83 (9) QDP 14.50/4.83 (10) UsableRulesReductionPairsProof [EQUIVALENT, 66 ms] 14.50/4.83 (11) QDP 14.50/4.83 (12) PisEmptyProof [EQUIVALENT, 0 ms] 14.50/4.83 (13) YES 14.50/4.83 (14) JBCTerminationSCC 14.50/4.83 (15) SCCToQDPProof [SOUND, 177 ms] 14.50/4.83 (16) QDP 14.50/4.83 (17) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.50/4.83 (18) YES 14.50/4.83 (19) JBCTerminationSCC 14.50/4.83 (20) SCCToQDPProof [SOUND, 290 ms] 14.50/4.83 (21) QDP 14.50/4.83 (22) DependencyGraphProof [EQUIVALENT, 0 ms] 14.50/4.83 (23) QDP 14.50/4.83 (24) QDPSizeChangeProof [EQUIVALENT, 0 ms] 14.50/4.83 (25) YES 14.50/4.83 (26) JBCTerminationSCC 14.50/4.83 (27) SCCToIRSProof [SOUND, 128 ms] 14.50/4.83 (28) IRSwT 14.50/4.83 (29) IRSFormatTransformerProof [EQUIVALENT, 0 ms] 14.50/4.83 (30) IRSwT 14.50/4.83 (31) IRSwTTerminationDigraphProof [EQUIVALENT, 165 ms] 14.50/4.83 (32) IRSwT 14.50/4.83 (33) IntTRSCompressionProof [EQUIVALENT, 0 ms] 14.50/4.83 (34) IRSwT 14.50/4.83 (35) TempFilterProof [SOUND, 17 ms] 14.50/4.83 (36) IntTRS 14.50/4.83 (37) PolynomialOrderProcessor [EQUIVALENT, 0 ms] 14.50/4.83 (38) YES 14.50/4.83 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (0) 14.50/4.83 Obligation: 14.50/4.83 need to prove termination of the following program: 14.50/4.83 public class Count { 14.50/4.83 public static void main(String[] args) { 14.50/4.83 Random.args = args; 14.50/4.83 Tree tree = Tree.createTree(); 14.50/4.83 14.50/4.83 int c = count(tree); 14.50/4.83 } 14.50/4.83 14.50/4.83 public static Tree flatten(Tree start) { 14.50/4.83 Tree result = null; 14.50/4.83 Tree s,t,u; 14.50/4.83 14.50/4.83 while (start != null) { 14.50/4.83 14.50/4.83 if (start.left == null) { 14.50/4.83 14.50/4.83 result = new Tree(null,result); 14.50/4.83 start = start.right; 14.50/4.83 } 14.50/4.83 else { 14.50/4.83 s = start.left.left; 14.50/4.83 t = start.left.right; 14.50/4.83 u = start.right; 14.50/4.83 start = new Tree(s, new Tree(t,u)); 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 return result; 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 public static int count(Tree start) { 14.50/4.83 14.50/4.83 int res = 0; 14.50/4.83 14.50/4.83 while (start != null) { 14.50/4.83 14.50/4.83 if (start.left == null) { 14.50/4.83 14.50/4.83 res++; 14.50/4.83 start = start.right; 14.50/4.83 } 14.50/4.83 else { 14.50/4.83 start = flatten(start); 14.50/4.83 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 return res; 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 public class Random { 14.50/4.83 static String[] args; 14.50/4.83 static int index = 0; 14.50/4.83 14.50/4.83 public static int random() { 14.50/4.83 String string = args[index]; 14.50/4.83 index++; 14.50/4.83 return string.length(); 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 public class Tree { 14.50/4.83 Tree left; 14.50/4.83 Tree right; 14.50/4.83 Object value; 14.50/4.83 14.50/4.83 public Tree(Tree l, Tree r) { 14.50/4.83 this.left = l; 14.50/4.83 this.right = r; 14.50/4.83 } 14.50/4.83 14.50/4.83 public Tree() { 14.50/4.83 } 14.50/4.83 14.50/4.83 public static Tree createNode() { 14.50/4.83 Tree result = new Tree(); 14.50/4.83 result.value = new Object(); 14.50/4.83 return result; 14.50/4.83 } 14.50/4.83 14.50/4.83 public static Tree createTree() { 14.50/4.83 int counter = Random.random(); 14.50/4.83 if (counter == 0) { 14.50/4.83 return null; 14.50/4.83 } 14.50/4.83 Tree result = createNode(); 14.50/4.83 Tree t = result; 14.50/4.83 14.50/4.83 while (counter > 0) { 14.50/4.83 int branch = Random.random(); 14.50/4.83 if (branch > 0) { 14.50/4.83 if (t.left == null) { 14.50/4.83 t.left = createNode(); 14.50/4.83 t = result; 14.50/4.83 } else { 14.50/4.83 t = t.left; 14.50/4.83 } 14.50/4.83 } else { 14.50/4.83 if (t.right == null) { 14.50/4.83 t.right = createNode(); 14.50/4.83 t = result; 14.50/4.83 } else { 14.50/4.83 t = t.right; 14.50/4.83 } 14.50/4.83 } 14.50/4.83 counter--; 14.50/4.83 } 14.50/4.83 14.50/4.83 return result; 14.50/4.83 } 14.50/4.83 public static void main(String[] args) { 14.50/4.83 Random.args = args; 14.50/4.83 createTree(); 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (1) BareJBCToJBCProof (EQUIVALENT) 14.50/4.83 initialized classpath 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (2) 14.50/4.83 Obligation: 14.50/4.83 need to prove termination of the following program: 14.50/4.83 public class Count { 14.50/4.83 public static void main(String[] args) { 14.50/4.83 Random.args = args; 14.50/4.83 Tree tree = Tree.createTree(); 14.50/4.83 14.50/4.83 int c = count(tree); 14.50/4.83 } 14.50/4.83 14.50/4.83 public static Tree flatten(Tree start) { 14.50/4.83 Tree result = null; 14.50/4.83 Tree s,t,u; 14.50/4.83 14.50/4.83 while (start != null) { 14.50/4.83 14.50/4.83 if (start.left == null) { 14.50/4.83 14.50/4.83 result = new Tree(null,result); 14.50/4.83 start = start.right; 14.50/4.83 } 14.50/4.83 else { 14.50/4.83 s = start.left.left; 14.50/4.83 t = start.left.right; 14.50/4.83 u = start.right; 14.50/4.83 start = new Tree(s, new Tree(t,u)); 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 return result; 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 public static int count(Tree start) { 14.50/4.83 14.50/4.83 int res = 0; 14.50/4.83 14.50/4.83 while (start != null) { 14.50/4.83 14.50/4.83 if (start.left == null) { 14.50/4.83 14.50/4.83 res++; 14.50/4.83 start = start.right; 14.50/4.83 } 14.50/4.83 else { 14.50/4.83 start = flatten(start); 14.50/4.83 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 return res; 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 public class Random { 14.50/4.83 static String[] args; 14.50/4.83 static int index = 0; 14.50/4.83 14.50/4.83 public static int random() { 14.50/4.83 String string = args[index]; 14.50/4.83 index++; 14.50/4.83 return string.length(); 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 public class Tree { 14.50/4.83 Tree left; 14.50/4.83 Tree right; 14.50/4.83 Object value; 14.50/4.83 14.50/4.83 public Tree(Tree l, Tree r) { 14.50/4.83 this.left = l; 14.50/4.83 this.right = r; 14.50/4.83 } 14.50/4.83 14.50/4.83 public Tree() { 14.50/4.83 } 14.50/4.83 14.50/4.83 public static Tree createNode() { 14.50/4.83 Tree result = new Tree(); 14.50/4.83 result.value = new Object(); 14.50/4.83 return result; 14.50/4.83 } 14.50/4.83 14.50/4.83 public static Tree createTree() { 14.50/4.83 int counter = Random.random(); 14.50/4.83 if (counter == 0) { 14.50/4.83 return null; 14.50/4.83 } 14.50/4.83 Tree result = createNode(); 14.50/4.83 Tree t = result; 14.50/4.83 14.50/4.83 while (counter > 0) { 14.50/4.83 int branch = Random.random(); 14.50/4.83 if (branch > 0) { 14.50/4.83 if (t.left == null) { 14.50/4.83 t.left = createNode(); 14.50/4.83 t = result; 14.50/4.83 } else { 14.50/4.83 t = t.left; 14.50/4.83 } 14.50/4.83 } else { 14.50/4.83 if (t.right == null) { 14.50/4.83 t.right = createNode(); 14.50/4.83 t = result; 14.50/4.83 } else { 14.50/4.83 t = t.right; 14.50/4.83 } 14.50/4.83 } 14.50/4.83 counter--; 14.50/4.83 } 14.50/4.83 14.50/4.83 return result; 14.50/4.83 } 14.50/4.83 public static void main(String[] args) { 14.50/4.83 Random.args = args; 14.50/4.83 createTree(); 14.50/4.83 } 14.50/4.83 } 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (3) JBCToGraph (EQUIVALENT) 14.50/4.83 Constructed TerminationGraph. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (4) 14.50/4.83 Obligation: 14.50/4.83 Termination Graph based on JBC Program: 14.50/4.83 Count.main([Ljava/lang/String;)V: Graph of 44 nodes with 0 SCCs. 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 Tree.createTree()LTree;: Graph of 310 nodes with 1 SCC. 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 Count.count(LTree;)I: Graph of 34 nodes with 1 SCC. 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 Count.flatten(LTree;)LTree;: Graph of 148 nodes with 2 SCCs. 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (5) TerminationGraphToSCCProof (SOUND) 14.50/4.83 Splitted TerminationGraph to 4 SCCss. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (6) 14.50/4.83 Complex Obligation (AND) 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (7) 14.50/4.83 Obligation: 14.50/4.83 SCC of termination graph based on JBC Program. 14.50/4.83 SCC contains nodes from the following methods: Count.flatten(LTree;)LTree; 14.50/4.83 SCC calls the following helper methods: 14.50/4.83 Performed SCC analyses: 14.50/4.83 *Used field analysis yielded the following read fields: 14.50/4.83 *Tree: [left, right] 14.50/4.83 *Marker field analysis yielded the following relations that could be markers: 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (8) SCCToQDPProof (SOUND) 14.50/4.83 Transformed TerminationGraph SCC to QDP. Log: 14.50/4.83 Generated 72 rules for P and 0 rules for R.P rules: 14.50/4.83 f8342_0_flatten_NULL(EOS(STATIC_8342), java.lang.Object(o3443sub), java.lang.Object(o3443sub)) -> f8345_0_flatten_NULL(EOS(STATIC_8345), java.lang.Object(o3443sub), java.lang.Object(o3443sub)) :|: TRUE 14.50/4.83 f8345_0_flatten_NULL(EOS(STATIC_8345), java.lang.Object(o3443sub), java.lang.Object(o3443sub)) -> f8349_0_flatten_Load(EOS(STATIC_8349), java.lang.Object(o3443sub)) :|: TRUE 14.50/4.83 f8349_0_flatten_Load(EOS(STATIC_8349), java.lang.Object(o3443sub)) -> f8353_0_flatten_FieldAccess(EOS(STATIC_8353), java.lang.Object(o3443sub), java.lang.Object(o3443sub)) :|: TRUE 14.50/4.83 f8353_0_flatten_FieldAccess(EOS(STATIC_8353), java.lang.Object(Tree(EOC, o3487, o3488)), java.lang.Object(Tree(EOC, o3487, o3488))) -> f8357_0_flatten_FieldAccess(EOS(STATIC_8357), java.lang.Object(Tree(EOC, o3487, o3488)), java.lang.Object(Tree(EOC, o3487, o3488))) :|: TRUE 14.50/4.83 f8357_0_flatten_FieldAccess(EOS(STATIC_8357), java.lang.Object(Tree(EOC, o3487, o3488)), java.lang.Object(Tree(EOC, o3487, o3488))) -> f8361_0_flatten_NONNULL(EOS(STATIC_8361), java.lang.Object(Tree(EOC, o3487, o3488)), o3487) :|: TRUE 14.50/4.83 f8361_0_flatten_NONNULL(EOS(STATIC_8361), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(o3536sub)) -> f8364_0_flatten_NONNULL(EOS(STATIC_8364), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(o3536sub)) :|: TRUE 14.50/4.83 f8361_0_flatten_NONNULL(EOS(STATIC_8361), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8365_0_flatten_NONNULL(EOS(STATIC_8365), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8364_0_flatten_NONNULL(EOS(STATIC_8364), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(o3536sub)) -> f8370_0_flatten_Load(EOS(STATIC_8370), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488))) :|: TRUE 14.50/4.83 f8370_0_flatten_Load(EOS(STATIC_8370), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488))) -> f8377_0_flatten_FieldAccess(EOS(STATIC_8377), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488))) :|: TRUE 14.50/4.83 f8377_0_flatten_FieldAccess(EOS(STATIC_8377), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488))) -> f8384_0_flatten_FieldAccess(EOS(STATIC_8384), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(o3536sub)) :|: TRUE 14.50/4.83 f8384_0_flatten_FieldAccess(EOS(STATIC_8384), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, o3660, o3661))) -> f8391_0_flatten_FieldAccess(EOS(STATIC_8391), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, o3660, o3661))) :|: TRUE 14.50/4.83 f8391_0_flatten_FieldAccess(EOS(STATIC_8391), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, o3660, o3661))) -> f8397_0_flatten_Store(EOS(STATIC_8397), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660) :|: TRUE 14.50/4.83 f8397_0_flatten_Store(EOS(STATIC_8397), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660) -> f8403_0_flatten_Load(EOS(STATIC_8403), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660) :|: TRUE 14.50/4.83 f8403_0_flatten_Load(EOS(STATIC_8403), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660) -> f8407_0_flatten_FieldAccess(EOS(STATIC_8407), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) :|: TRUE 14.50/4.83 f8407_0_flatten_FieldAccess(EOS(STATIC_8407), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) -> f8410_0_flatten_FieldAccess(EOS(STATIC_8410), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, java.lang.Object(Tree(EOC, o3660, o3661))) :|: TRUE 14.50/4.83 f8410_0_flatten_FieldAccess(EOS(STATIC_8410), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, java.lang.Object(Tree(EOC, o3660, o3661))) -> f8412_0_flatten_Store(EOS(STATIC_8412), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, o3661) :|: TRUE 14.50/4.83 f8412_0_flatten_Store(EOS(STATIC_8412), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, o3661) -> f8414_0_flatten_Load(EOS(STATIC_8414), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, o3661) :|: TRUE 14.50/4.83 f8414_0_flatten_Load(EOS(STATIC_8414), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), o3660, o3661) -> f8416_0_flatten_FieldAccess(EOS(STATIC_8416), o3660, o3661, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) :|: TRUE 14.50/4.83 f8416_0_flatten_FieldAccess(EOS(STATIC_8416), o3660, o3661, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) -> f8418_0_flatten_Store(EOS(STATIC_8418), o3660, o3661, o3488) :|: TRUE 14.50/4.83 f8418_0_flatten_Store(EOS(STATIC_8418), o3660, o3661, o3488) -> f8420_0_flatten_New(EOS(STATIC_8420), o3660, o3661, o3488) :|: TRUE 14.50/4.83 f8420_0_flatten_New(EOS(STATIC_8420), o3660, o3661, o3488) -> f8422_0_flatten_Duplicate(EOS(STATIC_8422), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8422_0_flatten_Duplicate(EOS(STATIC_8422), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8424_0_flatten_Load(EOS(STATIC_8424), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8424_0_flatten_Load(EOS(STATIC_8424), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8426_0_flatten_New(EOS(STATIC_8426), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) :|: TRUE 14.50/4.83 f8426_0_flatten_New(EOS(STATIC_8426), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) -> f8428_0_flatten_Duplicate(EOS(STATIC_8428), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8428_0_flatten_Duplicate(EOS(STATIC_8428), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8430_0_flatten_Load(EOS(STATIC_8430), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8430_0_flatten_Load(EOS(STATIC_8430), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8432_0_flatten_Load(EOS(STATIC_8432), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661) :|: TRUE 14.50/4.83 f8432_0_flatten_Load(EOS(STATIC_8432), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661) -> f8434_0_flatten_InvokeMethod(EOS(STATIC_8434), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) :|: TRUE 14.50/4.83 f8434_0_flatten_InvokeMethod(EOS(STATIC_8434), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) -> f8436_0__init__Load(EOS(STATIC_8436), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) :|: TRUE 14.50/4.83 f8436_0__init__Load(EOS(STATIC_8436), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) -> f8438_0__init__InvokeMethod(EOS(STATIC_8438), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8438_0__init__InvokeMethod(EOS(STATIC_8438), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8439_0__init__Load(EOS(STATIC_8439), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) :|: TRUE 14.50/4.83 f8439_0__init__Load(EOS(STATIC_8439), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) -> f8440_0__init__Load(EOS(STATIC_8440), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8440_0__init__Load(EOS(STATIC_8440), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8441_0__init__FieldAccess(EOS(STATIC_8441), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), o3661) :|: TRUE 14.50/4.83 f8441_0__init__FieldAccess(EOS(STATIC_8441), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), o3661) -> f8442_0__init__Load(EOS(STATIC_8442), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) :|: TRUE 14.50/4.83 f8442_0__init__Load(EOS(STATIC_8442), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) -> f8443_0__init__Load(EOS(STATIC_8443), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), o3488, java.lang.Object(Tree(EOC, o3661, NULL))) :|: TRUE 14.50/4.83 f8443_0__init__Load(EOS(STATIC_8443), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), o3488, java.lang.Object(Tree(EOC, o3661, NULL))) -> f8444_0__init__FieldAccess(EOS(STATIC_8444), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) :|: TRUE 14.50/4.83 f8444_0__init__FieldAccess(EOS(STATIC_8444), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) -> f8445_0__init__Return(EOS(STATIC_8445), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8445_0__init__Return(EOS(STATIC_8445), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8446_0_flatten_InvokeMethod(EOS(STATIC_8446), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8446_0_flatten_InvokeMethod(EOS(STATIC_8446), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8447_0__init__Load(EOS(STATIC_8447), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8447_0__init__Load(EOS(STATIC_8447), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8448_0__init__InvokeMethod(EOS(STATIC_8448), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8448_0__init__InvokeMethod(EOS(STATIC_8448), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8449_0__init__Load(EOS(STATIC_8449), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8449_0__init__Load(EOS(STATIC_8449), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8450_0__init__Load(EOS(STATIC_8450), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8450_0__init__Load(EOS(STATIC_8450), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8451_0__init__FieldAccess(EOS(STATIC_8451), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) :|: TRUE 14.50/4.83 f8451_0__init__FieldAccess(EOS(STATIC_8451), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) -> f8452_0__init__Load(EOS(STATIC_8452), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8452_0__init__Load(EOS(STATIC_8452), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) -> f8453_0__init__Load(EOS(STATIC_8453), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, o3660, NULL))) :|: TRUE 14.50/4.83 f8453_0__init__Load(EOS(STATIC_8453), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, o3660, NULL))) -> f8454_0__init__FieldAccess(EOS(STATIC_8454), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8454_0__init__FieldAccess(EOS(STATIC_8454), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) -> f8455_0__init__Return(EOS(STATIC_8455), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) :|: TRUE 14.50/4.83 f8455_0__init__Return(EOS(STATIC_8455), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) -> f8456_0_flatten_Store(EOS(STATIC_8456), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) :|: TRUE 14.50/4.83 f8456_0_flatten_Store(EOS(STATIC_8456), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) -> f8457_0_flatten_JMP(EOS(STATIC_8457), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) :|: TRUE 14.50/4.83 f8457_0_flatten_JMP(EOS(STATIC_8457), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) -> f8458_0_flatten_Load(EOS(STATIC_8458), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) :|: TRUE 14.50/4.83 f8458_0_flatten_Load(EOS(STATIC_8458), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) -> f8339_0_flatten_Load(EOS(STATIC_8339), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) :|: TRUE 14.50/4.83 f8339_0_flatten_Load(EOS(STATIC_8339), o3398) -> f8342_0_flatten_NULL(EOS(STATIC_8342), o3398, o3398) :|: TRUE 14.50/4.83 f8365_0_flatten_NONNULL(EOS(STATIC_8365), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8371_0_flatten_New(EOS(STATIC_8371), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8371_0_flatten_New(EOS(STATIC_8371), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8378_0_flatten_Duplicate(EOS(STATIC_8378), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8378_0_flatten_Duplicate(EOS(STATIC_8378), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8385_0_flatten_ConstantStackPush(EOS(STATIC_8385), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8385_0_flatten_ConstantStackPush(EOS(STATIC_8385), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8392_0_flatten_Load(EOS(STATIC_8392), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8392_0_flatten_Load(EOS(STATIC_8392), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8398_0_flatten_InvokeMethod(EOS(STATIC_8398), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8398_0_flatten_InvokeMethod(EOS(STATIC_8398), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8404_0__init__Load(EOS(STATIC_8404), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8404_0__init__Load(EOS(STATIC_8404), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8411_0__init__InvokeMethod(EOS(STATIC_8411), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8411_0__init__InvokeMethod(EOS(STATIC_8411), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8413_0__init__Load(EOS(STATIC_8413), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8413_0__init__Load(EOS(STATIC_8413), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8415_0__init__Load(EOS(STATIC_8415), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8415_0__init__Load(EOS(STATIC_8415), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8417_0__init__FieldAccess(EOS(STATIC_8417), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) :|: TRUE 14.50/4.83 f8417_0__init__FieldAccess(EOS(STATIC_8417), java.lang.Object(Tree(EOC, NULL, o3488)), NULL) -> f8419_0__init__Load(EOS(STATIC_8419), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8419_0__init__Load(EOS(STATIC_8419), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8421_0__init__Load(EOS(STATIC_8421), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8421_0__init__Load(EOS(STATIC_8421), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8423_0__init__FieldAccess(EOS(STATIC_8423), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8423_0__init__FieldAccess(EOS(STATIC_8423), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8425_0__init__Return(EOS(STATIC_8425), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8425_0__init__Return(EOS(STATIC_8425), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8427_0_flatten_Store(EOS(STATIC_8427), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8427_0_flatten_Store(EOS(STATIC_8427), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8429_0_flatten_Load(EOS(STATIC_8429), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8429_0_flatten_Load(EOS(STATIC_8429), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8431_0_flatten_FieldAccess(EOS(STATIC_8431), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8431_0_flatten_FieldAccess(EOS(STATIC_8431), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8433_0_flatten_Store(EOS(STATIC_8433), o3488) :|: TRUE 14.50/4.83 f8433_0_flatten_Store(EOS(STATIC_8433), o3488) -> f8435_0_flatten_JMP(EOS(STATIC_8435), o3488) :|: TRUE 14.50/4.83 f8435_0_flatten_JMP(EOS(STATIC_8435), o3488) -> f8437_0_flatten_Load(EOS(STATIC_8437), o3488) :|: TRUE 14.50/4.83 f8437_0_flatten_Load(EOS(STATIC_8437), o3488) -> f8339_0_flatten_Load(EOS(STATIC_8339), o3488) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: 14.50/4.83 f8342_0_flatten_NULL(EOS(STATIC_8342), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660:0, o3661:0)), o3488:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660:0, o3661:0)), o3488:0))) -> f8342_0_flatten_NULL(EOS(STATIC_8342), java.lang.Object(Tree(EOC, o3660:0, java.lang.Object(Tree(EOC, o3661:0, o3488:0)))), java.lang.Object(Tree(EOC, o3660:0, java.lang.Object(Tree(EOC, o3661:0, o3488:0))))) :|: TRUE 14.50/4.83 f8342_0_flatten_NULL(EOS(STATIC_8342), java.lang.Object(Tree(EOC, NULL, o3488:0)), java.lang.Object(Tree(EOC, NULL, o3488:0))) -> f8342_0_flatten_NULL(EOS(STATIC_8342), o3488:0, o3488:0) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 Filtered ground terms: 14.50/4.83 f8342_0_flatten_NULL(x1, x2, x3) -> f8342_0_flatten_NULL(x2, x3) 14.50/4.83 EOS(x1) -> EOS 14.50/4.83 Tree(x1, x2, x3) -> Tree(x2, x3) 14.50/4.83 Filtered duplicate args: 14.50/4.83 f8342_0_flatten_NULL(x1, x2) -> f8342_0_flatten_NULL(x2) 14.50/4.83 Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: 14.50/4.83 F8342_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3660:0:0, o3661:0:0)), o3488:0:0))) -> F8342_0_FLATTEN_NULL(java.lang.Object(Tree(o3660:0:0, java.lang.Object(Tree(o3661:0:0, o3488:0:0))))) :|: TRUE 14.50/4.83 F8342_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3488:0:0))) -> F8342_0_FLATTEN_NULL(o3488:0:0) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (9) 14.50/4.83 Obligation: 14.50/4.83 Q DP problem: 14.50/4.83 The TRS P consists of the following rules: 14.50/4.83 14.50/4.83 F8342_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3660:0:0, o3661:0:0)), o3488:0:0))) -> F8342_0_FLATTEN_NULL(java.lang.Object(Tree(o3660:0:0, java.lang.Object(Tree(o3661:0:0, o3488:0:0))))) 14.50/4.83 F8342_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3488:0:0))) -> F8342_0_FLATTEN_NULL(o3488:0:0) 14.50/4.83 14.50/4.83 R is empty. 14.50/4.83 Q is empty. 14.50/4.83 We have to consider all minimal (P,Q,R)-chains. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (10) UsableRulesReductionPairsProof (EQUIVALENT) 14.50/4.83 By using the usable rules with reduction pair processor [LPAR04] with a polynomial ordering [POLO], all dependency pairs and the corresponding usable rules [FROCOS05] can be oriented non-strictly. All non-usable rules are removed, and those dependency pairs and usable rules that have been oriented strictly or contain non-usable symbols in their left-hand side are removed as well. 14.50/4.83 14.50/4.83 The following dependency pairs can be deleted: 14.50/4.83 14.50/4.83 F8342_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3660:0:0, o3661:0:0)), o3488:0:0))) -> F8342_0_FLATTEN_NULL(java.lang.Object(Tree(o3660:0:0, java.lang.Object(Tree(o3661:0:0, o3488:0:0))))) 14.50/4.83 F8342_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3488:0:0))) -> F8342_0_FLATTEN_NULL(o3488:0:0) 14.50/4.83 No rules are removed from R. 14.50/4.83 14.50/4.83 Used ordering: POLO with Polynomial interpretation [POLO]: 14.50/4.83 14.50/4.83 POL(F8342_0_FLATTEN_NULL(x_1)) = 2*x_1 14.50/4.83 POL(NULL) = 0 14.50/4.83 POL(Tree(x_1, x_2)) = 1 + 2*x_1 + x_2 14.50/4.83 POL(java.lang.Object(x_1)) = x_1 14.50/4.83 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (11) 14.50/4.83 Obligation: 14.50/4.83 Q DP problem: 14.50/4.83 P is empty. 14.50/4.83 R is empty. 14.50/4.83 Q is empty. 14.50/4.83 We have to consider all minimal (P,Q,R)-chains. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (12) PisEmptyProof (EQUIVALENT) 14.50/4.83 The TRS P is empty. Hence, there is no (P,Q,R) chain. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (13) 14.50/4.83 YES 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (14) 14.50/4.83 Obligation: 14.50/4.83 SCC of termination graph based on JBC Program. 14.50/4.83 SCC contains nodes from the following methods: Count.flatten(LTree;)LTree; 14.50/4.83 SCC calls the following helper methods: 14.50/4.83 Performed SCC analyses: 14.50/4.83 *Used field analysis yielded the following read fields: 14.50/4.83 *Tree: [left, right] 14.50/4.83 *Marker field analysis yielded the following relations that could be markers: 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (15) SCCToQDPProof (SOUND) 14.50/4.83 Transformed TerminationGraph SCC to QDP. Log: 14.50/4.83 Generated 48 rules for P and 0 rules for R.P rules: 14.50/4.83 f6389_0_flatten_NULL(EOS(STATIC_6389), java.lang.Object(Tree(EOC, o1867, o1868)), java.lang.Object(Tree(EOC, o1867, o1868))) -> f6399_0_flatten_Load(EOS(STATIC_6399), java.lang.Object(Tree(EOC, o1867, o1868))) :|: TRUE 14.50/4.83 f6399_0_flatten_Load(EOS(STATIC_6399), java.lang.Object(Tree(EOC, o1867, o1868))) -> f6414_0_flatten_FieldAccess(EOS(STATIC_6414), java.lang.Object(Tree(EOC, o1867, o1868)), java.lang.Object(Tree(EOC, o1867, o1868))) :|: TRUE 14.50/4.83 f6414_0_flatten_FieldAccess(EOS(STATIC_6414), java.lang.Object(Tree(EOC, o1867, o1868)), java.lang.Object(Tree(EOC, o1867, o1868))) -> f6427_0_flatten_NONNULL(EOS(STATIC_6427), java.lang.Object(Tree(EOC, o1867, o1868)), o1867) :|: TRUE 14.50/4.83 f6427_0_flatten_NONNULL(EOS(STATIC_6427), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), java.lang.Object(o1896sub)) -> f6447_0_flatten_NONNULL(EOS(STATIC_6447), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), java.lang.Object(o1896sub)) :|: TRUE 14.50/4.83 f6447_0_flatten_NONNULL(EOS(STATIC_6447), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), java.lang.Object(o1896sub)) -> f6474_0_flatten_Load(EOS(STATIC_6474), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868))) :|: TRUE 14.50/4.83 f6474_0_flatten_Load(EOS(STATIC_6474), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868))) -> f6497_0_flatten_FieldAccess(EOS(STATIC_6497), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868))) :|: TRUE 14.50/4.83 f6497_0_flatten_FieldAccess(EOS(STATIC_6497), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868))) -> f6519_0_flatten_FieldAccess(EOS(STATIC_6519), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), java.lang.Object(o1896sub)) :|: TRUE 14.50/4.83 f6519_0_flatten_FieldAccess(EOS(STATIC_6519), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), java.lang.Object(Tree(EOC, o1910, o1912))) -> f6543_0_flatten_FieldAccess(EOS(STATIC_6543), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), java.lang.Object(Tree(EOC, o1910, o1912))) :|: TRUE 14.50/4.83 f6543_0_flatten_FieldAccess(EOS(STATIC_6543), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), java.lang.Object(Tree(EOC, o1910, o1912))) -> f6573_0_flatten_Store(EOS(STATIC_6573), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910) :|: TRUE 14.50/4.83 f6573_0_flatten_Store(EOS(STATIC_6573), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910) -> f6596_0_flatten_Load(EOS(STATIC_6596), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910) :|: TRUE 14.50/4.83 f6596_0_flatten_Load(EOS(STATIC_6596), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910) -> f6627_0_flatten_FieldAccess(EOS(STATIC_6627), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) :|: TRUE 14.50/4.83 f6627_0_flatten_FieldAccess(EOS(STATIC_6627), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) -> f6657_0_flatten_FieldAccess(EOS(STATIC_6657), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, java.lang.Object(Tree(EOC, o1910, o1912))) :|: TRUE 14.50/4.83 f6657_0_flatten_FieldAccess(EOS(STATIC_6657), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, java.lang.Object(Tree(EOC, o1910, o1912))) -> f6684_0_flatten_Store(EOS(STATIC_6684), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, o1912) :|: TRUE 14.50/4.83 f6684_0_flatten_Store(EOS(STATIC_6684), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, o1912) -> f6709_0_flatten_Load(EOS(STATIC_6709), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, o1912) :|: TRUE 14.50/4.83 f6709_0_flatten_Load(EOS(STATIC_6709), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), o1910, o1912) -> f6734_0_flatten_FieldAccess(EOS(STATIC_6734), o1910, o1912, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) :|: TRUE 14.50/4.83 f6734_0_flatten_FieldAccess(EOS(STATIC_6734), o1910, o1912, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) -> f6796_0_flatten_Store(EOS(STATIC_6796), o1910, o1912, o1868) :|: TRUE 14.50/4.83 f6796_0_flatten_Store(EOS(STATIC_6796), o1910, o1912, o1868) -> f6925_0_flatten_New(EOS(STATIC_6925), o1910, o1912, o1868) :|: TRUE 14.50/4.83 f6925_0_flatten_New(EOS(STATIC_6925), o1910, o1912, o1868) -> f6966_0_flatten_Duplicate(EOS(STATIC_6966), o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6966_0_flatten_Duplicate(EOS(STATIC_6966), o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6973_0_flatten_Load(EOS(STATIC_6973), o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6973_0_flatten_Load(EOS(STATIC_6973), o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6987_0_flatten_New(EOS(STATIC_6987), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) :|: TRUE 14.50/4.83 f6987_0_flatten_New(EOS(STATIC_6987), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) -> f7021_0_flatten_Duplicate(EOS(STATIC_7021), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7021_0_flatten_Duplicate(EOS(STATIC_7021), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7053_0_flatten_Load(EOS(STATIC_7053), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7053_0_flatten_Load(EOS(STATIC_7053), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7065_0_flatten_Load(EOS(STATIC_7065), o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912) :|: TRUE 14.50/4.83 f7065_0_flatten_Load(EOS(STATIC_7065), o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912) -> f7078_0_flatten_InvokeMethod(EOS(STATIC_7078), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) :|: TRUE 14.50/4.83 f7078_0_flatten_InvokeMethod(EOS(STATIC_7078), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) -> f7090_0__init__Load(EOS(STATIC_7090), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) :|: TRUE 14.50/4.83 f7090_0__init__Load(EOS(STATIC_7090), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) -> f7124_0__init__InvokeMethod(EOS(STATIC_7124), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7124_0__init__InvokeMethod(EOS(STATIC_7124), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7148_0__init__Load(EOS(STATIC_7148), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) :|: TRUE 14.50/4.83 f7148_0__init__Load(EOS(STATIC_7148), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) -> f7164_0__init__Load(EOS(STATIC_7164), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7164_0__init__Load(EOS(STATIC_7164), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7180_0__init__FieldAccess(EOS(STATIC_7180), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1868, java.lang.Object(Tree(EOC, NULL, NULL)), o1912) :|: TRUE 14.50/4.83 f7180_0__init__FieldAccess(EOS(STATIC_7180), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1868, java.lang.Object(Tree(EOC, NULL, NULL)), o1912) -> f7242_0__init__Load(EOS(STATIC_7242), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) :|: TRUE 14.50/4.83 f7242_0__init__Load(EOS(STATIC_7242), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) -> f7294_0__init__Load(EOS(STATIC_7294), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), o1868, java.lang.Object(Tree(EOC, o1912, NULL))) :|: TRUE 14.50/4.83 f7294_0__init__Load(EOS(STATIC_7294), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), o1868, java.lang.Object(Tree(EOC, o1912, NULL))) -> f7315_0__init__FieldAccess(EOS(STATIC_7315), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) :|: TRUE 14.50/4.83 f7315_0__init__FieldAccess(EOS(STATIC_7315), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) -> f7345_0__init__Return(EOS(STATIC_7345), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7345_0__init__Return(EOS(STATIC_7345), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7401_0_flatten_InvokeMethod(EOS(STATIC_7401), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7401_0_flatten_InvokeMethod(EOS(STATIC_7401), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7418_0__init__Load(EOS(STATIC_7418), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7418_0__init__Load(EOS(STATIC_7418), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7485_0__init__InvokeMethod(EOS(STATIC_7485), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7485_0__init__InvokeMethod(EOS(STATIC_7485), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7501_0__init__Load(EOS(STATIC_7501), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7501_0__init__Load(EOS(STATIC_7501), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7516_0__init__Load(EOS(STATIC_7516), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7516_0__init__Load(EOS(STATIC_7516), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7534_0__init__FieldAccess(EOS(STATIC_7534), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) :|: TRUE 14.50/4.83 f7534_0__init__FieldAccess(EOS(STATIC_7534), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) -> f7548_0__init__Load(EOS(STATIC_7548), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7548_0__init__Load(EOS(STATIC_7548), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) -> f7576_0__init__Load(EOS(STATIC_7576), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, o1910, NULL))) :|: TRUE 14.50/4.83 f7576_0__init__Load(EOS(STATIC_7576), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, o1910, NULL))) -> f7613_0__init__FieldAccess(EOS(STATIC_7613), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7613_0__init__FieldAccess(EOS(STATIC_7613), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) -> f7631_0__init__Return(EOS(STATIC_7631), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) :|: TRUE 14.50/4.83 f7631_0__init__Return(EOS(STATIC_7631), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) -> f7652_0_flatten_Store(EOS(STATIC_7652), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) :|: TRUE 14.50/4.83 f7652_0_flatten_Store(EOS(STATIC_7652), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) -> f7674_0_flatten_JMP(EOS(STATIC_7674), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) :|: TRUE 14.50/4.83 f7674_0_flatten_JMP(EOS(STATIC_7674), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) -> f7716_0_flatten_Load(EOS(STATIC_7716), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) :|: TRUE 14.50/4.83 f7716_0_flatten_Load(EOS(STATIC_7716), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) -> f6381_0_flatten_Load(EOS(STATIC_6381), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) :|: TRUE 14.50/4.83 f6381_0_flatten_Load(EOS(STATIC_6381), java.lang.Object(Tree(EOC, o1867, o1868))) -> f6389_0_flatten_NULL(EOS(STATIC_6389), java.lang.Object(Tree(EOC, o1867, o1868)), java.lang.Object(Tree(EOC, o1867, o1868))) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: 14.50/4.83 f6389_0_flatten_NULL(EOS(STATIC_6389), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910:0, o1912:0)), o1868:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910:0, o1912:0)), o1868:0))) -> f6389_0_flatten_NULL(EOS(STATIC_6389), java.lang.Object(Tree(EOC, o1910:0, java.lang.Object(Tree(EOC, o1912:0, o1868:0)))), java.lang.Object(Tree(EOC, o1910:0, java.lang.Object(Tree(EOC, o1912:0, o1868:0))))) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 Filtered ground terms: 14.50/4.83 f6389_0_flatten_NULL(x1, x2, x3) -> f6389_0_flatten_NULL(x2, x3) 14.50/4.83 EOS(x1) -> EOS 14.50/4.83 Tree(x1, x2, x3) -> Tree(x2, x3) 14.50/4.83 Filtered unneeded arguments: 14.50/4.83 Tree(x1, x2) -> Tree(x1) 14.50/4.83 Filtered duplicate args: 14.50/4.83 f6389_0_flatten_NULL(x1, x2) -> f6389_0_flatten_NULL(x2) 14.50/4.83 Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: 14.50/4.83 F6389_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1910:0:0))))) -> F6389_0_FLATTEN_NULL(java.lang.Object(Tree(o1910:0:0))) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (16) 14.50/4.83 Obligation: 14.50/4.83 Q DP problem: 14.50/4.83 The TRS P consists of the following rules: 14.50/4.83 14.50/4.83 F6389_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1910:0:0))))) -> F6389_0_FLATTEN_NULL(java.lang.Object(Tree(o1910:0:0))) 14.50/4.83 14.50/4.83 R is empty. 14.50/4.83 Q is empty. 14.50/4.83 We have to consider all minimal (P,Q,R)-chains. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (17) QDPSizeChangeProof (EQUIVALENT) 14.50/4.83 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. 14.50/4.83 14.50/4.83 From the DPs we obtained the following set of size-change graphs: 14.50/4.83 *F6389_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1910:0:0))))) -> F6389_0_FLATTEN_NULL(java.lang.Object(Tree(o1910:0:0))) 14.50/4.83 The graph contains the following edges 1 > 1 14.50/4.83 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (18) 14.50/4.83 YES 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (19) 14.50/4.83 Obligation: 14.50/4.83 SCC of termination graph based on JBC Program. 14.50/4.83 SCC contains nodes from the following methods: Count.count(LTree;)I 14.50/4.83 SCC calls the following helper methods: Count.flatten(LTree;)LTree; 14.50/4.83 Performed SCC analyses: 14.50/4.83 *Used field analysis yielded the following read fields: 14.50/4.83 *Tree: [left, right] 14.50/4.83 *Marker field analysis yielded the following relations that could be markers: 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (20) SCCToQDPProof (SOUND) 14.50/4.83 Transformed TerminationGraph SCC to QDP. Log: 14.50/4.83 Generated 25 rules for P and 152 rules for R.P rules: 14.50/4.83 f4229_0_count_NULL(EOS(STATIC_4229), java.lang.Object(o1174sub), java.lang.Object(o1174sub)) -> f4237_0_count_NULL(EOS(STATIC_4237), java.lang.Object(o1174sub), java.lang.Object(o1174sub)) :|: TRUE 14.50/4.83 f4237_0_count_NULL(EOS(STATIC_4237), java.lang.Object(o1174sub), java.lang.Object(o1174sub)) -> f4244_0_count_Load(EOS(STATIC_4244), java.lang.Object(o1174sub)) :|: TRUE 14.50/4.83 f4244_0_count_Load(EOS(STATIC_4244), java.lang.Object(o1174sub)) -> f4288_0_count_FieldAccess(EOS(STATIC_4288), java.lang.Object(o1174sub), java.lang.Object(o1174sub)) :|: TRUE 14.50/4.83 f4288_0_count_FieldAccess(EOS(STATIC_4288), java.lang.Object(Tree(EOC, o1281, o1282)), java.lang.Object(Tree(EOC, o1281, o1282))) -> f4309_0_count_FieldAccess(EOS(STATIC_4309), java.lang.Object(Tree(EOC, o1281, o1282)), java.lang.Object(Tree(EOC, o1281, o1282))) :|: TRUE 14.50/4.83 f4309_0_count_FieldAccess(EOS(STATIC_4309), java.lang.Object(Tree(EOC, o1281, o1282)), java.lang.Object(Tree(EOC, o1281, o1282))) -> f4331_0_count_NONNULL(EOS(STATIC_4331), java.lang.Object(Tree(EOC, o1281, o1282)), o1281) :|: TRUE 14.50/4.83 f4331_0_count_NONNULL(EOS(STATIC_4331), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282)), java.lang.Object(o1322sub)) -> f4379_0_count_NONNULL(EOS(STATIC_4379), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282)), java.lang.Object(o1322sub)) :|: TRUE 14.50/4.83 f4331_0_count_NONNULL(EOS(STATIC_4331), java.lang.Object(Tree(EOC, NULL, o1282)), NULL) -> f4380_0_count_NONNULL(EOS(STATIC_4380), java.lang.Object(Tree(EOC, NULL, o1282)), NULL) :|: TRUE 14.50/4.83 f4379_0_count_NONNULL(EOS(STATIC_4379), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282)), java.lang.Object(o1322sub)) -> f4388_0_count_Load(EOS(STATIC_4388), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) :|: TRUE 14.50/4.83 f4388_0_count_Load(EOS(STATIC_4388), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) -> f4393_0_count_InvokeMethod(EOS(STATIC_4393), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) :|: TRUE 14.50/4.83 f4393_0_count_InvokeMethod(EOS(STATIC_4393), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) -> f4399_1_count_InvokeMethod(f4399_0_flatten_ConstantStackPush(EOS(STATIC_4399), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282)))) :|: TRUE 14.50/4.83 f4399_0_flatten_ConstantStackPush(EOS(STATIC_4399), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) -> f8720_0_flatten_ConstantStackPush(EOS(STATIC_8720), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) :|: TRUE 14.50/4.83 f8366_0_flatten_Return(EOS(STATIC_8366), java.lang.Object(Tree(EOC, NULL, o3525))) -> f8367_0_flatten_Return(EOS(STATIC_8367), java.lang.Object(Tree(EOC, NULL, o3525))) :|: TRUE 14.50/4.83 f8367_0_flatten_Return(EOS(STATIC_8367), java.lang.Object(Tree(EOC, NULL, o3544))) -> f8372_0_count_Store(EOS(STATIC_8372), java.lang.Object(Tree(EOC, NULL, o3544))) :|: TRUE 14.50/4.83 f8372_0_count_Store(EOS(STATIC_8372), java.lang.Object(Tree(EOC, NULL, o3544))) -> f8379_0_count_JMP(EOS(STATIC_8379), java.lang.Object(Tree(EOC, NULL, o3544))) :|: TRUE 14.50/4.83 f8379_0_count_JMP(EOS(STATIC_8379), java.lang.Object(Tree(EOC, NULL, o3544))) -> f8386_0_count_Load(EOS(STATIC_8386), java.lang.Object(Tree(EOC, NULL, o3544))) :|: TRUE 14.50/4.83 f8386_0_count_Load(EOS(STATIC_8386), java.lang.Object(Tree(EOC, NULL, o3544))) -> f4222_0_count_Load(EOS(STATIC_4222), java.lang.Object(Tree(EOC, NULL, o3544))) :|: TRUE 14.50/4.83 f4222_0_count_Load(EOS(STATIC_4222), o1095) -> f4229_0_count_NULL(EOS(STATIC_4229), o1095, o1095) :|: TRUE 14.50/4.83 f4380_0_count_NONNULL(EOS(STATIC_4380), java.lang.Object(Tree(EOC, NULL, o1282)), NULL) -> f4389_0_count_Inc(EOS(STATIC_4389), java.lang.Object(Tree(EOC, NULL, o1282))) :|: TRUE 14.50/4.83 f4389_0_count_Inc(EOS(STATIC_4389), java.lang.Object(Tree(EOC, NULL, o1282))) -> f4394_0_count_Load(EOS(STATIC_4394), java.lang.Object(Tree(EOC, NULL, o1282))) :|: TRUE 14.50/4.83 f4394_0_count_Load(EOS(STATIC_4394), java.lang.Object(Tree(EOC, NULL, o1282))) -> f4400_0_count_FieldAccess(EOS(STATIC_4400), java.lang.Object(Tree(EOC, NULL, o1282))) :|: TRUE 14.50/4.83 f4400_0_count_FieldAccess(EOS(STATIC_4400), java.lang.Object(Tree(EOC, NULL, o1282))) -> f4475_0_count_Store(EOS(STATIC_4475), o1282) :|: TRUE 14.50/4.83 f4475_0_count_Store(EOS(STATIC_4475), o1282) -> f4494_0_count_JMP(EOS(STATIC_4494), o1282) :|: TRUE 14.50/4.83 f4494_0_count_JMP(EOS(STATIC_4494), o1282) -> f4519_0_count_Load(EOS(STATIC_4519), o1282) :|: TRUE 14.50/4.83 f4519_0_count_Load(EOS(STATIC_4519), o1282) -> f4222_0_count_Load(EOS(STATIC_4222), o1282) :|: TRUE 14.50/4.83 f4399_1_count_InvokeMethod(f8354_0_flatten_Return(EOS(STATIC_8354), java.lang.Object(Tree(EOC, NULL, o3525)))) -> f8366_0_flatten_Return(EOS(STATIC_8366), java.lang.Object(Tree(EOC, NULL, o3525))) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 f4399_0_flatten_ConstantStackPush(EOS(STATIC_4399), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) -> f4473_0_flatten_ConstantStackPush(EOS(STATIC_4473), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) :|: TRUE 14.50/4.83 f4473_0_flatten_ConstantStackPush(EOS(STATIC_4473), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) -> f4560_0_flatten_ConstantStackPush(EOS(STATIC_4560), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) :|: TRUE 14.50/4.83 f4560_0_flatten_ConstantStackPush(EOS(STATIC_4560), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) -> f4556_0_flatten_ConstantStackPush(EOS(STATIC_4556), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub), o1282))) :|: TRUE 14.50/4.83 f4556_0_flatten_ConstantStackPush(EOS(STATIC_4556), java.lang.Object(Tree(EOC, java.lang.Object(o1540sub), o1541))) -> f4561_0_flatten_Store(EOS(STATIC_4561), java.lang.Object(Tree(EOC, java.lang.Object(o1540sub), o1541)), NULL) :|: TRUE 14.50/4.83 f4561_0_flatten_Store(EOS(STATIC_4561), java.lang.Object(Tree(EOC, java.lang.Object(o1540sub), o1541)), NULL) -> f4569_0_flatten_Load(EOS(STATIC_4569), java.lang.Object(Tree(EOC, java.lang.Object(o1540sub), o1541)), NULL) :|: TRUE 14.50/4.83 f4569_0_flatten_Load(EOS(STATIC_4569), java.lang.Object(Tree(EOC, java.lang.Object(o1540sub), o1541)), NULL) -> f6381_0_flatten_Load(EOS(STATIC_6381), java.lang.Object(Tree(EOC, java.lang.Object(o1540sub), o1541)), NULL) :|: TRUE 14.50/4.83 f6381_0_flatten_Load(EOS(STATIC_6381), java.lang.Object(Tree(EOC, o1867, o1868)), NULL) -> f6389_0_flatten_NULL(EOS(STATIC_6389), java.lang.Object(Tree(EOC, o1867, o1868)), NULL, java.lang.Object(Tree(EOC, o1867, o1868))) :|: TRUE 14.50/4.83 f6389_0_flatten_NULL(EOS(STATIC_6389), java.lang.Object(Tree(EOC, o1867, o1868)), NULL, java.lang.Object(Tree(EOC, o1867, o1868))) -> f6399_0_flatten_Load(EOS(STATIC_6399), java.lang.Object(Tree(EOC, o1867, o1868)), NULL) :|: TRUE 14.50/4.83 f6399_0_flatten_Load(EOS(STATIC_6399), java.lang.Object(Tree(EOC, o1867, o1868)), NULL) -> f6414_0_flatten_FieldAccess(EOS(STATIC_6414), java.lang.Object(Tree(EOC, o1867, o1868)), NULL, java.lang.Object(Tree(EOC, o1867, o1868))) :|: TRUE 14.50/4.83 f6414_0_flatten_FieldAccess(EOS(STATIC_6414), java.lang.Object(Tree(EOC, o1867, o1868)), NULL, java.lang.Object(Tree(EOC, o1867, o1868))) -> f6427_0_flatten_NONNULL(EOS(STATIC_6427), java.lang.Object(Tree(EOC, o1867, o1868)), NULL, o1867) :|: TRUE 14.50/4.83 f6427_0_flatten_NONNULL(EOS(STATIC_6427), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL, java.lang.Object(o1896sub)) -> f6447_0_flatten_NONNULL(EOS(STATIC_6447), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL, java.lang.Object(o1896sub)) :|: TRUE 14.50/4.83 f6427_0_flatten_NONNULL(EOS(STATIC_6427), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, NULL) -> f6448_0_flatten_NONNULL(EOS(STATIC_6448), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, NULL) :|: TRUE 14.50/4.83 f6447_0_flatten_NONNULL(EOS(STATIC_6447), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL, java.lang.Object(o1896sub)) -> f6474_0_flatten_Load(EOS(STATIC_6474), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL) :|: TRUE 14.50/4.83 f6448_0_flatten_NONNULL(EOS(STATIC_6448), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, NULL) -> f6476_0_flatten_New(EOS(STATIC_6476), java.lang.Object(Tree(EOC, NULL, o1868)), NULL) :|: TRUE 14.50/4.83 f6474_0_flatten_Load(EOS(STATIC_6474), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL) -> f6497_0_flatten_FieldAccess(EOS(STATIC_6497), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL, java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868))) :|: TRUE 14.50/4.83 f6476_0_flatten_New(EOS(STATIC_6476), java.lang.Object(Tree(EOC, NULL, o1868)), NULL) -> f6499_0_flatten_Duplicate(EOS(STATIC_6499), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6497_0_flatten_FieldAccess(EOS(STATIC_6497), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL, java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868))) -> f6519_0_flatten_FieldAccess(EOS(STATIC_6519), java.lang.Object(Tree(EOC, java.lang.Object(o1896sub), o1868)), NULL, java.lang.Object(o1896sub)) :|: TRUE 14.50/4.83 f6499_0_flatten_Duplicate(EOS(STATIC_6499), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6521_0_flatten_ConstantStackPush(EOS(STATIC_6521), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6519_0_flatten_FieldAccess(EOS(STATIC_6519), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, java.lang.Object(Tree(EOC, o1910, o1912))) -> f6543_0_flatten_FieldAccess(EOS(STATIC_6543), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, java.lang.Object(Tree(EOC, o1910, o1912))) :|: TRUE 14.50/4.83 f6521_0_flatten_ConstantStackPush(EOS(STATIC_6521), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6545_0_flatten_Load(EOS(STATIC_6545), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE 14.50/4.83 f6543_0_flatten_FieldAccess(EOS(STATIC_6543), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, java.lang.Object(Tree(EOC, o1910, o1912))) -> f6573_0_flatten_Store(EOS(STATIC_6573), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910) :|: TRUE 14.50/4.83 f6545_0_flatten_Load(EOS(STATIC_6545), java.lang.Object(Tree(EOC, NULL, o1868)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6575_0_flatten_InvokeMethod(EOS(STATIC_6575), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE 14.50/4.83 f6573_0_flatten_Store(EOS(STATIC_6573), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910) -> f6596_0_flatten_Load(EOS(STATIC_6596), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910) :|: TRUE 14.50/4.83 f6575_0_flatten_InvokeMethod(EOS(STATIC_6575), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6598_0__init__Load(EOS(STATIC_6598), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE 14.50/4.83 f6596_0_flatten_Load(EOS(STATIC_6596), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910) -> f6627_0_flatten_FieldAccess(EOS(STATIC_6627), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) :|: TRUE 14.50/4.83 f6598_0__init__Load(EOS(STATIC_6598), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6660_0__init__InvokeMethod(EOS(STATIC_6660), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6627_0_flatten_FieldAccess(EOS(STATIC_6627), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) -> f6657_0_flatten_FieldAccess(EOS(STATIC_6657), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, java.lang.Object(Tree(EOC, o1910, o1912))) :|: TRUE 14.50/4.83 f6657_0_flatten_FieldAccess(EOS(STATIC_6657), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, java.lang.Object(Tree(EOC, o1910, o1912))) -> f6684_0_flatten_Store(EOS(STATIC_6684), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, o1912) :|: TRUE 14.50/4.83 f6660_0__init__InvokeMethod(EOS(STATIC_6660), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6687_0__init__Load(EOS(STATIC_6687), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE 14.50/4.83 f6684_0_flatten_Store(EOS(STATIC_6684), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, o1912) -> f6709_0_flatten_Load(EOS(STATIC_6709), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, o1912) :|: TRUE 14.50/4.83 f6687_0__init__Load(EOS(STATIC_6687), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6711_0__init__Load(EOS(STATIC_6711), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6709_0_flatten_Load(EOS(STATIC_6709), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868)), NULL, o1910, o1912) -> f6734_0_flatten_FieldAccess(EOS(STATIC_6734), NULL, o1910, o1912, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) :|: TRUE 14.50/4.83 f6711_0__init__Load(EOS(STATIC_6711), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6736_0__init__FieldAccess(EOS(STATIC_6736), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE 14.50/4.83 f6734_0_flatten_FieldAccess(EOS(STATIC_6734), NULL, o1910, o1912, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1910, o1912)), o1868))) -> f6796_0_flatten_Store(EOS(STATIC_6796), NULL, o1910, o1912, o1868) :|: TRUE 14.50/4.83 f6736_0__init__FieldAccess(EOS(STATIC_6736), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6799_0__init__Load(EOS(STATIC_6799), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE 14.50/4.83 f6796_0_flatten_Store(EOS(STATIC_6796), NULL, o1910, o1912, o1868) -> f6925_0_flatten_New(EOS(STATIC_6925), NULL, o1910, o1912, o1868) :|: TRUE 14.50/4.83 f6799_0__init__Load(EOS(STATIC_6799), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6929_0__init__Load(EOS(STATIC_6929), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6925_0_flatten_New(EOS(STATIC_6925), NULL, o1910, o1912, o1868) -> f6966_0_flatten_Duplicate(EOS(STATIC_6966), NULL, o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6929_0__init__Load(EOS(STATIC_6929), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6968_0__init__FieldAccess(EOS(STATIC_6968), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE 14.50/4.83 f6966_0_flatten_Duplicate(EOS(STATIC_6966), NULL, o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6973_0_flatten_Load(EOS(STATIC_6973), NULL, o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6968_0__init__FieldAccess(EOS(STATIC_6968), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6976_0__init__Return(EOS(STATIC_6976), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6973_0_flatten_Load(EOS(STATIC_6973), NULL, o1910, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6987_0_flatten_New(EOS(STATIC_6987), NULL, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) :|: TRUE 14.50/4.83 f6976_0__init__Return(EOS(STATIC_6976), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6989_0_flatten_Store(EOS(STATIC_6989), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6987_0_flatten_New(EOS(STATIC_6987), NULL, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) -> f7021_0_flatten_Duplicate(EOS(STATIC_7021), NULL, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f6989_0_flatten_Store(EOS(STATIC_6989), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7022_0_flatten_Load(EOS(STATIC_7022), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7021_0_flatten_Duplicate(EOS(STATIC_7021), NULL, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7053_0_flatten_Load(EOS(STATIC_7053), NULL, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7022_0_flatten_Load(EOS(STATIC_7022), java.lang.Object(Tree(EOC, NULL, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7055_0_flatten_FieldAccess(EOS(STATIC_7055), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o1868))) :|: TRUE 14.50/4.83 f7053_0_flatten_Load(EOS(STATIC_7053), NULL, o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7065_0_flatten_Load(EOS(STATIC_7065), NULL, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912) :|: TRUE 14.50/4.83 f7055_0_flatten_FieldAccess(EOS(STATIC_7055), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o1868))) -> f7068_0_flatten_Store(EOS(STATIC_7068), java.lang.Object(Tree(EOC, NULL, NULL)), o1868) :|: TRUE 14.50/4.83 f7065_0_flatten_Load(EOS(STATIC_7065), NULL, o1868, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912) -> f7078_0_flatten_InvokeMethod(EOS(STATIC_7078), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) :|: TRUE 14.50/4.83 f7068_0_flatten_Store(EOS(STATIC_7068), java.lang.Object(Tree(EOC, NULL, NULL)), o1868) -> f7080_0_flatten_JMP(EOS(STATIC_7080), o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7078_0_flatten_InvokeMethod(EOS(STATIC_7078), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) -> f7090_0__init__Load(EOS(STATIC_7090), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) :|: TRUE 14.50/4.83 f7080_0_flatten_JMP(EOS(STATIC_7080), o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7095_0_flatten_Load(EOS(STATIC_7095), o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7090_0__init__Load(EOS(STATIC_7090), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) -> f7124_0__init__InvokeMethod(EOS(STATIC_7124), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7095_0_flatten_Load(EOS(STATIC_7095), o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8161_0_flatten_Load(EOS(STATIC_8161), o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7124_0__init__InvokeMethod(EOS(STATIC_7124), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7148_0__init__Load(EOS(STATIC_7148), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) :|: TRUE 14.50/4.83 f7148_0__init__Load(EOS(STATIC_7148), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868) -> f7164_0__init__Load(EOS(STATIC_7164), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7164_0__init__Load(EOS(STATIC_7164), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1912, o1868, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7180_0__init__FieldAccess(EOS(STATIC_7180), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1868, java.lang.Object(Tree(EOC, NULL, NULL)), o1912) :|: TRUE 14.50/4.83 f7180_0__init__FieldAccess(EOS(STATIC_7180), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1868, java.lang.Object(Tree(EOC, NULL, NULL)), o1912) -> f7242_0__init__Load(EOS(STATIC_7242), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) :|: TRUE 14.50/4.83 f7242_0__init__Load(EOS(STATIC_7242), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) -> f7294_0__init__Load(EOS(STATIC_7294), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), o1868, java.lang.Object(Tree(EOC, o1912, NULL))) :|: TRUE 14.50/4.83 f7294_0__init__Load(EOS(STATIC_7294), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), o1868, java.lang.Object(Tree(EOC, o1912, NULL))) -> f7315_0__init__FieldAccess(EOS(STATIC_7315), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) :|: TRUE 14.50/4.83 f7315_0__init__FieldAccess(EOS(STATIC_7315), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, NULL)), java.lang.Object(Tree(EOC, o1912, NULL)), o1868) -> f7345_0__init__Return(EOS(STATIC_7345), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7345_0__init__Return(EOS(STATIC_7345), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7401_0_flatten_InvokeMethod(EOS(STATIC_7401), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7401_0_flatten_InvokeMethod(EOS(STATIC_7401), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7418_0__init__Load(EOS(STATIC_7418), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7418_0__init__Load(EOS(STATIC_7418), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7485_0__init__InvokeMethod(EOS(STATIC_7485), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7485_0__init__InvokeMethod(EOS(STATIC_7485), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7501_0__init__Load(EOS(STATIC_7501), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7501_0__init__Load(EOS(STATIC_7501), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868))) -> f7516_0__init__Load(EOS(STATIC_7516), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f7516_0__init__Load(EOS(STATIC_7516), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910, java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7534_0__init__FieldAccess(EOS(STATIC_7534), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) :|: TRUE 14.50/4.83 f7534_0__init__FieldAccess(EOS(STATIC_7534), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, NULL, NULL)), o1910) -> f7548_0__init__Load(EOS(STATIC_7548), NULL, java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7548_0__init__Load(EOS(STATIC_7548), NULL, java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) -> f7576_0__init__Load(EOS(STATIC_7576), NULL, java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, o1910, NULL))) :|: TRUE 14.50/4.83 f7576_0__init__Load(EOS(STATIC_7576), NULL, java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868)), java.lang.Object(Tree(EOC, o1910, NULL))) -> f7613_0__init__FieldAccess(EOS(STATIC_7613), NULL, java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) :|: TRUE 14.50/4.83 f7613_0__init__FieldAccess(EOS(STATIC_7613), NULL, java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1910, NULL)), java.lang.Object(Tree(EOC, o1912, o1868))) -> f7631_0__init__Return(EOS(STATIC_7631), NULL, java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) :|: TRUE 14.50/4.83 f7631_0__init__Return(EOS(STATIC_7631), NULL, java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) -> f7652_0_flatten_Store(EOS(STATIC_7652), NULL, java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) :|: TRUE 14.50/4.83 f7652_0_flatten_Store(EOS(STATIC_7652), NULL, java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868))))) -> f7674_0_flatten_JMP(EOS(STATIC_7674), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868)))), NULL) :|: TRUE 14.50/4.83 f7674_0_flatten_JMP(EOS(STATIC_7674), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868)))), NULL) -> f7716_0_flatten_Load(EOS(STATIC_7716), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868)))), NULL) :|: TRUE 14.50/4.83 f7716_0_flatten_Load(EOS(STATIC_7716), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868)))), NULL) -> f6381_0_flatten_Load(EOS(STATIC_6381), java.lang.Object(Tree(EOC, o1910, java.lang.Object(Tree(EOC, o1912, o1868)))), NULL) :|: TRUE 14.50/4.83 f8161_0_flatten_Load(EOS(STATIC_8161), o2822, java.lang.Object(Tree(EOC, NULL, o2824))) -> f8339_0_flatten_Load(EOS(STATIC_8339), o2822, java.lang.Object(Tree(EOC, NULL, o2824))) :|: TRUE 14.50/4.83 f8339_0_flatten_Load(EOS(STATIC_8339), o3398, java.lang.Object(Tree(EOC, NULL, o3400))) -> f8342_0_flatten_NULL(EOS(STATIC_8342), o3398, java.lang.Object(Tree(EOC, NULL, o3400)), o3398) :|: TRUE 14.50/4.83 f8342_0_flatten_NULL(EOS(STATIC_8342), java.lang.Object(o3443sub), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3443sub)) -> f8345_0_flatten_NULL(EOS(STATIC_8345), java.lang.Object(o3443sub), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3443sub)) :|: TRUE 14.50/4.83 f8342_0_flatten_NULL(EOS(STATIC_8342), NULL, java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f8346_0_flatten_NULL(EOS(STATIC_8346), NULL, java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE 14.50/4.83 f8345_0_flatten_NULL(EOS(STATIC_8345), java.lang.Object(o3443sub), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3443sub)) -> f8349_0_flatten_Load(EOS(STATIC_8349), java.lang.Object(o3443sub), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8346_0_flatten_NULL(EOS(STATIC_8346), NULL, java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f8350_0_flatten_Load(EOS(STATIC_8350), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8349_0_flatten_Load(EOS(STATIC_8349), java.lang.Object(o3443sub), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8353_0_flatten_FieldAccess(EOS(STATIC_8353), java.lang.Object(o3443sub), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3443sub)) :|: TRUE 14.50/4.83 f8350_0_flatten_Load(EOS(STATIC_8350), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8354_0_flatten_Return(EOS(STATIC_8354), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8353_0_flatten_FieldAccess(EOS(STATIC_8353), java.lang.Object(Tree(EOC, o3487, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3487, o3488))) -> f8357_0_flatten_FieldAccess(EOS(STATIC_8357), java.lang.Object(Tree(EOC, o3487, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3487, o3488))) :|: TRUE 14.50/4.83 f8357_0_flatten_FieldAccess(EOS(STATIC_8357), java.lang.Object(Tree(EOC, o3487, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3487, o3488))) -> f8361_0_flatten_NONNULL(EOS(STATIC_8361), java.lang.Object(Tree(EOC, o3487, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3487) :|: TRUE 14.50/4.83 f8361_0_flatten_NONNULL(EOS(STATIC_8361), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3536sub)) -> f8364_0_flatten_NONNULL(EOS(STATIC_8364), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3536sub)) :|: TRUE 14.50/4.83 f8361_0_flatten_NONNULL(EOS(STATIC_8361), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f8365_0_flatten_NONNULL(EOS(STATIC_8365), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE 14.50/4.83 f8364_0_flatten_NONNULL(EOS(STATIC_8364), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3536sub)) -> f8370_0_flatten_Load(EOS(STATIC_8370), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8365_0_flatten_NONNULL(EOS(STATIC_8365), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f8371_0_flatten_New(EOS(STATIC_8371), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8370_0_flatten_Load(EOS(STATIC_8370), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8377_0_flatten_FieldAccess(EOS(STATIC_8377), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488))) :|: TRUE 14.50/4.83 f8371_0_flatten_New(EOS(STATIC_8371), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8378_0_flatten_Duplicate(EOS(STATIC_8378), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8377_0_flatten_FieldAccess(EOS(STATIC_8377), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488))) -> f8384_0_flatten_FieldAccess(EOS(STATIC_8384), java.lang.Object(Tree(EOC, java.lang.Object(o3536sub), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(o3536sub)) :|: TRUE 14.50/4.83 f8378_0_flatten_Duplicate(EOS(STATIC_8378), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8385_0_flatten_ConstantStackPush(EOS(STATIC_8385), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8384_0_flatten_FieldAccess(EOS(STATIC_8384), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, o3661))) -> f8391_0_flatten_FieldAccess(EOS(STATIC_8391), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, o3661))) :|: TRUE 14.50/4.83 f8385_0_flatten_ConstantStackPush(EOS(STATIC_8385), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8392_0_flatten_Load(EOS(STATIC_8392), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE 14.50/4.83 f8391_0_flatten_FieldAccess(EOS(STATIC_8391), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, o3661))) -> f8397_0_flatten_Store(EOS(STATIC_8397), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660) :|: TRUE 14.50/4.83 f8392_0_flatten_Load(EOS(STATIC_8392), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f8398_0_flatten_InvokeMethod(EOS(STATIC_8398), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8397_0_flatten_Store(EOS(STATIC_8397), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660) -> f8403_0_flatten_Load(EOS(STATIC_8403), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660) :|: TRUE 14.50/4.83 f8398_0_flatten_InvokeMethod(EOS(STATIC_8398), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400))) -> f8404_0__init__Load(EOS(STATIC_8404), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8403_0_flatten_Load(EOS(STATIC_8403), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660) -> f8407_0_flatten_FieldAccess(EOS(STATIC_8407), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) :|: TRUE 14.50/4.83 f8404_0__init__Load(EOS(STATIC_8404), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400))) -> f8411_0__init__InvokeMethod(EOS(STATIC_8411), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8407_0_flatten_FieldAccess(EOS(STATIC_8407), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) -> f8410_0_flatten_FieldAccess(EOS(STATIC_8410), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, java.lang.Object(Tree(EOC, o3660, o3661))) :|: TRUE 14.50/4.83 f8410_0_flatten_FieldAccess(EOS(STATIC_8410), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, java.lang.Object(Tree(EOC, o3660, o3661))) -> f8412_0_flatten_Store(EOS(STATIC_8412), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661) :|: TRUE 14.50/4.83 f8411_0__init__InvokeMethod(EOS(STATIC_8411), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8413_0__init__Load(EOS(STATIC_8413), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8412_0_flatten_Store(EOS(STATIC_8412), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661) -> f8414_0_flatten_Load(EOS(STATIC_8414), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661) :|: TRUE 14.50/4.83 f8413_0__init__Load(EOS(STATIC_8413), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400))) -> f8415_0__init__Load(EOS(STATIC_8415), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8414_0_flatten_Load(EOS(STATIC_8414), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488)), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661) -> f8416_0_flatten_FieldAccess(EOS(STATIC_8416), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) :|: TRUE 14.50/4.83 f8415_0__init__Load(EOS(STATIC_8415), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8417_0__init__FieldAccess(EOS(STATIC_8417), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE 14.50/4.83 f8416_0_flatten_FieldAccess(EOS(STATIC_8416), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3660, o3661)), o3488))) -> f8418_0_flatten_Store(EOS(STATIC_8418), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488) :|: TRUE 14.50/4.83 f8417_0__init__FieldAccess(EOS(STATIC_8417), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f8419_0__init__Load(EOS(STATIC_8419), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8418_0_flatten_Store(EOS(STATIC_8418), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488) -> f8420_0_flatten_New(EOS(STATIC_8420), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488) :|: TRUE 14.50/4.83 f8419_0__init__Load(EOS(STATIC_8419), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8421_0__init__Load(EOS(STATIC_8421), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8420_0_flatten_New(EOS(STATIC_8420), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488) -> f8422_0_flatten_Duplicate(EOS(STATIC_8422), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8421_0__init__Load(EOS(STATIC_8421), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8423_0__init__FieldAccess(EOS(STATIC_8423), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8422_0_flatten_Duplicate(EOS(STATIC_8422), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8424_0_flatten_Load(EOS(STATIC_8424), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8423_0__init__FieldAccess(EOS(STATIC_8423), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8425_0__init__Return(EOS(STATIC_8425), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) :|: TRUE 14.50/4.83 f8424_0_flatten_Load(EOS(STATIC_8424), java.lang.Object(Tree(EOC, NULL, o3400)), o3660, o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8426_0_flatten_New(EOS(STATIC_8426), java.lang.Object(Tree(EOC, NULL, o3400)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) :|: TRUE 14.50/4.83 f8425_0__init__Return(EOS(STATIC_8425), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) -> f8427_0_flatten_Store(EOS(STATIC_8427), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) :|: TRUE 14.50/4.83 f8426_0_flatten_New(EOS(STATIC_8426), java.lang.Object(Tree(EOC, NULL, o3400)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) -> f8428_0_flatten_Duplicate(EOS(STATIC_8428), java.lang.Object(Tree(EOC, NULL, o3400)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8427_0_flatten_Store(EOS(STATIC_8427), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) -> f8429_0_flatten_Load(EOS(STATIC_8429), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) :|: TRUE 14.50/4.83 f8428_0_flatten_Duplicate(EOS(STATIC_8428), java.lang.Object(Tree(EOC, NULL, o3400)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8430_0_flatten_Load(EOS(STATIC_8430), java.lang.Object(Tree(EOC, NULL, o3400)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8429_0_flatten_Load(EOS(STATIC_8429), java.lang.Object(Tree(EOC, NULL, o3488)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) -> f8431_0_flatten_FieldAccess(EOS(STATIC_8431), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400)))), java.lang.Object(Tree(EOC, NULL, o3488))) :|: TRUE 14.50/4.83 f8430_0_flatten_Load(EOS(STATIC_8430), java.lang.Object(Tree(EOC, NULL, o3400)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8432_0_flatten_Load(EOS(STATIC_8432), java.lang.Object(Tree(EOC, NULL, o3400)), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661) :|: TRUE 14.50/4.83 f8431_0_flatten_FieldAccess(EOS(STATIC_8431), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400)))), java.lang.Object(Tree(EOC, NULL, o3488))) -> f8433_0_flatten_Store(EOS(STATIC_8433), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400)))), o3488) :|: TRUE 14.50/4.83 f8432_0_flatten_Load(EOS(STATIC_8432), java.lang.Object(Tree(EOC, NULL, o3400)), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661) -> f8434_0_flatten_InvokeMethod(EOS(STATIC_8434), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) :|: TRUE 14.50/4.83 f8433_0_flatten_Store(EOS(STATIC_8433), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400)))), o3488) -> f8435_0_flatten_JMP(EOS(STATIC_8435), o3488, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) :|: TRUE 14.50/4.83 f8434_0_flatten_InvokeMethod(EOS(STATIC_8434), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) -> f8436_0__init__Load(EOS(STATIC_8436), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) :|: TRUE 14.50/4.83 f8435_0_flatten_JMP(EOS(STATIC_8435), o3488, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) -> f8437_0_flatten_Load(EOS(STATIC_8437), o3488, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) :|: TRUE 14.50/4.83 f8436_0__init__Load(EOS(STATIC_8436), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) -> f8438_0__init__InvokeMethod(EOS(STATIC_8438), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8437_0_flatten_Load(EOS(STATIC_8437), o3488, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) -> f8339_0_flatten_Load(EOS(STATIC_8339), o3488, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3400))))) :|: TRUE 14.50/4.83 f8438_0__init__InvokeMethod(EOS(STATIC_8438), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8439_0__init__Load(EOS(STATIC_8439), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) :|: TRUE 14.50/4.83 f8439_0__init__Load(EOS(STATIC_8439), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488) -> f8440_0__init__Load(EOS(STATIC_8440), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8440_0__init__Load(EOS(STATIC_8440), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3661, o3488, java.lang.Object(Tree(EOC, NULL, NULL))) -> f8441_0__init__FieldAccess(EOS(STATIC_8441), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), o3661) :|: TRUE 14.50/4.83 f8441_0__init__FieldAccess(EOS(STATIC_8441), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3488, java.lang.Object(Tree(EOC, NULL, NULL)), o3661) -> f8442_0__init__Load(EOS(STATIC_8442), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) :|: TRUE 14.50/4.83 f8442_0__init__Load(EOS(STATIC_8442), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) -> f8443_0__init__Load(EOS(STATIC_8443), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), o3488, java.lang.Object(Tree(EOC, o3661, NULL))) :|: TRUE 14.50/4.83 f8443_0__init__Load(EOS(STATIC_8443), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), o3488, java.lang.Object(Tree(EOC, o3661, NULL))) -> f8444_0__init__FieldAccess(EOS(STATIC_8444), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) :|: TRUE 14.50/4.83 f8444_0__init__FieldAccess(EOS(STATIC_8444), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, NULL)), java.lang.Object(Tree(EOC, o3661, NULL)), o3488) -> f8445_0__init__Return(EOS(STATIC_8445), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8445_0__init__Return(EOS(STATIC_8445), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8446_0_flatten_InvokeMethod(EOS(STATIC_8446), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8446_0_flatten_InvokeMethod(EOS(STATIC_8446), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8447_0__init__Load(EOS(STATIC_8447), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8447_0__init__Load(EOS(STATIC_8447), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8448_0__init__InvokeMethod(EOS(STATIC_8448), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8448_0__init__InvokeMethod(EOS(STATIC_8448), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8449_0__init__Load(EOS(STATIC_8449), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8449_0__init__Load(EOS(STATIC_8449), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488))) -> f8450_0__init__Load(EOS(STATIC_8450), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8450_0__init__Load(EOS(STATIC_8450), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660, java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8451_0__init__FieldAccess(EOS(STATIC_8451), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) :|: TRUE 14.50/4.83 f8451_0__init__FieldAccess(EOS(STATIC_8451), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, NULL, NULL)), o3660) -> f8452_0__init__Load(EOS(STATIC_8452), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8452_0__init__Load(EOS(STATIC_8452), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) -> f8453_0__init__Load(EOS(STATIC_8453), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, o3660, NULL))) :|: TRUE 14.50/4.83 f8453_0__init__Load(EOS(STATIC_8453), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488)), java.lang.Object(Tree(EOC, o3660, NULL))) -> f8454_0__init__FieldAccess(EOS(STATIC_8454), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) :|: TRUE 14.50/4.83 f8454_0__init__FieldAccess(EOS(STATIC_8454), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3660, NULL)), java.lang.Object(Tree(EOC, o3661, o3488))) -> f8455_0__init__Return(EOS(STATIC_8455), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) :|: TRUE 14.50/4.83 f8455_0__init__Return(EOS(STATIC_8455), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) -> f8456_0_flatten_Store(EOS(STATIC_8456), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) :|: TRUE 14.50/4.83 f8456_0_flatten_Store(EOS(STATIC_8456), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488))))) -> f8457_0_flatten_JMP(EOS(STATIC_8457), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488)))), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8457_0_flatten_JMP(EOS(STATIC_8457), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488)))), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8458_0_flatten_Load(EOS(STATIC_8458), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488)))), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 f8458_0_flatten_Load(EOS(STATIC_8458), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488)))), java.lang.Object(Tree(EOC, NULL, o3400))) -> f8339_0_flatten_Load(EOS(STATIC_8339), java.lang.Object(Tree(EOC, o3660, java.lang.Object(Tree(EOC, o3661, o3488)))), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE 14.50/4.83 Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules: 14.50/4.83 f4229_0_count_NULL(EOS(STATIC_4229), java.lang.Object(Tree(EOC, NULL, o1282:0)), java.lang.Object(Tree(EOC, NULL, o1282:0))) -> f4229_0_count_NULL(EOS(STATIC_4229), o1282:0, o1282:0) :|: TRUE 14.50/4.83 f4229_0_count_NULL(EOS(STATIC_4229), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub:0), o1282:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub:0), o1282:0))) -> f4399_1_count_InvokeMethod(f8720_0_flatten_ConstantStackPush(EOS(STATIC_8720), java.lang.Object(Tree(EOC, java.lang.Object(o1322sub:0), o1282:0)))) :|: TRUE 14.50/4.83 f4399_1_count_InvokeMethod(f8354_0_flatten_Return(EOS(STATIC_8354), java.lang.Object(Tree(EOC, NULL, o3525:0)))) -> f4229_0_count_NULL(EOS(STATIC_4229), java.lang.Object(Tree(EOC, NULL, o3525:0)), java.lang.Object(Tree(EOC, NULL, o3525:0))) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 Filtered ground terms: 14.50/4.83 f4229_0_count_NULL(x1, x2, x3) -> f4229_0_count_NULL(x2, x3) 14.50/4.83 f8720_0_flatten_ConstantStackPush(x1, x2) -> f8720_0_flatten_ConstantStackPush(x2) 14.50/4.83 f8354_0_flatten_Return(x1, x2) -> f8354_0_flatten_Return(x2) 14.50/4.83 Tree(x1, x2, x3) -> Tree(x2, x3) 14.50/4.83 Filtered duplicate args: 14.50/4.83 f4229_0_count_NULL(x1, x2) -> f4229_0_count_NULL(x2) 14.50/4.83 Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules: 14.50/4.83 F4229_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1282:0:0))) -> F4229_0_COUNT_NULL(o1282:0:0) :|: TRUE 14.50/4.83 F4229_0_COUNT_NULL(java.lang.Object(Tree(java.lang.Object(o1322sub:0:0), o1282:0:0))) -> F4399_1_COUNT_INVOKEMETHOD(f8720_0_flatten_ConstantStackPush(java.lang.Object(Tree(java.lang.Object(o1322sub:0:0), o1282:0:0)))) :|: TRUE 14.50/4.83 F4399_1_COUNT_INVOKEMETHOD(f8354_0_flatten_Return(java.lang.Object(Tree(NULL, o3525:0:0)))) -> F4229_0_COUNT_NULL(java.lang.Object(Tree(NULL, o3525:0:0))) :|: TRUE 14.50/4.83 R rules: 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (21) 14.50/4.83 Obligation: 14.50/4.83 Q DP problem: 14.50/4.83 The TRS P consists of the following rules: 14.50/4.83 14.50/4.83 F4229_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1282:0:0))) -> F4229_0_COUNT_NULL(o1282:0:0) 14.50/4.83 F4229_0_COUNT_NULL(java.lang.Object(Tree(java.lang.Object(o1322sub:0:0), o1282:0:0))) -> F4399_1_COUNT_INVOKEMETHOD(f8720_0_flatten_ConstantStackPush(java.lang.Object(Tree(java.lang.Object(o1322sub:0:0), o1282:0:0)))) 14.50/4.83 F4399_1_COUNT_INVOKEMETHOD(f8354_0_flatten_Return(java.lang.Object(Tree(NULL, o3525:0:0)))) -> F4229_0_COUNT_NULL(java.lang.Object(Tree(NULL, o3525:0:0))) 14.50/4.83 14.50/4.83 R is empty. 14.50/4.83 Q is empty. 14.50/4.83 We have to consider all minimal (P,Q,R)-chains. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (22) DependencyGraphProof (EQUIVALENT) 14.50/4.83 The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 2 less nodes. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (23) 14.50/4.83 Obligation: 14.50/4.83 Q DP problem: 14.50/4.83 The TRS P consists of the following rules: 14.50/4.83 14.50/4.83 F4229_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1282:0:0))) -> F4229_0_COUNT_NULL(o1282:0:0) 14.50/4.83 14.50/4.83 R is empty. 14.50/4.83 Q is empty. 14.50/4.83 We have to consider all minimal (P,Q,R)-chains. 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (24) QDPSizeChangeProof (EQUIVALENT) 14.50/4.83 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. 14.50/4.83 14.50/4.83 From the DPs we obtained the following set of size-change graphs: 14.50/4.83 *F4229_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1282:0:0))) -> F4229_0_COUNT_NULL(o1282:0:0) 14.50/4.83 The graph contains the following edges 1 > 1 14.50/4.83 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (25) 14.50/4.83 YES 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (26) 14.50/4.83 Obligation: 14.50/4.83 SCC of termination graph based on JBC Program. 14.50/4.83 SCC contains nodes from the following methods: Tree.createTree()LTree; 14.50/4.83 SCC calls the following helper methods: 14.50/4.83 Performed SCC analyses: 14.50/4.83 *Used field analysis yielded the following read fields: 14.50/4.83 *java.lang.String: [count] 14.50/4.83 *Tree: [right, left] 14.50/4.83 *Marker field analysis yielded the following relations that could be markers: 14.50/4.83 14.50/4.83 ---------------------------------------- 14.50/4.83 14.50/4.83 (27) SCCToIRSProof (SOUND) 14.50/4.83 Transformed FIGraph SCCs to intTRSs. Log: 14.50/4.83 Generated rules. Obtained 114 IRulesP rules: 14.50/4.83 f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1227) -> f7497_0_createTree_LE(EOS(STATIC_7497(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1227) :|: TRUE 14.50/4.83 f7497_0_createTree_LE(EOS(STATIC_7497(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1227) -> f7511_0_createTree_InvokeMethod(EOS(STATIC_7511(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) :|: i1227 > 0 14.50/4.83 f7511_0_createTree_InvokeMethod(EOS(STATIC_7511(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) -> f7529_0_random_FieldAccess(EOS(STATIC_7529(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) :|: TRUE 14.50/4.83 f7529_0_random_FieldAccess(EOS(STATIC_7529(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) -> f7572_0_random_FieldAccess(EOS(STATIC_7572(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) :|: TRUE 14.50/4.83 f7572_0_random_FieldAccess(EOS(STATIC_7572(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) -> f7612_0_random_ArrayAccess(EOS(STATIC_7612(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) :|: TRUE 14.50/4.83 f7612_0_random_ArrayAccess(EOS(STATIC_7612(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) -> f7624_0_random_ArrayAccess(EOS(STATIC_7624(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) :|: TRUE 14.50/4.83 f7624_0_random_ArrayAccess(EOS(STATIC_7624(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) -> f7649_0_random_ArrayAccess(EOS(STATIC_7649(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) :|: TRUE 14.50/4.83 f7649_0_random_ArrayAccess(EOS(STATIC_7649(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(ARRAY(i6))) -> f7669_0_random_Store(EOS(STATIC_7669(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) :|: TRUE 14.50/4.83 f7669_0_random_Store(EOS(STATIC_7669(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) -> f7690_0_random_FieldAccess(EOS(STATIC_7690(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) :|: TRUE 14.50/4.83 f7690_0_random_FieldAccess(EOS(STATIC_7690(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) -> f7731_0_random_ConstantStackPush(EOS(STATIC_7731(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) :|: TRUE 14.50/4.83 f7731_0_random_ConstantStackPush(EOS(STATIC_7731(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) -> f7752_0_random_IntArithmetic(EOS(STATIC_7752(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) :|: TRUE 14.50/4.83 f7752_0_random_IntArithmetic(EOS(STATIC_7752(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) -> f7770_0_random_FieldAccess(EOS(STATIC_7770(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) :|: TRUE 14.50/4.83 f7770_0_random_FieldAccess(EOS(STATIC_7770(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) -> f7800_0_random_Load(EOS(STATIC_7800(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) :|: TRUE 14.50/4.83 f7800_0_random_Load(EOS(STATIC_7800(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) -> f8157_0_random_InvokeMethod(EOS(STATIC_8157(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), o2640) :|: TRUE 14.50/4.83 f8157_0_random_InvokeMethod(EOS(STATIC_8157(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2848sub)) -> f8164_0_random_InvokeMethod(EOS(STATIC_8164(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2848sub)) :|: TRUE 14.50/4.83 f8164_0_random_InvokeMethod(EOS(STATIC_8164(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2863sub)) -> f8168_0_random_InvokeMethod(EOS(STATIC_8168(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2863sub)) :|: TRUE 14.50/4.83 f8168_0_random_InvokeMethod(EOS(STATIC_8168(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2863sub)) -> f8173_0_length_Load(EOS(STATIC_8173(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2863sub)) :|: TRUE 14.50/4.83 f8173_0_length_Load(EOS(STATIC_8173(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2863sub)) -> f8182_0_length_FieldAccess(EOS(STATIC_8182(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2863sub)) :|: TRUE 14.50/4.83 f8182_0_length_FieldAccess(EOS(STATIC_8182(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(java.lang.String(EOC, i1296))) -> f8187_0_length_FieldAccess(EOS(STATIC_8187(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(java.lang.String(EOC, i1296))) :|: i1296 >= 0 14.50/4.83 f8187_0_length_FieldAccess(EOS(STATIC_8187(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(java.lang.String(EOC, i1296))) -> f8191_0_length_Return(EOS(STATIC_8191(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) :|: TRUE 14.50/4.83 f8191_0_length_Return(EOS(STATIC_8191(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) -> f8198_0_random_Return(EOS(STATIC_8198(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) :|: TRUE 14.50/4.83 f8198_0_random_Return(EOS(STATIC_8198(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) -> f8205_0_createTree_Store(EOS(STATIC_8205(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) :|: TRUE 14.50/4.83 f8205_0_createTree_Store(EOS(STATIC_8205(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) -> f8211_0_createTree_Load(EOS(STATIC_8211(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) :|: TRUE 14.50/4.83 f8211_0_createTree_Load(EOS(STATIC_8211(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) -> f8218_0_createTree_LE(EOS(STATIC_8218(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1296) :|: TRUE 14.50/4.83 f8218_0_createTree_LE(EOS(STATIC_8218(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), matching1) -> f8224_0_createTree_LE(EOS(STATIC_8224(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), 0) :|: TRUE && matching1 = 0 14.50/4.83 f8218_0_createTree_LE(EOS(STATIC_8218(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1325) -> f8225_0_createTree_LE(EOS(STATIC_8225(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1325) :|: TRUE 14.50/4.83 f8224_0_createTree_LE(EOS(STATIC_8224(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), matching1) -> f8230_0_createTree_Load(EOS(STATIC_8230(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) :|: 0 <= 0 && matching1 = 0 14.50/4.83 f8230_0_createTree_Load(EOS(STATIC_8230(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) -> f8237_0_createTree_FieldAccess(EOS(STATIC_8237(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2396sub)) :|: TRUE 14.50/4.83 f8237_0_createTree_FieldAccess(EOS(STATIC_8237(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3092, o3091)), java.lang.Object(Tree(EOC, o3092, o3091))) -> f8243_0_createTree_FieldAccess(EOS(STATIC_8243(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3092, o3091)), java.lang.Object(Tree(EOC, o3092, o3091))) :|: TRUE 14.50/4.83 f8243_0_createTree_FieldAccess(EOS(STATIC_8243(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3092, o3091)), java.lang.Object(Tree(EOC, o3092, o3091))) -> f8250_0_createTree_NONNULL(EOS(STATIC_8250(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3092, o3091)), o3092) :|: TRUE 14.50/4.83 f8250_0_createTree_NONNULL(EOS(STATIC_8250(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub), o3091)), java.lang.Object(o3144sub)) -> f8257_0_createTree_NONNULL(EOS(STATIC_8257(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub), o3091)), java.lang.Object(o3144sub)) :|: TRUE 14.50/4.83 f8250_0_createTree_NONNULL(EOS(STATIC_8250(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), NULL) -> f8258_0_createTree_NONNULL(EOS(STATIC_8258(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), NULL) :|: TRUE 14.50/4.83 f8257_0_createTree_NONNULL(EOS(STATIC_8257(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub), o3091)), java.lang.Object(o3144sub)) -> f8266_0_createTree_Load(EOS(STATIC_8266(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub), o3091))) :|: TRUE 14.50/4.83 f8266_0_createTree_Load(EOS(STATIC_8266(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub), o3091))) -> f8275_0_createTree_FieldAccess(EOS(STATIC_8275(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub), o3091))) :|: TRUE 14.50/4.83 f8275_0_createTree_FieldAccess(EOS(STATIC_8275(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub), o3091))) -> f8284_0_createTree_Store(EOS(STATIC_8284(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) :|: TRUE 14.50/4.83 f8284_0_createTree_Store(EOS(STATIC_8284(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) -> f8293_0_createTree_Inc(EOS(STATIC_8293(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) :|: TRUE 14.50/4.83 f8293_0_createTree_Inc(EOS(STATIC_8293(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) -> f8299_0_createTree_JMP(EOS(STATIC_8299(java.lang.Object(ARRAY(i6)))), i1227 + -1, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) :|: TRUE 14.50/4.83 f8299_0_createTree_JMP(EOS(STATIC_8299(java.lang.Object(ARRAY(i6)))), i1360, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) -> f8309_0_createTree_Load(EOS(STATIC_8309(java.lang.Object(ARRAY(i6)))), i1360, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) :|: TRUE 14.50/4.83 f8309_0_createTree_Load(EOS(STATIC_8309(java.lang.Object(ARRAY(i6)))), i1360, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) -> f7456_0_createTree_Load(EOS(STATIC_7456(java.lang.Object(ARRAY(i6)))), i1360, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3144sub)) :|: TRUE 14.50/4.83 f7456_0_createTree_Load(EOS(STATIC_7456(java.lang.Object(ARRAY(i6)))), i1222, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) -> f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6)))), i1222, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1222) :|: TRUE 14.50/4.83 f8258_0_createTree_NONNULL(EOS(STATIC_8258(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), NULL) -> f8267_0_createTree_Load(EOS(STATIC_8267(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091))) :|: TRUE 14.50/4.83 f8267_0_createTree_Load(EOS(STATIC_8267(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091))) -> f8276_0_createTree_InvokeMethod(EOS(STATIC_8276(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091))) :|: TRUE 14.50/4.83 f8276_0_createTree_InvokeMethod(EOS(STATIC_8276(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091))) -> f8285_0_createNode_New(EOS(STATIC_8285(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091))) :|: TRUE 14.50/4.83 f8285_0_createNode_New(EOS(STATIC_8285(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091))) -> f8300_0_createNode_Duplicate(EOS(STATIC_8300(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8300_0_createNode_Duplicate(EOS(STATIC_8300(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8310_0_createNode_InvokeMethod(EOS(STATIC_8310(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8310_0_createNode_InvokeMethod(EOS(STATIC_8310(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8316_0__init__Load(EOS(STATIC_8316(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8316_0__init__Load(EOS(STATIC_8316(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8325_0__init__InvokeMethod(EOS(STATIC_8325(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8325_0__init__InvokeMethod(EOS(STATIC_8325(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8330_0__init__Return(EOS(STATIC_8330(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8330_0__init__Return(EOS(STATIC_8330(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8334_0_createNode_Store(EOS(STATIC_8334(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8334_0_createNode_Store(EOS(STATIC_8334(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8340_0_createNode_Load(EOS(STATIC_8340(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8340_0_createNode_Load(EOS(STATIC_8340(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8343_0_createNode_New(EOS(STATIC_8343(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8343_0_createNode_New(EOS(STATIC_8343(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8347_0_createNode_Duplicate(EOS(STATIC_8347(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 14.50/4.83 f8347_0_createNode_Duplicate(EOS(STATIC_8347(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8351_0_createNode_InvokeMethod(EOS(STATIC_8351(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE 14.50/4.83 f8351_0_createNode_InvokeMethod(EOS(STATIC_8351(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8355_0_createNode_FieldAccess(EOS(STATIC_8355(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 14.50/4.83 f8355_0_createNode_FieldAccess(EOS(STATIC_8355(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8359_0_createNode_Load(EOS(STATIC_8359(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8359_0_createNode_Load(EOS(STATIC_8359(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8362_0_createNode_Return(EOS(STATIC_8362(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8362_0_createNode_Return(EOS(STATIC_8362(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8368_0_createTree_FieldAccess(EOS(STATIC_8368(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8368_0_createTree_FieldAccess(EOS(STATIC_8368(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8373_0_createTree_FieldAccess(EOS(STATIC_8373(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8368_0_createTree_FieldAccess(EOS(STATIC_8368(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, NULL, o3577)), java.lang.Object(Tree(EOC, NULL, o3577)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8374_0_createTree_FieldAccess(EOS(STATIC_8374(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, NULL, o3577)), java.lang.Object(Tree(EOC, NULL, o3577)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.83 f8373_0_createTree_FieldAccess(EOS(STATIC_8373(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, NULL, o3091)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8380_0_createTree_Load(EOS(STATIC_8380(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394put, o2393put))) :|: TRUE 14.50/4.83 f8380_0_createTree_Load(EOS(STATIC_8380(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393))) -> f8387_0_createTree_Store(EOS(STATIC_8387(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.83 f8387_0_createTree_Store(EOS(STATIC_8387(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f8393_0_createTree_JMP(EOS(STATIC_8393(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.83 f8393_0_createTree_JMP(EOS(STATIC_8393(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f8399_0_createTree_Inc(EOS(STATIC_8399(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.83 f8399_0_createTree_Inc(EOS(STATIC_8399(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f8405_0_createTree_JMP(EOS(STATIC_8405(java.lang.Object(ARRAY(i6)))), i1227 + -1, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.83 f8405_0_createTree_JMP(EOS(STATIC_8405(java.lang.Object(ARRAY(i6)))), i1424, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f8408_0_createTree_Load(EOS(STATIC_8408(java.lang.Object(ARRAY(i6)))), i1424, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.83 f8408_0_createTree_Load(EOS(STATIC_8408(java.lang.Object(ARRAY(i6)))), i1424, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f7456_0_createTree_Load(EOS(STATIC_7456(java.lang.Object(ARRAY(i6)))), i1424, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.83 f8374_0_createTree_FieldAccess(EOS(STATIC_8374(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, NULL, o3577)), java.lang.Object(Tree(EOC, NULL, o3577)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8381_0_createTree_Load(EOS(STATIC_8381(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) :|: TRUE 14.50/4.83 f8381_0_createTree_Load(EOS(STATIC_8381(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) -> f8388_0_createTree_Store(EOS(STATIC_8388(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) :|: TRUE 14.50/4.83 f8388_0_createTree_Store(EOS(STATIC_8388(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) -> f8394_0_createTree_JMP(EOS(STATIC_8394(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) :|: TRUE 14.50/4.83 f8394_0_createTree_JMP(EOS(STATIC_8394(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) -> f8400_0_createTree_Inc(EOS(STATIC_8400(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) :|: TRUE 14.50/4.83 f8400_0_createTree_Inc(EOS(STATIC_8400(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) -> f8401_0_createTree_Inc(EOS(STATIC_8401(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3577))) :|: TRUE 14.50/4.83 f8401_0_createTree_Inc(EOS(STATIC_8401(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f8399_0_createTree_Inc(EOS(STATIC_8399(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.83 f8225_0_createTree_LE(EOS(STATIC_8225(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), i1325) -> f8231_0_createTree_Load(EOS(STATIC_8231(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) :|: i1325 > 0 14.50/4.83 f8231_0_createTree_Load(EOS(STATIC_8231(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub)) -> f8238_0_createTree_FieldAccess(EOS(STATIC_8238(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o2396sub), java.lang.Object(o2396sub)) :|: TRUE 14.50/4.83 f8238_0_createTree_FieldAccess(EOS(STATIC_8238(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, o3095)), java.lang.Object(Tree(EOC, o3096, o3095))) -> f8244_0_createTree_FieldAccess(EOS(STATIC_8244(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, o3095)), java.lang.Object(Tree(EOC, o3096, o3095))) :|: TRUE 14.50/4.83 f8244_0_createTree_FieldAccess(EOS(STATIC_8244(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, o3095)), java.lang.Object(Tree(EOC, o3096, o3095))) -> f8251_0_createTree_NONNULL(EOS(STATIC_8251(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, o3095)), o3095) :|: TRUE 14.50/4.83 f8251_0_createTree_NONNULL(EOS(STATIC_8251(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, java.lang.Object(o3145sub))), java.lang.Object(o3145sub)) -> f8259_0_createTree_NONNULL(EOS(STATIC_8259(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, java.lang.Object(o3145sub))), java.lang.Object(o3145sub)) :|: TRUE 14.50/4.84 f8251_0_createTree_NONNULL(EOS(STATIC_8251(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), NULL) -> f8260_0_createTree_NONNULL(EOS(STATIC_8260(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), NULL) :|: TRUE 14.50/4.84 f8259_0_createTree_NONNULL(EOS(STATIC_8259(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, java.lang.Object(o3145sub))), java.lang.Object(o3145sub)) -> f8268_0_createTree_Load(EOS(STATIC_8268(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, java.lang.Object(o3145sub)))) :|: TRUE 14.50/4.84 f8268_0_createTree_Load(EOS(STATIC_8268(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, java.lang.Object(o3145sub)))) -> f8277_0_createTree_FieldAccess(EOS(STATIC_8277(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, java.lang.Object(o3145sub)))) :|: TRUE 14.50/4.84 f8277_0_createTree_FieldAccess(EOS(STATIC_8277(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, java.lang.Object(o3145sub)))) -> f8286_0_createTree_Store(EOS(STATIC_8286(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3145sub)) :|: TRUE 14.50/4.84 f8286_0_createTree_Store(EOS(STATIC_8286(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3145sub)) -> f8294_0_createTree_JMP(EOS(STATIC_8294(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3145sub)) :|: TRUE 14.50/4.84 f8294_0_createTree_JMP(EOS(STATIC_8294(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3145sub)) -> f8301_0_createTree_Inc(EOS(STATIC_8301(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3145sub)) :|: TRUE 14.50/4.84 f8301_0_createTree_Inc(EOS(STATIC_8301(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3145sub)) -> f8293_0_createTree_Inc(EOS(STATIC_8293(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(o3145sub)) :|: TRUE 14.50/4.84 f8260_0_createTree_NONNULL(EOS(STATIC_8260(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), NULL) -> f8269_0_createTree_Load(EOS(STATIC_8269(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL))) :|: TRUE 14.50/4.84 f8269_0_createTree_Load(EOS(STATIC_8269(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL))) -> f8278_0_createTree_InvokeMethod(EOS(STATIC_8278(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL))) :|: TRUE 14.50/4.84 f8278_0_createTree_InvokeMethod(EOS(STATIC_8278(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL))) -> f8287_0_createNode_New(EOS(STATIC_8287(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL))) :|: TRUE 14.50/4.84 f8287_0_createNode_New(EOS(STATIC_8287(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL))) -> f8302_0_createNode_Duplicate(EOS(STATIC_8302(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8302_0_createNode_Duplicate(EOS(STATIC_8302(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8311_0_createNode_InvokeMethod(EOS(STATIC_8311(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8311_0_createNode_InvokeMethod(EOS(STATIC_8311(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8317_0__init__Load(EOS(STATIC_8317(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8317_0__init__Load(EOS(STATIC_8317(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8326_0__init__InvokeMethod(EOS(STATIC_8326(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8326_0__init__InvokeMethod(EOS(STATIC_8326(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8331_0__init__Return(EOS(STATIC_8331(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8331_0__init__Return(EOS(STATIC_8331(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8335_0_createNode_Store(EOS(STATIC_8335(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8335_0_createNode_Store(EOS(STATIC_8335(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8341_0_createNode_Load(EOS(STATIC_8341(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8341_0_createNode_Load(EOS(STATIC_8341(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8344_0_createNode_New(EOS(STATIC_8344(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8344_0_createNode_New(EOS(STATIC_8344(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8348_0_createNode_Duplicate(EOS(STATIC_8348(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 14.50/4.84 f8348_0_createNode_Duplicate(EOS(STATIC_8348(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8352_0_createNode_InvokeMethod(EOS(STATIC_8352(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE 14.50/4.84 f8352_0_createNode_InvokeMethod(EOS(STATIC_8352(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8356_0_createNode_FieldAccess(EOS(STATIC_8356(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE 14.50/4.84 f8356_0_createNode_FieldAccess(EOS(STATIC_8356(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8360_0_createNode_Load(EOS(STATIC_8360(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8360_0_createNode_Load(EOS(STATIC_8360(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8363_0_createNode_Return(EOS(STATIC_8363(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8363_0_createNode_Return(EOS(STATIC_8363(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8369_0_createTree_FieldAccess(EOS(STATIC_8369(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8369_0_createTree_FieldAccess(EOS(STATIC_8369(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8375_0_createTree_FieldAccess(EOS(STATIC_8375(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8369_0_createTree_FieldAccess(EOS(STATIC_8369(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, NULL)), java.lang.Object(Tree(EOC, o3586, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8376_0_createTree_FieldAccess(EOS(STATIC_8376(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, NULL)), java.lang.Object(Tree(EOC, o3586, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE 14.50/4.84 f8375_0_createTree_FieldAccess(EOS(STATIC_8375(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o3096, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8382_0_createTree_Load(EOS(STATIC_8382(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394put, o2393put))) :|: TRUE 14.50/4.84 f8382_0_createTree_Load(EOS(STATIC_8382(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393))) -> f8389_0_createTree_Store(EOS(STATIC_8389(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.84 f8389_0_createTree_Store(EOS(STATIC_8389(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f8395_0_createTree_JMP(EOS(STATIC_8395(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.84 f8395_0_createTree_JMP(EOS(STATIC_8395(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) -> f8401_0_createTree_Inc(EOS(STATIC_8401(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o2394, o2393)), java.lang.Object(Tree(EOC, o2394, o2393))) :|: TRUE 14.50/4.84 f8376_0_createTree_FieldAccess(EOS(STATIC_8376(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, NULL)), java.lang.Object(Tree(EOC, o3586, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8383_0_createTree_Load(EOS(STATIC_8383(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE 14.50/4.84 f8383_0_createTree_Load(EOS(STATIC_8383(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8390_0_createTree_Store(EOS(STATIC_8390(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE 14.50/4.84 f8390_0_createTree_Store(EOS(STATIC_8390(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8396_0_createTree_JMP(EOS(STATIC_8396(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE 14.50/4.84 f8396_0_createTree_JMP(EOS(STATIC_8396(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8402_0_createTree_Inc(EOS(STATIC_8402(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE 14.50/4.84 f8402_0_createTree_Inc(EOS(STATIC_8402(java.lang.Object(ARRAY(i6)))), i1227, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8406_0_createTree_JMP(EOS(STATIC_8406(java.lang.Object(ARRAY(i6)))), i1227 + -1, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE 14.50/4.84 f8406_0_createTree_JMP(EOS(STATIC_8406(java.lang.Object(ARRAY(i6)))), i1426, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8409_0_createTree_Load(EOS(STATIC_8409(java.lang.Object(ARRAY(i6)))), i1426, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE 14.50/4.84 f8409_0_createTree_Load(EOS(STATIC_8409(java.lang.Object(ARRAY(i6)))), i1426, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7456_0_createTree_Load(EOS(STATIC_7456(java.lang.Object(ARRAY(i6)))), i1426, java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3586, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE 14.50/4.84 Combined rules. Obtained 6 IRulesP rules: 14.50/4.84 f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0, java.lang.Object(Tree(EOC, NULL, o2393:0)), java.lang.Object(Tree(EOC, NULL, o2393:0)), i1227:0) -> f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2393:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2393:0)), i1227:0 - 1) :|: i1227:0 > 0 14.50/4.84 f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0, java.lang.Object(Tree(EOC, o2394:0, o2393:0)), java.lang.Object(Tree(EOC, java.lang.Object(o3144sub:0), o3091:0)), i1227:0) -> f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0 - 1, java.lang.Object(Tree(EOC, o2394:0, o2393:0)), java.lang.Object(o3144sub:0), i1227:0 - 1) :|: i1227:0 > 0 14.50/4.84 f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0, java.lang.Object(Tree(EOC, o2394:0, NULL)), java.lang.Object(Tree(EOC, o2394:0, NULL)), i1227:0) -> f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0 - 1, java.lang.Object(Tree(EOC, o2394:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2394:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1227:0 - 1) :|: i1227:0 > 0 && i1296:0 > 0 14.50/4.84 f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0, java.lang.Object(Tree(EOC, o2394:0, o2393:0)), java.lang.Object(Tree(EOC, o3096:0, java.lang.Object(o3145sub:0))), i1227:0) -> f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0 - 1, java.lang.Object(Tree(EOC, o2394:0, o2393:0)), java.lang.Object(o3145sub:0), i1227:0 - 1) :|: i1227:0 > 0 && i1296:0 > 0 14.50/4.84 f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0, java.lang.Object(Tree(EOC, o2394:0, o2393:0)), java.lang.Object(Tree(EOC, NULL, o3091:0)), i1227:0) -> f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0 - 1, java.lang.Object(Tree(EOC, o2394put:0, o2393put:0)), java.lang.Object(Tree(EOC, o2394put:0, o2393put:0)), i1227:0 - 1) :|: i1227:0 > 0 14.50/4.84 f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0, java.lang.Object(Tree(EOC, o2394:0, o2393:0)), java.lang.Object(Tree(EOC, o3096:0, NULL)), i1227:0) -> f7480_0_createTree_LE(EOS(STATIC_7480(java.lang.Object(ARRAY(i6:0)))), i1227:0 - 1, java.lang.Object(Tree(EOC, o2394put:0, o2393put:0)), java.lang.Object(Tree(EOC, o2394put:0, o2393put:0)), i1227:0 - 1) :|: i1227:0 > 0 && i1296:0 > 0 14.50/4.84 Filtered constant ground arguments: 14.50/4.84 Tree(x1, x2, x3) -> Tree(x2, x3) 14.50/4.84 Filtered duplicate arguments: 14.50/4.84 f7480_0_createTree_LE(x1, x2, x3, x4, x5) -> f7480_0_createTree_LE(x1, x3, x4, x5) 14.50/4.84 Filtered unneeded arguments: 14.50/4.84 f7480_0_createTree_LE(x1, x2, x3, x4) -> f7480_0_createTree_LE(x2, x3, x4) 14.50/4.84 Finished conversion. Obtained 6 rules.P rules: 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(NULL, o2393:0)), java.lang.Object(Tree(NULL, o2393:0)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), i1227:0 - 1) :|: i1227:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, o2393:0)), java.lang.Object(Tree(java.lang.Object(o3144sub:0), o3091:0)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, o2393:0)), java.lang.Object(o3144sub:0), i1227:0 - 1) :|: i1227:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, NULL)), java.lang.Object(Tree(o2394:0, NULL)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o2394:0, java.lang.Object(Tree(NULL, NULL)))), i1227:0 - 1) :|: i1227:0 > 0 && i1296:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, o2393:0)), java.lang.Object(Tree(o3096:0, java.lang.Object(o3145sub:0))), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, o2393:0)), java.lang.Object(o3145sub:0), i1227:0 - 1) :|: i1227:0 > 0 && i1296:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, o2393:0)), java.lang.Object(Tree(NULL, o3091:0)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(o2394put:0, o2393put:0)), java.lang.Object(Tree(o2394put:0, o2393put:0)), i1227:0 - 1) :|: i1227:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(o2394:0, o2393:0)), java.lang.Object(Tree(o3096:0, NULL)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(o2394put:0, o2393put:0)), java.lang.Object(Tree(o2394put:0, o2393put:0)), i1227:0 - 1) :|: i1227:0 > 0 && i1296:0 > 0 14.50/4.84 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (28) 14.50/4.84 Obligation: 14.50/4.84 Rules: 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(NULL, o2393:0)), java.lang.Object(Tree(NULL, o2393:0)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), i1227:0 - 1) :|: i1227:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(java.lang.Object(x2), x3)), x4) -> f7480_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(x2), x4 - 1) :|: x4 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x5, NULL)), java.lang.Object(Tree(x5, NULL)), x6) -> f7480_0_createTree_LE(java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x5, java.lang.Object(Tree(NULL, NULL)))), x6 - 1) :|: x6 > 0 && x7 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x8, x9)), java.lang.Object(Tree(x10, java.lang.Object(x11))), x12) -> f7480_0_createTree_LE(java.lang.Object(Tree(x8, x9)), java.lang.Object(x11), x12 - 1) :|: x12 > 0 && x13 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x14, x15)), java.lang.Object(Tree(NULL, x16)), x17) -> f7480_0_createTree_LE(java.lang.Object(Tree(x18, x19)), java.lang.Object(Tree(x18, x19)), x17 - 1) :|: x17 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x20, x21)), java.lang.Object(Tree(x22, NULL)), x23) -> f7480_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(Tree(x24, x25)), x23 - 1) :|: x23 > 0 && x26 > 0 14.50/4.84 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (29) IRSFormatTransformerProof (EQUIVALENT) 14.50/4.84 Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (30) 14.50/4.84 Obligation: 14.50/4.84 Rules: 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(NULL, o2393:0)), java.lang.Object(Tree(NULL, o2393:0)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), arith) :|: i1227:0 > 0 && arith = i1227:0 - 1 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(java.lang.Object(x29), x30)), x31) -> f7480_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x29), x32) :|: x31 > 0 && x32 = x31 - 1 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x33, NULL)), java.lang.Object(Tree(x33, NULL)), x34) -> f7480_0_createTree_LE(java.lang.Object(Tree(x33, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x33, java.lang.Object(Tree(NULL, NULL)))), x35) :|: x34 > 0 && x36 > 0 && x35 = x34 - 1 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(Tree(x39, java.lang.Object(x40))), x41) -> f7480_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(x40), x42) :|: x41 > 0 && x43 > 0 && x42 = x41 - 1 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(NULL, x46)), x47) -> f7480_0_createTree_LE(java.lang.Object(Tree(x48, x49)), java.lang.Object(Tree(x48, x49)), x50) :|: x47 > 0 && x50 = x47 - 1 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x53, NULL)), x54) -> f7480_0_createTree_LE(java.lang.Object(Tree(x55, x56)), java.lang.Object(Tree(x55, x56)), x57) :|: x54 > 0 && x58 > 0 && x57 = x54 - 1 14.50/4.84 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (31) IRSwTTerminationDigraphProof (EQUIVALENT) 14.50/4.84 Constructed termination digraph! 14.50/4.84 Nodes: 14.50/4.84 (1) f7480_0_createTree_LE(java.lang.Object(Tree(NULL, o2393:0)), java.lang.Object(Tree(NULL, o2393:0)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), arith) :|: i1227:0 > 0 && arith = i1227:0 - 1 14.50/4.84 (2) f7480_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(java.lang.Object(x29), x30)), x31) -> f7480_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x29), x32) :|: x31 > 0 && x32 = x31 - 1 14.50/4.84 (3) f7480_0_createTree_LE(java.lang.Object(Tree(x33, NULL)), java.lang.Object(Tree(x33, NULL)), x34) -> f7480_0_createTree_LE(java.lang.Object(Tree(x33, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x33, java.lang.Object(Tree(NULL, NULL)))), x35) :|: x34 > 0 && x36 > 0 && x35 = x34 - 1 14.50/4.84 (4) f7480_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(Tree(x39, java.lang.Object(x40))), x41) -> f7480_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(x40), x42) :|: x41 > 0 && x43 > 0 && x42 = x41 - 1 14.50/4.84 (5) f7480_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(NULL, x46)), x47) -> f7480_0_createTree_LE(java.lang.Object(Tree(x48, x49)), java.lang.Object(Tree(x48, x49)), x50) :|: x47 > 0 && x50 = x47 - 1 14.50/4.84 (6) f7480_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x53, NULL)), x54) -> f7480_0_createTree_LE(java.lang.Object(Tree(x55, x56)), java.lang.Object(Tree(x55, x56)), x57) :|: x54 > 0 && x58 > 0 && x57 = x54 - 1 14.50/4.84 14.50/4.84 Arcs: 14.50/4.84 (1) -> (2), (3), (4), (6) 14.50/4.84 (2) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 (3) -> (1), (2), (4), (5) 14.50/4.84 (4) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 (5) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 (6) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 14.50/4.84 This digraph is fully evaluated! 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (32) 14.50/4.84 Obligation: 14.50/4.84 14.50/4.84 Termination digraph: 14.50/4.84 Nodes: 14.50/4.84 (1) f7480_0_createTree_LE(java.lang.Object(Tree(NULL, o2393:0)), java.lang.Object(Tree(NULL, o2393:0)), i1227:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0)), arith) :|: i1227:0 > 0 && arith = i1227:0 - 1 14.50/4.84 (2) f7480_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(java.lang.Object(x29), x30)), x31) -> f7480_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x29), x32) :|: x31 > 0 && x32 = x31 - 1 14.50/4.84 (3) f7480_0_createTree_LE(java.lang.Object(Tree(x33, NULL)), java.lang.Object(Tree(x33, NULL)), x34) -> f7480_0_createTree_LE(java.lang.Object(Tree(x33, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x33, java.lang.Object(Tree(NULL, NULL)))), x35) :|: x34 > 0 && x36 > 0 && x35 = x34 - 1 14.50/4.84 (4) f7480_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(Tree(x39, java.lang.Object(x40))), x41) -> f7480_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(x40), x42) :|: x41 > 0 && x43 > 0 && x42 = x41 - 1 14.50/4.84 (5) f7480_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(NULL, x46)), x47) -> f7480_0_createTree_LE(java.lang.Object(Tree(x48, x49)), java.lang.Object(Tree(x48, x49)), x50) :|: x47 > 0 && x50 = x47 - 1 14.50/4.84 (6) f7480_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x53, NULL)), x54) -> f7480_0_createTree_LE(java.lang.Object(Tree(x55, x56)), java.lang.Object(Tree(x55, x56)), x57) :|: x54 > 0 && x58 > 0 && x57 = x54 - 1 14.50/4.84 14.50/4.84 Arcs: 14.50/4.84 (1) -> (2), (3), (4), (6) 14.50/4.84 (2) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 (3) -> (1), (2), (4), (5) 14.50/4.84 (4) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 (5) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 (6) -> (1), (2), (3), (4), (5), (6) 14.50/4.84 14.50/4.84 This digraph is fully evaluated! 14.50/4.84 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (33) IntTRSCompressionProof (EQUIVALENT) 14.50/4.84 Compressed rules. 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (34) 14.50/4.84 Obligation: 14.50/4.84 Rules: 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x44:0, x45:0)), java.lang.Object(Tree(NULL, x46:0)), x47:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(x48:0, x49:0)), java.lang.Object(Tree(x48:0, x49:0)), x47:0 - 1) :|: x47:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x33:0, NULL)), java.lang.Object(Tree(x33:0, NULL)), x34:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(x33:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x33:0, java.lang.Object(Tree(NULL, NULL)))), x34:0 - 1) :|: x34:0 > 0 && x36:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x37:0, x38:0)), java.lang.Object(Tree(x39:0, java.lang.Object(x40:0))), x41:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(x37:0, x38:0)), java.lang.Object(x40:0), x41:0 - 1) :|: x41:0 > 0 && x43:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(NULL, o2393:0:0)), java.lang.Object(Tree(NULL, o2393:0:0)), i1227:0:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2393:0:0)), i1227:0:0 - 1) :|: i1227:0:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x51:0, x52:0)), java.lang.Object(Tree(x53:0, NULL)), x54:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(x55:0, x56:0)), java.lang.Object(Tree(x55:0, x56:0)), x54:0 - 1) :|: x54:0 > 0 && x58:0 > 0 14.50/4.84 f7480_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(Tree(java.lang.Object(x29:0), x30:0)), x31:0) -> f7480_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(x29:0), x31:0 - 1) :|: x31:0 > 0 14.50/4.84 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (35) TempFilterProof (SOUND) 14.50/4.84 Used the following sort dictionary for filtering: 14.50/4.84 f7480_0_createTree_LE(VARIABLE, VARIABLE, INTEGER) 14.50/4.84 java.lang.Object(VARIABLE) 14.50/4.84 Tree(VARIABLE, VARIABLE) 14.50/4.84 NULL() 14.50/4.84 Replaced non-predefined constructor symbols by 0. 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (36) 14.50/4.84 Obligation: 14.50/4.84 Rules: 14.50/4.84 f7480_0_createTree_LE(c, c1, x47:0) -> f7480_0_createTree_LE(c2, c3, c4) :|: c4 = x47:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x47:0 > 0 14.50/4.84 f7480_0_createTree_LE(c5, c6, x34:0) -> f7480_0_createTree_LE(c7, c8, c9) :|: c9 = x34:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x34:0 > 0 && x36:0 > 0) 14.50/4.84 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (37) PolynomialOrderProcessor (EQUIVALENT) 14.50/4.84 Found the following polynomial interpretation: 14.50/4.84 [f7480_0_createTree_LE(x, x1, x2)] = c*x + c1*x1 + x2 14.50/4.84 14.50/4.84 The following rules are decreasing: 14.50/4.84 f7480_0_createTree_LE(c, c1, x47:0) -> f7480_0_createTree_LE(c2, c3, c4) :|: c4 = x47:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x47:0 > 0 14.50/4.84 f7480_0_createTree_LE(c5, c6, x34:0) -> f7480_0_createTree_LE(c7, c8, c9) :|: c9 = x34:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x34:0 > 0 && x36:0 > 0) 14.50/4.84 The following rules are bounded: 14.50/4.84 f7480_0_createTree_LE(c, c1, x47:0) -> f7480_0_createTree_LE(c2, c3, c4) :|: c4 = x47:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x47:0 > 0 14.50/4.84 f7480_0_createTree_LE(c5, c6, x34:0) -> f7480_0_createTree_LE(c7, c8, c9) :|: c9 = x34:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x34:0 > 0 && x36:0 > 0) 14.50/4.84 14.50/4.84 ---------------------------------------- 14.50/4.84 14.50/4.84 (38) 14.50/4.84 YES 14.50/4.87 EOF