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


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


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


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 96 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 996 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToIRSProof [SOUND, 372 ms]
        (9) IRSwT
        (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (11) IRSwT
        (12) IRSwTTerminationDigraphProof [EQUIVALENT, 325 ms]
        (13) IRSwT
        (14) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (15) IRSwT
        (16) TempFilterProof [SOUND, 71 ms]
        (17) IntTRS
        (18) PolynomialOrderProcessor [EQUIVALENT, 26 ms]
        (19) YES
    (20) JBCTerminationSCC
        (21) SCCToQDPProof [SOUND, 191 ms]
        (22) QDP
        (23) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (24) YES


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

(0)
Obligation:
need to prove termination of the following program:
package TreeLeftmostDepth;

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

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


package TreeLeftmostDepth;

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();
  }
}


package TreeLeftmostDepth;

public class TreeLeftmostDepth {
  public static void main(String[] args) {
    Random.args = args;
    Tree tree = Tree.createTree();
    int lmdepth = 0;
    while (tree.left != null) {
      /*      t              t
       *     / \            /  \
       *    tl  tr  ==>   tll   tl
       *   /  \                / \
       * tll  tlr            tlr  \tr
       */
      Tree tl = tree.left;
      Tree tll = tl.left;
      Tree tlr = tl.right;
      Tree tr = tree.right;
      tree.right = tl;
      tl.right = tr;
      tl.left = tlr;
      tree.left = tll;
      lmdepth++;
    }
  }
}



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

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

(2)
Obligation:
need to prove termination of the following program:
package TreeLeftmostDepth;

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

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


package TreeLeftmostDepth;

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();
  }
}


package TreeLeftmostDepth;

public class TreeLeftmostDepth {
  public static void main(String[] args) {
    Random.args = args;
    Tree tree = Tree.createTree();
    int lmdepth = 0;
    while (tree.left != null) {
      /*      t              t
       *     / \            /  \
       *    tl  tr  ==>   tll   tl
       *   /  \                / \
       * tll  tlr            tlr  \tr
       */
      Tree tl = tree.left;
      Tree tll = tl.left;
      Tree tlr = tl.right;
      Tree tr = tree.right;
      tree.right = tl;
      tl.right = tr;
      tl.left = tlr;
      tree.left = tll;
      lmdepth++;
    }
  }
}



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

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

(4)
Obligation:
Termination Graph based on JBC Program:
TreeLeftmostDepth.TreeLeftmostDepth.main([Ljava/lang/String;)V: Graph of 89 nodes with 1 SCC.



TreeLeftmostDepth.Tree.createTree()LTreeLeftmostDepth/Tree;: Graph of 316 nodes with 1 SCC.





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

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

(6)
Complex Obligation (AND)

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

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

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

(8) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 120 IRulesP rules:
f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1031) -> f5086_0_createTree_LE(EOS(STATIC_5086(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1031) :|: TRUE
f5086_0_createTree_LE(EOS(STATIC_5086(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1031) -> f5089_0_createTree_InvokeMethod(EOS(STATIC_5089(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) :|: i1031 > 0
f5089_0_createTree_InvokeMethod(EOS(STATIC_5089(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) -> f5094_0_random_FieldAccess(EOS(STATIC_5094(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) :|: TRUE
f5094_0_random_FieldAccess(EOS(STATIC_5094(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) -> f5210_0_random_FieldAccess(EOS(STATIC_5210(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f5210_0_random_FieldAccess(EOS(STATIC_5210(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6))) -> f5247_0_random_ArrayAccess(EOS(STATIC_5247(java.lang.Object(ARRAY(i6)), i1021)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6)), i1021) :|: TRUE
f5247_0_random_ArrayAccess(EOS(STATIC_5247(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6)), i1062) -> f5252_0_random_ArrayAccess(EOS(STATIC_5252(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6)), i1062) :|: TRUE
f5252_0_random_ArrayAccess(EOS(STATIC_5252(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6)), i1062) -> f5258_0_random_ArrayAccess(EOS(STATIC_5258(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6)), i1062) :|: TRUE
f5258_0_random_ArrayAccess(EOS(STATIC_5258(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(ARRAY(i6)), i1062) -> f5264_0_random_Store(EOS(STATIC_5264(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296) :|: i1062 < i6
f5264_0_random_Store(EOS(STATIC_5264(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296) -> f5333_0_random_FieldAccess(EOS(STATIC_5333(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296) :|: TRUE
f5333_0_random_FieldAccess(EOS(STATIC_5333(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296) -> f5342_0_random_ConstantStackPush(EOS(STATIC_5342(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296, i1062) :|: TRUE
f5342_0_random_ConstantStackPush(EOS(STATIC_5342(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296, i1062) -> f5351_0_random_IntArithmetic(EOS(STATIC_5351(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296, i1062, 1) :|: TRUE
f5351_0_random_IntArithmetic(EOS(STATIC_5351(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296, i1062, matching1) -> f5365_0_random_FieldAccess(EOS(STATIC_5365(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296, i1062 + 1) :|: i1062 >= 0 && matching1 = 1
f5365_0_random_FieldAccess(EOS(STATIC_5365(java.lang.Object(ARRAY(i6)), i1062)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296, i1079) -> f5373_0_random_Load(EOS(STATIC_5373(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296) :|: TRUE
f5373_0_random_Load(EOS(STATIC_5373(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296) -> f5378_0_random_InvokeMethod(EOS(STATIC_5378(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), o1296) :|: TRUE
f5378_0_random_InvokeMethod(EOS(STATIC_5378(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1313sub)) -> f5414_0_random_InvokeMethod(EOS(STATIC_5414(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1313sub)) :|: TRUE
f5414_0_random_InvokeMethod(EOS(STATIC_5414(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1314sub)) -> f5423_0_random_InvokeMethod(EOS(STATIC_5423(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1314sub)) :|: TRUE
f5423_0_random_InvokeMethod(EOS(STATIC_5423(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1314sub)) -> f5431_0_length_Load(EOS(STATIC_5431(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1314sub)) :|: TRUE
f5431_0_length_Load(EOS(STATIC_5431(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1314sub)) -> f5455_0_length_FieldAccess(EOS(STATIC_5455(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1314sub)) :|: TRUE
f5455_0_length_FieldAccess(EOS(STATIC_5455(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(java.lang.String(EOC, i1106))) -> f5478_0_length_FieldAccess(EOS(STATIC_5478(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(java.lang.String(EOC, i1106))) :|: i1106 >= 0
f5478_0_length_FieldAccess(EOS(STATIC_5478(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(java.lang.String(EOC, i1106))) -> f5490_0_length_Return(EOS(STATIC_5490(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) :|: TRUE
f5490_0_length_Return(EOS(STATIC_5490(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) -> f5502_0_random_Return(EOS(STATIC_5502(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) :|: TRUE
f5502_0_random_Return(EOS(STATIC_5502(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) -> f5511_0_createTree_Store(EOS(STATIC_5511(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) :|: TRUE
f5511_0_createTree_Store(EOS(STATIC_5511(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) -> f5519_0_createTree_Load(EOS(STATIC_5519(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) :|: TRUE
f5519_0_createTree_Load(EOS(STATIC_5519(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) -> f5538_0_createTree_LE(EOS(STATIC_5538(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1106) :|: TRUE
f5538_0_createTree_LE(EOS(STATIC_5538(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), matching1) -> f5549_0_createTree_LE(EOS(STATIC_5549(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), 0) :|: TRUE && matching1 = 0
f5538_0_createTree_LE(EOS(STATIC_5538(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1127) -> f5550_0_createTree_LE(EOS(STATIC_5550(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1127) :|: TRUE
f5549_0_createTree_LE(EOS(STATIC_5549(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), matching1) -> f5559_0_createTree_Load(EOS(STATIC_5559(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) :|: 0 <= 0 && matching1 = 0
f5559_0_createTree_Load(EOS(STATIC_5559(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) -> f5585_0_createTree_FieldAccess(EOS(STATIC_5585(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1233sub)) :|: TRUE
f5585_0_createTree_FieldAccess(EOS(STATIC_5585(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1357, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1357, o1356))) -> f5617_0_createTree_FieldAccess(EOS(STATIC_5617(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1357, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1357, o1356))) :|: TRUE
f5617_0_createTree_FieldAccess(EOS(STATIC_5617(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1357, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1357, o1356))) -> f5623_0_createTree_NONNULL(EOS(STATIC_5623(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1357, o1356)), o1357) :|: TRUE
f5623_0_createTree_NONNULL(EOS(STATIC_5623(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub), o1356)), java.lang.Object(o1369sub)) -> f5630_0_createTree_NONNULL(EOS(STATIC_5630(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub), o1356)), java.lang.Object(o1369sub)) :|: TRUE
f5623_0_createTree_NONNULL(EOS(STATIC_5623(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), NULL) -> f5631_0_createTree_NONNULL(EOS(STATIC_5631(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), NULL) :|: TRUE
f5630_0_createTree_NONNULL(EOS(STATIC_5630(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub), o1356)), java.lang.Object(o1369sub)) -> f5658_0_createTree_Load(EOS(STATIC_5658(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub), o1356))) :|: TRUE
f5658_0_createTree_Load(EOS(STATIC_5658(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub), o1356))) -> f5682_0_createTree_FieldAccess(EOS(STATIC_5682(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub), o1356))) :|: TRUE
f5682_0_createTree_FieldAccess(EOS(STATIC_5682(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub), o1356))) -> f5701_0_createTree_Store(EOS(STATIC_5701(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) :|: TRUE
f5701_0_createTree_Store(EOS(STATIC_5701(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) -> f5723_0_createTree_Inc(EOS(STATIC_5723(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) :|: TRUE
f5723_0_createTree_Inc(EOS(STATIC_5723(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) -> f5752_0_createTree_JMP(EOS(STATIC_5752(java.lang.Object(ARRAY(i6)), i1079)), i1031 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) :|: TRUE
f5752_0_createTree_JMP(EOS(STATIC_5752(java.lang.Object(ARRAY(i6)), i1079)), i1170, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) -> f5846_0_createTree_Load(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1079)), i1170, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) :|: TRUE
f5846_0_createTree_Load(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1079)), i1170, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) -> f5073_0_createTree_Load(EOS(STATIC_5073(java.lang.Object(ARRAY(i6)), i1079)), i1170, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1369sub)) :|: TRUE
f5073_0_createTree_Load(EOS(STATIC_5073(java.lang.Object(ARRAY(i6)), i1021)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) -> f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6)), i1021)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1022) :|: TRUE
f5631_0_createTree_NONNULL(EOS(STATIC_5631(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), NULL) -> f5660_0_createTree_Load(EOS(STATIC_5660(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356))) :|: TRUE
f5660_0_createTree_Load(EOS(STATIC_5660(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356))) -> f5685_0_createTree_InvokeMethod(EOS(STATIC_5685(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356))) :|: TRUE
f5685_0_createTree_InvokeMethod(EOS(STATIC_5685(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356))) -> f5703_0_createNode_New(EOS(STATIC_5703(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356))) :|: TRUE
f5703_0_createNode_New(EOS(STATIC_5703(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356))) -> f5754_0_createNode_Duplicate(EOS(STATIC_5754(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f5754_0_createNode_Duplicate(EOS(STATIC_5754(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f5849_0_createNode_InvokeMethod(EOS(STATIC_5849(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f5849_0_createNode_InvokeMethod(EOS(STATIC_5849(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f5888_0__init__Load(EOS(STATIC_5888(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f5888_0__init__Load(EOS(STATIC_5888(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6007_0__init__InvokeMethod(EOS(STATIC_6007(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6007_0__init__InvokeMethod(EOS(STATIC_6007(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6022_0__init__Return(EOS(STATIC_6022(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6022_0__init__Return(EOS(STATIC_6022(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6052_0_createNode_Store(EOS(STATIC_6052(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6052_0_createNode_Store(EOS(STATIC_6052(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6074_0_createNode_Load(EOS(STATIC_6074(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6074_0_createNode_Load(EOS(STATIC_6074(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6090_0_createNode_New(EOS(STATIC_6090(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6090_0_createNode_New(EOS(STATIC_6090(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6101_0_createNode_Duplicate(EOS(STATIC_6101(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6101_0_createNode_Duplicate(EOS(STATIC_6101(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6111_0_createNode_InvokeMethod(EOS(STATIC_6111(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f6111_0_createNode_InvokeMethod(EOS(STATIC_6111(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6121_0_createNode_FieldAccess(EOS(STATIC_6121(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6121_0_createNode_FieldAccess(EOS(STATIC_6121(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6135_0_createNode_Load(EOS(STATIC_6135(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6135_0_createNode_Load(EOS(STATIC_6135(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6151_0_createNode_Return(EOS(STATIC_6151(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6151_0_createNode_Return(EOS(STATIC_6151(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6160_0_createTree_FieldAccess(EOS(STATIC_6160(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6160_0_createTree_FieldAccess(EOS(STATIC_6160(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6186_0_createTree_FieldAccess(EOS(STATIC_6186(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6160_0_createTree_FieldAccess(EOS(STATIC_6160(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6187_0_createTree_FieldAccess(EOS(STATIC_6187(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6186_0_createTree_FieldAccess(EOS(STATIC_6186(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6214_0_createTree_Load(EOS(STATIC_6214(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231put, o1230put))) :|: TRUE
f6214_0_createTree_Load(EOS(STATIC_6214(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6243_0_createTree_Store(EOS(STATIC_6243(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6243_0_createTree_Store(EOS(STATIC_6243(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6254_0_createTree_JMP(EOS(STATIC_6254(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6254_0_createTree_JMP(EOS(STATIC_6254(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6265_0_createTree_Inc(EOS(STATIC_6265(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6265_0_createTree_Inc(EOS(STATIC_6265(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6280_0_createTree_JMP(EOS(STATIC_6280(java.lang.Object(ARRAY(i6)), i1079)), i1031 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6280_0_createTree_JMP(EOS(STATIC_6280(java.lang.Object(ARRAY(i6)), i1079)), i1301, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6314_0_createTree_Load(EOS(STATIC_6314(java.lang.Object(ARRAY(i6)), i1079)), i1301, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6314_0_createTree_Load(EOS(STATIC_6314(java.lang.Object(ARRAY(i6)), i1079)), i1301, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f5073_0_createTree_Load(EOS(STATIC_5073(java.lang.Object(ARRAY(i6)), i1079)), i1301, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6187_0_createTree_FieldAccess(EOS(STATIC_6187(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6221_0_createTree_Load(EOS(STATIC_6221(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) :|: TRUE
f6221_0_createTree_Load(EOS(STATIC_6221(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) -> f6244_0_createTree_Store(EOS(STATIC_6244(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) :|: TRUE
f6244_0_createTree_Store(EOS(STATIC_6244(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) -> f6255_0_createTree_JMP(EOS(STATIC_6255(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) :|: TRUE
f6255_0_createTree_JMP(EOS(STATIC_6255(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) -> f6269_0_createTree_Inc(EOS(STATIC_6269(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) :|: TRUE
f6269_0_createTree_Inc(EOS(STATIC_6269(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) -> f6282_0_createTree_JMP(EOS(STATIC_6282(java.lang.Object(ARRAY(i6)), i1079)), i1031 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) :|: TRUE
f6282_0_createTree_JMP(EOS(STATIC_6282(java.lang.Object(ARRAY(i6)), i1079)), i1302, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) -> f6331_0_createTree_Load(EOS(STATIC_6331(java.lang.Object(ARRAY(i6)), i1079)), i1302, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) :|: TRUE
f6331_0_createTree_Load(EOS(STATIC_6331(java.lang.Object(ARRAY(i6)), i1079)), i1302, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) -> f5073_0_createTree_Load(EOS(STATIC_5073(java.lang.Object(ARRAY(i6)), i1079)), i1302, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1547))) :|: TRUE
f5550_0_createTree_LE(EOS(STATIC_5550(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), i1127) -> f5562_0_createTree_Load(EOS(STATIC_5562(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) :|: i1127 > 0
f5562_0_createTree_Load(EOS(STATIC_5562(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub)) -> f5586_0_createTree_FieldAccess(EOS(STATIC_5586(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1233sub), java.lang.Object(o1233sub)) :|: TRUE
f5586_0_createTree_FieldAccess(EOS(STATIC_5586(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, o1360)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, o1360))) -> f5618_0_createTree_FieldAccess(EOS(STATIC_5618(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, o1360)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, o1360))) :|: TRUE
f5618_0_createTree_FieldAccess(EOS(STATIC_5618(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, o1360)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, o1360))) -> f5624_0_createTree_NONNULL(EOS(STATIC_5624(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, o1360)), o1360) :|: TRUE
f5624_0_createTree_NONNULL(EOS(STATIC_5624(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, java.lang.Object(o1370sub))), java.lang.Object(o1370sub)) -> f5632_0_createTree_NONNULL(EOS(STATIC_5632(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, java.lang.Object(o1370sub))), java.lang.Object(o1370sub)) :|: TRUE
f5624_0_createTree_NONNULL(EOS(STATIC_5624(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), NULL) -> f5633_0_createTree_NONNULL(EOS(STATIC_5633(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), NULL) :|: TRUE
f5632_0_createTree_NONNULL(EOS(STATIC_5632(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, java.lang.Object(o1370sub))), java.lang.Object(o1370sub)) -> f5662_0_createTree_Load(EOS(STATIC_5662(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, java.lang.Object(o1370sub)))) :|: TRUE
f5662_0_createTree_Load(EOS(STATIC_5662(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, java.lang.Object(o1370sub)))) -> f5687_0_createTree_FieldAccess(EOS(STATIC_5687(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, java.lang.Object(o1370sub)))) :|: TRUE
f5687_0_createTree_FieldAccess(EOS(STATIC_5687(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, java.lang.Object(o1370sub)))) -> f5705_0_createTree_Store(EOS(STATIC_5705(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) :|: TRUE
f5705_0_createTree_Store(EOS(STATIC_5705(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) -> f5725_0_createTree_JMP(EOS(STATIC_5725(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) :|: TRUE
f5725_0_createTree_JMP(EOS(STATIC_5725(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) -> f5756_0_createTree_Inc(EOS(STATIC_5756(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) :|: TRUE
f5756_0_createTree_Inc(EOS(STATIC_5756(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) -> f5852_0_createTree_JMP(EOS(STATIC_5852(java.lang.Object(ARRAY(i6)), i1079)), i1031 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) :|: TRUE
f5852_0_createTree_JMP(EOS(STATIC_5852(java.lang.Object(ARRAY(i6)), i1079)), i1200, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) -> f5903_0_createTree_Load(EOS(STATIC_5903(java.lang.Object(ARRAY(i6)), i1079)), i1200, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) :|: TRUE
f5903_0_createTree_Load(EOS(STATIC_5903(java.lang.Object(ARRAY(i6)), i1079)), i1200, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) -> f5073_0_createTree_Load(EOS(STATIC_5073(java.lang.Object(ARRAY(i6)), i1079)), i1200, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(o1370sub)) :|: TRUE
f5633_0_createTree_NONNULL(EOS(STATIC_5633(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), NULL) -> f5665_0_createTree_Load(EOS(STATIC_5665(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL))) :|: TRUE
f5665_0_createTree_Load(EOS(STATIC_5665(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL))) -> f5689_0_createTree_InvokeMethod(EOS(STATIC_5689(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL))) :|: TRUE
f5689_0_createTree_InvokeMethod(EOS(STATIC_5689(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL))) -> f5707_0_createNode_New(EOS(STATIC_5707(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL))) :|: TRUE
f5707_0_createNode_New(EOS(STATIC_5707(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL))) -> f5760_0_createNode_Duplicate(EOS(STATIC_5760(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f5760_0_createNode_Duplicate(EOS(STATIC_5760(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f5854_0_createNode_InvokeMethod(EOS(STATIC_5854(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f5854_0_createNode_InvokeMethod(EOS(STATIC_5854(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f5905_0__init__Load(EOS(STATIC_5905(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f5905_0__init__Load(EOS(STATIC_5905(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6012_0__init__InvokeMethod(EOS(STATIC_6012(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6012_0__init__InvokeMethod(EOS(STATIC_6012(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6027_0__init__Return(EOS(STATIC_6027(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6027_0__init__Return(EOS(STATIC_6027(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6056_0_createNode_Store(EOS(STATIC_6056(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6056_0_createNode_Store(EOS(STATIC_6056(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6082_0_createNode_Load(EOS(STATIC_6082(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6082_0_createNode_Load(EOS(STATIC_6082(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6093_0_createNode_New(EOS(STATIC_6093(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6093_0_createNode_New(EOS(STATIC_6093(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6106_0_createNode_Duplicate(EOS(STATIC_6106(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6106_0_createNode_Duplicate(EOS(STATIC_6106(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6116_0_createNode_InvokeMethod(EOS(STATIC_6116(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f6116_0_createNode_InvokeMethod(EOS(STATIC_6116(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6126_0_createNode_FieldAccess(EOS(STATIC_6126(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6126_0_createNode_FieldAccess(EOS(STATIC_6126(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6142_0_createNode_Load(EOS(STATIC_6142(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6142_0_createNode_Load(EOS(STATIC_6142(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6155_0_createNode_Return(EOS(STATIC_6155(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6155_0_createNode_Return(EOS(STATIC_6155(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6162_0_createTree_FieldAccess(EOS(STATIC_6162(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6162_0_createTree_FieldAccess(EOS(STATIC_6162(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6204_0_createTree_FieldAccess(EOS(STATIC_6204(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6162_0_createTree_FieldAccess(EOS(STATIC_6162(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6206_0_createTree_FieldAccess(EOS(STATIC_6206(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
f6204_0_createTree_FieldAccess(EOS(STATIC_6204(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6233_0_createTree_Load(EOS(STATIC_6233(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231put, o1230put))) :|: TRUE
f6233_0_createTree_Load(EOS(STATIC_6233(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6247_0_createTree_Store(EOS(STATIC_6247(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6247_0_createTree_Store(EOS(STATIC_6247(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6258_0_createTree_JMP(EOS(STATIC_6258(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6258_0_createTree_JMP(EOS(STATIC_6258(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6271_0_createTree_Inc(EOS(STATIC_6271(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6271_0_createTree_Inc(EOS(STATIC_6271(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6287_0_createTree_JMP(EOS(STATIC_6287(java.lang.Object(ARRAY(i6)), i1079)), i1031 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6287_0_createTree_JMP(EOS(STATIC_6287(java.lang.Object(ARRAY(i6)), i1079)), i1304, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f6349_0_createTree_Load(EOS(STATIC_6349(java.lang.Object(ARRAY(i6)), i1079)), i1304, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6349_0_createTree_Load(EOS(STATIC_6349(java.lang.Object(ARRAY(i6)), i1079)), i1304, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) -> f5073_0_createTree_Load(EOS(STATIC_5073(java.lang.Object(ARRAY(i6)), i1079)), i1304, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231, o1230))) :|: TRUE
f6206_0_createTree_FieldAccess(EOS(STATIC_6206(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6239_0_createTree_Load(EOS(STATIC_6239(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
f6239_0_createTree_Load(EOS(STATIC_6239(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6250_0_createTree_Store(EOS(STATIC_6250(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
f6250_0_createTree_Store(EOS(STATIC_6250(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6261_0_createTree_JMP(EOS(STATIC_6261(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
f6261_0_createTree_JMP(EOS(STATIC_6261(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6274_0_createTree_Inc(EOS(STATIC_6274(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
f6274_0_createTree_Inc(EOS(STATIC_6274(java.lang.Object(ARRAY(i6)), i1079)), i1031, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6291_0_createTree_JMP(EOS(STATIC_6291(java.lang.Object(ARRAY(i6)), i1079)), i1031 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
f6291_0_createTree_JMP(EOS(STATIC_6291(java.lang.Object(ARRAY(i6)), i1079)), i1305, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6399_0_createTree_Load(EOS(STATIC_6399(java.lang.Object(ARRAY(i6)), i1079)), i1305, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
f6399_0_createTree_Load(EOS(STATIC_6399(java.lang.Object(ARRAY(i6)), i1079)), i1305, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f5073_0_createTree_Load(EOS(STATIC_5073(java.lang.Object(ARRAY(i6)), i1079)), i1305, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1556, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0)), i1031:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, NULL)), i1031:0) -> f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0 + 1)), i1031:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), i1031:0 - 1) :|: i1106:0 > 0 && i1031:0 > 0 && i1021:0 > -1 && i6:0 > i1021:0
f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0)), i1031:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361:0, java.lang.Object(o1370sub:0))), i1031:0) -> f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0 + 1)), i1031:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, o1230:0)), java.lang.Object(o1370sub:0), i1031:0 - 1) :|: i1106:0 > 0 && i1031:0 > 0 && i1021:0 > -1 && i6:0 > i1021:0
f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0)), i1031:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1356:0)), i1031:0) -> f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0 + 1)), i1031:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231put:0, o1230put:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231put:0, o1230put:0)), i1031:0 - 1) :|: i1031:0 > 0 && i1021:0 > -1 && i6:0 > i1021:0
f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0)), i1031:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1361:0, NULL)), i1031:0) -> f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0 + 1)), i1031:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231put:0, o1230put:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231put:0, o1230put:0)), i1031:0 - 1) :|: i1106:0 > 0 && i1031:0 > 0 && i1021:0 > -1 && i6:0 > i1021:0
f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0)), i1031:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1369sub:0), o1356:0)), i1031:0) -> f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0 + 1)), i1031:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1231:0, o1230:0)), java.lang.Object(o1369sub:0), i1031:0 - 1) :|: i1031:0 > 0 && i1021:0 > -1 && i6:0 > i1021:0
f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0)), i1031:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1230:0)), i1031:0) -> f5080_0_createTree_LE(EOS(STATIC_5080(java.lang.Object(ARRAY(i6:0)), i1021:0 + 1)), i1031:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1230:0)), i1031:0 - 1) :|: i1031:0 > 0 && i1021:0 > -1 && i6:0 > i1021:0
Filtered constant ground arguments:
   TreeLeftmostDepth.Tree(x1, x2, x3) -> TreeLeftmostDepth.Tree(x2, x3)
Filtered duplicate arguments:
   f5080_0_createTree_LE(x1, x2, x3, x4, x5) -> f5080_0_createTree_LE(x1, x3, x4, x5)
Finished conversion. Obtained 6 rules.P rules:
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), i1031:0 - 1, i6:0, i1021:0 + 1) :|: i1031:0 > 0 && i1106:0 > 0 && i6:0 > i1021:0 && i1021:0 > -1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1361:0, java.lang.Object(o1370sub:0))), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, o1230:0)), java.lang.Object(o1370sub:0), i1031:0 - 1, i6:0, i1021:0 + 1) :|: i1031:0 > 0 && i1106:0 > 0 && i6:0 > i1021:0 && i1021:0 > -1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, o1356:0)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231put:0, o1230put:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1231put:0, o1230put:0)), i1031:0 - 1, i6:0, i1021:0 + 1) :|: i1021:0 > -1 && i6:0 > i1021:0 && i1031:0 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1361:0, NULL)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231put:0, o1230put:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1231put:0, o1230put:0)), i1031:0 - 1, i6:0, i1021:0 + 1) :|: i1031:0 > 0 && i1106:0 > 0 && i6:0 > i1021:0 && i1021:0 > -1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(o1369sub:0), o1356:0)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, o1230:0)), java.lang.Object(o1369sub:0), i1031:0 - 1, i6:0, i1021:0 + 1) :|: i1021:0 > -1 && i6:0 > i1021:0 && i1031:0 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, o1230:0)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), o1230:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), o1230:0)), i1031:0 - 1, i6:0, i1021:0 + 1) :|: i1021:0 > -1 && i6:0 > i1021:0 && i1031:0 > 0

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

(9)
Obligation:
Rules:
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), i1031:0 - 1, i6:0, i1021:0 + 1) :|: i1031:0 > 0 && i1106:0 > 0 && i6:0 > i1021:0 && i1021:0 > -1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x, x1)), java.lang.Object(TreeLeftmostDepth.Tree(x2, java.lang.Object(x3))), x4, x5, x6) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x, x1)), java.lang.Object(x3), x4 - 1, x5, x6 + 1) :|: x4 > 0 && x7 > 0 && x5 > x6 && x6 > -1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x8, x9)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x10)), x11, x12, x13) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x14, x15)), java.lang.Object(TreeLeftmostDepth.Tree(x14, x15)), x11 - 1, x12, x13 + 1) :|: x13 > -1 && x12 > x13 && x11 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x16, x17)), java.lang.Object(TreeLeftmostDepth.Tree(x18, NULL)), x19, x20, x21) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x22, x23)), java.lang.Object(TreeLeftmostDepth.Tree(x22, x23)), x19 - 1, x20, x21 + 1) :|: x19 > 0 && x24 > 0 && x20 > x21 && x21 > -1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x25, x26)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x27), x28)), x29, x30, x31) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x25, x26)), java.lang.Object(x27), x29 - 1, x30, x31 + 1) :|: x31 > -1 && x30 > x31 && x29 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x32)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x32)), x33, x34, x35) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x32)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x32)), x33 - 1, x34, x35 + 1) :|: x35 > -1 && x34 > x35 && x33 > 0

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

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

(11)
Obligation:
Rules:
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), arith, i6:0, arith1) :|: i1031:0 > 0 && i1106:0 > 0 && i6:0 > i1021:0 && i1021:0 > -1 && arith = i1031:0 - 1 && arith1 = i1021:0 + 1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(TreeLeftmostDepth.Tree(x38, java.lang.Object(x39))), x40, x41, x42) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(x39), x43, x41, x44) :|: x40 > 0 && x45 > 0 && x41 > x42 && x42 > -1 && x43 = x40 - 1 && x44 = x42 + 1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x46, x47)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x48)), x49, x50, x51) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), x54, x50, x55) :|: x51 > -1 && x50 > x51 && x49 > 0 && x54 = x49 - 1 && x55 = x51 + 1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x56, x57)), java.lang.Object(TreeLeftmostDepth.Tree(x58, NULL)), x59, x60, x61) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x62, x63)), java.lang.Object(TreeLeftmostDepth.Tree(x62, x63)), x64, x60, x65) :|: x59 > 0 && x66 > 0 && x60 > x61 && x61 > -1 && x64 = x59 - 1 && x65 = x61 + 1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67, x68)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x69), x70)), x71, x72, x73) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67, x68)), java.lang.Object(x69), x74, x72, x75) :|: x73 > -1 && x72 > x73 && x71 > 0 && x74 = x71 - 1 && x75 = x73 + 1
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76)), x77, x78, x79) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76)), x80, x78, x81) :|: x79 > -1 && x78 > x79 && x77 > 0 && x80 = x77 - 1 && x81 = x79 + 1

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

(12) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), arith, i6:0, arith1) :|: i1031:0 > 0 && i1106:0 > 0 && i6:0 > i1021:0 && i1021:0 > -1 && arith = i1031:0 - 1 && arith1 = i1021:0 + 1
(2) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(TreeLeftmostDepth.Tree(x38, java.lang.Object(x39))), x40, x41, x42) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(x39), x43, x41, x44) :|: x40 > 0 && x45 > 0 && x41 > x42 && x42 > -1 && x43 = x40 - 1 && x44 = x42 + 1
(3) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x46, x47)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x48)), x49, x50, x51) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), x54, x50, x55) :|: x51 > -1 && x50 > x51 && x49 > 0 && x54 = x49 - 1 && x55 = x51 + 1
(4) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x56, x57)), java.lang.Object(TreeLeftmostDepth.Tree(x58, NULL)), x59, x60, x61) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x62, x63)), java.lang.Object(TreeLeftmostDepth.Tree(x62, x63)), x64, x60, x65) :|: x59 > 0 && x66 > 0 && x60 > x61 && x61 > -1 && x64 = x59 - 1 && x65 = x61 + 1
(5) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67, x68)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x69), x70)), x71, x72, x73) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67, x68)), java.lang.Object(x69), x74, x72, x75) :|: x73 > -1 && x72 > x73 && x71 > 0 && x74 = x71 - 1 && x75 = x73 + 1
(6) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76)), x77, x78, x79) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76)), x80, x78, x81) :|: x79 > -1 && x78 > x79 && x77 > 0 && x80 = x77 - 1 && x81 = x79 + 1

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

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

(13)
Obligation:

Termination digraph:
Nodes:
(1) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, NULL)), i1031:0, i6:0, i1021:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), arith, i6:0, arith1) :|: i1031:0 > 0 && i1106:0 > 0 && i6:0 > i1021:0 && i1021:0 > -1 && arith = i1031:0 - 1 && arith1 = i1021:0 + 1
(2) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(TreeLeftmostDepth.Tree(x38, java.lang.Object(x39))), x40, x41, x42) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(x39), x43, x41, x44) :|: x40 > 0 && x45 > 0 && x41 > x42 && x42 > -1 && x43 = x40 - 1 && x44 = x42 + 1
(3) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x46, x47)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x48)), x49, x50, x51) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), x54, x50, x55) :|: x51 > -1 && x50 > x51 && x49 > 0 && x54 = x49 - 1 && x55 = x51 + 1
(4) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x56, x57)), java.lang.Object(TreeLeftmostDepth.Tree(x58, NULL)), x59, x60, x61) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x62, x63)), java.lang.Object(TreeLeftmostDepth.Tree(x62, x63)), x64, x60, x65) :|: x59 > 0 && x66 > 0 && x60 > x61 && x61 > -1 && x64 = x59 - 1 && x65 = x61 + 1
(5) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67, x68)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x69), x70)), x71, x72, x73) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67, x68)), java.lang.Object(x69), x74, x72, x75) :|: x73 > -1 && x72 > x73 && x71 > 0 && x74 = x71 - 1 && x75 = x73 + 1
(6) f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76)), x77, x78, x79) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76)), x80, x78, x81) :|: x79 > -1 && x78 > x79 && x77 > 0 && x80 = x77 - 1 && x81 = x79 + 1

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

This digraph is fully evaluated!

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

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

(15)
Obligation:
Rules:
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x46:0, x47:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x48:0)), x49:0, x50:0, x51:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52:0, x53:0)), java.lang.Object(TreeLeftmostDepth.Tree(x52:0, x53:0)), x49:0 - 1, x50:0, x51:0 + 1) :|: x51:0 > -1 && x51:0 < x50:0 && x49:0 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x76:0)), x77:0, x78:0, x79:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x76:0)), x77:0 - 1, x78:0, x79:0 + 1) :|: x79:0 > -1 && x79:0 < x78:0 && x77:0 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67:0, x68:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x69:0), x70:0)), x71:0, x72:0, x73:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x67:0, x68:0)), java.lang.Object(x69:0), x71:0 - 1, x72:0, x73:0 + 1) :|: x73:0 > -1 && x73:0 < x72:0 && x71:0 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0:0, NULL)), i1031:0:0, i6:0:0, i1021:0:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1231:0:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1231:0:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), i1031:0:0 - 1, i6:0:0, i1021:0:0 + 1) :|: i6:0:0 > i1021:0:0 && i1021:0:0 > -1 && i1106:0:0 > 0 && i1031:0:0 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36:0, x37:0)), java.lang.Object(TreeLeftmostDepth.Tree(x38:0, java.lang.Object(x39:0))), x40:0, x41:0, x42:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36:0, x37:0)), java.lang.Object(x39:0), x40:0 - 1, x41:0, x42:0 + 1) :|: x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0
f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x56:0, x57:0)), java.lang.Object(TreeLeftmostDepth.Tree(x58:0, NULL)), x59:0, x60:0, x61:0) -> f5080_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x62:0, x63:0)), java.lang.Object(TreeLeftmostDepth.Tree(x62:0, x63:0)), x59:0 - 1, x60:0, x61:0 + 1) :|: x61:0 < x60:0 && x61:0 > -1 && x66:0 > 0 && x59:0 > 0

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

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

(17)
Obligation:
Rules:
f5080_0_createTree_LE(c, c1, x49:0, x50:0, x51:0) -> f5080_0_createTree_LE(c2, c3, c4, x50:0, c5) :|: c5 = x51:0 + 1 && (c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x51:0 > -1 && x51:0 < x50:0 && x49:0 > 0)
f5080_0_createTree_LE(c18, c19, i1031:0:0, i6:0:0, i1021:0:0) -> f5080_0_createTree_LE(c20, c21, c22, i6:0:0, c23) :|: c23 = i1021:0:0 + 1 && (c22 = i1031:0:0 - 1 && (c21 = 0 && (c20 = 0 && (c19 = 0 && c18 = 0)))) && (i6:0:0 > i1021:0:0 && i1021:0:0 > -1 && i1106:0:0 > 0 && i1031:0:0 > 0)
f5080_0_createTree_LE(c24, c25, x40:0, x41:0, x42:0) -> f5080_0_createTree_LE(c26, c27, c28, x41:0, c29) :|: c29 = x42:0 + 1 && (c28 = x40:0 - 1 && (c27 = 0 && (c26 = 0 && (c25 = 0 && c24 = 0)))) && (x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0)

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

(18) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f5080_0_createTree_LE(x, x1, x2, x3, x4)] = c*x + c1*x1 + x3 - x4

The following rules are decreasing:
f5080_0_createTree_LE(c, c1, x49:0, x50:0, x51:0) -> f5080_0_createTree_LE(c2, c3, c4, x50:0, c5) :|: c5 = x51:0 + 1 && (c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x51:0 > -1 && x51:0 < x50:0 && x49:0 > 0)
f5080_0_createTree_LE(c18, c19, i1031:0:0, i6:0:0, i1021:0:0) -> f5080_0_createTree_LE(c20, c21, c22, i6:0:0, c23) :|: c23 = i1021:0:0 + 1 && (c22 = i1031:0:0 - 1 && (c21 = 0 && (c20 = 0 && (c19 = 0 && c18 = 0)))) && (i6:0:0 > i1021:0:0 && i1021:0:0 > -1 && i1106:0:0 > 0 && i1031:0:0 > 0)
f5080_0_createTree_LE(c24, c25, x40:0, x41:0, x42:0) -> f5080_0_createTree_LE(c26, c27, c28, x41:0, c29) :|: c29 = x42:0 + 1 && (c28 = x40:0 - 1 && (c27 = 0 && (c26 = 0 && (c25 = 0 && c24 = 0)))) && (x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0)
The following rules are bounded:
f5080_0_createTree_LE(c, c1, x49:0, x50:0, x51:0) -> f5080_0_createTree_LE(c2, c3, c4, x50:0, c5) :|: c5 = x51:0 + 1 && (c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x51:0 > -1 && x51:0 < x50:0 && x49:0 > 0)
f5080_0_createTree_LE(c18, c19, i1031:0:0, i6:0:0, i1021:0:0) -> f5080_0_createTree_LE(c20, c21, c22, i6:0:0, c23) :|: c23 = i1021:0:0 + 1 && (c22 = i1031:0:0 - 1 && (c21 = 0 && (c20 = 0 && (c19 = 0 && c18 = 0)))) && (i6:0:0 > i1021:0:0 && i1021:0:0 > -1 && i1106:0:0 > 0 && i1031:0:0 > 0)
f5080_0_createTree_LE(c24, c25, x40:0, x41:0, x42:0) -> f5080_0_createTree_LE(c26, c27, c28, x41:0, c29) :|: c29 = x42:0 + 1 && (c28 = x40:0 - 1 && (c27 = 0 && (c26 = 0 && (c25 = 0 && c24 = 0)))) && (x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0)

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

(19)
YES

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

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

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

(21) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 32 rules for P and 0 rules for R.P rules:
f6618_0_main_FieldAccess(EOS(STATIC_6618), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1618, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1618, o1619))) -> f6620_0_main_NULL(EOS(STATIC_6620), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1618, o1619)), o1618) :|: TRUE
f6620_0_main_NULL(EOS(STATIC_6620), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub)) -> f6623_0_main_NULL(EOS(STATIC_6623), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub)) :|: TRUE
f6623_0_main_NULL(EOS(STATIC_6623), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub)) -> f6626_0_main_Load(EOS(STATIC_6626), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619))) :|: TRUE
f6626_0_main_Load(EOS(STATIC_6626), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619))) -> f6630_0_main_FieldAccess(EOS(STATIC_6630), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619))) :|: TRUE
f6630_0_main_FieldAccess(EOS(STATIC_6630), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619))) -> f6634_0_main_Store(EOS(STATIC_6634), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub)) :|: TRUE
f6634_0_main_Store(EOS(STATIC_6634), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub)) -> f6636_0_main_Load(EOS(STATIC_6636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub)) :|: TRUE
f6636_0_main_Load(EOS(STATIC_6636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub)) -> f6637_0_main_FieldAccess(EOS(STATIC_6637), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1631sub), o1619)), java.lang.Object(o1631sub), java.lang.Object(o1631sub)) :|: TRUE
f6637_0_main_FieldAccess(EOS(STATIC_6637), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) -> f6643_0_main_FieldAccess(EOS(STATIC_6643), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) :|: TRUE
f6643_0_main_FieldAccess(EOS(STATIC_6643), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) -> f6645_0_main_Store(EOS(STATIC_6645), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633) :|: TRUE
f6645_0_main_Store(EOS(STATIC_6645), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633) -> f6647_0_main_Load(EOS(STATIC_6647), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633) :|: TRUE
f6647_0_main_Load(EOS(STATIC_6647), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633) -> f6649_0_main_FieldAccess(EOS(STATIC_6649), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) :|: TRUE
f6649_0_main_FieldAccess(EOS(STATIC_6649), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) -> f6651_0_main_Store(EOS(STATIC_6651), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634) :|: TRUE
f6651_0_main_Store(EOS(STATIC_6651), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634) -> f6653_0_main_Load(EOS(STATIC_6653), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634) :|: TRUE
f6653_0_main_Load(EOS(STATIC_6653), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634) -> f6655_0_main_FieldAccess(EOS(STATIC_6655), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619))) :|: TRUE
f6655_0_main_FieldAccess(EOS(STATIC_6655), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619))) -> f6657_0_main_Store(EOS(STATIC_6657), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619) :|: TRUE
f6657_0_main_Store(EOS(STATIC_6657), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619) -> f6659_0_main_Load(EOS(STATIC_6659), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619) :|: TRUE
f6659_0_main_Load(EOS(STATIC_6659), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619) -> f6661_0_main_Load(EOS(STATIC_6661), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619))) :|: TRUE
f6661_0_main_Load(EOS(STATIC_6661), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619))) -> f6663_0_main_FieldAccess(EOS(STATIC_6663), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) :|: TRUE
f6663_0_main_FieldAccess(EOS(STATIC_6663), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) -> f6669_0_main_Load(EOS(STATIC_6669), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619) :|: TRUE
f6669_0_main_Load(EOS(STATIC_6669), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619) -> f6671_0_main_Load(EOS(STATIC_6671), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) :|: TRUE
f6671_0_main_Load(EOS(STATIC_6671), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, o1619, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634))) -> f6673_0_main_FieldAccess(EOS(STATIC_6673), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619) :|: TRUE
f6673_0_main_FieldAccess(EOS(STATIC_6673), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1633, o1634, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1634)), o1619) -> f6678_0_main_Load(EOS(STATIC_6678), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), o1633, o1634) :|: TRUE
f6678_0_main_Load(EOS(STATIC_6678), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), o1633, o1634) -> f6680_0_main_Load(EOS(STATIC_6680), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)))), o1633, o1634, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619))) :|: TRUE
f6680_0_main_Load(EOS(STATIC_6680), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)))), o1633, o1634, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619))) -> f6682_0_main_FieldAccess(EOS(STATIC_6682), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)))), o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), o1634) :|: TRUE
f6682_0_main_FieldAccess(EOS(STATIC_6682), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)))), o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, o1619)), o1634) -> f6687_0_main_Load(EOS(STATIC_6687), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), o1633) :|: TRUE
f6687_0_main_Load(EOS(STATIC_6687), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), o1633) -> f6689_0_main_Load(EOS(STATIC_6689), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) :|: TRUE
f6689_0_main_Load(EOS(STATIC_6689), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) -> f6690_0_main_FieldAccess(EOS(STATIC_6690), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), o1633) :|: TRUE
f6690_0_main_FieldAccess(EOS(STATIC_6690), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619)))), o1633) -> f6694_0_main_Inc(EOS(STATIC_6694), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) :|: TRUE
f6694_0_main_Inc(EOS(STATIC_6694), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) -> f6697_0_main_JMP(EOS(STATIC_6697), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) :|: TRUE
f6697_0_main_JMP(EOS(STATIC_6697), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) -> f6708_0_main_Load(EOS(STATIC_6708), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) :|: TRUE
f6708_0_main_Load(EOS(STATIC_6708), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) -> f6612_0_main_Load(EOS(STATIC_6612), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634, o1619))))) :|: TRUE
f6612_0_main_Load(EOS(STATIC_6612), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1618, o1619))) -> f6618_0_main_FieldAccess(EOS(STATIC_6618), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1618, o1619)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1618, o1619))) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6618_0_main_FieldAccess(EOS(STATIC_6618), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633:0, o1634:0)), o1619:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633:0, o1634:0)), o1619:0))) -> f6618_0_main_FieldAccess(EOS(STATIC_6618), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634:0, o1619:0)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1633:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1634:0, o1619:0))))) :|: TRUE
R rules:
Filtered ground terms:
   f6618_0_main_FieldAccess(x1, x2, x3) -> f6618_0_main_FieldAccess(x2, x3)
   EOS(x1) -> EOS
   TreeLeftmostDepth.Tree(x1, x2, x3) -> TreeLeftmostDepth.Tree(x2, x3)
Filtered unneeded arguments:
   TreeLeftmostDepth.Tree(x1, x2) -> TreeLeftmostDepth.Tree(x1)
Filtered duplicate args:
   f6618_0_main_FieldAccess(x1, x2) -> f6618_0_main_FieldAccess(x2)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6618_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(o1633:0:0))))) -> F6618_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(o1633:0:0))) :|: TRUE
R rules:

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

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

   F6618_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(o1633:0:0))))) -> F6618_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(o1633:0:0)))

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

(23) 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:
*F6618_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(o1633:0:0))))) -> F6618_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(o1633:0:0)))
The graph contains the following edges 1 > 1


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

(24)
YES