/export/starexec/sandbox/solver/bin/starexec_run_standard /export/starexec/sandbox/benchmark/theBenchmark.jar /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


YES
proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
# AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 96 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1637 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 7 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 94 ms]
        (9) QDP
        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (11) YES
    (12) JBCTerminationSCC
        (13) SCCToQDPProof [SOUND, 215 ms]
        (14) QDP
        (15) DependencyGraphProof [EQUIVALENT, 0 ms]
        (16) TRUE
    (17) JBCTerminationSCC
        (18) SCCToIRSProof [SOUND, 186 ms]
        (19) IRSwT
        (20) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (21) IRSwT
        (22) IRSwTTerminationDigraphProof [EQUIVALENT, 172 ms]
        (23) IRSwT
        (24) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (25) IRSwT
        (26) TempFilterProof [SOUND, 52 ms]
        (27) IntTRS
        (28) PolynomialOrderProcessor [EQUIVALENT, 19 ms]
        (29) YES


----------------------------------------

(0)
Obligation:
need to prove termination of the following program:
public class LessLeaves {
  // Checks if a binary tree
  // has less leaves than another one

  public static void main(String[] args) {
    Random.args = args;
    Tree tree1 = Tree.createTree(); 
    Tree tree2 = Tree.createTree();
    boolean b = less_leaves(tree1,tree2);
  }



  public static Tree append(Tree t1, Tree t2) {

    Tree t;

    if (t1 == null) return t2;
    else {
      t = t1;

      while (t.right != null) {
        t = t.right;
      }

      t.right = t2;
      return t1;
    }
  }

  public static boolean less_leaves(Tree t1, Tree t2) {


    while ((t1 != null) && (t2 != null)) {
      t1 = append(t1.left,t1.right);
      t2 = append(t2.left,t2.right);
    }

    if (t2 == null) return false;
    else            return true;

  }
}


public class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    String string = args[index];
    index++;
    return string.length();
  }
}


public class Tree {
  Tree left;
  Tree right;
  Object value;

  public Tree(Tree l, Tree r) {
    this.left = l;
    this.right = r;
  }

  public Tree() {
  }

  public static Tree createNode() {
    Tree result = new Tree();
    result.value = new Object();
    return result;
  }

  public static Tree createTree() {
    int counter = Random.random();
    if (counter == 0) {
      return null;
    }
    Tree result = createNode();
    Tree t = result;

    while (counter > 0) {
      int branch = Random.random();
      if (branch > 0) {
        if (t.left == null) {
          t.left = createNode();
          t = result;
        } else {
          t = t.left;
        }
      } else {
        if (t.right == null) {
          t.right = createNode();
          t = result;
        } else {
          t = t.right;
        }
      }
      counter--;
    }

    return result;
  }
  public static void main(String[] args) {
    Random.args = args;
    createTree();
  }
}



----------------------------------------

(1) BareJBCToJBCProof (EQUIVALENT)
initialized classpath
----------------------------------------

(2)
Obligation:
need to prove termination of the following program:
public class LessLeaves {
  // Checks if a binary tree
  // has less leaves than another one

  public static void main(String[] args) {
    Random.args = args;
    Tree tree1 = Tree.createTree(); 
    Tree tree2 = Tree.createTree();
    boolean b = less_leaves(tree1,tree2);
  }



  public static Tree append(Tree t1, Tree t2) {

    Tree t;

    if (t1 == null) return t2;
    else {
      t = t1;

      while (t.right != null) {
        t = t.right;
      }

      t.right = t2;
      return t1;
    }
  }

  public static boolean less_leaves(Tree t1, Tree t2) {


    while ((t1 != null) && (t2 != null)) {
      t1 = append(t1.left,t1.right);
      t2 = append(t2.left,t2.right);
    }

    if (t2 == null) return false;
    else            return true;

  }
}


public class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    String string = args[index];
    index++;
    return string.length();
  }
}


public class Tree {
  Tree left;
  Tree right;
  Object value;

  public Tree(Tree l, Tree r) {
    this.left = l;
    this.right = r;
  }

  public Tree() {
  }

  public static Tree createNode() {
    Tree result = new Tree();
    result.value = new Object();
    return result;
  }

  public static Tree createTree() {
    int counter = Random.random();
    if (counter == 0) {
      return null;
    }
    Tree result = createNode();
    Tree t = result;

    while (counter > 0) {
      int branch = Random.random();
      if (branch > 0) {
        if (t.left == null) {
          t.left = createNode();
          t = result;
        } else {
          t = t.left;
        }
      } else {
        if (t.right == null) {
          t.right = createNode();
          t = result;
        } else {
          t = t.right;
        }
      }
      counter--;
    }

    return result;
  }
  public static void main(String[] args) {
    Random.args = args;
    createTree();
  }
}



----------------------------------------

(3) JBCToGraph (EQUIVALENT)
Constructed TerminationGraph.
----------------------------------------

(4)
Obligation:
Termination Graph based on JBC Program:
LessLeaves.main([Ljava/lang/String;)V: Graph of 126 nodes with 0 SCCs.



Tree.createTree()LTree;: Graph of 316 nodes with 1 SCC.



LessLeaves.less_leaves(LTree;LTree;)Z: Graph of 58 nodes with 1 SCC.



LessLeaves.append(LTree;LTree;)LTree;: Graph of 34 nodes with 1 SCC.





----------------------------------------

(5) TerminationGraphToSCCProof (SOUND)
Splitted TerminationGraph to 3 SCCss.
----------------------------------------

(6)
Complex Obligation (AND)

----------------------------------------

(7)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: LessLeaves.append(LTree;LTree;)LTree;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*Tree: [right]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 10 rules for P and 0 rules for R.P rules:
f6729_0_append_FieldAccess(EOS(STATIC_6729), java.lang.Object(Tree(EOC, o3093)), java.lang.Object(Tree(EOC, o3093))) -> f6736_0_append_FieldAccess(EOS(STATIC_6736), java.lang.Object(Tree(EOC, o3093)), java.lang.Object(Tree(EOC, o3093))) :|: TRUE
f6736_0_append_FieldAccess(EOS(STATIC_6736), java.lang.Object(Tree(EOC, o3093)), java.lang.Object(Tree(EOC, o3093))) -> f6744_0_append_NULL(EOS(STATIC_6744), java.lang.Object(Tree(EOC, o3093)), o3093) :|: TRUE
f6744_0_append_NULL(EOS(STATIC_6744), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub))), java.lang.Object(o3110sub)) -> f6752_0_append_NULL(EOS(STATIC_6752), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub))), java.lang.Object(o3110sub)) :|: TRUE
f6752_0_append_NULL(EOS(STATIC_6752), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub))), java.lang.Object(o3110sub)) -> f6761_0_append_Load(EOS(STATIC_6761), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub)))) :|: TRUE
f6761_0_append_Load(EOS(STATIC_6761), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub)))) -> f6774_0_append_FieldAccess(EOS(STATIC_6774), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub)))) :|: TRUE
f6774_0_append_FieldAccess(EOS(STATIC_6774), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub)))) -> f6787_0_append_Store(EOS(STATIC_6787), java.lang.Object(o3110sub)) :|: TRUE
f6787_0_append_Store(EOS(STATIC_6787), java.lang.Object(o3110sub)) -> f6800_0_append_JMP(EOS(STATIC_6800), java.lang.Object(o3110sub)) :|: TRUE
f6800_0_append_JMP(EOS(STATIC_6800), java.lang.Object(o3110sub)) -> f6814_0_append_Load(EOS(STATIC_6814), java.lang.Object(o3110sub)) :|: TRUE
f6814_0_append_Load(EOS(STATIC_6814), java.lang.Object(o3110sub)) -> f6722_0_append_Load(EOS(STATIC_6722), java.lang.Object(o3110sub)) :|: TRUE
f6722_0_append_Load(EOS(STATIC_6722), java.lang.Object(o3041sub)) -> f6729_0_append_FieldAccess(EOS(STATIC_6729), java.lang.Object(o3041sub), java.lang.Object(o3041sub)) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6729_0_append_FieldAccess(EOS(STATIC_6729), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub:0))), java.lang.Object(Tree(EOC, java.lang.Object(o3110sub:0)))) -> f6729_0_append_FieldAccess(EOS(STATIC_6729), java.lang.Object(o3110sub:0), java.lang.Object(o3110sub:0)) :|: TRUE
R rules:
Filtered ground terms:
   f6729_0_append_FieldAccess(x1, x2, x3) -> f6729_0_append_FieldAccess(x2, x3)
   EOS(x1) -> EOS
   Tree(x1, x2) -> Tree(x2)
Filtered duplicate args:
   f6729_0_append_FieldAccess(x1, x2) -> f6729_0_append_FieldAccess(x2)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6729_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3110sub:0:0)))) -> F6729_0_APPEND_FIELDACCESS(java.lang.Object(o3110sub:0:0)) :|: TRUE
R rules:

----------------------------------------

(9)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F6729_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3110sub:0:0)))) -> F6729_0_APPEND_FIELDACCESS(java.lang.Object(o3110sub:0:0))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(10) QDPSizeChangeProof (EQUIVALENT)
By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 

From the DPs we obtained the following set of size-change graphs:
*F6729_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3110sub:0:0)))) -> F6729_0_APPEND_FIELDACCESS(java.lang.Object(o3110sub:0:0))
The graph contains the following edges 1 > 1


----------------------------------------

(11)
YES

----------------------------------------

(12)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: LessLeaves.less_leaves(LTree;LTree;)Z
SCC calls the following helper methods: LessLeaves.append(LTree;LTree;)LTree;
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*Tree: [left, right]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(13) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 42 rules for P and 37 rules for R.P rules:
f6730_0_less_leaves_NULL(EOS(STATIC_6730), java.lang.Object(o3095sub), o3073, java.lang.Object(o3095sub)) -> f6737_0_less_leaves_NULL(EOS(STATIC_6737), java.lang.Object(o3095sub), o3073, java.lang.Object(o3095sub)) :|: TRUE
f6737_0_less_leaves_NULL(EOS(STATIC_6737), java.lang.Object(o3095sub), o3073, java.lang.Object(o3095sub)) -> f6745_0_less_leaves_Load(EOS(STATIC_6745), java.lang.Object(o3095sub), o3073) :|: TRUE
f6745_0_less_leaves_Load(EOS(STATIC_6745), java.lang.Object(o3095sub), o3073) -> f6754_0_less_leaves_NULL(EOS(STATIC_6754), java.lang.Object(o3095sub), o3073, o3073) :|: TRUE
f6754_0_less_leaves_NULL(EOS(STATIC_6754), java.lang.Object(o3095sub), java.lang.Object(o3114sub), java.lang.Object(o3114sub)) -> f6763_0_less_leaves_NULL(EOS(STATIC_6763), java.lang.Object(o3095sub), java.lang.Object(o3114sub), java.lang.Object(o3114sub)) :|: TRUE
f6763_0_less_leaves_NULL(EOS(STATIC_6763), java.lang.Object(o3095sub), java.lang.Object(o3114sub), java.lang.Object(o3114sub)) -> f6776_0_less_leaves_Load(EOS(STATIC_6776), java.lang.Object(o3095sub), java.lang.Object(o3114sub)) :|: TRUE
f6776_0_less_leaves_Load(EOS(STATIC_6776), java.lang.Object(o3095sub), java.lang.Object(o3114sub)) -> f6789_0_less_leaves_FieldAccess(EOS(STATIC_6789), java.lang.Object(o3095sub), java.lang.Object(o3114sub), java.lang.Object(o3095sub)) :|: TRUE
f6789_0_less_leaves_FieldAccess(EOS(STATIC_6789), java.lang.Object(Tree(EOC, o3147, o3148)), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3147, o3148))) -> f6803_0_less_leaves_FieldAccess(EOS(STATIC_6803), java.lang.Object(Tree(EOC, o3147, o3148)), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3147, o3148))) :|: TRUE
f6803_0_less_leaves_FieldAccess(EOS(STATIC_6803), java.lang.Object(Tree(EOC, o3147, o3148)), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3147, o3148))) -> f6817_0_less_leaves_Load(EOS(STATIC_6817), java.lang.Object(Tree(EOC, o3147, o3148)), java.lang.Object(o3114sub), o3147) :|: TRUE
f6817_0_less_leaves_Load(EOS(STATIC_6817), java.lang.Object(Tree(EOC, o3147, o3148)), java.lang.Object(o3114sub), o3147) -> f6825_0_less_leaves_FieldAccess(EOS(STATIC_6825), java.lang.Object(o3114sub), o3147, java.lang.Object(Tree(EOC, o3147, o3148))) :|: TRUE
f6825_0_less_leaves_FieldAccess(EOS(STATIC_6825), java.lang.Object(o3114sub), o3147, java.lang.Object(Tree(EOC, o3147, o3148))) -> f6844_0_less_leaves_InvokeMethod(EOS(STATIC_6844), java.lang.Object(o3114sub), o3147, o3148) :|: TRUE
f6844_0_less_leaves_InvokeMethod(EOS(STATIC_6844), java.lang.Object(o3114sub), o3147, o3148) -> f6852_1_less_leaves_InvokeMethod(f6852_0_append_Load(EOS(STATIC_6852), o3147, o3148), java.lang.Object(o3114sub)) :|: TRUE
f6852_0_append_Load(EOS(STATIC_6852), o3147, o3148) -> f7406_0_append_Load(EOS(STATIC_7406), o3147, o3148) :|: TRUE
f6867_0_append_Return(EOS(STATIC_6867), java.lang.Object(o3114sub), o3321) -> f6871_0_less_leaves_Store(EOS(STATIC_6871), java.lang.Object(o3114sub), o3321) :|: TRUE
f6871_0_less_leaves_Store(EOS(STATIC_6871), java.lang.Object(o3114sub), o3321) -> f6877_0_less_leaves_Load(EOS(STATIC_6877), o3321, java.lang.Object(o3114sub)) :|: TRUE
f6877_0_less_leaves_Load(EOS(STATIC_6877), o3321, java.lang.Object(o3114sub)) -> f6881_0_less_leaves_FieldAccess(EOS(STATIC_6881), o3321, java.lang.Object(o3114sub), java.lang.Object(o3114sub)) :|: TRUE
f6881_0_less_leaves_FieldAccess(EOS(STATIC_6881), o3321, java.lang.Object(Tree(EOC, o3417, o3418)), java.lang.Object(Tree(EOC, o3417, o3418))) -> f6886_0_less_leaves_FieldAccess(EOS(STATIC_6886), o3321, java.lang.Object(Tree(EOC, o3417, o3418)), java.lang.Object(Tree(EOC, o3417, o3418))) :|: TRUE
f6886_0_less_leaves_FieldAccess(EOS(STATIC_6886), o3321, java.lang.Object(Tree(EOC, o3417, o3418)), java.lang.Object(Tree(EOC, o3417, o3418))) -> f6889_0_less_leaves_Load(EOS(STATIC_6889), o3321, java.lang.Object(Tree(EOC, o3417, o3418)), o3417) :|: TRUE
f6889_0_less_leaves_Load(EOS(STATIC_6889), o3321, java.lang.Object(Tree(EOC, o3417, o3418)), o3417) -> f6892_0_less_leaves_FieldAccess(EOS(STATIC_6892), o3321, o3417, java.lang.Object(Tree(EOC, o3417, o3418))) :|: TRUE
f6892_0_less_leaves_FieldAccess(EOS(STATIC_6892), o3321, o3417, java.lang.Object(Tree(EOC, o3417, o3418))) -> f6896_0_less_leaves_InvokeMethod(EOS(STATIC_6896), o3321, o3417, o3418) :|: TRUE
f6896_0_less_leaves_InvokeMethod(EOS(STATIC_6896), o3321, o3417, o3418) -> f6899_1_less_leaves_InvokeMethod(f6899_0_append_Load(EOS(STATIC_6899), o3417, o3418), o3321) :|: TRUE
f6899_0_append_Load(EOS(STATIC_6899), o3417, o3418) -> f7442_0_append_Load(EOS(STATIC_7442), o3417, o3418) :|: TRUE
f6916_0_append_Return(EOS(STATIC_6916), o3321, o3446) -> f6921_0_less_leaves_Store(EOS(STATIC_6921), o3321, o3446) :|: TRUE
f6921_0_less_leaves_Store(EOS(STATIC_6921), o3321, o3446) -> f6925_0_less_leaves_JMP(EOS(STATIC_6925), o3321, o3446) :|: TRUE
f6925_0_less_leaves_JMP(EOS(STATIC_6925), o3321, o3446) -> f6931_0_less_leaves_Load(EOS(STATIC_6931), o3321, o3446) :|: TRUE
f6931_0_less_leaves_Load(EOS(STATIC_6931), o3321, o3446) -> f6724_0_less_leaves_Load(EOS(STATIC_6724), o3321, o3446) :|: TRUE
f6724_0_less_leaves_Load(EOS(STATIC_6724), o3072, o3073) -> f6730_0_less_leaves_NULL(EOS(STATIC_6730), o3072, o3073, o3072) :|: TRUE
f6917_0_append_Return(EOS(STATIC_6917), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) -> f6922_0_less_leaves_Store(EOS(STATIC_6922), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) :|: TRUE
f6922_0_less_leaves_Store(EOS(STATIC_6922), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) -> f6926_0_less_leaves_JMP(EOS(STATIC_6926), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) :|: TRUE
f6926_0_less_leaves_JMP(EOS(STATIC_6926), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) -> f6932_0_less_leaves_Load(EOS(STATIC_6932), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) :|: TRUE
f6932_0_less_leaves_Load(EOS(STATIC_6932), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) -> f6724_0_less_leaves_Load(EOS(STATIC_6724), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) :|: TRUE
f6918_0_append_Return(EOS(STATIC_6918), o3321, java.lang.Object(Tree(EOC, o3471, o3467))) -> f6917_0_append_Return(EOS(STATIC_6917), o3321, java.lang.Object(Tree(EOC, o3471, o3467))) :|: TRUE
f6868_0_append_Return(EOS(STATIC_6868), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3334, o3335))) -> f6872_0_less_leaves_Store(EOS(STATIC_6872), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3334, o3335))) :|: TRUE
f6872_0_less_leaves_Store(EOS(STATIC_6872), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3334, o3335))) -> f6878_0_less_leaves_Load(EOS(STATIC_6878), java.lang.Object(Tree(EOC, o3334, o3335)), java.lang.Object(o3114sub)) :|: TRUE
f6878_0_less_leaves_Load(EOS(STATIC_6878), java.lang.Object(Tree(EOC, o3334, o3335)), java.lang.Object(o3114sub)) -> f6882_0_less_leaves_FieldAccess(EOS(STATIC_6882), java.lang.Object(Tree(EOC, o3334, o3335)), java.lang.Object(o3114sub), java.lang.Object(o3114sub)) :|: TRUE
f6882_0_less_leaves_FieldAccess(EOS(STATIC_6882), java.lang.Object(Tree(EOC, o3334, o3335)), java.lang.Object(o3114sub), java.lang.Object(o3114sub)) -> f6881_0_less_leaves_FieldAccess(EOS(STATIC_6881), java.lang.Object(Tree(EOC, o3334, o3335)), java.lang.Object(o3114sub), java.lang.Object(o3114sub)) :|: TRUE
f6869_0_append_Return(EOS(STATIC_6869), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3346, o3342))) -> f6868_0_append_Return(EOS(STATIC_6868), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3346, o3342))) :|: TRUE
f6852_1_less_leaves_InvokeMethod(f6565_0_append_Return(EOS(STATIC_6565), NULL, o3321, o3321), java.lang.Object(o3114sub)) -> f6867_0_append_Return(EOS(STATIC_6867), java.lang.Object(o3114sub), o3321) :|: TRUE
f6852_1_less_leaves_InvokeMethod(f6823_0_append_Return(EOS(STATIC_6823), java.lang.Object(Tree(EOC, o3334, o3335)), o3037, java.lang.Object(Tree(EOC, o3334, o3335))), java.lang.Object(o3114sub)) -> f6868_0_append_Return(EOS(STATIC_6868), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3334, o3335))) :|: TRUE
f6852_1_less_leaves_InvokeMethod(f6824_0_append_Return(EOS(STATIC_6824), java.lang.Object(Tree(EOC, o3346, o3342)), o3342, java.lang.Object(Tree(EOC, o3346, o3342))), java.lang.Object(o3114sub)) -> f6869_0_append_Return(EOS(STATIC_6869), java.lang.Object(o3114sub), java.lang.Object(Tree(EOC, o3346, o3342))) :|: TRUE
f6899_1_less_leaves_InvokeMethod(f6565_0_append_Return(EOS(STATIC_6565), NULL, o3446, o3446), o3321) -> f6916_0_append_Return(EOS(STATIC_6916), o3321, o3446) :|: TRUE
f6899_1_less_leaves_InvokeMethod(f6823_0_append_Return(EOS(STATIC_6823), java.lang.Object(Tree(EOC, o3459, o3460)), o3037, java.lang.Object(Tree(EOC, o3459, o3460))), o3321) -> f6917_0_append_Return(EOS(STATIC_6917), o3321, java.lang.Object(Tree(EOC, o3459, o3460))) :|: TRUE
f6899_1_less_leaves_InvokeMethod(f6824_0_append_Return(EOS(STATIC_6824), java.lang.Object(Tree(EOC, o3471, o3467)), o3467, java.lang.Object(Tree(EOC, o3471, o3467))), o3321) -> f6918_0_append_Return(EOS(STATIC_6918), o3321, java.lang.Object(Tree(EOC, o3471, o3467))) :|: TRUE
R rules:
f6852_0_append_Load(EOS(STATIC_6852), o3147, o3148) -> f6857_0_append_Load(EOS(STATIC_6857), o3147, o3148) :|: TRUE
f6857_0_append_Load(EOS(STATIC_6857), o3147, o3148) -> f6866_0_append_Load(EOS(STATIC_6866), o3147, o3148, o3147, o3148) :|: TRUE
f6866_0_append_Load(EOS(STATIC_6866), o3147, o3148, o3147, o3148) -> f6545_0_append_Load(EOS(STATIC_6545), o3147, o3148, o3147, o3148) :|: TRUE
f6899_0_append_Load(EOS(STATIC_6899), o3417, o3418) -> f6902_0_append_Load(EOS(STATIC_6902), o3417, o3418) :|: TRUE
f6902_0_append_Load(EOS(STATIC_6902), o3417, o3418) -> f6915_0_append_Load(EOS(STATIC_6915), o3417, o3418, o3417, o3418) :|: TRUE
f6915_0_append_Load(EOS(STATIC_6915), o3417, o3418, o3417, o3418) -> f6545_0_append_Load(EOS(STATIC_6545), o3417, o3418, o3417, o3418) :|: TRUE
f6545_0_append_Load(EOS(STATIC_6545), o2640, o2641, o2640, o2641) -> f6548_0_append_NONNULL(EOS(STATIC_6548), o2640, o2641, o2640, o2641, o2640) :|: TRUE
f6548_0_append_NONNULL(EOS(STATIC_6548), java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub)) -> f6551_0_append_NONNULL(EOS(STATIC_6551), java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub)) :|: TRUE
f6548_0_append_NONNULL(EOS(STATIC_6548), NULL, o2641, NULL, o2641, NULL) -> f6552_0_append_NONNULL(EOS(STATIC_6552), NULL, o2641, NULL, o2641, NULL) :|: TRUE
f6551_0_append_NONNULL(EOS(STATIC_6551), java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub)) -> f6558_0_append_Load(EOS(STATIC_6558), java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub), o2641) :|: TRUE
f6552_0_append_NONNULL(EOS(STATIC_6552), NULL, o2641, NULL, o2641, NULL) -> f6559_0_append_Load(EOS(STATIC_6559), NULL, o2641, o2641) :|: TRUE
f6558_0_append_Load(EOS(STATIC_6558), java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub), o2641) -> f6564_0_append_Store(EOS(STATIC_6564), java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub), o2641, java.lang.Object(o2671sub)) :|: TRUE
f6559_0_append_Load(EOS(STATIC_6559), NULL, o2641, o2641) -> f6565_0_append_Return(EOS(STATIC_6565), NULL, o2641, o2641) :|: TRUE
f6564_0_append_Store(EOS(STATIC_6564), java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713))) -> f6571_0_append_Store(EOS(STATIC_6571), java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713))) :|: TRUE
f6571_0_append_Store(EOS(STATIC_6571), java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713))) -> f6577_0_append_Load(EOS(STATIC_6577), java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713))) :|: TRUE
f6577_0_append_Load(EOS(STATIC_6577), java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713))) -> f6650_0_append_Load(EOS(STATIC_6650), java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713)), o2641, java.lang.Object(Tree(EOC, o2712, o2713))) :|: TRUE
f6650_0_append_Load(EOS(STATIC_6650), java.lang.Object(Tree(EOC, o2883, o2884)), o2886, java.lang.Object(Tree(EOC, o2883, o2884)), o2886, java.lang.Object(o2890sub)) -> f6722_0_append_Load(EOS(STATIC_6722), java.lang.Object(Tree(EOC, o2883, o2884)), o2886, java.lang.Object(Tree(EOC, o2883, o2884)), o2886, java.lang.Object(o2890sub)) :|: TRUE
f6722_0_append_Load(EOS(STATIC_6722), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3041sub)) -> f6729_0_append_FieldAccess(EOS(STATIC_6729), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3041sub), java.lang.Object(o3041sub)) :|: TRUE
f6729_0_append_FieldAccess(EOS(STATIC_6729), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, o3093)), java.lang.Object(Tree(EOC, o3092, o3093))) -> f6736_0_append_FieldAccess(EOS(STATIC_6736), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, o3093)), java.lang.Object(Tree(EOC, o3092, o3093))) :|: TRUE
f6736_0_append_FieldAccess(EOS(STATIC_6736), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, o3093)), java.lang.Object(Tree(EOC, o3092, o3093))) -> f6744_0_append_NULL(EOS(STATIC_6744), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, o3093)), o3093) :|: TRUE
f6744_0_append_NULL(EOS(STATIC_6744), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, java.lang.Object(o3110sub))), java.lang.Object(o3110sub)) -> f6752_0_append_NULL(EOS(STATIC_6752), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, java.lang.Object(o3110sub))), java.lang.Object(o3110sub)) :|: TRUE
f6744_0_append_NULL(EOS(STATIC_6744), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, NULL)), NULL) -> f6753_0_append_NULL(EOS(STATIC_6753), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, NULL)), NULL) :|: TRUE
f6752_0_append_NULL(EOS(STATIC_6752), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, java.lang.Object(o3110sub))), java.lang.Object(o3110sub)) -> f6761_0_append_Load(EOS(STATIC_6761), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, java.lang.Object(o3110sub)))) :|: TRUE
f6753_0_append_NULL(EOS(STATIC_6753), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, NULL)), NULL) -> f6762_0_append_Load(EOS(STATIC_6762), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, NULL))) :|: TRUE
f6761_0_append_Load(EOS(STATIC_6761), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, java.lang.Object(o3110sub)))) -> f6774_0_append_FieldAccess(EOS(STATIC_6774), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, java.lang.Object(o3110sub)))) :|: TRUE
f6762_0_append_Load(EOS(STATIC_6762), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, NULL))) -> f6775_0_append_Load(EOS(STATIC_6775), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, NULL))) :|: TRUE
f6774_0_append_FieldAccess(EOS(STATIC_6774), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, java.lang.Object(o3110sub)))) -> f6787_0_append_Store(EOS(STATIC_6787), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3110sub)) :|: TRUE
f6775_0_append_Load(EOS(STATIC_6775), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3092, NULL))) -> f6788_0_append_FieldAccess(EOS(STATIC_6788), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), java.lang.Object(Tree(EOC, o3092, NULL)), o3037) :|: TRUE
f6787_0_append_Store(EOS(STATIC_6787), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3110sub)) -> f6800_0_append_JMP(EOS(STATIC_6800), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3110sub)) :|: TRUE
f6788_0_append_FieldAccess(EOS(STATIC_6788), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), java.lang.Object(Tree(EOC, o3092, NULL)), o3037) -> f6801_0_append_FieldAccess(EOS(STATIC_6801), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), java.lang.Object(Tree(EOC, o3092, NULL)), o3037) :|: TRUE
f6788_0_append_FieldAccess(EOS(STATIC_6788), java.lang.Object(Tree(EOC, o3142, NULL)), o3037, java.lang.Object(Tree(EOC, o3142, NULL)), java.lang.Object(Tree(EOC, o3142, NULL)), o3037) -> f6802_0_append_FieldAccess(EOS(STATIC_6802), java.lang.Object(Tree(EOC, o3142, NULL)), o3037, java.lang.Object(Tree(EOC, o3142, NULL)), java.lang.Object(Tree(EOC, o3142, NULL)), o3037) :|: TRUE
f6800_0_append_JMP(EOS(STATIC_6800), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3110sub)) -> f6814_0_append_Load(EOS(STATIC_6814), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3110sub)) :|: TRUE
f6801_0_append_FieldAccess(EOS(STATIC_6801), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), java.lang.Object(Tree(EOC, o3092, NULL)), o3037) -> f6815_0_append_Load(EOS(STATIC_6815), java.lang.Object(Tree(EOC, o3034put, o3035put)), o3037, java.lang.Object(Tree(EOC, o3034put, o3035put))) :|: TRUE
f6802_0_append_FieldAccess(EOS(STATIC_6802), java.lang.Object(Tree(EOC, o3142, NULL)), o3037, java.lang.Object(Tree(EOC, o3142, NULL)), java.lang.Object(Tree(EOC, o3142, NULL)), o3037) -> f6816_0_append_Load(EOS(STATIC_6816), java.lang.Object(Tree(EOC, o3142, o3037)), o3037, java.lang.Object(Tree(EOC, o3142, o3037))) :|: TRUE
f6814_0_append_Load(EOS(STATIC_6814), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3110sub)) -> f6722_0_append_Load(EOS(STATIC_6722), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(o3110sub)) :|: TRUE
f6815_0_append_Load(EOS(STATIC_6815), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035))) -> f6823_0_append_Return(EOS(STATIC_6823), java.lang.Object(Tree(EOC, o3034, o3035)), o3037, java.lang.Object(Tree(EOC, o3034, o3035))) :|: TRUE
f6816_0_append_Load(EOS(STATIC_6816), java.lang.Object(Tree(EOC, o3142, o3037)), o3037, java.lang.Object(Tree(EOC, o3142, o3037))) -> f6824_0_append_Return(EOS(STATIC_6824), java.lang.Object(Tree(EOC, o3142, o3037)), o3037, java.lang.Object(Tree(EOC, o3142, o3037))) :|: TRUE
Combined rules. Obtained 6 conditional rules for P and 0 conditional rules for R.P rules:
f6899_1_less_leaves_InvokeMethod(f6823_0_append_Return(EOS(STATIC_6823), java.lang.Object(Tree(EOC, o3459:0, o3460:0)), o3037:0, java.lang.Object(Tree(EOC, o3459:0, o3460:0))), java.lang.Object(Tree(EOC, o3147:0, o3148:0))) -> f6852_1_less_leaves_InvokeMethod(f7406_0_append_Load(EOS(STATIC_7406), o3147:0, o3148:0), java.lang.Object(Tree(EOC, o3459:0, o3460:0))) :|: TRUE
f6852_1_less_leaves_InvokeMethod(f6824_0_append_Return(EOS(STATIC_6824), java.lang.Object(Tree(EOC, o3346:0, o3342:0)), o3342:0, java.lang.Object(Tree(EOC, o3346:0, o3342:0))), java.lang.Object(Tree(EOC, o3417:0, o3418:0))) -> f6899_1_less_leaves_InvokeMethod(f7442_0_append_Load(EOS(STATIC_7442), o3417:0, o3418:0), java.lang.Object(Tree(EOC, o3346:0, o3342:0))) :|: TRUE
f6899_1_less_leaves_InvokeMethod(f6824_0_append_Return(EOS(STATIC_6824), java.lang.Object(Tree(EOC, o3471:0, o3467:0)), o3467:0, java.lang.Object(Tree(EOC, o3471:0, o3467:0))), java.lang.Object(Tree(EOC, o3147:0, o3148:0))) -> f6852_1_less_leaves_InvokeMethod(f7406_0_append_Load(EOS(STATIC_7406), o3147:0, o3148:0), java.lang.Object(Tree(EOC, o3471:0, o3467:0))) :|: TRUE
f6899_1_less_leaves_InvokeMethod(f6565_0_append_Return(EOS(STATIC_6565), NULL, java.lang.Object(o3114sub:0), java.lang.Object(o3114sub:0)), java.lang.Object(Tree(EOC, o3147:0, o3148:0))) -> f6852_1_less_leaves_InvokeMethod(f7406_0_append_Load(EOS(STATIC_7406), o3147:0, o3148:0), java.lang.Object(o3114sub:0)) :|: TRUE
f6852_1_less_leaves_InvokeMethod(f6823_0_append_Return(EOS(STATIC_6823), java.lang.Object(Tree(EOC, o3334:0, o3335:0)), o3037:0, java.lang.Object(Tree(EOC, o3334:0, o3335:0))), java.lang.Object(Tree(EOC, o3417:0, o3418:0))) -> f6899_1_less_leaves_InvokeMethod(f7442_0_append_Load(EOS(STATIC_7442), o3417:0, o3418:0), java.lang.Object(Tree(EOC, o3334:0, o3335:0))) :|: TRUE
f6852_1_less_leaves_InvokeMethod(f6565_0_append_Return(EOS(STATIC_6565), NULL, o3321:0, o3321:0), java.lang.Object(Tree(EOC, o3417:0, o3418:0))) -> f6899_1_less_leaves_InvokeMethod(f7442_0_append_Load(EOS(STATIC_7442), o3417:0, o3418:0), o3321:0) :|: TRUE
R rules:
Filtered ground terms:
   f6823_0_append_Return(x1, x2, x3, x4) -> f6823_0_append_Return(x2, x3, x4)
   f7406_0_append_Load(x1, x2, x3) -> f7406_0_append_Load(x2, x3)
   f6824_0_append_Return(x1, x2, x3, x4) -> f6824_0_append_Return(x2, x3, x4)
   f7442_0_append_Load(x1, x2, x3) -> f7442_0_append_Load(x2, x3)
   f6565_0_append_Return(x1, x2, x3, x4) -> f6565_0_append_Return(x3, x4)
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f6823_0_append_Return(x1, x2, x3) -> f6823_0_append_Return(x2, x3)
   f6824_0_append_Return(x1, x2, x3) -> f6824_0_append_Return(x3)
   f6565_0_append_Return(x1, x2) -> f6565_0_append_Return(x2)
Combined rules. Obtained 6 conditional rules for P and 0 conditional rules for R.P rules:
F6852_1_LESS_LEAVES_INVOKEMETHOD(f6823_0_append_Return(o3037:0:0, java.lang.Object(Tree(o3334:0:0, o3335:0:0))), java.lang.Object(Tree(o3417:0:0, o3418:0:0))) -> F6899_1_LESS_LEAVES_INVOKEMETHOD(f7442_0_append_Load(o3417:0:0, o3418:0:0), java.lang.Object(Tree(o3334:0:0, o3335:0:0))) :|: TRUE
F6852_1_LESS_LEAVES_INVOKEMETHOD(f6824_0_append_Return(java.lang.Object(Tree(o3346:0:0, o3342:0:0))), java.lang.Object(Tree(o3417:0:0, o3418:0:0))) -> F6899_1_LESS_LEAVES_INVOKEMETHOD(f7442_0_append_Load(o3417:0:0, o3418:0:0), java.lang.Object(Tree(o3346:0:0, o3342:0:0))) :|: TRUE
F6899_1_LESS_LEAVES_INVOKEMETHOD(f6824_0_append_Return(java.lang.Object(Tree(o3471:0:0, o3467:0:0))), java.lang.Object(Tree(o3147:0:0, o3148:0:0))) -> F6852_1_LESS_LEAVES_INVOKEMETHOD(f7406_0_append_Load(o3147:0:0, o3148:0:0), java.lang.Object(Tree(o3471:0:0, o3467:0:0))) :|: TRUE
F6899_1_LESS_LEAVES_INVOKEMETHOD(f6565_0_append_Return(java.lang.Object(o3114sub:0:0)), java.lang.Object(Tree(o3147:0:0, o3148:0:0))) -> F6852_1_LESS_LEAVES_INVOKEMETHOD(f7406_0_append_Load(o3147:0:0, o3148:0:0), java.lang.Object(o3114sub:0:0)) :|: TRUE
F6852_1_LESS_LEAVES_INVOKEMETHOD(f6565_0_append_Return(o3321:0:0), java.lang.Object(Tree(o3417:0:0, o3418:0:0))) -> F6899_1_LESS_LEAVES_INVOKEMETHOD(f7442_0_append_Load(o3417:0:0, o3418:0:0), o3321:0:0) :|: TRUE
F6899_1_LESS_LEAVES_INVOKEMETHOD(f6823_0_append_Return(o3037:0:0, java.lang.Object(Tree(o3459:0:0, o3460:0:0))), java.lang.Object(Tree(o3147:0:0, o3148:0:0))) -> F6852_1_LESS_LEAVES_INVOKEMETHOD(f7406_0_append_Load(o3147:0:0, o3148:0:0), java.lang.Object(Tree(o3459:0:0, o3460:0:0))) :|: TRUE
R rules:

----------------------------------------

(14)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F6852_1_LESS_LEAVES_INVOKEMETHOD(f6823_0_append_Return(o3037:0:0, java.lang.Object(Tree(o3334:0:0, o3335:0:0))), java.lang.Object(Tree(o3417:0:0, o3418:0:0))) -> F6899_1_LESS_LEAVES_INVOKEMETHOD(f7442_0_append_Load(o3417:0:0, o3418:0:0), java.lang.Object(Tree(o3334:0:0, o3335:0:0)))
   F6852_1_LESS_LEAVES_INVOKEMETHOD(f6824_0_append_Return(java.lang.Object(Tree(o3346:0:0, o3342:0:0))), java.lang.Object(Tree(o3417:0:0, o3418:0:0))) -> F6899_1_LESS_LEAVES_INVOKEMETHOD(f7442_0_append_Load(o3417:0:0, o3418:0:0), java.lang.Object(Tree(o3346:0:0, o3342:0:0)))
   F6899_1_LESS_LEAVES_INVOKEMETHOD(f6824_0_append_Return(java.lang.Object(Tree(o3471:0:0, o3467:0:0))), java.lang.Object(Tree(o3147:0:0, o3148:0:0))) -> F6852_1_LESS_LEAVES_INVOKEMETHOD(f7406_0_append_Load(o3147:0:0, o3148:0:0), java.lang.Object(Tree(o3471:0:0, o3467:0:0)))
   F6899_1_LESS_LEAVES_INVOKEMETHOD(f6565_0_append_Return(java.lang.Object(o3114sub:0:0)), java.lang.Object(Tree(o3147:0:0, o3148:0:0))) -> F6852_1_LESS_LEAVES_INVOKEMETHOD(f7406_0_append_Load(o3147:0:0, o3148:0:0), java.lang.Object(o3114sub:0:0))
   F6852_1_LESS_LEAVES_INVOKEMETHOD(f6565_0_append_Return(o3321:0:0), java.lang.Object(Tree(o3417:0:0, o3418:0:0))) -> F6899_1_LESS_LEAVES_INVOKEMETHOD(f7442_0_append_Load(o3417:0:0, o3418:0:0), o3321:0:0)
   F6899_1_LESS_LEAVES_INVOKEMETHOD(f6823_0_append_Return(o3037:0:0, java.lang.Object(Tree(o3459:0:0, o3460:0:0))), java.lang.Object(Tree(o3147:0:0, o3148:0:0))) -> F6852_1_LESS_LEAVES_INVOKEMETHOD(f7406_0_append_Load(o3147:0:0, o3148:0:0), java.lang.Object(Tree(o3459:0:0, o3460:0:0)))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(15) DependencyGraphProof (EQUIVALENT)
The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 6 less nodes.
----------------------------------------

(16)
TRUE

----------------------------------------

(17)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Tree.createTree()LTree;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*java.lang.String: [count]
*Tree: [right, left]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(18) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 120 IRulesP rules:
f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2543) -> f7097_0_createTree_LE(EOS(STATIC_7097(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2543) :|: TRUE
f7097_0_createTree_LE(EOS(STATIC_7097(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2543) -> f7099_0_createTree_InvokeMethod(EOS(STATIC_7099(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) :|: i2543 > 0
f7099_0_createTree_InvokeMethod(EOS(STATIC_7099(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) -> f7101_0_random_FieldAccess(EOS(STATIC_7101(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) :|: TRUE
f7101_0_random_FieldAccess(EOS(STATIC_7101(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) -> f7103_0_random_FieldAccess(EOS(STATIC_7103(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) :|: TRUE
f7103_0_random_FieldAccess(EOS(STATIC_7103(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) -> f7108_0_random_ArrayAccess(EOS(STATIC_7108(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) :|: TRUE
f7108_0_random_ArrayAccess(EOS(STATIC_7108(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) -> f7112_0_random_ArrayAccess(EOS(STATIC_7112(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) :|: TRUE
f7112_0_random_ArrayAccess(EOS(STATIC_7112(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) -> f7116_0_random_ArrayAccess(EOS(STATIC_7116(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) :|: TRUE
f7116_0_random_ArrayAccess(EOS(STATIC_7116(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(ARRAY(i90))) -> f7120_0_random_Store(EOS(STATIC_7120(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) :|: TRUE
f7120_0_random_Store(EOS(STATIC_7120(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) -> f7125_0_random_FieldAccess(EOS(STATIC_7125(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) :|: TRUE
f7125_0_random_FieldAccess(EOS(STATIC_7125(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) -> f7129_0_random_ConstantStackPush(EOS(STATIC_7129(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) :|: TRUE
f7129_0_random_ConstantStackPush(EOS(STATIC_7129(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) -> f7133_0_random_IntArithmetic(EOS(STATIC_7133(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) :|: TRUE
f7133_0_random_IntArithmetic(EOS(STATIC_7133(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) -> f7137_0_random_FieldAccess(EOS(STATIC_7137(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) :|: TRUE
f7137_0_random_FieldAccess(EOS(STATIC_7137(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) -> f7148_0_random_Load(EOS(STATIC_7148(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) :|: TRUE
f7148_0_random_Load(EOS(STATIC_7148(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) -> f7153_0_random_InvokeMethod(EOS(STATIC_7153(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), o4017) :|: TRUE
f7153_0_random_InvokeMethod(EOS(STATIC_7153(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4108sub)) -> f7162_0_random_InvokeMethod(EOS(STATIC_7162(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4108sub)) :|: TRUE
f7162_0_random_InvokeMethod(EOS(STATIC_7162(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4116sub)) -> f7169_0_random_InvokeMethod(EOS(STATIC_7169(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4116sub)) :|: TRUE
f7169_0_random_InvokeMethod(EOS(STATIC_7169(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4116sub)) -> f7174_0_length_Load(EOS(STATIC_7174(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4116sub)) :|: TRUE
f7174_0_length_Load(EOS(STATIC_7174(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4116sub)) -> f7183_0_length_FieldAccess(EOS(STATIC_7183(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o4116sub)) :|: TRUE
f7183_0_length_FieldAccess(EOS(STATIC_7183(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(java.lang.String(EOC, i2727))) -> f7188_0_length_FieldAccess(EOS(STATIC_7188(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(java.lang.String(EOC, i2727))) :|: i2727 >= 0
f7188_0_length_FieldAccess(EOS(STATIC_7188(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(java.lang.String(EOC, i2727))) -> f7193_0_length_Return(EOS(STATIC_7193(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) :|: TRUE
f7193_0_length_Return(EOS(STATIC_7193(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) -> f7196_0_random_Return(EOS(STATIC_7196(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) :|: TRUE
f7196_0_random_Return(EOS(STATIC_7196(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) -> f7206_0_createTree_Store(EOS(STATIC_7206(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) :|: TRUE
f7206_0_createTree_Store(EOS(STATIC_7206(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) -> f7213_0_createTree_Load(EOS(STATIC_7213(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) :|: TRUE
f7213_0_createTree_Load(EOS(STATIC_7213(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) -> f7217_0_createTree_LE(EOS(STATIC_7217(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2727) :|: TRUE
f7217_0_createTree_LE(EOS(STATIC_7217(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), matching1) -> f7221_0_createTree_LE(EOS(STATIC_7221(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), 0) :|: TRUE && matching1 = 0
f7217_0_createTree_LE(EOS(STATIC_7217(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2783) -> f7222_0_createTree_LE(EOS(STATIC_7222(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2783) :|: TRUE
f7221_0_createTree_LE(EOS(STATIC_7221(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), matching1) -> f7225_0_createTree_Load(EOS(STATIC_7225(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) :|: 0 <= 0 && matching1 = 0
f7225_0_createTree_Load(EOS(STATIC_7225(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) -> f7230_0_createTree_FieldAccess(EOS(STATIC_7230(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o3935sub)) :|: TRUE
f7230_0_createTree_FieldAccess(EOS(STATIC_7230(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4208, o4207)), java.lang.Object(Tree(EOC, o4208, o4207))) -> f7235_0_createTree_FieldAccess(EOS(STATIC_7235(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4208, o4207)), java.lang.Object(Tree(EOC, o4208, o4207))) :|: TRUE
f7235_0_createTree_FieldAccess(EOS(STATIC_7235(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4208, o4207)), java.lang.Object(Tree(EOC, o4208, o4207))) -> f7240_0_createTree_NONNULL(EOS(STATIC_7240(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4208, o4207)), o4208) :|: TRUE
f7240_0_createTree_NONNULL(EOS(STATIC_7240(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub), o4207)), java.lang.Object(o4220sub)) -> f7245_0_createTree_NONNULL(EOS(STATIC_7245(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub), o4207)), java.lang.Object(o4220sub)) :|: TRUE
f7240_0_createTree_NONNULL(EOS(STATIC_7240(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), NULL) -> f7246_0_createTree_NONNULL(EOS(STATIC_7246(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), NULL) :|: TRUE
f7245_0_createTree_NONNULL(EOS(STATIC_7245(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub), o4207)), java.lang.Object(o4220sub)) -> f7252_0_createTree_Load(EOS(STATIC_7252(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub), o4207))) :|: TRUE
f7252_0_createTree_Load(EOS(STATIC_7252(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub), o4207))) -> f7259_0_createTree_FieldAccess(EOS(STATIC_7259(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub), o4207))) :|: TRUE
f7259_0_createTree_FieldAccess(EOS(STATIC_7259(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub), o4207))) -> f7266_0_createTree_Store(EOS(STATIC_7266(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) :|: TRUE
f7266_0_createTree_Store(EOS(STATIC_7266(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) -> f7273_0_createTree_Inc(EOS(STATIC_7273(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) :|: TRUE
f7273_0_createTree_Inc(EOS(STATIC_7273(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) -> f7277_0_createTree_JMP(EOS(STATIC_7277(java.lang.Object(ARRAY(i90)))), i2543 + -1, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) :|: TRUE
f7277_0_createTree_JMP(EOS(STATIC_7277(java.lang.Object(ARRAY(i90)))), i2828, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) -> f7288_0_createTree_Load(EOS(STATIC_7288(java.lang.Object(ARRAY(i90)))), i2828, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) :|: TRUE
f7288_0_createTree_Load(EOS(STATIC_7288(java.lang.Object(ARRAY(i90)))), i2828, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) -> f7094_0_createTree_Load(EOS(STATIC_7094(java.lang.Object(ARRAY(i90)))), i2828, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4220sub)) :|: TRUE
f7094_0_createTree_Load(EOS(STATIC_7094(java.lang.Object(ARRAY(i90)))), i2538, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) -> f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90)))), i2538, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2538) :|: TRUE
f7246_0_createTree_NONNULL(EOS(STATIC_7246(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), NULL) -> f7253_0_createTree_Load(EOS(STATIC_7253(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207))) :|: TRUE
f7253_0_createTree_Load(EOS(STATIC_7253(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207))) -> f7260_0_createTree_InvokeMethod(EOS(STATIC_7260(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207))) :|: TRUE
f7260_0_createTree_InvokeMethod(EOS(STATIC_7260(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207))) -> f7267_0_createNode_New(EOS(STATIC_7267(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207))) :|: TRUE
f7267_0_createNode_New(EOS(STATIC_7267(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207))) -> f7278_0_createNode_Duplicate(EOS(STATIC_7278(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7278_0_createNode_Duplicate(EOS(STATIC_7278(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7289_0_createNode_InvokeMethod(EOS(STATIC_7289(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7289_0_createNode_InvokeMethod(EOS(STATIC_7289(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7296_0__init__Load(EOS(STATIC_7296(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7296_0__init__Load(EOS(STATIC_7296(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7306_0__init__InvokeMethod(EOS(STATIC_7306(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7306_0__init__InvokeMethod(EOS(STATIC_7306(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7310_0__init__Return(EOS(STATIC_7310(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7310_0__init__Return(EOS(STATIC_7310(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7312_0_createNode_Store(EOS(STATIC_7312(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7312_0_createNode_Store(EOS(STATIC_7312(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7318_0_createNode_Load(EOS(STATIC_7318(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7318_0_createNode_Load(EOS(STATIC_7318(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7321_0_createNode_New(EOS(STATIC_7321(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7321_0_createNode_New(EOS(STATIC_7321(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7323_0_createNode_Duplicate(EOS(STATIC_7323(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7323_0_createNode_Duplicate(EOS(STATIC_7323(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7325_0_createNode_InvokeMethod(EOS(STATIC_7325(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7325_0_createNode_InvokeMethod(EOS(STATIC_7325(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7327_0_createNode_FieldAccess(EOS(STATIC_7327(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7327_0_createNode_FieldAccess(EOS(STATIC_7327(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7329_0_createNode_Load(EOS(STATIC_7329(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7329_0_createNode_Load(EOS(STATIC_7329(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7331_0_createNode_Return(EOS(STATIC_7331(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7331_0_createNode_Return(EOS(STATIC_7331(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7333_0_createTree_FieldAccess(EOS(STATIC_7333(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7333_0_createTree_FieldAccess(EOS(STATIC_7333(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7335_0_createTree_FieldAccess(EOS(STATIC_7335(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7333_0_createTree_FieldAccess(EOS(STATIC_7333(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, NULL, o4532)), java.lang.Object(Tree(EOC, NULL, o4532)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7336_0_createTree_FieldAccess(EOS(STATIC_7336(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, NULL, o4532)), java.lang.Object(Tree(EOC, NULL, o4532)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7335_0_createTree_FieldAccess(EOS(STATIC_7335(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, NULL, o4207)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7339_0_createTree_Load(EOS(STATIC_7339(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933put, o3932put))) :|: TRUE
f7339_0_createTree_Load(EOS(STATIC_7339(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932))) -> f7343_0_createTree_Store(EOS(STATIC_7343(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7343_0_createTree_Store(EOS(STATIC_7343(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7347_0_createTree_JMP(EOS(STATIC_7347(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7347_0_createTree_JMP(EOS(STATIC_7347(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7351_0_createTree_Inc(EOS(STATIC_7351(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7351_0_createTree_Inc(EOS(STATIC_7351(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7355_0_createTree_JMP(EOS(STATIC_7355(java.lang.Object(ARRAY(i90)))), i2543 + -1, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7355_0_createTree_JMP(EOS(STATIC_7355(java.lang.Object(ARRAY(i90)))), i2974, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7359_0_createTree_Load(EOS(STATIC_7359(java.lang.Object(ARRAY(i90)))), i2974, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7359_0_createTree_Load(EOS(STATIC_7359(java.lang.Object(ARRAY(i90)))), i2974, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7094_0_createTree_Load(EOS(STATIC_7094(java.lang.Object(ARRAY(i90)))), i2974, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7336_0_createTree_FieldAccess(EOS(STATIC_7336(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, NULL, o4532)), java.lang.Object(Tree(EOC, NULL, o4532)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7340_0_createTree_Load(EOS(STATIC_7340(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) :|: TRUE
f7340_0_createTree_Load(EOS(STATIC_7340(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) -> f7344_0_createTree_Store(EOS(STATIC_7344(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) :|: TRUE
f7344_0_createTree_Store(EOS(STATIC_7344(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) -> f7348_0_createTree_JMP(EOS(STATIC_7348(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) :|: TRUE
f7348_0_createTree_JMP(EOS(STATIC_7348(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) -> f7352_0_createTree_Inc(EOS(STATIC_7352(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) :|: TRUE
f7352_0_createTree_Inc(EOS(STATIC_7352(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) -> f7356_0_createTree_JMP(EOS(STATIC_7356(java.lang.Object(ARRAY(i90)))), i2543 + -1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) :|: TRUE
f7356_0_createTree_JMP(EOS(STATIC_7356(java.lang.Object(ARRAY(i90)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) -> f7360_0_createTree_Load(EOS(STATIC_7360(java.lang.Object(ARRAY(i90)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) :|: TRUE
f7360_0_createTree_Load(EOS(STATIC_7360(java.lang.Object(ARRAY(i90)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) -> f7094_0_createTree_Load(EOS(STATIC_7094(java.lang.Object(ARRAY(i90)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4532))) :|: TRUE
f7222_0_createTree_LE(EOS(STATIC_7222(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), i2783) -> f7226_0_createTree_Load(EOS(STATIC_7226(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) :|: i2783 > 0
f7226_0_createTree_Load(EOS(STATIC_7226(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub)) -> f7231_0_createTree_FieldAccess(EOS(STATIC_7231(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o3935sub), java.lang.Object(o3935sub)) :|: TRUE
f7231_0_createTree_FieldAccess(EOS(STATIC_7231(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, o4211)), java.lang.Object(Tree(EOC, o4212, o4211))) -> f7236_0_createTree_FieldAccess(EOS(STATIC_7236(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, o4211)), java.lang.Object(Tree(EOC, o4212, o4211))) :|: TRUE
f7236_0_createTree_FieldAccess(EOS(STATIC_7236(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, o4211)), java.lang.Object(Tree(EOC, o4212, o4211))) -> f7241_0_createTree_NONNULL(EOS(STATIC_7241(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, o4211)), o4211) :|: TRUE
f7241_0_createTree_NONNULL(EOS(STATIC_7241(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, java.lang.Object(o4221sub))), java.lang.Object(o4221sub)) -> f7247_0_createTree_NONNULL(EOS(STATIC_7247(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, java.lang.Object(o4221sub))), java.lang.Object(o4221sub)) :|: TRUE
f7241_0_createTree_NONNULL(EOS(STATIC_7241(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), NULL) -> f7248_0_createTree_NONNULL(EOS(STATIC_7248(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), NULL) :|: TRUE
f7247_0_createTree_NONNULL(EOS(STATIC_7247(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, java.lang.Object(o4221sub))), java.lang.Object(o4221sub)) -> f7254_0_createTree_Load(EOS(STATIC_7254(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, java.lang.Object(o4221sub)))) :|: TRUE
f7254_0_createTree_Load(EOS(STATIC_7254(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, java.lang.Object(o4221sub)))) -> f7261_0_createTree_FieldAccess(EOS(STATIC_7261(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, java.lang.Object(o4221sub)))) :|: TRUE
f7261_0_createTree_FieldAccess(EOS(STATIC_7261(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, java.lang.Object(o4221sub)))) -> f7268_0_createTree_Store(EOS(STATIC_7268(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) :|: TRUE
f7268_0_createTree_Store(EOS(STATIC_7268(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) -> f7274_0_createTree_JMP(EOS(STATIC_7274(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) :|: TRUE
f7274_0_createTree_JMP(EOS(STATIC_7274(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) -> f7279_0_createTree_Inc(EOS(STATIC_7279(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) :|: TRUE
f7279_0_createTree_Inc(EOS(STATIC_7279(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) -> f7290_0_createTree_JMP(EOS(STATIC_7290(java.lang.Object(ARRAY(i90)))), i2543 + -1, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) :|: TRUE
f7290_0_createTree_JMP(EOS(STATIC_7290(java.lang.Object(ARRAY(i90)))), i2865, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) -> f7297_0_createTree_Load(EOS(STATIC_7297(java.lang.Object(ARRAY(i90)))), i2865, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) :|: TRUE
f7297_0_createTree_Load(EOS(STATIC_7297(java.lang.Object(ARRAY(i90)))), i2865, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) -> f7094_0_createTree_Load(EOS(STATIC_7094(java.lang.Object(ARRAY(i90)))), i2865, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(o4221sub)) :|: TRUE
f7248_0_createTree_NONNULL(EOS(STATIC_7248(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), NULL) -> f7255_0_createTree_Load(EOS(STATIC_7255(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL))) :|: TRUE
f7255_0_createTree_Load(EOS(STATIC_7255(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL))) -> f7262_0_createTree_InvokeMethod(EOS(STATIC_7262(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL))) :|: TRUE
f7262_0_createTree_InvokeMethod(EOS(STATIC_7262(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL))) -> f7269_0_createNode_New(EOS(STATIC_7269(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL))) :|: TRUE
f7269_0_createNode_New(EOS(STATIC_7269(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL))) -> f7280_0_createNode_Duplicate(EOS(STATIC_7280(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7280_0_createNode_Duplicate(EOS(STATIC_7280(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7291_0_createNode_InvokeMethod(EOS(STATIC_7291(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7291_0_createNode_InvokeMethod(EOS(STATIC_7291(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7298_0__init__Load(EOS(STATIC_7298(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7298_0__init__Load(EOS(STATIC_7298(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7307_0__init__InvokeMethod(EOS(STATIC_7307(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7307_0__init__InvokeMethod(EOS(STATIC_7307(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7311_0__init__Return(EOS(STATIC_7311(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7311_0__init__Return(EOS(STATIC_7311(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7313_0_createNode_Store(EOS(STATIC_7313(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7313_0_createNode_Store(EOS(STATIC_7313(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7319_0_createNode_Load(EOS(STATIC_7319(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7319_0_createNode_Load(EOS(STATIC_7319(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7322_0_createNode_New(EOS(STATIC_7322(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7322_0_createNode_New(EOS(STATIC_7322(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7324_0_createNode_Duplicate(EOS(STATIC_7324(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7324_0_createNode_Duplicate(EOS(STATIC_7324(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7326_0_createNode_InvokeMethod(EOS(STATIC_7326(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7326_0_createNode_InvokeMethod(EOS(STATIC_7326(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7328_0_createNode_FieldAccess(EOS(STATIC_7328(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7328_0_createNode_FieldAccess(EOS(STATIC_7328(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7330_0_createNode_Load(EOS(STATIC_7330(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7330_0_createNode_Load(EOS(STATIC_7330(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7332_0_createNode_Return(EOS(STATIC_7332(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7332_0_createNode_Return(EOS(STATIC_7332(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7334_0_createTree_FieldAccess(EOS(STATIC_7334(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7334_0_createTree_FieldAccess(EOS(STATIC_7334(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7337_0_createTree_FieldAccess(EOS(STATIC_7337(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7334_0_createTree_FieldAccess(EOS(STATIC_7334(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, NULL)), java.lang.Object(Tree(EOC, o4541, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7338_0_createTree_FieldAccess(EOS(STATIC_7338(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, NULL)), java.lang.Object(Tree(EOC, o4541, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7337_0_createTree_FieldAccess(EOS(STATIC_7337(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o4212, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7341_0_createTree_Load(EOS(STATIC_7341(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933put, o3932put))) :|: TRUE
f7341_0_createTree_Load(EOS(STATIC_7341(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932))) -> f7345_0_createTree_Store(EOS(STATIC_7345(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7345_0_createTree_Store(EOS(STATIC_7345(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7349_0_createTree_JMP(EOS(STATIC_7349(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7349_0_createTree_JMP(EOS(STATIC_7349(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7353_0_createTree_Inc(EOS(STATIC_7353(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7353_0_createTree_Inc(EOS(STATIC_7353(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7357_0_createTree_JMP(EOS(STATIC_7357(java.lang.Object(ARRAY(i90)))), i2543 + -1, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7357_0_createTree_JMP(EOS(STATIC_7357(java.lang.Object(ARRAY(i90)))), i2976, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7361_0_createTree_Load(EOS(STATIC_7361(java.lang.Object(ARRAY(i90)))), i2976, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7361_0_createTree_Load(EOS(STATIC_7361(java.lang.Object(ARRAY(i90)))), i2976, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) -> f7094_0_createTree_Load(EOS(STATIC_7094(java.lang.Object(ARRAY(i90)))), i2976, java.lang.Object(Tree(EOC, o3933, o3932)), java.lang.Object(Tree(EOC, o3933, o3932))) :|: TRUE
f7338_0_createTree_FieldAccess(EOS(STATIC_7338(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, NULL)), java.lang.Object(Tree(EOC, o4541, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7342_0_createTree_Load(EOS(STATIC_7342(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7342_0_createTree_Load(EOS(STATIC_7342(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7346_0_createTree_Store(EOS(STATIC_7346(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7346_0_createTree_Store(EOS(STATIC_7346(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7350_0_createTree_JMP(EOS(STATIC_7350(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7350_0_createTree_JMP(EOS(STATIC_7350(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7354_0_createTree_Inc(EOS(STATIC_7354(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7354_0_createTree_Inc(EOS(STATIC_7354(java.lang.Object(ARRAY(i90)))), i2543, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7358_0_createTree_JMP(EOS(STATIC_7358(java.lang.Object(ARRAY(i90)))), i2543 + -1, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7358_0_createTree_JMP(EOS(STATIC_7358(java.lang.Object(ARRAY(i90)))), i2977, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7362_0_createTree_Load(EOS(STATIC_7362(java.lang.Object(ARRAY(i90)))), i2977, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7362_0_createTree_Load(EOS(STATIC_7362(java.lang.Object(ARRAY(i90)))), i2977, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7094_0_createTree_Load(EOS(STATIC_7094(java.lang.Object(ARRAY(i90)))), i2977, java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4541, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0, java.lang.Object(Tree(EOC, o3933:0, o3932:0)), java.lang.Object(Tree(EOC, o4212:0, java.lang.Object(o4221sub:0))), i2543:0) -> f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0 - 1, java.lang.Object(Tree(EOC, o3933:0, o3932:0)), java.lang.Object(o4221sub:0), i2543:0 - 1) :|: i2543:0 > 0 && i2727:0 > 0
f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0, java.lang.Object(Tree(EOC, o3933:0, o3932:0)), java.lang.Object(Tree(EOC, o4212:0, NULL)), i2543:0) -> f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0 - 1, java.lang.Object(Tree(EOC, o3933put:0, o3932put:0)), java.lang.Object(Tree(EOC, o3933put:0, o3932put:0)), i2543:0 - 1) :|: i2543:0 > 0 && i2727:0 > 0
f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0, java.lang.Object(Tree(EOC, o3933:0, NULL)), java.lang.Object(Tree(EOC, o3933:0, NULL)), i2543:0) -> f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0 - 1, java.lang.Object(Tree(EOC, o3933:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3933:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i2543:0 - 1) :|: i2543:0 > 0 && i2727:0 > 0
f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0, java.lang.Object(Tree(EOC, o3933:0, o3932:0)), java.lang.Object(Tree(EOC, NULL, o4207:0)), i2543:0) -> f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0 - 1, java.lang.Object(Tree(EOC, o3933put:0, o3932put:0)), java.lang.Object(Tree(EOC, o3933put:0, o3932put:0)), i2543:0 - 1) :|: i2543:0 > 0
f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0, java.lang.Object(Tree(EOC, o3933:0, o3932:0)), java.lang.Object(Tree(EOC, java.lang.Object(o4220sub:0), o4207:0)), i2543:0) -> f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0 - 1, java.lang.Object(Tree(EOC, o3933:0, o3932:0)), java.lang.Object(o4220sub:0), i2543:0 - 1) :|: i2543:0 > 0
f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0, java.lang.Object(Tree(EOC, NULL, o3932:0)), java.lang.Object(Tree(EOC, NULL, o3932:0)), i2543:0) -> f7095_0_createTree_LE(EOS(STATIC_7095(java.lang.Object(ARRAY(i90:0)))), i2543:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3932:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3932:0)), i2543:0 - 1) :|: i2543:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f7095_0_createTree_LE(x1, x2, x3, x4, x5) -> f7095_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f7095_0_createTree_LE(x1, x2, x3, x4) -> f7095_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(o4212:0, java.lang.Object(o4221sub:0))), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(o4221sub:0), i2543:0 - 1) :|: i2543:0 > 0 && i2727:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(o4212:0, NULL)), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933put:0, o3932put:0)), java.lang.Object(Tree(o3933put:0, o3932put:0)), i2543:0 - 1) :|: i2543:0 > 0 && i2727:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, NULL)), java.lang.Object(Tree(o3933:0, NULL)), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o3933:0, java.lang.Object(Tree(NULL, NULL)))), i2543:0 - 1) :|: i2543:0 > 0 && i2727:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(NULL, o4207:0)), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933put:0, o3932put:0)), java.lang.Object(Tree(o3933put:0, o3932put:0)), i2543:0 - 1) :|: i2543:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(java.lang.Object(o4220sub:0), o4207:0)), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(o4220sub:0), i2543:0 - 1) :|: i2543:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(NULL, o3932:0)), java.lang.Object(Tree(NULL, o3932:0)), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3932:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3932:0)), i2543:0 - 1) :|: i2543:0 > 0

----------------------------------------

(19)
Obligation:
Rules:
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(o4212:0, java.lang.Object(o4221sub:0))), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(o4221sub:0), i2543:0 - 1) :|: i2543:0 > 0 && i2727:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(x2, NULL)), x3) -> f7095_0_createTree_LE(java.lang.Object(Tree(x4, x5)), java.lang.Object(Tree(x4, x5)), x3 - 1) :|: x3 > 0 && x6 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x7, NULL)), java.lang.Object(Tree(x7, NULL)), x8) -> f7095_0_createTree_LE(java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL)))), x8 - 1) :|: x8 > 0 && x9 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x10, x11)), java.lang.Object(Tree(NULL, x12)), x13) -> f7095_0_createTree_LE(java.lang.Object(Tree(x14, x15)), java.lang.Object(Tree(x14, x15)), x13 - 1) :|: x13 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x16, x17)), java.lang.Object(Tree(java.lang.Object(x18), x19)), x20) -> f7095_0_createTree_LE(java.lang.Object(Tree(x16, x17)), java.lang.Object(x18), x20 - 1) :|: x20 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(NULL, x21)), java.lang.Object(Tree(NULL, x21)), x22) -> f7095_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x21)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x21)), x22 - 1) :|: x22 > 0

----------------------------------------

(20) IRSFormatTransformerProof (EQUIVALENT)
Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
----------------------------------------

(21)
Obligation:
Rules:
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(o4212:0, java.lang.Object(o4221sub:0))), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(o4221sub:0), arith) :|: i2543:0 > 0 && i2727:0 > 0 && arith = i2543:0 - 1
f7095_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, NULL)), x26) -> f7095_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x27, x28)), x29) :|: x26 > 0 && x30 > 0 && x29 = x26 - 1
f7095_0_createTree_LE(java.lang.Object(Tree(x31, NULL)), java.lang.Object(Tree(x31, NULL)), x32) -> f7095_0_createTree_LE(java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), x33) :|: x32 > 0 && x34 > 0 && x33 = x32 - 1
f7095_0_createTree_LE(java.lang.Object(Tree(x35, x36)), java.lang.Object(Tree(NULL, x37)), x38) -> f7095_0_createTree_LE(java.lang.Object(Tree(x39, x40)), java.lang.Object(Tree(x39, x40)), x41) :|: x38 > 0 && x41 = x38 - 1
f7095_0_createTree_LE(java.lang.Object(Tree(x42, x43)), java.lang.Object(Tree(java.lang.Object(x44), x45)), x46) -> f7095_0_createTree_LE(java.lang.Object(Tree(x42, x43)), java.lang.Object(x44), x47) :|: x46 > 0 && x47 = x46 - 1
f7095_0_createTree_LE(java.lang.Object(Tree(NULL, x48)), java.lang.Object(Tree(NULL, x48)), x49) -> f7095_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), x50) :|: x49 > 0 && x50 = x49 - 1

----------------------------------------

(22) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(o4212:0, java.lang.Object(o4221sub:0))), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(o4221sub:0), arith) :|: i2543:0 > 0 && i2727:0 > 0 && arith = i2543:0 - 1
(2) f7095_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, NULL)), x26) -> f7095_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x27, x28)), x29) :|: x26 > 0 && x30 > 0 && x29 = x26 - 1
(3) f7095_0_createTree_LE(java.lang.Object(Tree(x31, NULL)), java.lang.Object(Tree(x31, NULL)), x32) -> f7095_0_createTree_LE(java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), x33) :|: x32 > 0 && x34 > 0 && x33 = x32 - 1
(4) f7095_0_createTree_LE(java.lang.Object(Tree(x35, x36)), java.lang.Object(Tree(NULL, x37)), x38) -> f7095_0_createTree_LE(java.lang.Object(Tree(x39, x40)), java.lang.Object(Tree(x39, x40)), x41) :|: x38 > 0 && x41 = x38 - 1
(5) f7095_0_createTree_LE(java.lang.Object(Tree(x42, x43)), java.lang.Object(Tree(java.lang.Object(x44), x45)), x46) -> f7095_0_createTree_LE(java.lang.Object(Tree(x42, x43)), java.lang.Object(x44), x47) :|: x46 > 0 && x47 = x46 - 1
(6) f7095_0_createTree_LE(java.lang.Object(Tree(NULL, x48)), java.lang.Object(Tree(NULL, x48)), x49) -> f7095_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), x50) :|: x49 > 0 && x50 = x49 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (2), (3), (4), (5), (6)
(3) -> (1), (4), (5), (6)
(4) -> (1), (2), (3), (4), (5), (6)
(5) -> (1), (2), (3), (4), (5), (6)
(6) -> (1), (2), (3), (5)

This digraph is fully evaluated!
----------------------------------------

(23)
Obligation:

Termination digraph:
Nodes:
(1) f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(Tree(o4212:0, java.lang.Object(o4221sub:0))), i2543:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0, o3932:0)), java.lang.Object(o4221sub:0), arith) :|: i2543:0 > 0 && i2727:0 > 0 && arith = i2543:0 - 1
(2) f7095_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, NULL)), x26) -> f7095_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x27, x28)), x29) :|: x26 > 0 && x30 > 0 && x29 = x26 - 1
(3) f7095_0_createTree_LE(java.lang.Object(Tree(x35, x36)), java.lang.Object(Tree(NULL, x37)), x38) -> f7095_0_createTree_LE(java.lang.Object(Tree(x39, x40)), java.lang.Object(Tree(x39, x40)), x41) :|: x38 > 0 && x41 = x38 - 1
(4) f7095_0_createTree_LE(java.lang.Object(Tree(x31, NULL)), java.lang.Object(Tree(x31, NULL)), x32) -> f7095_0_createTree_LE(java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), x33) :|: x32 > 0 && x34 > 0 && x33 = x32 - 1
(5) f7095_0_createTree_LE(java.lang.Object(Tree(x42, x43)), java.lang.Object(Tree(java.lang.Object(x44), x45)), x46) -> f7095_0_createTree_LE(java.lang.Object(Tree(x42, x43)), java.lang.Object(x44), x47) :|: x46 > 0 && x47 = x46 - 1
(6) f7095_0_createTree_LE(java.lang.Object(Tree(NULL, x48)), java.lang.Object(Tree(NULL, x48)), x49) -> f7095_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), x50) :|: x49 > 0 && x50 = x49 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (2), (3), (4), (5), (6)
(3) -> (1), (2), (3), (4), (5), (6)
(4) -> (1), (3), (5), (6)
(5) -> (1), (2), (3), (4), (5), (6)
(6) -> (1), (2), (4), (5)

This digraph is fully evaluated!

----------------------------------------

(24) IntTRSCompressionProof (EQUIVALENT)
Compressed rules.
----------------------------------------

(25)
Obligation:
Rules:
f7095_0_createTree_LE(java.lang.Object(Tree(NULL, x48:0)), java.lang.Object(Tree(NULL, x48:0)), x49:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48:0)), x49:0 - 1) :|: x49:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x23:0, x24:0)), java.lang.Object(Tree(x25:0, NULL)), x26:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(Tree(x27:0, x28:0)), x26:0 - 1) :|: x26:0 > 0 && x30:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x42:0, x43:0)), java.lang.Object(Tree(java.lang.Object(x44:0), x45:0)), x46:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(x42:0, x43:0)), java.lang.Object(x44:0), x46:0 - 1) :|: x46:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x35:0, x36:0)), java.lang.Object(Tree(NULL, x37:0)), x38:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(x39:0, x40:0)), java.lang.Object(Tree(x39:0, x40:0)), x38:0 - 1) :|: x38:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0:0, o3932:0:0)), java.lang.Object(Tree(o4212:0:0, java.lang.Object(o4221sub:0:0))), i2543:0:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(o3933:0:0, o3932:0:0)), java.lang.Object(o4221sub:0:0), i2543:0:0 - 1) :|: i2543:0:0 > 0 && i2727:0:0 > 0
f7095_0_createTree_LE(java.lang.Object(Tree(x31:0, NULL)), java.lang.Object(Tree(x31:0, NULL)), x32:0) -> f7095_0_createTree_LE(java.lang.Object(Tree(x31:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31:0, java.lang.Object(Tree(NULL, NULL)))), x32:0 - 1) :|: x32:0 > 0 && x34:0 > 0

----------------------------------------

(26) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f7095_0_createTree_LE(VARIABLE, VARIABLE, INTEGER)
java.lang.Object(VARIABLE)
Tree(VARIABLE, VARIABLE)
NULL()
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(27)
Obligation:
Rules:
f7095_0_createTree_LE(c, c1, x49:0) -> f7095_0_createTree_LE(c2, c3, c4) :|: c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x49:0 > 0
f7095_0_createTree_LE(c5, c6, x26:0) -> f7095_0_createTree_LE(c7, c8, c9) :|: c9 = x26:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x26:0 > 0 && x30:0 > 0)

----------------------------------------

(28) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f7095_0_createTree_LE(x, x1, x2)] = c*x + c1*x1 + x2

The following rules are decreasing:
f7095_0_createTree_LE(c, c1, x49:0) -> f7095_0_createTree_LE(c2, c3, c4) :|: c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x49:0 > 0
f7095_0_createTree_LE(c5, c6, x26:0) -> f7095_0_createTree_LE(c7, c8, c9) :|: c9 = x26:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x26:0 > 0 && x30:0 > 0)
The following rules are bounded:
f7095_0_createTree_LE(c, c1, x49:0) -> f7095_0_createTree_LE(c2, c3, c4) :|: c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x49:0 > 0
f7095_0_createTree_LE(c5, c6, x26:0) -> f7095_0_createTree_LE(c7, c8, c9) :|: c9 = x26:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x26:0 > 0 && x30:0 > 0)

----------------------------------------

(29)
YES