/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: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 97 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1657 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 114 ms]
        (9) QDP
        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (11) YES
    (12) JBCTerminationSCC
        (13) SCCToQDPProof [SOUND, 197 ms]
        (14) QDP
        (15) DependencyGraphProof [EQUIVALENT, 0 ms]
        (16) TRUE
    (17) JBCTerminationSCC
        (18) SCCToIRSProof [SOUND, 209 ms]
        (19) IRSwT
        (20) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (21) IRSwT
        (22) IRSwTTerminationDigraphProof [EQUIVALENT, 174 ms]
        (23) IRSwT
        (24) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (25) IRSwT
        (26) TempFilterProof [SOUND, 48 ms]
        (27) IntTRS
        (28) PolynomialOrderProcessor [EQUIVALENT, 17 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 125 nodes with 0 SCCs.



Tree.createTree()LTree;: Graph of 310 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:
f6789_0_append_FieldAccess(EOS(STATIC_6789), java.lang.Object(Tree(EOC, o3332)), java.lang.Object(Tree(EOC, o3332))) -> f6796_0_append_FieldAccess(EOS(STATIC_6796), java.lang.Object(Tree(EOC, o3332)), java.lang.Object(Tree(EOC, o3332))) :|: TRUE
f6796_0_append_FieldAccess(EOS(STATIC_6796), java.lang.Object(Tree(EOC, o3332)), java.lang.Object(Tree(EOC, o3332))) -> f6804_0_append_NULL(EOS(STATIC_6804), java.lang.Object(Tree(EOC, o3332)), o3332) :|: TRUE
f6804_0_append_NULL(EOS(STATIC_6804), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub))), java.lang.Object(o3349sub)) -> f6812_0_append_NULL(EOS(STATIC_6812), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub))), java.lang.Object(o3349sub)) :|: TRUE
f6812_0_append_NULL(EOS(STATIC_6812), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub))), java.lang.Object(o3349sub)) -> f6821_0_append_Load(EOS(STATIC_6821), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub)))) :|: TRUE
f6821_0_append_Load(EOS(STATIC_6821), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub)))) -> f6834_0_append_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub)))) :|: TRUE
f6834_0_append_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub)))) -> f6847_0_append_Store(EOS(STATIC_6847), java.lang.Object(o3349sub)) :|: TRUE
f6847_0_append_Store(EOS(STATIC_6847), java.lang.Object(o3349sub)) -> f6860_0_append_JMP(EOS(STATIC_6860), java.lang.Object(o3349sub)) :|: TRUE
f6860_0_append_JMP(EOS(STATIC_6860), java.lang.Object(o3349sub)) -> f6874_0_append_Load(EOS(STATIC_6874), java.lang.Object(o3349sub)) :|: TRUE
f6874_0_append_Load(EOS(STATIC_6874), java.lang.Object(o3349sub)) -> f6782_0_append_Load(EOS(STATIC_6782), java.lang.Object(o3349sub)) :|: TRUE
f6782_0_append_Load(EOS(STATIC_6782), java.lang.Object(o3280sub)) -> f6789_0_append_FieldAccess(EOS(STATIC_6789), java.lang.Object(o3280sub), java.lang.Object(o3280sub)) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6789_0_append_FieldAccess(EOS(STATIC_6789), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub:0))), java.lang.Object(Tree(EOC, java.lang.Object(o3349sub:0)))) -> f6789_0_append_FieldAccess(EOS(STATIC_6789), java.lang.Object(o3349sub:0), java.lang.Object(o3349sub:0)) :|: TRUE
R rules:
Filtered ground terms:
   f6789_0_append_FieldAccess(x1, x2, x3) -> f6789_0_append_FieldAccess(x2, x3)
   EOS(x1) -> EOS
   Tree(x1, x2) -> Tree(x2)
Filtered duplicate args:
   f6789_0_append_FieldAccess(x1, x2) -> f6789_0_append_FieldAccess(x2)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6789_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3349sub:0:0)))) -> F6789_0_APPEND_FIELDACCESS(java.lang.Object(o3349sub:0:0)) :|: TRUE
R rules:

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

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

   F6789_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3349sub:0:0)))) -> F6789_0_APPEND_FIELDACCESS(java.lang.Object(o3349sub: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:
*F6789_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3349sub:0:0)))) -> F6789_0_APPEND_FIELDACCESS(java.lang.Object(o3349sub: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:
f6790_0_less_leaves_NULL(EOS(STATIC_6790), java.lang.Object(o3334sub), o3312, java.lang.Object(o3334sub)) -> f6797_0_less_leaves_NULL(EOS(STATIC_6797), java.lang.Object(o3334sub), o3312, java.lang.Object(o3334sub)) :|: TRUE
f6797_0_less_leaves_NULL(EOS(STATIC_6797), java.lang.Object(o3334sub), o3312, java.lang.Object(o3334sub)) -> f6805_0_less_leaves_Load(EOS(STATIC_6805), java.lang.Object(o3334sub), o3312) :|: TRUE
f6805_0_less_leaves_Load(EOS(STATIC_6805), java.lang.Object(o3334sub), o3312) -> f6814_0_less_leaves_NULL(EOS(STATIC_6814), java.lang.Object(o3334sub), o3312, o3312) :|: TRUE
f6814_0_less_leaves_NULL(EOS(STATIC_6814), java.lang.Object(o3334sub), java.lang.Object(o3353sub), java.lang.Object(o3353sub)) -> f6823_0_less_leaves_NULL(EOS(STATIC_6823), java.lang.Object(o3334sub), java.lang.Object(o3353sub), java.lang.Object(o3353sub)) :|: TRUE
f6823_0_less_leaves_NULL(EOS(STATIC_6823), java.lang.Object(o3334sub), java.lang.Object(o3353sub), java.lang.Object(o3353sub)) -> f6836_0_less_leaves_Load(EOS(STATIC_6836), java.lang.Object(o3334sub), java.lang.Object(o3353sub)) :|: TRUE
f6836_0_less_leaves_Load(EOS(STATIC_6836), java.lang.Object(o3334sub), java.lang.Object(o3353sub)) -> f6849_0_less_leaves_FieldAccess(EOS(STATIC_6849), java.lang.Object(o3334sub), java.lang.Object(o3353sub), java.lang.Object(o3334sub)) :|: TRUE
f6849_0_less_leaves_FieldAccess(EOS(STATIC_6849), java.lang.Object(Tree(EOC, o3386, o3387)), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3386, o3387))) -> f6863_0_less_leaves_FieldAccess(EOS(STATIC_6863), java.lang.Object(Tree(EOC, o3386, o3387)), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3386, o3387))) :|: TRUE
f6863_0_less_leaves_FieldAccess(EOS(STATIC_6863), java.lang.Object(Tree(EOC, o3386, o3387)), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3386, o3387))) -> f6877_0_less_leaves_Load(EOS(STATIC_6877), java.lang.Object(Tree(EOC, o3386, o3387)), java.lang.Object(o3353sub), o3386) :|: TRUE
f6877_0_less_leaves_Load(EOS(STATIC_6877), java.lang.Object(Tree(EOC, o3386, o3387)), java.lang.Object(o3353sub), o3386) -> f6885_0_less_leaves_FieldAccess(EOS(STATIC_6885), java.lang.Object(o3353sub), o3386, java.lang.Object(Tree(EOC, o3386, o3387))) :|: TRUE
f6885_0_less_leaves_FieldAccess(EOS(STATIC_6885), java.lang.Object(o3353sub), o3386, java.lang.Object(Tree(EOC, o3386, o3387))) -> f6902_0_less_leaves_InvokeMethod(EOS(STATIC_6902), java.lang.Object(o3353sub), o3386, o3387) :|: TRUE
f6902_0_less_leaves_InvokeMethod(EOS(STATIC_6902), java.lang.Object(o3353sub), o3386, o3387) -> f6910_1_less_leaves_InvokeMethod(f6910_0_append_Load(EOS(STATIC_6910), o3386, o3387), java.lang.Object(o3353sub)) :|: TRUE
f6910_0_append_Load(EOS(STATIC_6910), o3386, o3387) -> f7454_0_append_Load(EOS(STATIC_7454), o3386, o3387) :|: TRUE
f6925_0_append_Return(EOS(STATIC_6925), java.lang.Object(o3353sub), o3578) -> f6929_0_less_leaves_Store(EOS(STATIC_6929), java.lang.Object(o3353sub), o3578) :|: TRUE
f6929_0_less_leaves_Store(EOS(STATIC_6929), java.lang.Object(o3353sub), o3578) -> f6935_0_less_leaves_Load(EOS(STATIC_6935), o3578, java.lang.Object(o3353sub)) :|: TRUE
f6935_0_less_leaves_Load(EOS(STATIC_6935), o3578, java.lang.Object(o3353sub)) -> f6939_0_less_leaves_FieldAccess(EOS(STATIC_6939), o3578, java.lang.Object(o3353sub), java.lang.Object(o3353sub)) :|: TRUE
f6939_0_less_leaves_FieldAccess(EOS(STATIC_6939), o3578, java.lang.Object(Tree(EOC, o3674, o3675)), java.lang.Object(Tree(EOC, o3674, o3675))) -> f6944_0_less_leaves_FieldAccess(EOS(STATIC_6944), o3578, java.lang.Object(Tree(EOC, o3674, o3675)), java.lang.Object(Tree(EOC, o3674, o3675))) :|: TRUE
f6944_0_less_leaves_FieldAccess(EOS(STATIC_6944), o3578, java.lang.Object(Tree(EOC, o3674, o3675)), java.lang.Object(Tree(EOC, o3674, o3675))) -> f6947_0_less_leaves_Load(EOS(STATIC_6947), o3578, java.lang.Object(Tree(EOC, o3674, o3675)), o3674) :|: TRUE
f6947_0_less_leaves_Load(EOS(STATIC_6947), o3578, java.lang.Object(Tree(EOC, o3674, o3675)), o3674) -> f6950_0_less_leaves_FieldAccess(EOS(STATIC_6950), o3578, o3674, java.lang.Object(Tree(EOC, o3674, o3675))) :|: TRUE
f6950_0_less_leaves_FieldAccess(EOS(STATIC_6950), o3578, o3674, java.lang.Object(Tree(EOC, o3674, o3675))) -> f6954_0_less_leaves_InvokeMethod(EOS(STATIC_6954), o3578, o3674, o3675) :|: TRUE
f6954_0_less_leaves_InvokeMethod(EOS(STATIC_6954), o3578, o3674, o3675) -> f6957_1_less_leaves_InvokeMethod(f6957_0_append_Load(EOS(STATIC_6957), o3674, o3675), o3578) :|: TRUE
f6957_0_append_Load(EOS(STATIC_6957), o3674, o3675) -> f7490_0_append_Load(EOS(STATIC_7490), o3674, o3675) :|: TRUE
f6974_0_append_Return(EOS(STATIC_6974), o3578, o3706) -> f6979_0_less_leaves_Store(EOS(STATIC_6979), o3578, o3706) :|: TRUE
f6979_0_less_leaves_Store(EOS(STATIC_6979), o3578, o3706) -> f6983_0_less_leaves_JMP(EOS(STATIC_6983), o3578, o3706) :|: TRUE
f6983_0_less_leaves_JMP(EOS(STATIC_6983), o3578, o3706) -> f6989_0_less_leaves_Load(EOS(STATIC_6989), o3578, o3706) :|: TRUE
f6989_0_less_leaves_Load(EOS(STATIC_6989), o3578, o3706) -> f6784_0_less_leaves_Load(EOS(STATIC_6784), o3578, o3706) :|: TRUE
f6784_0_less_leaves_Load(EOS(STATIC_6784), o3311, o3312) -> f6790_0_less_leaves_NULL(EOS(STATIC_6790), o3311, o3312, o3311) :|: TRUE
f6975_0_append_Return(EOS(STATIC_6975), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) -> f6980_0_less_leaves_Store(EOS(STATIC_6980), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) :|: TRUE
f6980_0_less_leaves_Store(EOS(STATIC_6980), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) -> f6984_0_less_leaves_JMP(EOS(STATIC_6984), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) :|: TRUE
f6984_0_less_leaves_JMP(EOS(STATIC_6984), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) -> f6990_0_less_leaves_Load(EOS(STATIC_6990), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) :|: TRUE
f6990_0_less_leaves_Load(EOS(STATIC_6990), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) -> f6784_0_less_leaves_Load(EOS(STATIC_6784), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) :|: TRUE
f6976_0_append_Return(EOS(STATIC_6976), o3578, java.lang.Object(Tree(EOC, o3731, o3727))) -> f6975_0_append_Return(EOS(STATIC_6975), o3578, java.lang.Object(Tree(EOC, o3731, o3727))) :|: TRUE
f6926_0_append_Return(EOS(STATIC_6926), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3591, o3592))) -> f6930_0_less_leaves_Store(EOS(STATIC_6930), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3591, o3592))) :|: TRUE
f6930_0_less_leaves_Store(EOS(STATIC_6930), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3591, o3592))) -> f6936_0_less_leaves_Load(EOS(STATIC_6936), java.lang.Object(Tree(EOC, o3591, o3592)), java.lang.Object(o3353sub)) :|: TRUE
f6936_0_less_leaves_Load(EOS(STATIC_6936), java.lang.Object(Tree(EOC, o3591, o3592)), java.lang.Object(o3353sub)) -> f6940_0_less_leaves_FieldAccess(EOS(STATIC_6940), java.lang.Object(Tree(EOC, o3591, o3592)), java.lang.Object(o3353sub), java.lang.Object(o3353sub)) :|: TRUE
f6940_0_less_leaves_FieldAccess(EOS(STATIC_6940), java.lang.Object(Tree(EOC, o3591, o3592)), java.lang.Object(o3353sub), java.lang.Object(o3353sub)) -> f6939_0_less_leaves_FieldAccess(EOS(STATIC_6939), java.lang.Object(Tree(EOC, o3591, o3592)), java.lang.Object(o3353sub), java.lang.Object(o3353sub)) :|: TRUE
f6927_0_append_Return(EOS(STATIC_6927), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3603, o3599))) -> f6926_0_append_Return(EOS(STATIC_6926), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3603, o3599))) :|: TRUE
f6910_1_less_leaves_InvokeMethod(f6626_0_append_Return(EOS(STATIC_6626), NULL, o3578, o3578), java.lang.Object(o3353sub)) -> f6925_0_append_Return(EOS(STATIC_6925), java.lang.Object(o3353sub), o3578) :|: TRUE
f6910_1_less_leaves_InvokeMethod(f6883_0_append_Return(EOS(STATIC_6883), java.lang.Object(Tree(EOC, o3591, o3592)), o3276, java.lang.Object(Tree(EOC, o3591, o3592))), java.lang.Object(o3353sub)) -> f6926_0_append_Return(EOS(STATIC_6926), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3591, o3592))) :|: TRUE
f6910_1_less_leaves_InvokeMethod(f6884_0_append_Return(EOS(STATIC_6884), java.lang.Object(Tree(EOC, o3603, o3599)), o3599, java.lang.Object(Tree(EOC, o3603, o3599))), java.lang.Object(o3353sub)) -> f6927_0_append_Return(EOS(STATIC_6927), java.lang.Object(o3353sub), java.lang.Object(Tree(EOC, o3603, o3599))) :|: TRUE
f6957_1_less_leaves_InvokeMethod(f6626_0_append_Return(EOS(STATIC_6626), NULL, o3706, o3706), o3578) -> f6974_0_append_Return(EOS(STATIC_6974), o3578, o3706) :|: TRUE
f6957_1_less_leaves_InvokeMethod(f6883_0_append_Return(EOS(STATIC_6883), java.lang.Object(Tree(EOC, o3719, o3720)), o3276, java.lang.Object(Tree(EOC, o3719, o3720))), o3578) -> f6975_0_append_Return(EOS(STATIC_6975), o3578, java.lang.Object(Tree(EOC, o3719, o3720))) :|: TRUE
f6957_1_less_leaves_InvokeMethod(f6884_0_append_Return(EOS(STATIC_6884), java.lang.Object(Tree(EOC, o3731, o3727)), o3727, java.lang.Object(Tree(EOC, o3731, o3727))), o3578) -> f6976_0_append_Return(EOS(STATIC_6976), o3578, java.lang.Object(Tree(EOC, o3731, o3727))) :|: TRUE
R rules:
f6910_0_append_Load(EOS(STATIC_6910), o3386, o3387) -> f6915_0_append_Load(EOS(STATIC_6915), o3386, o3387) :|: TRUE
f6915_0_append_Load(EOS(STATIC_6915), o3386, o3387) -> f6924_0_append_Load(EOS(STATIC_6924), o3386, o3387, o3386, o3387) :|: TRUE
f6924_0_append_Load(EOS(STATIC_6924), o3386, o3387, o3386, o3387) -> f6606_0_append_Load(EOS(STATIC_6606), o3386, o3387, o3386, o3387) :|: TRUE
f6957_0_append_Load(EOS(STATIC_6957), o3674, o3675) -> f6960_0_append_Load(EOS(STATIC_6960), o3674, o3675) :|: TRUE
f6960_0_append_Load(EOS(STATIC_6960), o3674, o3675) -> f6973_0_append_Load(EOS(STATIC_6973), o3674, o3675, o3674, o3675) :|: TRUE
f6973_0_append_Load(EOS(STATIC_6973), o3674, o3675, o3674, o3675) -> f6606_0_append_Load(EOS(STATIC_6606), o3674, o3675, o3674, o3675) :|: TRUE
f6606_0_append_Load(EOS(STATIC_6606), o2869, o2870, o2869, o2870) -> f6609_0_append_NONNULL(EOS(STATIC_6609), o2869, o2870, o2869, o2870, o2869) :|: TRUE
f6609_0_append_NONNULL(EOS(STATIC_6609), java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub)) -> f6612_0_append_NONNULL(EOS(STATIC_6612), java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub)) :|: TRUE
f6609_0_append_NONNULL(EOS(STATIC_6609), NULL, o2870, NULL, o2870, NULL) -> f6613_0_append_NONNULL(EOS(STATIC_6613), NULL, o2870, NULL, o2870, NULL) :|: TRUE
f6612_0_append_NONNULL(EOS(STATIC_6612), java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub)) -> f6619_0_append_Load(EOS(STATIC_6619), java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub), o2870) :|: TRUE
f6613_0_append_NONNULL(EOS(STATIC_6613), NULL, o2870, NULL, o2870, NULL) -> f6620_0_append_Load(EOS(STATIC_6620), NULL, o2870, o2870) :|: TRUE
f6619_0_append_Load(EOS(STATIC_6619), java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub), o2870) -> f6625_0_append_Store(EOS(STATIC_6625), java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub), o2870, java.lang.Object(o2900sub)) :|: TRUE
f6620_0_append_Load(EOS(STATIC_6620), NULL, o2870, o2870) -> f6626_0_append_Return(EOS(STATIC_6626), NULL, o2870, o2870) :|: TRUE
f6625_0_append_Store(EOS(STATIC_6625), java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942))) -> f6632_0_append_Store(EOS(STATIC_6632), java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942))) :|: TRUE
f6632_0_append_Store(EOS(STATIC_6632), java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942))) -> f6638_0_append_Load(EOS(STATIC_6638), java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942))) :|: TRUE
f6638_0_append_Load(EOS(STATIC_6638), java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942))) -> f6711_0_append_Load(EOS(STATIC_6711), java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942)), o2870, java.lang.Object(Tree(EOC, o2941, o2942))) :|: TRUE
f6711_0_append_Load(EOS(STATIC_6711), java.lang.Object(Tree(EOC, o3121, o3122)), o3124, java.lang.Object(Tree(EOC, o3121, o3122)), o3124, java.lang.Object(o3128sub)) -> f6782_0_append_Load(EOS(STATIC_6782), java.lang.Object(Tree(EOC, o3121, o3122)), o3124, java.lang.Object(Tree(EOC, o3121, o3122)), o3124, java.lang.Object(o3128sub)) :|: TRUE
f6782_0_append_Load(EOS(STATIC_6782), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3280sub)) -> f6789_0_append_FieldAccess(EOS(STATIC_6789), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3280sub), java.lang.Object(o3280sub)) :|: TRUE
f6789_0_append_FieldAccess(EOS(STATIC_6789), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, o3332)), java.lang.Object(Tree(EOC, o3331, o3332))) -> f6796_0_append_FieldAccess(EOS(STATIC_6796), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, o3332)), java.lang.Object(Tree(EOC, o3331, o3332))) :|: TRUE
f6796_0_append_FieldAccess(EOS(STATIC_6796), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, o3332)), java.lang.Object(Tree(EOC, o3331, o3332))) -> f6804_0_append_NULL(EOS(STATIC_6804), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, o3332)), o3332) :|: TRUE
f6804_0_append_NULL(EOS(STATIC_6804), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, java.lang.Object(o3349sub))), java.lang.Object(o3349sub)) -> f6812_0_append_NULL(EOS(STATIC_6812), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, java.lang.Object(o3349sub))), java.lang.Object(o3349sub)) :|: TRUE
f6804_0_append_NULL(EOS(STATIC_6804), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, NULL)), NULL) -> f6813_0_append_NULL(EOS(STATIC_6813), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, NULL)), NULL) :|: TRUE
f6812_0_append_NULL(EOS(STATIC_6812), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, java.lang.Object(o3349sub))), java.lang.Object(o3349sub)) -> f6821_0_append_Load(EOS(STATIC_6821), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, java.lang.Object(o3349sub)))) :|: TRUE
f6813_0_append_NULL(EOS(STATIC_6813), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, NULL)), NULL) -> f6822_0_append_Load(EOS(STATIC_6822), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, NULL))) :|: TRUE
f6821_0_append_Load(EOS(STATIC_6821), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, java.lang.Object(o3349sub)))) -> f6834_0_append_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, java.lang.Object(o3349sub)))) :|: TRUE
f6822_0_append_Load(EOS(STATIC_6822), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, NULL))) -> f6835_0_append_Load(EOS(STATIC_6835), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, NULL))) :|: TRUE
f6834_0_append_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, java.lang.Object(o3349sub)))) -> f6847_0_append_Store(EOS(STATIC_6847), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3349sub)) :|: TRUE
f6835_0_append_Load(EOS(STATIC_6835), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3331, NULL))) -> f6848_0_append_FieldAccess(EOS(STATIC_6848), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), java.lang.Object(Tree(EOC, o3331, NULL)), o3276) :|: TRUE
f6847_0_append_Store(EOS(STATIC_6847), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3349sub)) -> f6860_0_append_JMP(EOS(STATIC_6860), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3349sub)) :|: TRUE
f6848_0_append_FieldAccess(EOS(STATIC_6848), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), java.lang.Object(Tree(EOC, o3331, NULL)), o3276) -> f6861_0_append_FieldAccess(EOS(STATIC_6861), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), java.lang.Object(Tree(EOC, o3331, NULL)), o3276) :|: TRUE
f6848_0_append_FieldAccess(EOS(STATIC_6848), java.lang.Object(Tree(EOC, o3381, NULL)), o3276, java.lang.Object(Tree(EOC, o3381, NULL)), java.lang.Object(Tree(EOC, o3381, NULL)), o3276) -> f6862_0_append_FieldAccess(EOS(STATIC_6862), java.lang.Object(Tree(EOC, o3381, NULL)), o3276, java.lang.Object(Tree(EOC, o3381, NULL)), java.lang.Object(Tree(EOC, o3381, NULL)), o3276) :|: TRUE
f6860_0_append_JMP(EOS(STATIC_6860), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3349sub)) -> f6874_0_append_Load(EOS(STATIC_6874), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3349sub)) :|: TRUE
f6861_0_append_FieldAccess(EOS(STATIC_6861), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), java.lang.Object(Tree(EOC, o3331, NULL)), o3276) -> f6875_0_append_Load(EOS(STATIC_6875), java.lang.Object(Tree(EOC, o3273put, o3274put)), o3276, java.lang.Object(Tree(EOC, o3273put, o3274put))) :|: TRUE
f6862_0_append_FieldAccess(EOS(STATIC_6862), java.lang.Object(Tree(EOC, o3381, NULL)), o3276, java.lang.Object(Tree(EOC, o3381, NULL)), java.lang.Object(Tree(EOC, o3381, NULL)), o3276) -> f6876_0_append_Load(EOS(STATIC_6876), java.lang.Object(Tree(EOC, o3381, o3276)), o3276, java.lang.Object(Tree(EOC, o3381, o3276))) :|: TRUE
f6874_0_append_Load(EOS(STATIC_6874), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3349sub)) -> f6782_0_append_Load(EOS(STATIC_6782), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(o3349sub)) :|: TRUE
f6875_0_append_Load(EOS(STATIC_6875), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274))) -> f6883_0_append_Return(EOS(STATIC_6883), java.lang.Object(Tree(EOC, o3273, o3274)), o3276, java.lang.Object(Tree(EOC, o3273, o3274))) :|: TRUE
f6876_0_append_Load(EOS(STATIC_6876), java.lang.Object(Tree(EOC, o3381, o3276)), o3276, java.lang.Object(Tree(EOC, o3381, o3276))) -> f6884_0_append_Return(EOS(STATIC_6884), java.lang.Object(Tree(EOC, o3381, o3276)), o3276, java.lang.Object(Tree(EOC, o3381, o3276))) :|: TRUE
Combined rules. Obtained 6 conditional rules for P and 0 conditional rules for R.P rules:
f6910_1_less_leaves_InvokeMethod(f6626_0_append_Return(EOS(STATIC_6626), NULL, o3578:0, o3578:0), java.lang.Object(Tree(EOC, o3674:0, o3675:0))) -> f6957_1_less_leaves_InvokeMethod(f7490_0_append_Load(EOS(STATIC_7490), o3674:0, o3675:0), o3578:0) :|: TRUE
f6910_1_less_leaves_InvokeMethod(f6884_0_append_Return(EOS(STATIC_6884), java.lang.Object(Tree(EOC, o3603:0, o3599:0)), o3599:0, java.lang.Object(Tree(EOC, o3603:0, o3599:0))), java.lang.Object(Tree(EOC, o3674:0, o3675:0))) -> f6957_1_less_leaves_InvokeMethod(f7490_0_append_Load(EOS(STATIC_7490), o3674:0, o3675:0), java.lang.Object(Tree(EOC, o3603:0, o3599:0))) :|: TRUE
f6957_1_less_leaves_InvokeMethod(f6883_0_append_Return(EOS(STATIC_6883), java.lang.Object(Tree(EOC, o3719:0, o3720:0)), o3276:0, java.lang.Object(Tree(EOC, o3719:0, o3720:0))), java.lang.Object(Tree(EOC, o3386:0, o3387:0))) -> f6910_1_less_leaves_InvokeMethod(f7454_0_append_Load(EOS(STATIC_7454), o3386:0, o3387:0), java.lang.Object(Tree(EOC, o3719:0, o3720:0))) :|: TRUE
f6910_1_less_leaves_InvokeMethod(f6883_0_append_Return(EOS(STATIC_6883), java.lang.Object(Tree(EOC, o3591:0, o3592:0)), o3276:0, java.lang.Object(Tree(EOC, o3591:0, o3592:0))), java.lang.Object(Tree(EOC, o3674:0, o3675:0))) -> f6957_1_less_leaves_InvokeMethod(f7490_0_append_Load(EOS(STATIC_7490), o3674:0, o3675:0), java.lang.Object(Tree(EOC, o3591:0, o3592:0))) :|: TRUE
f6957_1_less_leaves_InvokeMethod(f6884_0_append_Return(EOS(STATIC_6884), java.lang.Object(Tree(EOC, o3731:0, o3727:0)), o3727:0, java.lang.Object(Tree(EOC, o3731:0, o3727:0))), java.lang.Object(Tree(EOC, o3386:0, o3387:0))) -> f6910_1_less_leaves_InvokeMethod(f7454_0_append_Load(EOS(STATIC_7454), o3386:0, o3387:0), java.lang.Object(Tree(EOC, o3731:0, o3727:0))) :|: TRUE
f6957_1_less_leaves_InvokeMethod(f6626_0_append_Return(EOS(STATIC_6626), NULL, java.lang.Object(o3353sub:0), java.lang.Object(o3353sub:0)), java.lang.Object(Tree(EOC, o3386:0, o3387:0))) -> f6910_1_less_leaves_InvokeMethod(f7454_0_append_Load(EOS(STATIC_7454), o3386:0, o3387:0), java.lang.Object(o3353sub:0)) :|: TRUE
R rules:
Filtered ground terms:
   f6626_0_append_Return(x1, x2, x3, x4) -> f6626_0_append_Return(x3, x4)
   f7490_0_append_Load(x1, x2, x3) -> f7490_0_append_Load(x2, x3)
   f6884_0_append_Return(x1, x2, x3, x4) -> f6884_0_append_Return(x2, x3, x4)
   f6883_0_append_Return(x1, x2, x3, x4) -> f6883_0_append_Return(x2, x3, x4)
   f7454_0_append_Load(x1, x2, x3) -> f7454_0_append_Load(x2, x3)
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f6626_0_append_Return(x1, x2) -> f6626_0_append_Return(x2)
   f6884_0_append_Return(x1, x2, x3) -> f6884_0_append_Return(x3)
   f6883_0_append_Return(x1, x2, x3) -> f6883_0_append_Return(x2, x3)
Combined rules. Obtained 6 conditional rules for P and 0 conditional rules for R.P rules:
F6957_1_LESS_LEAVES_INVOKEMETHOD(f6883_0_append_Return(o3276:0:0, java.lang.Object(Tree(o3719:0:0, o3720:0:0))), java.lang.Object(Tree(o3386:0:0, o3387:0:0))) -> F6910_1_LESS_LEAVES_INVOKEMETHOD(f7454_0_append_Load(o3386:0:0, o3387:0:0), java.lang.Object(Tree(o3719:0:0, o3720:0:0))) :|: TRUE
F6957_1_LESS_LEAVES_INVOKEMETHOD(f6884_0_append_Return(java.lang.Object(Tree(o3731:0:0, o3727:0:0))), java.lang.Object(Tree(o3386:0:0, o3387:0:0))) -> F6910_1_LESS_LEAVES_INVOKEMETHOD(f7454_0_append_Load(o3386:0:0, o3387:0:0), java.lang.Object(Tree(o3731:0:0, o3727:0:0))) :|: TRUE
F6910_1_LESS_LEAVES_INVOKEMETHOD(f6883_0_append_Return(o3276:0:0, java.lang.Object(Tree(o3591:0:0, o3592:0:0))), java.lang.Object(Tree(o3674:0:0, o3675:0:0))) -> F6957_1_LESS_LEAVES_INVOKEMETHOD(f7490_0_append_Load(o3674:0:0, o3675:0:0), java.lang.Object(Tree(o3591:0:0, o3592:0:0))) :|: TRUE
F6910_1_LESS_LEAVES_INVOKEMETHOD(f6626_0_append_Return(o3578:0:0), java.lang.Object(Tree(o3674:0:0, o3675:0:0))) -> F6957_1_LESS_LEAVES_INVOKEMETHOD(f7490_0_append_Load(o3674:0:0, o3675:0:0), o3578:0:0) :|: TRUE
F6957_1_LESS_LEAVES_INVOKEMETHOD(f6626_0_append_Return(java.lang.Object(o3353sub:0:0)), java.lang.Object(Tree(o3386:0:0, o3387:0:0))) -> F6910_1_LESS_LEAVES_INVOKEMETHOD(f7454_0_append_Load(o3386:0:0, o3387:0:0), java.lang.Object(o3353sub:0:0)) :|: TRUE
F6910_1_LESS_LEAVES_INVOKEMETHOD(f6884_0_append_Return(java.lang.Object(Tree(o3603:0:0, o3599:0:0))), java.lang.Object(Tree(o3674:0:0, o3675:0:0))) -> F6957_1_LESS_LEAVES_INVOKEMETHOD(f7490_0_append_Load(o3674:0:0, o3675:0:0), java.lang.Object(Tree(o3603:0:0, o3599:0:0))) :|: TRUE
R rules:

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

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

   F6957_1_LESS_LEAVES_INVOKEMETHOD(f6883_0_append_Return(o3276:0:0, java.lang.Object(Tree(o3719:0:0, o3720:0:0))), java.lang.Object(Tree(o3386:0:0, o3387:0:0))) -> F6910_1_LESS_LEAVES_INVOKEMETHOD(f7454_0_append_Load(o3386:0:0, o3387:0:0), java.lang.Object(Tree(o3719:0:0, o3720:0:0)))
   F6957_1_LESS_LEAVES_INVOKEMETHOD(f6884_0_append_Return(java.lang.Object(Tree(o3731:0:0, o3727:0:0))), java.lang.Object(Tree(o3386:0:0, o3387:0:0))) -> F6910_1_LESS_LEAVES_INVOKEMETHOD(f7454_0_append_Load(o3386:0:0, o3387:0:0), java.lang.Object(Tree(o3731:0:0, o3727:0:0)))
   F6910_1_LESS_LEAVES_INVOKEMETHOD(f6883_0_append_Return(o3276:0:0, java.lang.Object(Tree(o3591:0:0, o3592:0:0))), java.lang.Object(Tree(o3674:0:0, o3675:0:0))) -> F6957_1_LESS_LEAVES_INVOKEMETHOD(f7490_0_append_Load(o3674:0:0, o3675:0:0), java.lang.Object(Tree(o3591:0:0, o3592:0:0)))
   F6910_1_LESS_LEAVES_INVOKEMETHOD(f6626_0_append_Return(o3578:0:0), java.lang.Object(Tree(o3674:0:0, o3675:0:0))) -> F6957_1_LESS_LEAVES_INVOKEMETHOD(f7490_0_append_Load(o3674:0:0, o3675:0:0), o3578:0:0)
   F6957_1_LESS_LEAVES_INVOKEMETHOD(f6626_0_append_Return(java.lang.Object(o3353sub:0:0)), java.lang.Object(Tree(o3386:0:0, o3387:0:0))) -> F6910_1_LESS_LEAVES_INVOKEMETHOD(f7454_0_append_Load(o3386:0:0, o3387:0:0), java.lang.Object(o3353sub:0:0))
   F6910_1_LESS_LEAVES_INVOKEMETHOD(f6884_0_append_Return(java.lang.Object(Tree(o3603:0:0, o3599:0:0))), java.lang.Object(Tree(o3674:0:0, o3675:0:0))) -> F6957_1_LESS_LEAVES_INVOKEMETHOD(f7490_0_append_Load(o3674:0:0, o3675:0:0), java.lang.Object(Tree(o3603:0:0, o3599: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 114 IRulesP rules:
f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2481) -> f7151_0_createTree_LE(EOS(STATIC_7151(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2481) :|: TRUE
f7151_0_createTree_LE(EOS(STATIC_7151(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2481) -> f7153_0_createTree_InvokeMethod(EOS(STATIC_7153(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) :|: i2481 > 0
f7153_0_createTree_InvokeMethod(EOS(STATIC_7153(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) -> f7155_0_random_FieldAccess(EOS(STATIC_7155(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) :|: TRUE
f7155_0_random_FieldAccess(EOS(STATIC_7155(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) -> f7157_0_random_FieldAccess(EOS(STATIC_7157(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) :|: TRUE
f7157_0_random_FieldAccess(EOS(STATIC_7157(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) -> f7162_0_random_ArrayAccess(EOS(STATIC_7162(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) :|: TRUE
f7162_0_random_ArrayAccess(EOS(STATIC_7162(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) -> f7166_0_random_ArrayAccess(EOS(STATIC_7166(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) :|: TRUE
f7166_0_random_ArrayAccess(EOS(STATIC_7166(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) -> f7170_0_random_ArrayAccess(EOS(STATIC_7170(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) :|: TRUE
f7170_0_random_ArrayAccess(EOS(STATIC_7170(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(ARRAY(i93))) -> f7174_0_random_Store(EOS(STATIC_7174(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) :|: TRUE
f7174_0_random_Store(EOS(STATIC_7174(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) -> f7179_0_random_FieldAccess(EOS(STATIC_7179(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) :|: TRUE
f7179_0_random_FieldAccess(EOS(STATIC_7179(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) -> f7183_0_random_ConstantStackPush(EOS(STATIC_7183(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) :|: TRUE
f7183_0_random_ConstantStackPush(EOS(STATIC_7183(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) -> f7187_0_random_IntArithmetic(EOS(STATIC_7187(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) :|: TRUE
f7187_0_random_IntArithmetic(EOS(STATIC_7187(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) -> f7191_0_random_FieldAccess(EOS(STATIC_7191(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) :|: TRUE
f7191_0_random_FieldAccess(EOS(STATIC_7191(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) -> f7202_0_random_Load(EOS(STATIC_7202(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) :|: TRUE
f7202_0_random_Load(EOS(STATIC_7202(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) -> f7207_0_random_InvokeMethod(EOS(STATIC_7207(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), o4368) :|: TRUE
f7207_0_random_InvokeMethod(EOS(STATIC_7207(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4467sub)) -> f7216_0_random_InvokeMethod(EOS(STATIC_7216(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4467sub)) :|: TRUE
f7216_0_random_InvokeMethod(EOS(STATIC_7216(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4476sub)) -> f7223_0_random_InvokeMethod(EOS(STATIC_7223(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4476sub)) :|: TRUE
f7223_0_random_InvokeMethod(EOS(STATIC_7223(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4476sub)) -> f7228_0_length_Load(EOS(STATIC_7228(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4476sub)) :|: TRUE
f7228_0_length_Load(EOS(STATIC_7228(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4476sub)) -> f7237_0_length_FieldAccess(EOS(STATIC_7237(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4476sub)) :|: TRUE
f7237_0_length_FieldAccess(EOS(STATIC_7237(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(java.lang.String(EOC, i2665))) -> f7242_0_length_FieldAccess(EOS(STATIC_7242(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(java.lang.String(EOC, i2665))) :|: i2665 >= 0
f7242_0_length_FieldAccess(EOS(STATIC_7242(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(java.lang.String(EOC, i2665))) -> f7247_0_length_Return(EOS(STATIC_7247(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) :|: TRUE
f7247_0_length_Return(EOS(STATIC_7247(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) -> f7250_0_random_Return(EOS(STATIC_7250(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) :|: TRUE
f7250_0_random_Return(EOS(STATIC_7250(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) -> f7260_0_createTree_Store(EOS(STATIC_7260(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) :|: TRUE
f7260_0_createTree_Store(EOS(STATIC_7260(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) -> f7267_0_createTree_Load(EOS(STATIC_7267(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) :|: TRUE
f7267_0_createTree_Load(EOS(STATIC_7267(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) -> f7271_0_createTree_LE(EOS(STATIC_7271(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2665) :|: TRUE
f7271_0_createTree_LE(EOS(STATIC_7271(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), matching1) -> f7275_0_createTree_LE(EOS(STATIC_7275(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), 0) :|: TRUE && matching1 = 0
f7271_0_createTree_LE(EOS(STATIC_7271(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2722) -> f7276_0_createTree_LE(EOS(STATIC_7276(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2722) :|: TRUE
f7275_0_createTree_LE(EOS(STATIC_7275(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), matching1) -> f7279_0_createTree_Load(EOS(STATIC_7279(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) :|: 0 <= 0 && matching1 = 0
f7279_0_createTree_Load(EOS(STATIC_7279(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) -> f7284_0_createTree_FieldAccess(EOS(STATIC_7284(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4286sub)) :|: TRUE
f7284_0_createTree_FieldAccess(EOS(STATIC_7284(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4569, o4568)), java.lang.Object(Tree(EOC, o4569, o4568))) -> f7289_0_createTree_FieldAccess(EOS(STATIC_7289(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4569, o4568)), java.lang.Object(Tree(EOC, o4569, o4568))) :|: TRUE
f7289_0_createTree_FieldAccess(EOS(STATIC_7289(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4569, o4568)), java.lang.Object(Tree(EOC, o4569, o4568))) -> f7294_0_createTree_NONNULL(EOS(STATIC_7294(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4569, o4568)), o4569) :|: TRUE
f7294_0_createTree_NONNULL(EOS(STATIC_7294(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub), o4568)), java.lang.Object(o4581sub)) -> f7299_0_createTree_NONNULL(EOS(STATIC_7299(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub), o4568)), java.lang.Object(o4581sub)) :|: TRUE
f7294_0_createTree_NONNULL(EOS(STATIC_7294(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), NULL) -> f7300_0_createTree_NONNULL(EOS(STATIC_7300(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), NULL) :|: TRUE
f7299_0_createTree_NONNULL(EOS(STATIC_7299(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub), o4568)), java.lang.Object(o4581sub)) -> f7306_0_createTree_Load(EOS(STATIC_7306(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub), o4568))) :|: TRUE
f7306_0_createTree_Load(EOS(STATIC_7306(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub), o4568))) -> f7313_0_createTree_FieldAccess(EOS(STATIC_7313(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub), o4568))) :|: TRUE
f7313_0_createTree_FieldAccess(EOS(STATIC_7313(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub), o4568))) -> f7320_0_createTree_Store(EOS(STATIC_7320(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) :|: TRUE
f7320_0_createTree_Store(EOS(STATIC_7320(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) -> f7327_0_createTree_Inc(EOS(STATIC_7327(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) :|: TRUE
f7327_0_createTree_Inc(EOS(STATIC_7327(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) -> f7331_0_createTree_JMP(EOS(STATIC_7331(java.lang.Object(ARRAY(i93)))), i2481 + -1, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) :|: TRUE
f7331_0_createTree_JMP(EOS(STATIC_7331(java.lang.Object(ARRAY(i93)))), i2767, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) -> f7342_0_createTree_Load(EOS(STATIC_7342(java.lang.Object(ARRAY(i93)))), i2767, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) :|: TRUE
f7342_0_createTree_Load(EOS(STATIC_7342(java.lang.Object(ARRAY(i93)))), i2767, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) -> f7148_0_createTree_Load(EOS(STATIC_7148(java.lang.Object(ARRAY(i93)))), i2767, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4581sub)) :|: TRUE
f7148_0_createTree_Load(EOS(STATIC_7148(java.lang.Object(ARRAY(i93)))), i2476, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) -> f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93)))), i2476, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2476) :|: TRUE
f7300_0_createTree_NONNULL(EOS(STATIC_7300(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), NULL) -> f7307_0_createTree_Load(EOS(STATIC_7307(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568))) :|: TRUE
f7307_0_createTree_Load(EOS(STATIC_7307(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568))) -> f7314_0_createTree_InvokeMethod(EOS(STATIC_7314(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568))) :|: TRUE
f7314_0_createTree_InvokeMethod(EOS(STATIC_7314(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568))) -> f7321_0_createNode_New(EOS(STATIC_7321(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568))) :|: TRUE
f7321_0_createNode_New(EOS(STATIC_7321(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568))) -> f7332_0_createNode_Duplicate(EOS(STATIC_7332(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7332_0_createNode_Duplicate(EOS(STATIC_7332(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7343_0_createNode_InvokeMethod(EOS(STATIC_7343(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7343_0_createNode_InvokeMethod(EOS(STATIC_7343(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7349_0__init__Load(EOS(STATIC_7349(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7349_0__init__Load(EOS(STATIC_7349(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7358_0__init__InvokeMethod(EOS(STATIC_7358(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7358_0__init__InvokeMethod(EOS(STATIC_7358(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7362_0__init__Return(EOS(STATIC_7362(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7362_0__init__Return(EOS(STATIC_7362(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7364_0_createNode_Store(EOS(STATIC_7364(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7364_0_createNode_Store(EOS(STATIC_7364(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7370_0_createNode_Load(EOS(STATIC_7370(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7370_0_createNode_Load(EOS(STATIC_7370(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7373_0_createNode_New(EOS(STATIC_7373(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7373_0_createNode_New(EOS(STATIC_7373(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7375_0_createNode_Duplicate(EOS(STATIC_7375(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7375_0_createNode_Duplicate(EOS(STATIC_7375(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7377_0_createNode_InvokeMethod(EOS(STATIC_7377(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7377_0_createNode_InvokeMethod(EOS(STATIC_7377(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7379_0_createNode_FieldAccess(EOS(STATIC_7379(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7379_0_createNode_FieldAccess(EOS(STATIC_7379(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7381_0_createNode_Load(EOS(STATIC_7381(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7381_0_createNode_Load(EOS(STATIC_7381(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7383_0_createNode_Return(EOS(STATIC_7383(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7383_0_createNode_Return(EOS(STATIC_7383(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7385_0_createTree_FieldAccess(EOS(STATIC_7385(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7385_0_createTree_FieldAccess(EOS(STATIC_7385(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7387_0_createTree_FieldAccess(EOS(STATIC_7387(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7385_0_createTree_FieldAccess(EOS(STATIC_7385(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, NULL, o4898)), java.lang.Object(Tree(EOC, NULL, o4898)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7388_0_createTree_FieldAccess(EOS(STATIC_7388(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, NULL, o4898)), java.lang.Object(Tree(EOC, NULL, o4898)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7387_0_createTree_FieldAccess(EOS(STATIC_7387(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, NULL, o4568)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7391_0_createTree_Load(EOS(STATIC_7391(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284put, o4283put))) :|: TRUE
f7391_0_createTree_Load(EOS(STATIC_7391(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283))) -> f7395_0_createTree_Store(EOS(STATIC_7395(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7395_0_createTree_Store(EOS(STATIC_7395(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7399_0_createTree_JMP(EOS(STATIC_7399(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7399_0_createTree_JMP(EOS(STATIC_7399(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7403_0_createTree_Inc(EOS(STATIC_7403(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7403_0_createTree_Inc(EOS(STATIC_7403(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7407_0_createTree_JMP(EOS(STATIC_7407(java.lang.Object(ARRAY(i93)))), i2481 + -1, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7407_0_createTree_JMP(EOS(STATIC_7407(java.lang.Object(ARRAY(i93)))), i2910, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7409_0_createTree_Load(EOS(STATIC_7409(java.lang.Object(ARRAY(i93)))), i2910, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7409_0_createTree_Load(EOS(STATIC_7409(java.lang.Object(ARRAY(i93)))), i2910, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7148_0_createTree_Load(EOS(STATIC_7148(java.lang.Object(ARRAY(i93)))), i2910, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7388_0_createTree_FieldAccess(EOS(STATIC_7388(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, NULL, o4898)), java.lang.Object(Tree(EOC, NULL, o4898)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7392_0_createTree_Load(EOS(STATIC_7392(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) :|: TRUE
f7392_0_createTree_Load(EOS(STATIC_7392(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) -> f7396_0_createTree_Store(EOS(STATIC_7396(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) :|: TRUE
f7396_0_createTree_Store(EOS(STATIC_7396(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) -> f7400_0_createTree_JMP(EOS(STATIC_7400(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) :|: TRUE
f7400_0_createTree_JMP(EOS(STATIC_7400(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) -> f7404_0_createTree_Inc(EOS(STATIC_7404(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) :|: TRUE
f7404_0_createTree_Inc(EOS(STATIC_7404(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) -> f7405_0_createTree_Inc(EOS(STATIC_7405(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4898))) :|: TRUE
f7405_0_createTree_Inc(EOS(STATIC_7405(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7403_0_createTree_Inc(EOS(STATIC_7403(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7276_0_createTree_LE(EOS(STATIC_7276(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), i2722) -> f7280_0_createTree_Load(EOS(STATIC_7280(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) :|: i2722 > 0
f7280_0_createTree_Load(EOS(STATIC_7280(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub)) -> f7285_0_createTree_FieldAccess(EOS(STATIC_7285(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4286sub), java.lang.Object(o4286sub)) :|: TRUE
f7285_0_createTree_FieldAccess(EOS(STATIC_7285(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, o4572)), java.lang.Object(Tree(EOC, o4573, o4572))) -> f7290_0_createTree_FieldAccess(EOS(STATIC_7290(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, o4572)), java.lang.Object(Tree(EOC, o4573, o4572))) :|: TRUE
f7290_0_createTree_FieldAccess(EOS(STATIC_7290(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, o4572)), java.lang.Object(Tree(EOC, o4573, o4572))) -> f7295_0_createTree_NONNULL(EOS(STATIC_7295(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, o4572)), o4572) :|: TRUE
f7295_0_createTree_NONNULL(EOS(STATIC_7295(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, java.lang.Object(o4582sub))), java.lang.Object(o4582sub)) -> f7301_0_createTree_NONNULL(EOS(STATIC_7301(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, java.lang.Object(o4582sub))), java.lang.Object(o4582sub)) :|: TRUE
f7295_0_createTree_NONNULL(EOS(STATIC_7295(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), NULL) -> f7302_0_createTree_NONNULL(EOS(STATIC_7302(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), NULL) :|: TRUE
f7301_0_createTree_NONNULL(EOS(STATIC_7301(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, java.lang.Object(o4582sub))), java.lang.Object(o4582sub)) -> f7308_0_createTree_Load(EOS(STATIC_7308(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, java.lang.Object(o4582sub)))) :|: TRUE
f7308_0_createTree_Load(EOS(STATIC_7308(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, java.lang.Object(o4582sub)))) -> f7315_0_createTree_FieldAccess(EOS(STATIC_7315(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, java.lang.Object(o4582sub)))) :|: TRUE
f7315_0_createTree_FieldAccess(EOS(STATIC_7315(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, java.lang.Object(o4582sub)))) -> f7322_0_createTree_Store(EOS(STATIC_7322(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4582sub)) :|: TRUE
f7322_0_createTree_Store(EOS(STATIC_7322(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4582sub)) -> f7328_0_createTree_JMP(EOS(STATIC_7328(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4582sub)) :|: TRUE
f7328_0_createTree_JMP(EOS(STATIC_7328(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4582sub)) -> f7333_0_createTree_Inc(EOS(STATIC_7333(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4582sub)) :|: TRUE
f7333_0_createTree_Inc(EOS(STATIC_7333(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4582sub)) -> f7327_0_createTree_Inc(EOS(STATIC_7327(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(o4582sub)) :|: TRUE
f7302_0_createTree_NONNULL(EOS(STATIC_7302(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), NULL) -> f7309_0_createTree_Load(EOS(STATIC_7309(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL))) :|: TRUE
f7309_0_createTree_Load(EOS(STATIC_7309(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL))) -> f7316_0_createTree_InvokeMethod(EOS(STATIC_7316(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL))) :|: TRUE
f7316_0_createTree_InvokeMethod(EOS(STATIC_7316(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL))) -> f7323_0_createNode_New(EOS(STATIC_7323(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL))) :|: TRUE
f7323_0_createNode_New(EOS(STATIC_7323(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL))) -> f7334_0_createNode_Duplicate(EOS(STATIC_7334(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7334_0_createNode_Duplicate(EOS(STATIC_7334(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7344_0_createNode_InvokeMethod(EOS(STATIC_7344(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7344_0_createNode_InvokeMethod(EOS(STATIC_7344(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7350_0__init__Load(EOS(STATIC_7350(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7350_0__init__Load(EOS(STATIC_7350(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7359_0__init__InvokeMethod(EOS(STATIC_7359(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7359_0__init__InvokeMethod(EOS(STATIC_7359(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7363_0__init__Return(EOS(STATIC_7363(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7363_0__init__Return(EOS(STATIC_7363(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7365_0_createNode_Store(EOS(STATIC_7365(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7365_0_createNode_Store(EOS(STATIC_7365(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7371_0_createNode_Load(EOS(STATIC_7371(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7371_0_createNode_Load(EOS(STATIC_7371(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7374_0_createNode_New(EOS(STATIC_7374(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7374_0_createNode_New(EOS(STATIC_7374(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7376_0_createNode_Duplicate(EOS(STATIC_7376(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7376_0_createNode_Duplicate(EOS(STATIC_7376(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7378_0_createNode_InvokeMethod(EOS(STATIC_7378(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7378_0_createNode_InvokeMethod(EOS(STATIC_7378(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7380_0_createNode_FieldAccess(EOS(STATIC_7380(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7380_0_createNode_FieldAccess(EOS(STATIC_7380(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7382_0_createNode_Load(EOS(STATIC_7382(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7382_0_createNode_Load(EOS(STATIC_7382(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7384_0_createNode_Return(EOS(STATIC_7384(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7384_0_createNode_Return(EOS(STATIC_7384(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7386_0_createTree_FieldAccess(EOS(STATIC_7386(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7386_0_createTree_FieldAccess(EOS(STATIC_7386(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7389_0_createTree_FieldAccess(EOS(STATIC_7389(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7386_0_createTree_FieldAccess(EOS(STATIC_7386(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, NULL)), java.lang.Object(Tree(EOC, o4907, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7390_0_createTree_FieldAccess(EOS(STATIC_7390(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, NULL)), java.lang.Object(Tree(EOC, o4907, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7389_0_createTree_FieldAccess(EOS(STATIC_7389(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4573, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7393_0_createTree_Load(EOS(STATIC_7393(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284put, o4283put))) :|: TRUE
f7393_0_createTree_Load(EOS(STATIC_7393(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283))) -> f7397_0_createTree_Store(EOS(STATIC_7397(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7397_0_createTree_Store(EOS(STATIC_7397(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7401_0_createTree_JMP(EOS(STATIC_7401(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7401_0_createTree_JMP(EOS(STATIC_7401(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) -> f7405_0_createTree_Inc(EOS(STATIC_7405(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4284, o4283)), java.lang.Object(Tree(EOC, o4284, o4283))) :|: TRUE
f7390_0_createTree_FieldAccess(EOS(STATIC_7390(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, NULL)), java.lang.Object(Tree(EOC, o4907, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7394_0_createTree_Load(EOS(STATIC_7394(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7394_0_createTree_Load(EOS(STATIC_7394(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7398_0_createTree_Store(EOS(STATIC_7398(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7398_0_createTree_Store(EOS(STATIC_7398(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7402_0_createTree_JMP(EOS(STATIC_7402(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7402_0_createTree_JMP(EOS(STATIC_7402(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7406_0_createTree_Inc(EOS(STATIC_7406(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7406_0_createTree_Inc(EOS(STATIC_7406(java.lang.Object(ARRAY(i93)))), i2481, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7408_0_createTree_JMP(EOS(STATIC_7408(java.lang.Object(ARRAY(i93)))), i2481 + -1, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7408_0_createTree_JMP(EOS(STATIC_7408(java.lang.Object(ARRAY(i93)))), i2912, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7410_0_createTree_Load(EOS(STATIC_7410(java.lang.Object(ARRAY(i93)))), i2912, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7410_0_createTree_Load(EOS(STATIC_7410(java.lang.Object(ARRAY(i93)))), i2912, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7148_0_createTree_Load(EOS(STATIC_7148(java.lang.Object(ARRAY(i93)))), i2912, java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4907, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0, java.lang.Object(Tree(EOC, o4284:0, o4283:0)), java.lang.Object(Tree(EOC, java.lang.Object(o4581sub:0), o4568:0)), i2481:0) -> f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0 - 1, java.lang.Object(Tree(EOC, o4284:0, o4283:0)), java.lang.Object(o4581sub:0), i2481:0 - 1) :|: i2481:0 > 0
f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0, java.lang.Object(Tree(EOC, o4284:0, NULL)), java.lang.Object(Tree(EOC, o4284:0, NULL)), i2481:0) -> f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0 - 1, java.lang.Object(Tree(EOC, o4284:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4284:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i2481:0 - 1) :|: i2481:0 > 0 && i2665:0 > 0
f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0, java.lang.Object(Tree(EOC, o4284:0, o4283:0)), java.lang.Object(Tree(EOC, NULL, o4568:0)), i2481:0) -> f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0 - 1, java.lang.Object(Tree(EOC, o4284put:0, o4283put:0)), java.lang.Object(Tree(EOC, o4284put:0, o4283put:0)), i2481:0 - 1) :|: i2481:0 > 0
f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0, java.lang.Object(Tree(EOC, NULL, o4283:0)), java.lang.Object(Tree(EOC, NULL, o4283:0)), i2481:0) -> f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4283:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4283:0)), i2481:0 - 1) :|: i2481:0 > 0
f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0, java.lang.Object(Tree(EOC, o4284:0, o4283:0)), java.lang.Object(Tree(EOC, o4573:0, java.lang.Object(o4582sub:0))), i2481:0) -> f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0 - 1, java.lang.Object(Tree(EOC, o4284:0, o4283:0)), java.lang.Object(o4582sub:0), i2481:0 - 1) :|: i2481:0 > 0 && i2665:0 > 0
f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0, java.lang.Object(Tree(EOC, o4284:0, o4283:0)), java.lang.Object(Tree(EOC, o4573:0, NULL)), i2481:0) -> f7149_0_createTree_LE(EOS(STATIC_7149(java.lang.Object(ARRAY(i93:0)))), i2481:0 - 1, java.lang.Object(Tree(EOC, o4284put:0, o4283put:0)), java.lang.Object(Tree(EOC, o4284put:0, o4283put:0)), i2481:0 - 1) :|: i2481:0 > 0 && i2665:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f7149_0_createTree_LE(x1, x2, x3, x4, x5) -> f7149_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f7149_0_createTree_LE(x1, x2, x3, x4) -> f7149_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(java.lang.Object(o4581sub:0), o4568:0)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(o4581sub:0), i2481:0 - 1) :|: i2481:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, NULL)), java.lang.Object(Tree(o4284:0, NULL)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o4284:0, java.lang.Object(Tree(NULL, NULL)))), i2481:0 - 1) :|: i2481:0 > 0 && i2665:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(NULL, o4568:0)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284put:0, o4283put:0)), java.lang.Object(Tree(o4284put:0, o4283put:0)), i2481:0 - 1) :|: i2481:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(NULL, o4283:0)), java.lang.Object(Tree(NULL, o4283:0)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o4283:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o4283:0)), i2481:0 - 1) :|: i2481:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(o4573:0, java.lang.Object(o4582sub:0))), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(o4582sub:0), i2481:0 - 1) :|: i2481:0 > 0 && i2665:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(o4573:0, NULL)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284put:0, o4283put:0)), java.lang.Object(Tree(o4284put:0, o4283put:0)), i2481:0 - 1) :|: i2481:0 > 0 && i2665:0 > 0

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

(19)
Obligation:
Rules:
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(java.lang.Object(o4581sub:0), o4568:0)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(o4581sub:0), i2481:0 - 1) :|: i2481:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x, NULL)), java.lang.Object(Tree(x, NULL)), x1) -> f7149_0_createTree_LE(java.lang.Object(Tree(x, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x, java.lang.Object(Tree(NULL, NULL)))), x1 - 1) :|: x1 > 0 && x2 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x3, x4)), java.lang.Object(Tree(NULL, x5)), x6) -> f7149_0_createTree_LE(java.lang.Object(Tree(x7, x8)), java.lang.Object(Tree(x7, x8)), x6 - 1) :|: x6 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(NULL, x9)), java.lang.Object(Tree(NULL, x9)), x10) -> f7149_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x9)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x9)), x10 - 1) :|: x10 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x11, x12)), java.lang.Object(Tree(x13, java.lang.Object(x14))), x15) -> f7149_0_createTree_LE(java.lang.Object(Tree(x11, x12)), java.lang.Object(x14), x15 - 1) :|: x15 > 0 && x16 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x17, x18)), java.lang.Object(Tree(x19, NULL)), x20) -> f7149_0_createTree_LE(java.lang.Object(Tree(x21, x22)), java.lang.Object(Tree(x21, x22)), x20 - 1) :|: x20 > 0 && x23 > 0

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

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

(21)
Obligation:
Rules:
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(java.lang.Object(o4581sub:0), o4568:0)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(o4581sub:0), arith) :|: i2481:0 > 0 && arith = i2481:0 - 1
f7149_0_createTree_LE(java.lang.Object(Tree(x24, NULL)), java.lang.Object(Tree(x24, NULL)), x25) -> f7149_0_createTree_LE(java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), x26) :|: x25 > 0 && x27 > 0 && x26 = x25 - 1
f7149_0_createTree_LE(java.lang.Object(Tree(x28, x29)), java.lang.Object(Tree(NULL, x30)), x31) -> f7149_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x32, x33)), x34) :|: x31 > 0 && x34 = x31 - 1
f7149_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7149_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
f7149_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x40, java.lang.Object(x41))), x42) -> f7149_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x41), x43) :|: x42 > 0 && x44 > 0 && x43 = x42 - 1
f7149_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(x47, NULL)), x48) -> f7149_0_createTree_LE(java.lang.Object(Tree(x49, x50)), java.lang.Object(Tree(x49, x50)), x51) :|: x48 > 0 && x52 > 0 && x51 = x48 - 1

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

(22) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(java.lang.Object(o4581sub:0), o4568:0)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(o4581sub:0), arith) :|: i2481:0 > 0 && arith = i2481:0 - 1
(2) f7149_0_createTree_LE(java.lang.Object(Tree(x24, NULL)), java.lang.Object(Tree(x24, NULL)), x25) -> f7149_0_createTree_LE(java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), x26) :|: x25 > 0 && x27 > 0 && x26 = x25 - 1
(3) f7149_0_createTree_LE(java.lang.Object(Tree(x28, x29)), java.lang.Object(Tree(NULL, x30)), x31) -> f7149_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x32, x33)), x34) :|: x31 > 0 && x34 = x31 - 1
(4) f7149_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7149_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
(5) f7149_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x40, java.lang.Object(x41))), x42) -> f7149_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x41), x43) :|: x42 > 0 && x44 > 0 && x43 = x42 - 1
(6) f7149_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(x47, NULL)), x48) -> f7149_0_createTree_LE(java.lang.Object(Tree(x49, x50)), java.lang.Object(Tree(x49, x50)), x51) :|: x48 > 0 && x52 > 0 && x51 = x48 - 1

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

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

(23)
Obligation:

Termination digraph:
Nodes:
(1) f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(Tree(java.lang.Object(o4581sub:0), o4568:0)), i2481:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0, o4283:0)), java.lang.Object(o4581sub:0), arith) :|: i2481:0 > 0 && arith = i2481:0 - 1
(2) f7149_0_createTree_LE(java.lang.Object(Tree(x24, NULL)), java.lang.Object(Tree(x24, NULL)), x25) -> f7149_0_createTree_LE(java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x24, java.lang.Object(Tree(NULL, NULL)))), x26) :|: x25 > 0 && x27 > 0 && x26 = x25 - 1
(3) f7149_0_createTree_LE(java.lang.Object(Tree(x28, x29)), java.lang.Object(Tree(NULL, x30)), x31) -> f7149_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x32, x33)), x34) :|: x31 > 0 && x34 = x31 - 1
(4) f7149_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x40, java.lang.Object(x41))), x42) -> f7149_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x41), x43) :|: x42 > 0 && x44 > 0 && x43 = x42 - 1
(5) f7149_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7149_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
(6) f7149_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(x47, NULL)), x48) -> f7149_0_createTree_LE(java.lang.Object(Tree(x49, x50)), java.lang.Object(Tree(x49, x50)), x51) :|: x48 > 0 && x52 > 0 && x51 = x48 - 1

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

This digraph is fully evaluated!

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

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

(25)
Obligation:
Rules:
f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0:0, o4283:0:0)), java.lang.Object(Tree(java.lang.Object(o4581sub:0:0), o4568:0:0)), i2481:0:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(o4284:0:0, o4283:0:0)), java.lang.Object(o4581sub:0:0), i2481:0:0 - 1) :|: i2481:0:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x45:0, x46:0)), java.lang.Object(Tree(x47:0, NULL)), x48:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(x49:0, x50:0)), java.lang.Object(Tree(x49:0, x50:0)), x48:0 - 1) :|: x48:0 > 0 && x52:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x28:0, x29:0)), java.lang.Object(Tree(NULL, x30:0)), x31:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(x32:0, x33:0)), java.lang.Object(Tree(x32:0, x33:0)), x31:0 - 1) :|: x31:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(Tree(x40:0, java.lang.Object(x41:0))), x42:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(x41:0), x42:0 - 1) :|: x42:0 > 0 && x44:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(x24:0, NULL)), java.lang.Object(Tree(x24:0, NULL)), x25:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(x24:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x24:0, java.lang.Object(Tree(NULL, NULL)))), x25:0 - 1) :|: x25:0 > 0 && x27:0 > 0
f7149_0_createTree_LE(java.lang.Object(Tree(NULL, x35:0)), java.lang.Object(Tree(NULL, x35:0)), x36:0) -> f7149_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35:0)), x36:0 - 1) :|: x36:0 > 0

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

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

(27)
Obligation:
Rules:
f7149_0_createTree_LE(c, c1, i2481:0:0) -> f7149_0_createTree_LE(c2, c3, c4) :|: c4 = i2481:0:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && i2481:0:0 > 0
f7149_0_createTree_LE(c5, c6, x48:0) -> f7149_0_createTree_LE(c7, c8, c9) :|: c9 = x48:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x48:0 > 0 && x52:0 > 0)

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

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

The following rules are decreasing:
f7149_0_createTree_LE(c, c1, i2481:0:0) -> f7149_0_createTree_LE(c2, c3, c4) :|: c4 = i2481:0:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && i2481:0:0 > 0
f7149_0_createTree_LE(c5, c6, x48:0) -> f7149_0_createTree_LE(c7, c8, c9) :|: c9 = x48:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x48:0 > 0 && x52:0 > 0)
The following rules are bounded:
f7149_0_createTree_LE(c, c1, i2481:0:0) -> f7149_0_createTree_LE(c2, c3, c4) :|: c4 = i2481:0:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && i2481:0:0 > 0
f7149_0_createTree_LE(c5, c6, x48:0) -> f7149_0_createTree_LE(c7, c8, c9) :|: c9 = x48:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x48:0 > 0 && x52:0 > 0)

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

(29)
YES