Termination of the given JBC could be proven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_25 (Sun Microsystems Inc.) Main-Class: TreeLeftmostDepth/TreeLeftmostDepth

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) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

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

(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 2 SCCss.

(4) Complex Obligation (AND)

(5) 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: UsedFieldsAnalysis

(6) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 271 rules for P and 0 rules for R.

P rules:
3737_0_createTree_LE(EOS(STATIC_3737), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1284) → 3741_0_createTree_LE(EOS(STATIC_3741), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1284)
3741_0_createTree_LE(EOS(STATIC_3741), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1284) → 3745_0_createTree_InvokeMethod(EOS(STATIC_3745), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) | >(i1284, 0)
3745_0_createTree_InvokeMethod(EOS(STATIC_3745), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3749_0_random_FieldAccess(EOS(STATIC_3749), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub))
3749_0_random_FieldAccess(EOS(STATIC_3749), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3756_0_random_FieldAccess(EOS(STATIC_3756), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)))
3756_0_random_FieldAccess(EOS(STATIC_3756), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83))) → 3761_0_random_ArrayAccess(EOS(STATIC_3761), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1277)
3761_0_random_ArrayAccess(EOS(STATIC_3761), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1292) → 3765_0_random_ArrayAccess(EOS(STATIC_3765), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1292)
3765_0_random_ArrayAccess(EOS(STATIC_3765), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1292) → 3770_0_random_ArrayAccess(EOS(STATIC_3770), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1292)
3770_0_random_ArrayAccess(EOS(STATIC_3770), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1292) → 3774_0_random_Store(EOS(STATIC_3774), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) | <(i1292, i83)
3774_0_random_Store(EOS(STATIC_3774), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) → 3780_0_random_FieldAccess(EOS(STATIC_3780), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646)
3780_0_random_FieldAccess(EOS(STATIC_3780), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) → 3784_0_random_ConstantStackPush(EOS(STATIC_3784), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1292)
3784_0_random_ConstantStackPush(EOS(STATIC_3784), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1292) → 3790_0_random_IntArithmetic(EOS(STATIC_3790), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1292, 1)
3790_0_random_IntArithmetic(EOS(STATIC_3790), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1292, matching1) → 3796_0_random_FieldAccess(EOS(STATIC_3796), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, +(i1292, 1)) | &&(>=(i1292, 0), =(matching1, 1))
3796_0_random_FieldAccess(EOS(STATIC_3796), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1301) → 3800_0_random_Load(EOS(STATIC_3800), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646)
3800_0_random_Load(EOS(STATIC_3800), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) → 3807_0_random_InvokeMethod(EOS(STATIC_3807), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646)
3807_0_random_InvokeMethod(EOS(STATIC_3807), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub)) → 3813_0_random_InvokeMethod(EOS(STATIC_3813), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub))
3813_0_random_InvokeMethod(EOS(STATIC_3813), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub)) → 3819_0_length_Load(EOS(STATIC_3819), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub), java.lang.Object(o4677sub))
3819_0_length_Load(EOS(STATIC_3819), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub), java.lang.Object(o4677sub)) → 3833_0_length_FieldAccess(EOS(STATIC_3833), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub), java.lang.Object(o4677sub))
3833_0_length_FieldAccess(EOS(STATIC_3833), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1331)), java.lang.Object(java.lang.String(o4689sub, i1331))) → 3837_0_length_FieldAccess(EOS(STATIC_3837), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1331)), java.lang.Object(java.lang.String(o4689sub, i1331))) | &&(>=(i1331, 0), >=(i1332, 0))
3837_0_length_FieldAccess(EOS(STATIC_3837), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1331)), java.lang.Object(java.lang.String(o4689sub, i1331))) → 3846_0_length_Return(EOS(STATIC_3846), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1331)), i1331)
3846_0_length_Return(EOS(STATIC_3846), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1331)), i1331) → 3853_0_random_Return(EOS(STATIC_3853), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1331)
3853_0_random_Return(EOS(STATIC_3853), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1331) → 3864_0_createTree_Store(EOS(STATIC_3864), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1331)
3864_0_createTree_Store(EOS(STATIC_3864), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1331) → 3873_0_createTree_Load(EOS(STATIC_3873), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1331)
3873_0_createTree_Load(EOS(STATIC_3873), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1331) → 3882_0_createTree_LE(EOS(STATIC_3882), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1331)
3882_0_createTree_LE(EOS(STATIC_3882), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), matching1) → 3890_0_createTree_LE(EOS(STATIC_3890), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), 0) | =(matching1, 0)
3882_0_createTree_LE(EOS(STATIC_3882), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1373) → 3891_0_createTree_LE(EOS(STATIC_3891), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1373)
3890_0_createTree_LE(EOS(STATIC_3890), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), matching1) → 3902_0_createTree_Load(EOS(STATIC_3902), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) | &&(<=(0, 0), =(matching1, 0))
3902_0_createTree_Load(EOS(STATIC_3902), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3913_0_createTree_FieldAccess(EOS(STATIC_3913), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3913_0_createTree_FieldAccess(EOS(STATIC_3913), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3922_0_createTree_FieldAccess(EOS(STATIC_3922), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3913_0_createTree_FieldAccess(EOS(STATIC_3913), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3923_0_createTree_FieldAccess(EOS(STATIC_3923), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3922_0_createTree_FieldAccess(EOS(STATIC_3922), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3936_0_createTree_FieldAccess(EOS(STATIC_3936), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3922_0_createTree_FieldAccess(EOS(STATIC_3922), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3937_0_createTree_FieldAccess(EOS(STATIC_3937), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3936_0_createTree_FieldAccess(EOS(STATIC_3936), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3952_0_createTree_FieldAccess(EOS(STATIC_3952), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3936_0_createTree_FieldAccess(EOS(STATIC_3936), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3953_0_createTree_FieldAccess(EOS(STATIC_3953), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3952_0_createTree_FieldAccess(EOS(STATIC_3952), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822))) → 3971_0_createTree_FieldAccess(EOS(STATIC_3971), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)))
3971_0_createTree_FieldAccess(EOS(STATIC_3971), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822))) → 4002_0_createTree_NONNULL(EOS(STATIC_4002), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), o4823)
4002_0_createTree_NONNULL(EOS(STATIC_4002), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)), java.lang.Object(o4974sub)) → 4032_0_createTree_NONNULL(EOS(STATIC_4032), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)), java.lang.Object(o4974sub))
4002_0_createTree_NONNULL(EOS(STATIC_4002), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), NULL) → 4033_0_createTree_NONNULL(EOS(STATIC_4033), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), NULL)
4032_0_createTree_NONNULL(EOS(STATIC_4032), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)), java.lang.Object(o4974sub)) → 4067_0_createTree_Load(EOS(STATIC_4067), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)))
4067_0_createTree_Load(EOS(STATIC_4067), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822))) → 4109_0_createTree_FieldAccess(EOS(STATIC_4109), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)))
4109_0_createTree_FieldAccess(EOS(STATIC_4109), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822))) → 4147_0_createTree_Store(EOS(STATIC_4147), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
4147_0_createTree_Store(EOS(STATIC_4147), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 4177_0_createTree_Inc(EOS(STATIC_4177), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
4177_0_createTree_Inc(EOS(STATIC_4177), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 4204_0_createTree_JMP(EOS(STATIC_4204), +(i1284, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) | >(i1284, 0)
4204_0_createTree_JMP(EOS(STATIC_4204), i1446, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 4244_0_createTree_Load(EOS(STATIC_4244), i1446, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
4244_0_createTree_Load(EOS(STATIC_4244), i1446, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 3730_0_createTree_Load(EOS(STATIC_3730), i1446, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
3730_0_createTree_Load(EOS(STATIC_3730), i1278, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3737_0_createTree_LE(EOS(STATIC_3737), i1278, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1278)
4033_0_createTree_NONNULL(EOS(STATIC_4033), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), NULL) → 4071_0_createTree_Load(EOS(STATIC_4071), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)))
4071_0_createTree_Load(EOS(STATIC_4071), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822))) → 4113_0_createTree_InvokeMethod(EOS(STATIC_4113), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)))
4113_0_createTree_InvokeMethod(EOS(STATIC_4113), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822))) → 4149_0_createNode_New(EOS(STATIC_4149), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)))
4149_0_createNode_New(EOS(STATIC_4149), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822))) → 4210_0_createNode_Duplicate(EOS(STATIC_4210), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4210_0_createNode_Duplicate(EOS(STATIC_4210), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4249_0_createNode_InvokeMethod(EOS(STATIC_4249), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4249_0_createNode_InvokeMethod(EOS(STATIC_4249), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4267_0_<init>_Load(EOS(STATIC_4267), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4267_0_<init>_Load(EOS(STATIC_4267), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4307_0_<init>_InvokeMethod(EOS(STATIC_4307), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4307_0_<init>_InvokeMethod(EOS(STATIC_4307), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4337_0_<init>_Return(EOS(STATIC_4337), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4337_0_<init>_Return(EOS(STATIC_4337), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4368_0_createNode_Store(EOS(STATIC_4368), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4368_0_createNode_Store(EOS(STATIC_4368), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4398_0_createNode_Load(EOS(STATIC_4398), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4398_0_createNode_Load(EOS(STATIC_4398), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4425_0_createNode_New(EOS(STATIC_4425), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4425_0_createNode_New(EOS(STATIC_4425), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4456_0_createNode_Duplicate(EOS(STATIC_4456), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4456_0_createNode_Duplicate(EOS(STATIC_4456), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4487_0_createNode_InvokeMethod(EOS(STATIC_4487), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4487_0_createNode_InvokeMethod(EOS(STATIC_4487), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4518_0_createNode_FieldAccess(EOS(STATIC_4518), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4518_0_createNode_FieldAccess(EOS(STATIC_4518), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4551_0_createNode_Load(EOS(STATIC_4551), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4551_0_createNode_Load(EOS(STATIC_4551), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4583_0_createNode_Return(EOS(STATIC_4583), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4583_0_createNode_Return(EOS(STATIC_4583), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4605_0_createTree_FieldAccess(EOS(STATIC_4605), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4605_0_createTree_FieldAccess(EOS(STATIC_4605), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4630_0_createTree_Load(EOS(STATIC_4630), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611put, o4610put)))
4630_0_createTree_Load(EOS(STATIC_4630), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4637_0_createTree_Store(EOS(STATIC_4637), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4637_0_createTree_Store(EOS(STATIC_4637), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4641_0_createTree_JMP(EOS(STATIC_4641), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4641_0_createTree_JMP(EOS(STATIC_4641), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4648_0_createTree_Inc(EOS(STATIC_4648), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4648_0_createTree_Inc(EOS(STATIC_4648), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4653_0_createTree_Inc(EOS(STATIC_4653), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4653_0_createTree_Inc(EOS(STATIC_4653), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4659_0_createTree_JMP(EOS(STATIC_4659), +(i1284, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) | >(i1284, 0)
4659_0_createTree_JMP(EOS(STATIC_4659), i1691, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4665_0_createTree_Load(EOS(STATIC_4665), i1691, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4665_0_createTree_Load(EOS(STATIC_4665), i1691, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3730_0_createTree_Load(EOS(STATIC_3730), i1691, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3953_0_createTree_FieldAccess(EOS(STATIC_3953), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3974_0_createTree_NONNULL(EOS(STATIC_3974), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), o4611)
3974_0_createTree_NONNULL(EOS(STATIC_3974), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub)) → 4003_0_createTree_NONNULL(EOS(STATIC_4003), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub))
3974_0_createTree_NONNULL(EOS(STATIC_3974), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), NULL) → 4004_0_createTree_NONNULL(EOS(STATIC_4004), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), NULL)
4003_0_createTree_NONNULL(EOS(STATIC_4003), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub)) → 4035_0_createTree_Load(EOS(STATIC_4035), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)))
4035_0_createTree_Load(EOS(STATIC_4035), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610))) → 4072_0_createTree_FieldAccess(EOS(STATIC_4072), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)))
4072_0_createTree_FieldAccess(EOS(STATIC_4072), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610))) → 4114_0_createTree_Store(EOS(STATIC_4114), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub))
4114_0_createTree_Store(EOS(STATIC_4114), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub)) → 4147_0_createTree_Store(EOS(STATIC_4147), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub))
4004_0_createTree_NONNULL(EOS(STATIC_4004), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), NULL) → 4037_0_createTree_Load(EOS(STATIC_4037), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)))
4037_0_createTree_Load(EOS(STATIC_4037), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610))) → 4074_0_createTree_InvokeMethod(EOS(STATIC_4074), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)))
4074_0_createTree_InvokeMethod(EOS(STATIC_4074), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610))) → 4116_0_createNode_New(EOS(STATIC_4116), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)))
4116_0_createNode_New(EOS(STATIC_4116), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610))) → 4179_0_createNode_Duplicate(EOS(STATIC_4179), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4179_0_createNode_Duplicate(EOS(STATIC_4179), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4212_0_createNode_InvokeMethod(EOS(STATIC_4212), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4212_0_createNode_InvokeMethod(EOS(STATIC_4212), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4251_0_<init>_Load(EOS(STATIC_4251), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4251_0_<init>_Load(EOS(STATIC_4251), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4285_0_<init>_InvokeMethod(EOS(STATIC_4285), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4285_0_<init>_InvokeMethod(EOS(STATIC_4285), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4310_0_<init>_Return(EOS(STATIC_4310), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4310_0_<init>_Return(EOS(STATIC_4310), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4340_0_createNode_Store(EOS(STATIC_4340), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4340_0_createNode_Store(EOS(STATIC_4340), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4371_0_createNode_Load(EOS(STATIC_4371), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4371_0_createNode_Load(EOS(STATIC_4371), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4401_0_createNode_New(EOS(STATIC_4401), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4401_0_createNode_New(EOS(STATIC_4401), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4428_0_createNode_Duplicate(EOS(STATIC_4428), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4428_0_createNode_Duplicate(EOS(STATIC_4428), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4458_0_createNode_InvokeMethod(EOS(STATIC_4458), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4458_0_createNode_InvokeMethod(EOS(STATIC_4458), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4490_0_createNode_FieldAccess(EOS(STATIC_4490), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4490_0_createNode_FieldAccess(EOS(STATIC_4490), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4521_0_createNode_Load(EOS(STATIC_4521), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4521_0_createNode_Load(EOS(STATIC_4521), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4554_0_createNode_Return(EOS(STATIC_4554), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4554_0_createNode_Return(EOS(STATIC_4554), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4584_0_createTree_FieldAccess(EOS(STATIC_4584), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4584_0_createTree_FieldAccess(EOS(STATIC_4584), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4607_0_createTree_Load(EOS(STATIC_4607), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4610)))
4607_0_createTree_Load(EOS(STATIC_4607), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4610))) → 4630_0_createTree_Load(EOS(STATIC_4630), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4610)))
3937_0_createTree_FieldAccess(EOS(STATIC_3937), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799))) → 3955_0_createTree_FieldAccess(EOS(STATIC_3955), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)))
3955_0_createTree_FieldAccess(EOS(STATIC_3955), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799))) → 3977_0_createTree_NONNULL(EOS(STATIC_3977), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), o4800)
3977_0_createTree_NONNULL(EOS(STATIC_3977), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), java.lang.Object(o4929sub)) → 4006_0_createTree_NONNULL(EOS(STATIC_4006), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), java.lang.Object(o4929sub))
3977_0_createTree_NONNULL(EOS(STATIC_3977), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), NULL) → 4007_0_createTree_NONNULL(EOS(STATIC_4007), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), NULL)
4006_0_createTree_NONNULL(EOS(STATIC_4006), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), java.lang.Object(o4929sub)) → 4039_0_createTree_Load(EOS(STATIC_4039), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)))
4039_0_createTree_Load(EOS(STATIC_4039), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799))) → 4076_0_createTree_FieldAccess(EOS(STATIC_4076), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)))
4076_0_createTree_FieldAccess(EOS(STATIC_4076), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799))) → 4118_0_createTree_Store(EOS(STATIC_4118), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(o4929sub))
4118_0_createTree_Store(EOS(STATIC_4118), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(o4929sub)) → 4147_0_createTree_Store(EOS(STATIC_4147), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(o4929sub))
4007_0_createTree_NONNULL(EOS(STATIC_4007), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), NULL) → 4041_0_createTree_Load(EOS(STATIC_4041), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)))
4041_0_createTree_Load(EOS(STATIC_4041), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799))) → 4078_0_createTree_InvokeMethod(EOS(STATIC_4078), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)))
4078_0_createTree_InvokeMethod(EOS(STATIC_4078), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799))) → 4119_0_createNode_New(EOS(STATIC_4119), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)))
4119_0_createNode_New(EOS(STATIC_4119), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799))) → 4183_0_createNode_Duplicate(EOS(STATIC_4183), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4183_0_createNode_Duplicate(EOS(STATIC_4183), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4216_0_createNode_InvokeMethod(EOS(STATIC_4216), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4216_0_createNode_InvokeMethod(EOS(STATIC_4216), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4252_0_<init>_Load(EOS(STATIC_4252), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4252_0_<init>_Load(EOS(STATIC_4252), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4288_0_<init>_InvokeMethod(EOS(STATIC_4288), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4288_0_<init>_InvokeMethod(EOS(STATIC_4288), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4312_0_<init>_Return(EOS(STATIC_4312), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4312_0_<init>_Return(EOS(STATIC_4312), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4343_0_createNode_Store(EOS(STATIC_4343), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4343_0_createNode_Store(EOS(STATIC_4343), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4374_0_createNode_Load(EOS(STATIC_4374), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4374_0_createNode_Load(EOS(STATIC_4374), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4403_0_createNode_New(EOS(STATIC_4403), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4403_0_createNode_New(EOS(STATIC_4403), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4431_0_createNode_Duplicate(EOS(STATIC_4431), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4431_0_createNode_Duplicate(EOS(STATIC_4431), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4462_0_createNode_InvokeMethod(EOS(STATIC_4462), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4462_0_createNode_InvokeMethod(EOS(STATIC_4462), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4493_0_createNode_FieldAccess(EOS(STATIC_4493), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4493_0_createNode_FieldAccess(EOS(STATIC_4493), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4525_0_createNode_Load(EOS(STATIC_4525), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4525_0_createNode_Load(EOS(STATIC_4525), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4557_0_createNode_Return(EOS(STATIC_4557), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4557_0_createNode_Return(EOS(STATIC_4557), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4586_0_createTree_FieldAccess(EOS(STATIC_4586), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4586_0_createTree_FieldAccess(EOS(STATIC_4586), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4610_0_createTree_Load(EOS(STATIC_4610), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4799)), o4610)))
4610_0_createTree_Load(EOS(STATIC_4610), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4799)), o4610))) → 4630_0_createTree_Load(EOS(STATIC_4630), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4799)), o4610)))
3923_0_createTree_FieldAccess(EOS(STATIC_3923), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777))) → 3938_0_createTree_FieldAccess(EOS(STATIC_3938), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)))
3938_0_createTree_FieldAccess(EOS(STATIC_3938), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777))) → 3956_0_createTree_NONNULL(EOS(STATIC_3956), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)), o4778)
3956_0_createTree_NONNULL(EOS(STATIC_3956), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)), java.lang.Object(o4853sub)) → 3978_0_createTree_NONNULL(EOS(STATIC_3978), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)), java.lang.Object(o4853sub))
3956_0_createTree_NONNULL(EOS(STATIC_3956), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), NULL) → 3979_0_createTree_NONNULL(EOS(STATIC_3979), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), NULL)
3978_0_createTree_NONNULL(EOS(STATIC_3978), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)), java.lang.Object(o4853sub)) → 4008_0_createTree_Load(EOS(STATIC_4008), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))
4008_0_createTree_Load(EOS(STATIC_4008), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777))) → 4042_0_createTree_FieldAccess(EOS(STATIC_4042), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))
4042_0_createTree_FieldAccess(EOS(STATIC_4042), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777))) → 4080_0_createTree_Store(EOS(STATIC_4080), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(o4853sub))
4080_0_createTree_Store(EOS(STATIC_4080), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(o4853sub)) → 4147_0_createTree_Store(EOS(STATIC_4147), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(o4853sub))
3979_0_createTree_NONNULL(EOS(STATIC_3979), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), NULL) → 4009_0_createTree_Load(EOS(STATIC_4009), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))
4009_0_createTree_Load(EOS(STATIC_4009), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777))) → 4043_0_createTree_InvokeMethod(EOS(STATIC_4043), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))
4043_0_createTree_InvokeMethod(EOS(STATIC_4043), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777))) → 4081_0_createNode_New(EOS(STATIC_4081), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))
4081_0_createNode_New(EOS(STATIC_4081), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777))) → 4152_0_createNode_Duplicate(EOS(STATIC_4152), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4152_0_createNode_Duplicate(EOS(STATIC_4152), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4185_0_createNode_InvokeMethod(EOS(STATIC_4185), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4185_0_createNode_InvokeMethod(EOS(STATIC_4185), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4217_0_<init>_Load(EOS(STATIC_4217), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4217_0_<init>_Load(EOS(STATIC_4217), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4269_0_<init>_InvokeMethod(EOS(STATIC_4269), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4269_0_<init>_InvokeMethod(EOS(STATIC_4269), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4290_0_<init>_Return(EOS(STATIC_4290), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4290_0_<init>_Return(EOS(STATIC_4290), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4314_0_createNode_Store(EOS(STATIC_4314), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4314_0_createNode_Store(EOS(STATIC_4314), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4345_0_createNode_Load(EOS(STATIC_4345), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4345_0_createNode_Load(EOS(STATIC_4345), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4376_0_createNode_New(EOS(STATIC_4376), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4376_0_createNode_New(EOS(STATIC_4376), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4405_0_createNode_Duplicate(EOS(STATIC_4405), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4405_0_createNode_Duplicate(EOS(STATIC_4405), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4433_0_createNode_InvokeMethod(EOS(STATIC_4433), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4433_0_createNode_InvokeMethod(EOS(STATIC_4433), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4464_0_createNode_FieldAccess(EOS(STATIC_4464), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4464_0_createNode_FieldAccess(EOS(STATIC_4464), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4496_0_createNode_Load(EOS(STATIC_4496), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4496_0_createNode_Load(EOS(STATIC_4496), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4527_0_createNode_Return(EOS(STATIC_4527), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4527_0_createNode_Return(EOS(STATIC_4527), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4558_0_createTree_FieldAccess(EOS(STATIC_4558), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4558_0_createTree_FieldAccess(EOS(STATIC_4558), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4588_0_createTree_Load(EOS(STATIC_4588), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4777)))))
4588_0_createTree_Load(EOS(STATIC_4588), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4777))))) → 4630_0_createTree_Load(EOS(STATIC_4630), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4777)))))
3891_0_createTree_LE(EOS(STATIC_3891), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1373) → 3903_0_createTree_Load(EOS(STATIC_3903), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) | >(i1373, 0)
3903_0_createTree_Load(EOS(STATIC_3903), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3915_0_createTree_FieldAccess(EOS(STATIC_3915), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3915_0_createTree_FieldAccess(EOS(STATIC_3915), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3925_0_createTree_FieldAccess(EOS(STATIC_3925), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3915_0_createTree_FieldAccess(EOS(STATIC_3915), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3926_0_createTree_FieldAccess(EOS(STATIC_3926), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3925_0_createTree_FieldAccess(EOS(STATIC_3925), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3940_0_createTree_FieldAccess(EOS(STATIC_3940), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3925_0_createTree_FieldAccess(EOS(STATIC_3925), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3941_0_createTree_FieldAccess(EOS(STATIC_3941), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3940_0_createTree_FieldAccess(EOS(STATIC_3940), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3958_0_createTree_FieldAccess(EOS(STATIC_3958), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3940_0_createTree_FieldAccess(EOS(STATIC_3940), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3959_0_createTree_FieldAccess(EOS(STATIC_3959), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3958_0_createTree_FieldAccess(EOS(STATIC_3958), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855))) → 3981_0_createTree_FieldAccess(EOS(STATIC_3981), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)))
3981_0_createTree_FieldAccess(EOS(STATIC_3981), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855))) → 4014_0_createTree_NONNULL(EOS(STATIC_4014), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), o4855)
4014_0_createTree_NONNULL(EOS(STATIC_4014), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))), java.lang.Object(o4998sub)) → 4045_0_createTree_NONNULL(EOS(STATIC_4045), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))), java.lang.Object(o4998sub))
4014_0_createTree_NONNULL(EOS(STATIC_4014), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), NULL) → 4047_0_createTree_NONNULL(EOS(STATIC_4047), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), NULL)
4045_0_createTree_NONNULL(EOS(STATIC_4045), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))), java.lang.Object(o4998sub)) → 4084_0_createTree_Load(EOS(STATIC_4084), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))))
4084_0_createTree_Load(EOS(STATIC_4084), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub)))) → 4124_0_createTree_FieldAccess(EOS(STATIC_4124), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))))
4124_0_createTree_FieldAccess(EOS(STATIC_4124), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub)))) → 4156_0_createTree_Store(EOS(STATIC_4156), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4156_0_createTree_Store(EOS(STATIC_4156), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4186_0_createTree_JMP(EOS(STATIC_4186), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4186_0_createTree_JMP(EOS(STATIC_4186), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4219_0_createTree_Inc(EOS(STATIC_4219), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4219_0_createTree_Inc(EOS(STATIC_4219), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4254_0_createTree_JMP(EOS(STATIC_4254), +(i1284, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) | >(i1284, 0)
4254_0_createTree_JMP(EOS(STATIC_4254), i1470, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4273_0_createTree_Load(EOS(STATIC_4273), i1470, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4273_0_createTree_Load(EOS(STATIC_4273), i1470, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 3730_0_createTree_Load(EOS(STATIC_3730), i1470, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4047_0_createTree_NONNULL(EOS(STATIC_4047), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), NULL) → 4088_0_createTree_Load(EOS(STATIC_4088), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)))
4088_0_createTree_Load(EOS(STATIC_4088), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL))) → 4127_0_createTree_InvokeMethod(EOS(STATIC_4127), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)))
4127_0_createTree_InvokeMethod(EOS(STATIC_4127), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL))) → 4158_0_createNode_New(EOS(STATIC_4158), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)))
4158_0_createNode_New(EOS(STATIC_4158), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL))) → 4225_0_createNode_Duplicate(EOS(STATIC_4225), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4225_0_createNode_Duplicate(EOS(STATIC_4225), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4259_0_createNode_InvokeMethod(EOS(STATIC_4259), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4259_0_createNode_InvokeMethod(EOS(STATIC_4259), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4275_0_<init>_Load(EOS(STATIC_4275), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4275_0_<init>_Load(EOS(STATIC_4275), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4319_0_<init>_InvokeMethod(EOS(STATIC_4319), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4319_0_<init>_InvokeMethod(EOS(STATIC_4319), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4351_0_<init>_Return(EOS(STATIC_4351), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4351_0_<init>_Return(EOS(STATIC_4351), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4382_0_createNode_Store(EOS(STATIC_4382), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4382_0_createNode_Store(EOS(STATIC_4382), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4410_0_createNode_Load(EOS(STATIC_4410), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4410_0_createNode_Load(EOS(STATIC_4410), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4439_0_createNode_New(EOS(STATIC_4439), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4439_0_createNode_New(EOS(STATIC_4439), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4470_0_createNode_Duplicate(EOS(STATIC_4470), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4470_0_createNode_Duplicate(EOS(STATIC_4470), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4502_0_createNode_InvokeMethod(EOS(STATIC_4502), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, 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))
4502_0_createNode_InvokeMethod(EOS(STATIC_4502), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, 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)) → 4533_0_createNode_FieldAccess(EOS(STATIC_4533), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4533_0_createNode_FieldAccess(EOS(STATIC_4533), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4565_0_createNode_Load(EOS(STATIC_4565), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4565_0_createNode_Load(EOS(STATIC_4565), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4594_0_createNode_Return(EOS(STATIC_4594), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4594_0_createNode_Return(EOS(STATIC_4594), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4615_0_createTree_FieldAccess(EOS(STATIC_4615), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4615_0_createTree_FieldAccess(EOS(STATIC_4615), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4634_0_createTree_Load(EOS(STATIC_4634), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611put, o4610put)))
4634_0_createTree_Load(EOS(STATIC_4634), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4639_0_createTree_Store(EOS(STATIC_4639), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4639_0_createTree_Store(EOS(STATIC_4639), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4643_0_createTree_JMP(EOS(STATIC_4643), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4643_0_createTree_JMP(EOS(STATIC_4643), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4653_0_createTree_Inc(EOS(STATIC_4653), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3959_0_createTree_FieldAccess(EOS(STATIC_3959), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3984_0_createTree_NONNULL(EOS(STATIC_3984), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), o4610)
3984_0_createTree_NONNULL(EOS(STATIC_3984), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub)) → 4016_0_createTree_NONNULL(EOS(STATIC_4016), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub))
3984_0_createTree_NONNULL(EOS(STATIC_3984), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), NULL) → 4017_0_createTree_NONNULL(EOS(STATIC_4017), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), NULL)
4016_0_createTree_NONNULL(EOS(STATIC_4016), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub)) → 4048_0_createTree_Load(EOS(STATIC_4048), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))))
4048_0_createTree_Load(EOS(STATIC_4048), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub)))) → 4090_0_createTree_FieldAccess(EOS(STATIC_4090), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))))
4090_0_createTree_FieldAccess(EOS(STATIC_4090), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub)))) → 4129_0_createTree_Store(EOS(STATIC_4129), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub))
4129_0_createTree_Store(EOS(STATIC_4129), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub)) → 4156_0_createTree_Store(EOS(STATIC_4156), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub))
4017_0_createTree_NONNULL(EOS(STATIC_4017), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), NULL) → 4050_0_createTree_Load(EOS(STATIC_4050), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)))
4050_0_createTree_Load(EOS(STATIC_4050), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL))) → 4091_0_createTree_InvokeMethod(EOS(STATIC_4091), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)))
4091_0_createTree_InvokeMethod(EOS(STATIC_4091), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL))) → 4130_0_createNode_New(EOS(STATIC_4130), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)))
4130_0_createNode_New(EOS(STATIC_4130), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL))) → 4189_0_createNode_Duplicate(EOS(STATIC_4189), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4189_0_createNode_Duplicate(EOS(STATIC_4189), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4228_0_createNode_InvokeMethod(EOS(STATIC_4228), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4228_0_createNode_InvokeMethod(EOS(STATIC_4228), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4260_0_<init>_Load(EOS(STATIC_4260), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4260_0_<init>_Load(EOS(STATIC_4260), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4293_0_<init>_InvokeMethod(EOS(STATIC_4293), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4293_0_<init>_InvokeMethod(EOS(STATIC_4293), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4322_0_<init>_Return(EOS(STATIC_4322), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4322_0_<init>_Return(EOS(STATIC_4322), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4354_0_createNode_Store(EOS(STATIC_4354), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4354_0_createNode_Store(EOS(STATIC_4354), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4385_0_createNode_Load(EOS(STATIC_4385), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4385_0_createNode_Load(EOS(STATIC_4385), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4413_0_createNode_New(EOS(STATIC_4413), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4413_0_createNode_New(EOS(STATIC_4413), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4442_0_createNode_Duplicate(EOS(STATIC_4442), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4442_0_createNode_Duplicate(EOS(STATIC_4442), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4474_0_createNode_InvokeMethod(EOS(STATIC_4474), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, 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))
4474_0_createNode_InvokeMethod(EOS(STATIC_4474), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, 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)) → 4505_0_createNode_FieldAccess(EOS(STATIC_4505), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4505_0_createNode_FieldAccess(EOS(STATIC_4505), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4537_0_createNode_Load(EOS(STATIC_4537), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4537_0_createNode_Load(EOS(STATIC_4537), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4569_0_createNode_Return(EOS(STATIC_4569), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4569_0_createNode_Return(EOS(STATIC_4569), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4596_0_createTree_FieldAccess(EOS(STATIC_4596), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4596_0_createTree_FieldAccess(EOS(STATIC_4596), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4617_0_createTree_Load(EOS(STATIC_4617), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))
4617_0_createTree_Load(EOS(STATIC_4617), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) → 4634_0_createTree_Load(EOS(STATIC_4634), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))
3941_0_createTree_FieldAccess(EOS(STATIC_3941), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804))) → 3960_0_createTree_FieldAccess(EOS(STATIC_3960), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)))
3960_0_createTree_FieldAccess(EOS(STATIC_3960), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804))) → 3987_0_createTree_NONNULL(EOS(STATIC_3987), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), o4804)
3987_0_createTree_NONNULL(EOS(STATIC_3987), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), java.lang.Object(o4963sub)) → 4018_0_createTree_NONNULL(EOS(STATIC_4018), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), java.lang.Object(o4963sub))
3987_0_createTree_NONNULL(EOS(STATIC_3987), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), NULL) → 4019_0_createTree_NONNULL(EOS(STATIC_4019), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), NULL)
4018_0_createTree_NONNULL(EOS(STATIC_4018), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), java.lang.Object(o4963sub)) → 4052_0_createTree_Load(EOS(STATIC_4052), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))))
4052_0_createTree_Load(EOS(STATIC_4052), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub)))) → 4093_0_createTree_FieldAccess(EOS(STATIC_4093), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))))
4093_0_createTree_FieldAccess(EOS(STATIC_4093), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub)))) → 4133_0_createTree_Store(EOS(STATIC_4133), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(o4963sub))
4133_0_createTree_Store(EOS(STATIC_4133), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(o4963sub)) → 4156_0_createTree_Store(EOS(STATIC_4156), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(o4963sub))
4019_0_createTree_NONNULL(EOS(STATIC_4019), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), NULL) → 4054_0_createTree_Load(EOS(STATIC_4054), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)))
4054_0_createTree_Load(EOS(STATIC_4054), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL))) → 4096_0_createTree_InvokeMethod(EOS(STATIC_4096), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)))
4096_0_createTree_InvokeMethod(EOS(STATIC_4096), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL))) → 4134_0_createNode_New(EOS(STATIC_4134), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)))
4134_0_createNode_New(EOS(STATIC_4134), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL))) → 4194_0_createNode_Duplicate(EOS(STATIC_4194), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4194_0_createNode_Duplicate(EOS(STATIC_4194), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4232_0_createNode_InvokeMethod(EOS(STATIC_4232), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4232_0_createNode_InvokeMethod(EOS(STATIC_4232), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4262_0_<init>_Load(EOS(STATIC_4262), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4262_0_<init>_Load(EOS(STATIC_4262), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4297_0_<init>_InvokeMethod(EOS(STATIC_4297), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4297_0_<init>_InvokeMethod(EOS(STATIC_4297), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4326_0_<init>_Return(EOS(STATIC_4326), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4326_0_<init>_Return(EOS(STATIC_4326), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4357_0_createNode_Store(EOS(STATIC_4357), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4357_0_createNode_Store(EOS(STATIC_4357), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4389_0_createNode_Load(EOS(STATIC_4389), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4389_0_createNode_Load(EOS(STATIC_4389), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4417_0_createNode_New(EOS(STATIC_4417), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4417_0_createNode_New(EOS(STATIC_4417), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4447_0_createNode_Duplicate(EOS(STATIC_4447), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4447_0_createNode_Duplicate(EOS(STATIC_4447), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4478_0_createNode_InvokeMethod(EOS(STATIC_4478), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, 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))
4478_0_createNode_InvokeMethod(EOS(STATIC_4478), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, 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)) → 4509_0_createNode_FieldAccess(EOS(STATIC_4509), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4509_0_createNode_FieldAccess(EOS(STATIC_4509), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4542_0_createNode_Load(EOS(STATIC_4542), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4542_0_createNode_Load(EOS(STATIC_4542), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4573_0_createNode_Return(EOS(STATIC_4573), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4573_0_createNode_Return(EOS(STATIC_4573), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4598_0_createTree_FieldAccess(EOS(STATIC_4598), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4598_0_createTree_FieldAccess(EOS(STATIC_4598), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4620_0_createTree_Load(EOS(STATIC_4620), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), o4610)))
4620_0_createTree_Load(EOS(STATIC_4620), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), o4610))) → 4634_0_createTree_Load(EOS(STATIC_4634), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), o4610)))
3926_0_createTree_FieldAccess(EOS(STATIC_3926), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781))) → 3942_0_createTree_FieldAccess(EOS(STATIC_3942), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)))
3942_0_createTree_FieldAccess(EOS(STATIC_3942), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781))) → 3962_0_createTree_NONNULL(EOS(STATIC_3962), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)), o4781)
3962_0_createTree_NONNULL(EOS(STATIC_3962), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))), java.lang.Object(o4886sub)) → 3988_0_createTree_NONNULL(EOS(STATIC_3988), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))), java.lang.Object(o4886sub))
3962_0_createTree_NONNULL(EOS(STATIC_3962), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), NULL) → 3989_0_createTree_NONNULL(EOS(STATIC_3989), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), NULL)
3988_0_createTree_NONNULL(EOS(STATIC_3988), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))), java.lang.Object(o4886sub)) → 4020_0_createTree_Load(EOS(STATIC_4020), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))
4020_0_createTree_Load(EOS(STATIC_4020), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub)))) → 4056_0_createTree_FieldAccess(EOS(STATIC_4056), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))
4056_0_createTree_FieldAccess(EOS(STATIC_4056), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub)))) → 4097_0_createTree_Store(EOS(STATIC_4097), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(o4886sub))
4097_0_createTree_Store(EOS(STATIC_4097), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(o4886sub)) → 4156_0_createTree_Store(EOS(STATIC_4156), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(o4886sub))
3989_0_createTree_NONNULL(EOS(STATIC_3989), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), NULL) → 4022_0_createTree_Load(EOS(STATIC_4022), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))
4022_0_createTree_Load(EOS(STATIC_4022), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL))) → 4057_0_createTree_InvokeMethod(EOS(STATIC_4057), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))
4057_0_createTree_InvokeMethod(EOS(STATIC_4057), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL))) → 4098_0_createNode_New(EOS(STATIC_4098), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))
4098_0_createNode_New(EOS(STATIC_4098), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL))) → 4161_0_createNode_Duplicate(EOS(STATIC_4161), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4161_0_createNode_Duplicate(EOS(STATIC_4161), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4196_0_createNode_InvokeMethod(EOS(STATIC_4196), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4196_0_createNode_InvokeMethod(EOS(STATIC_4196), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4234_0_<init>_Load(EOS(STATIC_4234), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4234_0_<init>_Load(EOS(STATIC_4234), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4278_0_<init>_InvokeMethod(EOS(STATIC_4278), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4278_0_<init>_InvokeMethod(EOS(STATIC_4278), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4299_0_<init>_Return(EOS(STATIC_4299), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4299_0_<init>_Return(EOS(STATIC_4299), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4328_0_createNode_Store(EOS(STATIC_4328), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4328_0_createNode_Store(EOS(STATIC_4328), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4359_0_createNode_Load(EOS(STATIC_4359), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4359_0_createNode_Load(EOS(STATIC_4359), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4391_0_createNode_New(EOS(STATIC_4391), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4391_0_createNode_New(EOS(STATIC_4391), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4419_0_createNode_Duplicate(EOS(STATIC_4419), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4419_0_createNode_Duplicate(EOS(STATIC_4419), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4449_0_createNode_InvokeMethod(EOS(STATIC_4449), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, 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))
4449_0_createNode_InvokeMethod(EOS(STATIC_4449), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, 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)) → 4480_0_createNode_FieldAccess(EOS(STATIC_4480), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4480_0_createNode_FieldAccess(EOS(STATIC_4480), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4512_0_createNode_Load(EOS(STATIC_4512), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4512_0_createNode_Load(EOS(STATIC_4512), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4544_0_createNode_Return(EOS(STATIC_4544), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4544_0_createNode_Return(EOS(STATIC_4544), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4575_0_createTree_FieldAccess(EOS(STATIC_4575), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4575_0_createTree_FieldAccess(EOS(STATIC_4575), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4600_0_createTree_Load(EOS(STATIC_4600), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))))
4600_0_createTree_Load(EOS(STATIC_4600), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))))) → 4634_0_createTree_Load(EOS(STATIC_4634), i1284, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))))
R rules:

Combined rules. Obtained 16 conditional rules for P and 0 conditional rules for R.

P rules:
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x3), x4)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(x3), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x3)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(x1), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x1)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x1)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), x1)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), x1)), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(x1), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x1)), x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x1)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), x1)), x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), x1)), x2)), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x2), x3)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(x2), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x2)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x2)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), x2)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), x2)))), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x3, java.lang.Object(x4))), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(x4), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x3, NULL)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(x2), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, NULL)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(x2), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, NULL)), x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, NULL)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), x2)), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x2, java.lang.Object(x3))), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(x3), +(x0, -1)) | >(x0, 0)
3737_0_createTree_LE(EOS(STATIC_3737), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x2, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x2, NULL)), x0) → 3737_0_createTree_LE(EOS(STATIC_3737), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x2, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x2, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))), +(x0, -1)) | >(x0, 0)
R rules:

Filtered ground terms:

3737_0_createTree_LE(x1, x2, x3, x4, x5) → 3737_0_createTree_LE(x2, x3, x4, x5)
TreeLeftmostDepth.Tree(x1, x2, x3) → TreeLeftmostDepth.Tree(x2, x3)
EOS(x1) → EOS
Cond_3737_0_createTree_LE15(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE15(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE14(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE14(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE13(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE13(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE12(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE12(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE11(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE11(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE10(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE10(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3737_0_createTree_LE9(x1, x3, x4, x5, x6, x7, x8)
Cond_3737_0_createTree_LE8(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE8(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE7(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE7(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE6(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE6(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE5(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE5(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE4(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE4(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE3(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE3(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_3737_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3737_0_createTree_LE1(x1, x3, x4, x5, x6, x7, x8)
Cond_3737_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE(x1, x3, x4, x5, x6)

Filtered duplicate args:

3737_0_createTree_LE(x1, x2, x3, x4) → 3737_0_createTree_LE(x2, x3, x4)
Cond_3737_0_createTree_LE(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE(x1, x3, x4, x5)
Cond_3737_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7) → Cond_3737_0_createTree_LE1(x1, x3, x4, x5, x6, x7)
Cond_3737_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE2(x1, x4, x5)
Cond_3737_0_createTree_LE3(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE3(x1, x4, x5)
Cond_3737_0_createTree_LE4(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE4(x1, x3, x5)
Cond_3737_0_createTree_LE5(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE5(x1, x3, x5)
Cond_3737_0_createTree_LE6(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE6(x1, x3, x5)
Cond_3737_0_createTree_LE7(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE7(x1, x3, x5)
Cond_3737_0_createTree_LE8(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE8(x1, x3, x4, x5)
Cond_3737_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7) → Cond_3737_0_createTree_LE9(x1, x3, x4, x5, x6, x7)
Cond_3737_0_createTree_LE10(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE10(x1, x4, x5)
Cond_3737_0_createTree_LE11(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE11(x1, x4, x5)
Cond_3737_0_createTree_LE12(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE12(x1, x3, x5)
Cond_3737_0_createTree_LE13(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE13(x1, x3, x5)
Cond_3737_0_createTree_LE14(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE14(x1, x3, x5)
Cond_3737_0_createTree_LE15(x1, x2, x3, x4, x5) → Cond_3737_0_createTree_LE15(x1, x3, x5)

Filtered unneeded arguments:

Cond_3737_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE1(x1, x4, x5, x6)
Cond_3737_0_createTree_LE9(x1, x2, x3, x4, x5, x6) → Cond_3737_0_createTree_LE9(x1, x4, x5, x6)

Filtered all non-integer terms:

3737_0_createTree_LE(x1, x2, x3) → 3737_0_createTree_LE(x3)
TreeLeftmostDepth.Tree(x1, x2) → TreeLeftmostDepth.Tree
Cond_3737_0_createTree_LE(x1, x2, x3, x4) → Cond_3737_0_createTree_LE(x1, x4)
Cond_3737_0_createTree_LE2(x1, x2, x3) → Cond_3737_0_createTree_LE2(x1, x3)
Cond_3737_0_createTree_LE3(x1, x2, x3) → Cond_3737_0_createTree_LE3(x1, x3)
Cond_3737_0_createTree_LE4(x1, x2, x3) → Cond_3737_0_createTree_LE4(x1, x3)
Cond_3737_0_createTree_LE5(x1, x2, x3) → Cond_3737_0_createTree_LE5(x1, x3)
Cond_3737_0_createTree_LE6(x1, x2, x3) → Cond_3737_0_createTree_LE6(x1, x3)
Cond_3737_0_createTree_LE7(x1, x2, x3) → Cond_3737_0_createTree_LE7(x1, x3)
Cond_3737_0_createTree_LE8(x1, x2, x3, x4) → Cond_3737_0_createTree_LE8(x1, x4)
Cond_3737_0_createTree_LE10(x1, x2, x3) → Cond_3737_0_createTree_LE10(x1, x3)
Cond_3737_0_createTree_LE11(x1, x2, x3) → Cond_3737_0_createTree_LE11(x1, x3)
Cond_3737_0_createTree_LE12(x1, x2, x3) → Cond_3737_0_createTree_LE12(x1, x3)
Cond_3737_0_createTree_LE13(x1, x2, x3) → Cond_3737_0_createTree_LE13(x1, x3)
Cond_3737_0_createTree_LE14(x1, x2, x3) → Cond_3737_0_createTree_LE14(x1, x3)
Cond_3737_0_createTree_LE15(x1, x2, x3) → Cond_3737_0_createTree_LE15(x1, x3)

Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.

P rules:
3737_0_createTree_LE(x0) → 3737_0_createTree_LE(+(x0, -1)) | >(x0, 0)
R rules:

Finished conversion. Obtained 2 rules for P and 0 rules for R. System has predefined symbols.

P rules:
3737_0_CREATETREE_LE(x0) → COND_3737_0_CREATETREE_LE(>(x0, 0), x0)
COND_3737_0_CREATETREE_LE(TRUE, x0) → 3737_0_CREATETREE_LE(+(x0, -1))
R rules:

(7) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
||	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

R is empty.

The integer pair graph contains the following rules and edges:
(0): 3737_0_CREATETREE_LE(x0[0]) → COND_3737_0_CREATETREE_LE(x0[0] > 0, x0[0])
(1): COND_3737_0_CREATETREE_LE(TRUE, x0[1]) → 3737_0_CREATETREE_LE(x0[1] + -1)

(0) -> (1), if (x0[0] > 0 ∧x0[0] →^* x0[1])

(1) -> (0), if (x0[1] + -1 →^* x0[0])

The set Q is empty.

(8) IDPNonInfProof (SOUND transformation)

Used the following options for this NonInfProof:
IDPGPoloSolver: Range: [(-1,2)] IsNat: false Interpretation Shape Heuristic: aprove.DPFramework.IDPProblem.Processors.nonInf.poly.IdpCand1ShapeHeuristic@17ec1d9b Constraint Generator: NonInfConstraintGenerator: PathGenerator: MetricPathGenerator: Max Left Steps: 0 Max Right Steps: 0

The constraints were generated the following way:
The DP Problem is simplified using the Induction Calculus [NONINF] with the following steps:
Note that final constraints are written in bold face.


For Pair 3737_0_CREATETREE_LE(x0) → COND_3737_0_CREATETREE_LE(>(x0, 0), x0) the following chains were created:

• We consider the chain 3737_0_CREATETREE_LE(x0[0]) → COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0]), COND_3737_0_CREATETREE_LE(TRUE, x0[1]) → 3737_0_CREATETREE_LE(+(x0[1], -1)) which results in the following constraint:
  

  (1)    (>(x0[0], 0)=TRUE∧x0[0]=x0[1] ⇒ 3737_0_CREATETREE_LE(x0[0])≥NonInfC∧3737_0_CREATETREE_LE(x0[0])≥COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])), ≥))

  
  
  We simplified constraint (1) using rule (IV) which results in the following new constraint:
  

  (2)    (>(x0[0], 0)=TRUE ⇒ 3737_0_CREATETREE_LE(x0[0])≥NonInfC∧3737_0_CREATETREE_LE(x0[0])≥COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])), ≥))

  
  
  We simplified constraint (2) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
  

  (3)    (x0[0] + [-1] ≥ 0 ⇒ (U^Increasing(COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])), ≥)∧[(-1)Bound*bni_8] + [(2)bni_8]x0[0] ≥ 0∧[(-1)bso_9] ≥ 0)

  
  
  We simplified constraint (3) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
  

  (4)    (x0[0] + [-1] ≥ 0 ⇒ (U^Increasing(COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])), ≥)∧[(-1)Bound*bni_8] + [(2)bni_8]x0[0] ≥ 0∧[(-1)bso_9] ≥ 0)

  
  
  We simplified constraint (4) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
  

  (5)    (x0[0] + [-1] ≥ 0 ⇒ (U^Increasing(COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])), ≥)∧[(-1)Bound*bni_8] + [(2)bni_8]x0[0] ≥ 0∧[(-1)bso_9] ≥ 0)

  
  
  We simplified constraint (5) using rule (IDP_SMT_SPLIT) which results in the following new constraint:
  

  (6)    (x0[0] ≥ 0 ⇒ (U^Increasing(COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])), ≥)∧[(-1)Bound*bni_8 + (2)bni_8] + [(2)bni_8]x0[0] ≥ 0∧[(-1)bso_9] ≥ 0)

  
  
  

For Pair COND_3737_0_CREATETREE_LE(TRUE, x0) → 3737_0_CREATETREE_LE(+(x0, -1)) the following chains were created:

• We consider the chain COND_3737_0_CREATETREE_LE(TRUE, x0[1]) → 3737_0_CREATETREE_LE(+(x0[1], -1)) which results in the following constraint:
  

  (7)    (COND_3737_0_CREATETREE_LE(TRUE, x0[1])≥NonInfC∧COND_3737_0_CREATETREE_LE(TRUE, x0[1])≥3737_0_CREATETREE_LE(+(x0[1], -1))∧(U^Increasing(3737_0_CREATETREE_LE(+(x0[1], -1))), ≥))

  
  
  We simplified constraint (7) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
  

  (8)    ((U^Increasing(3737_0_CREATETREE_LE(+(x0[1], -1))), ≥)∧[bni_10] = 0∧[2 + (-1)bso_11] ≥ 0)

  
  
  We simplified constraint (8) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
  

  (9)    ((U^Increasing(3737_0_CREATETREE_LE(+(x0[1], -1))), ≥)∧[bni_10] = 0∧[2 + (-1)bso_11] ≥ 0)

  
  
  We simplified constraint (9) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
  

  (10)    ((U^Increasing(3737_0_CREATETREE_LE(+(x0[1], -1))), ≥)∧[bni_10] = 0∧[2 + (-1)bso_11] ≥ 0)

  
  
  We simplified constraint (10) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:
  

  (11)    ((U^Increasing(3737_0_CREATETREE_LE(+(x0[1], -1))), ≥)∧[bni_10] = 0∧0 = 0∧[2 + (-1)bso_11] ≥ 0)

  
  
  

To summarize, we get the following constraints P_≥ for the following pairs.

• 3737_0_CREATETREE_LE(x0) → COND_3737_0_CREATETREE_LE(>(x0, 0), x0)
  
  • (x0[0] ≥ 0 ⇒ (U^Increasing(COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])), ≥)∧[(-1)Bound*bni_8 + (2)bni_8] + [(2)bni_8]x0[0] ≥ 0∧[(-1)bso_9] ≥ 0)
    
  
  
• COND_3737_0_CREATETREE_LE(TRUE, x0) → 3737_0_CREATETREE_LE(+(x0, -1))
  
  • ((U^Increasing(3737_0_CREATETREE_LE(+(x0[1], -1))), ≥)∧[bni_10] = 0∧0 = 0∧[2 + (-1)bso_11] ≥ 0)
    
  
  

The constraints for P_> respective P_bound are constructed from P_≥ where we just replace every occurence of "t ≥ s" in P_≥ by "t > s" respective "t ≥ c". Here c stands for the fresh constant used for P_bound.
Using the following integer polynomial ordering the resulting constraints can be solved
Polynomial interpretation over integers[POLO]:

POL(TRUE) = 0   
POL(FALSE) = 0   
POL(3737_0_CREATETREE_LE(x₁)) = [2]x₁   
POL(COND_3737_0_CREATETREE_LE(x₁, x₂)) = [2]x₂   
POL(>(x₁, x₂)) = [-1]   
POL(0) = 0   
POL(+(x₁, x₂)) = x₁ + x₂   
POL(-1) = [-1]   

The following pairs are in P_>:

COND_3737_0_CREATETREE_LE(TRUE, x0[1]) → 3737_0_CREATETREE_LE(+(x0[1], -1))

The following pairs are in P_bound:

3737_0_CREATETREE_LE(x0[0]) → COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])

The following pairs are in P_≥:

3737_0_CREATETREE_LE(x0[0]) → COND_3737_0_CREATETREE_LE(>(x0[0], 0), x0[0])

There are no usable rules.

(9) Complex Obligation (AND)

(10) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
||	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

R is empty.

The integer pair graph contains the following rules and edges:
(0): 3737_0_CREATETREE_LE(x0[0]) → COND_3737_0_CREATETREE_LE(x0[0] > 0, x0[0])


The set Q is empty.

(11) IDependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 1 less node.

(12) TRUE

(13) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
||	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

R is empty.

The integer pair graph contains the following rules and edges:
(1): COND_3737_0_CREATETREE_LE(TRUE, x0[1]) → 3737_0_CREATETREE_LE(x0[1] + -1)


The set Q is empty.

(14) IDependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 1 less node.

(15) TRUE

(16) 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: UsedFieldsAnalysis

(17) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 32 rules for P and 0 rules for R.

P rules:
4636_0_main_FieldAccess(EOS(STATIC_4636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7149, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7149, o7150))) → 4640_0_main_NULL(EOS(STATIC_4640), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7149, o7150)), o7149)
4640_0_main_NULL(EOS(STATIC_4640), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub)) → 4644_0_main_NULL(EOS(STATIC_4644), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub))
4644_0_main_NULL(EOS(STATIC_4644), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub)) → 4654_0_main_Load(EOS(STATIC_4654), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)))
4654_0_main_Load(EOS(STATIC_4654), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150))) → 4661_0_main_FieldAccess(EOS(STATIC_4661), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)))
4661_0_main_FieldAccess(EOS(STATIC_4661), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150))) → 4666_0_main_Store(EOS(STATIC_4666), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub))
4666_0_main_Store(EOS(STATIC_4666), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub)) → 4667_0_main_Load(EOS(STATIC_4667), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub))
4667_0_main_Load(EOS(STATIC_4667), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub)) → 4668_0_main_FieldAccess(EOS(STATIC_4668), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7198sub), o7150)), java.lang.Object(o7198sub), java.lang.Object(o7198sub))
4668_0_main_FieldAccess(EOS(STATIC_4668), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264))) → 4670_0_main_FieldAccess(EOS(STATIC_4670), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))
4670_0_main_FieldAccess(EOS(STATIC_4670), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264))) → 4671_0_main_Store(EOS(STATIC_4671), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263)
4671_0_main_Store(EOS(STATIC_4671), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263) → 4672_0_main_Load(EOS(STATIC_4672), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263)
4672_0_main_Load(EOS(STATIC_4672), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263) → 4674_0_main_FieldAccess(EOS(STATIC_4674), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))
4674_0_main_FieldAccess(EOS(STATIC_4674), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264))) → 4675_0_main_Store(EOS(STATIC_4675), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264)
4675_0_main_Store(EOS(STATIC_4675), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264) → 4676_0_main_Load(EOS(STATIC_4676), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264)
4676_0_main_Load(EOS(STATIC_4676), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264) → 4677_0_main_FieldAccess(EOS(STATIC_4677), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)))
4677_0_main_FieldAccess(EOS(STATIC_4677), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150))) → 4678_0_main_Store(EOS(STATIC_4678), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150)
4678_0_main_Store(EOS(STATIC_4678), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150) → 4680_0_main_Load(EOS(STATIC_4680), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150)
4680_0_main_Load(EOS(STATIC_4680), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150) → 4681_0_main_Load(EOS(STATIC_4681), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)))
4681_0_main_Load(EOS(STATIC_4681), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150))) → 4682_0_main_FieldAccess(EOS(STATIC_4682), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))
4682_0_main_FieldAccess(EOS(STATIC_4682), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264))) → 4684_0_main_Load(EOS(STATIC_4684), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150)
4684_0_main_Load(EOS(STATIC_4684), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150) → 4685_0_main_Load(EOS(STATIC_4685), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))
4685_0_main_Load(EOS(STATIC_4685), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, o7150, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264))) → 4687_0_main_FieldAccess(EOS(STATIC_4687), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150)
4687_0_main_FieldAccess(EOS(STATIC_4687), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7263, o7264, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7264)), o7150) → 4688_0_main_Load(EOS(STATIC_4688), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), o7263, o7264)
4688_0_main_Load(EOS(STATIC_4688), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), o7263, o7264) → 4690_0_main_Load(EOS(STATIC_4690), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)))), o7263, o7264, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)))
4690_0_main_Load(EOS(STATIC_4690), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)))), o7263, o7264, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150))) → 4691_0_main_FieldAccess(EOS(STATIC_4691), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)))), o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), o7264)
4691_0_main_FieldAccess(EOS(STATIC_4691), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)))), o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7150)), o7264) → 4692_0_main_Load(EOS(STATIC_4692), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), o7263)
4692_0_main_Load(EOS(STATIC_4692), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), o7263) → 4694_0_main_Load(EOS(STATIC_4694), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))))
4694_0_main_Load(EOS(STATIC_4694), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150))))) → 4695_0_main_FieldAccess(EOS(STATIC_4695), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), o7263)
4695_0_main_FieldAccess(EOS(STATIC_4695), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))), o7263) → 4697_0_main_Inc(EOS(STATIC_4697), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))))
4697_0_main_Inc(EOS(STATIC_4697), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150))))) → 4698_0_main_JMP(EOS(STATIC_4698), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))))
4698_0_main_JMP(EOS(STATIC_4698), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150))))) → 4700_0_main_Load(EOS(STATIC_4700), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))))
4700_0_main_Load(EOS(STATIC_4700), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150))))) → 4626_0_main_Load(EOS(STATIC_4626), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7264, o7150)))))
4626_0_main_Load(EOS(STATIC_4626), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7149, o7150))) → 4636_0_main_FieldAccess(EOS(STATIC_4636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7149, o7150)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7149, o7150)))
R rules:

Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.

P rules:
4636_0_main_FieldAccess(EOS(STATIC_4636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x0, x1)), x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x0, x1)), x2))) → 4636_0_main_FieldAccess(EOS(STATIC_4636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)))))
R rules:

Filtered ground terms:

4636_0_main_FieldAccess(x1, x2, x3) → 4636_0_main_FieldAccess(x2, x3)
TreeLeftmostDepth.Tree(x1, x2, x3) → TreeLeftmostDepth.Tree(x2, x3)
EOS(x1) → EOS

Filtered duplicate args:

4636_0_main_FieldAccess(x1, x2) → 4636_0_main_FieldAccess(x2)

Filtered unneeded arguments:

TreeLeftmostDepth.Tree(x1, x2) → TreeLeftmostDepth.Tree(x1)

Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.

P rules:
4636_0_main_FieldAccess(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0))))) → 4636_0_main_FieldAccess(java.lang.Object(TreeLeftmostDepth.Tree(x0)))
R rules:

Finished conversion. Obtained 1 rules for P and 0 rules for R. System has no predefined symbols.

P rules:
4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0))))) → 4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(x0)))
R rules:

(18) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
||	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:
none


R is empty.

The integer pair graph contains the following rules and edges:
(0): 4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0[0]))))) → 4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(x0[0])))

(0) -> (0), if (java.lang.Object(TreeLeftmostDepth.Tree(x0[0])) →^* java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0[0]')))))

The set Q is empty.

(19) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(20) Obligation:

Q DP problem:
The TRS P consists of the following rules:

4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0[0]))))) → 4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(x0[0])))

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

(21) QDPSizeChangeProof (EQUIVALENT transformation)

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:

• 4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0[0]))))) → 4636_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(x0[0])))
  The graph contains the following edges 1 > 1

(22) YES