Termination proof of /tmp/tmpxhSw2N/TreeLeftmostDepth.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 1720 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIDPv1Proof (⇒, 3150 ms)

        ↳7 IDP

        ↳8 IDPNonInfProof (⇒, 100 ms)

        ↳9 AND

            ↳10 IDP

                ↳11 IDependencyGraphProof (⇔, 0 ms)

                ↳12 TRUE

            ↳13 IDP

                ↳14 IDependencyGraphProof (⇔, 0 ms)

                ↳15 TRUE

    ↳16 JBCTerminationSCC

        ↳17 SCCToIDPv1Proof (⇒, 280 ms)

        ↳18 IDP

        ↳19 IDPtoQDPProof (⇒, 0 ms)

        ↳20 QDP

        ↳21 QDPSizeChangeProof (⇔, 0 ms)

        ↳22 YES

(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:
3709_0_createTree_LE(EOS(STATIC_3709), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1283) → 3713_0_createTree_LE(EOS(STATIC_3713), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1283)
3713_0_createTree_LE(EOS(STATIC_3713), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1283) → 3717_0_createTree_InvokeMethod(EOS(STATIC_3717), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) | >(i1283, 0)
3717_0_createTree_InvokeMethod(EOS(STATIC_3717), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3720_0_random_FieldAccess(EOS(STATIC_3720), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub))
3720_0_random_FieldAccess(EOS(STATIC_3720), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3726_0_random_FieldAccess(EOS(STATIC_3726), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)))
3726_0_random_FieldAccess(EOS(STATIC_3726), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83))) → 3732_0_random_ArrayAccess(EOS(STATIC_3732), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1276)
3732_0_random_ArrayAccess(EOS(STATIC_3732), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1291) → 3736_0_random_ArrayAccess(EOS(STATIC_3736), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1291)
3736_0_random_ArrayAccess(EOS(STATIC_3736), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1291) → 3740_0_random_ArrayAccess(EOS(STATIC_3740), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1291)
3740_0_random_ArrayAccess(EOS(STATIC_3740), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(ARRAY(i83)), i1291) → 3744_0_random_Store(EOS(STATIC_3744), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) | <(i1291, i83)
3744_0_random_Store(EOS(STATIC_3744), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) → 3749_0_random_FieldAccess(EOS(STATIC_3749), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646)
3749_0_random_FieldAccess(EOS(STATIC_3749), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) → 3754_0_random_ConstantStackPush(EOS(STATIC_3754), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1291)
3754_0_random_ConstantStackPush(EOS(STATIC_3754), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1291) → 3759_0_random_IntArithmetic(EOS(STATIC_3759), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1291, 1)
3759_0_random_IntArithmetic(EOS(STATIC_3759), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1291, matching1) → 3764_0_random_FieldAccess(EOS(STATIC_3764), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, +(i1291, 1)) | &&(>=(i1291, 0), =(matching1, 1))
3764_0_random_FieldAccess(EOS(STATIC_3764), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646, i1300) → 3769_0_random_Load(EOS(STATIC_3769), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646)
3769_0_random_Load(EOS(STATIC_3769), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646) → 3775_0_random_InvokeMethod(EOS(STATIC_3775), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), o4646)
3775_0_random_InvokeMethod(EOS(STATIC_3775), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub)) → 3781_0_random_InvokeMethod(EOS(STATIC_3781), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub))
3781_0_random_InvokeMethod(EOS(STATIC_3781), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub)) → 3786_0_length_Load(EOS(STATIC_3786), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub), java.lang.Object(o4677sub))
3786_0_length_Load(EOS(STATIC_3786), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub), java.lang.Object(o4677sub)) → 3798_0_length_FieldAccess(EOS(STATIC_3798), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4677sub), java.lang.Object(o4677sub))
3798_0_length_FieldAccess(EOS(STATIC_3798), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1330)), java.lang.Object(java.lang.String(o4689sub, i1330))) → 3802_0_length_FieldAccess(EOS(STATIC_3802), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1330)), java.lang.Object(java.lang.String(o4689sub, i1330))) | &&(>=(i1330, 0), >=(i1331, 0))
3802_0_length_FieldAccess(EOS(STATIC_3802), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1330)), java.lang.Object(java.lang.String(o4689sub, i1330))) → 3810_0_length_Return(EOS(STATIC_3810), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1330)), i1330)
3810_0_length_Return(EOS(STATIC_3810), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(java.lang.String(o4689sub, i1330)), i1330) → 3817_0_random_Return(EOS(STATIC_3817), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1330)
3817_0_random_Return(EOS(STATIC_3817), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1330) → 3826_0_createTree_Store(EOS(STATIC_3826), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1330)
3826_0_createTree_Store(EOS(STATIC_3826), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1330) → 3834_0_createTree_Load(EOS(STATIC_3834), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1330)
3834_0_createTree_Load(EOS(STATIC_3834), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1330) → 3842_0_createTree_LE(EOS(STATIC_3842), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1330)
3842_0_createTree_LE(EOS(STATIC_3842), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), matching1) → 3849_0_createTree_LE(EOS(STATIC_3849), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), 0) | =(matching1, 0)
3842_0_createTree_LE(EOS(STATIC_3842), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1369) → 3850_0_createTree_LE(EOS(STATIC_3850), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1369)
3849_0_createTree_LE(EOS(STATIC_3849), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), matching1) → 3860_0_createTree_Load(EOS(STATIC_3860), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) | &&(<=(0, 0), =(matching1, 0))
3860_0_createTree_Load(EOS(STATIC_3860), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3871_0_createTree_FieldAccess(EOS(STATIC_3871), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3871_0_createTree_FieldAccess(EOS(STATIC_3871), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3880_0_createTree_FieldAccess(EOS(STATIC_3880), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3871_0_createTree_FieldAccess(EOS(STATIC_3871), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3881_0_createTree_FieldAccess(EOS(STATIC_3881), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3880_0_createTree_FieldAccess(EOS(STATIC_3880), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3892_0_createTree_FieldAccess(EOS(STATIC_3892), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3880_0_createTree_FieldAccess(EOS(STATIC_3880), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3893_0_createTree_FieldAccess(EOS(STATIC_3893), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3892_0_createTree_FieldAccess(EOS(STATIC_3892), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3906_0_createTree_FieldAccess(EOS(STATIC_3906), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3892_0_createTree_FieldAccess(EOS(STATIC_3892), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3907_0_createTree_FieldAccess(EOS(STATIC_3907), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3906_0_createTree_FieldAccess(EOS(STATIC_3906), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822))) → 3922_0_createTree_FieldAccess(EOS(STATIC_3922), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)))
3922_0_createTree_FieldAccess(EOS(STATIC_3922), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822))) → 3949_0_createTree_NONNULL(EOS(STATIC_3949), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4823, o4822)), o4823)
3949_0_createTree_NONNULL(EOS(STATIC_3949), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)), java.lang.Object(o4974sub)) → 3978_0_createTree_NONNULL(EOS(STATIC_3978), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)), java.lang.Object(o4974sub))
3949_0_createTree_NONNULL(EOS(STATIC_3949), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), NULL) → 3979_0_createTree_NONNULL(EOS(STATIC_3979), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), NULL)
3978_0_createTree_NONNULL(EOS(STATIC_3978), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)), java.lang.Object(o4974sub)) → 4012_0_createTree_Load(EOS(STATIC_4012), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)))
4012_0_createTree_Load(EOS(STATIC_4012), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822))) → 4054_0_createTree_FieldAccess(EOS(STATIC_4054), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822)))
4054_0_createTree_FieldAccess(EOS(STATIC_4054), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4974sub), o4822))) → 4093_0_createTree_Store(EOS(STATIC_4093), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
4093_0_createTree_Store(EOS(STATIC_4093), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 4124_0_createTree_Inc(EOS(STATIC_4124), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
4124_0_createTree_Inc(EOS(STATIC_4124), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 4151_0_createTree_JMP(EOS(STATIC_4151), +(i1283, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) | >(i1283, 0)
4151_0_createTree_JMP(EOS(STATIC_4151), i1443, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 4193_0_createTree_Load(EOS(STATIC_4193), i1443, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
4193_0_createTree_Load(EOS(STATIC_4193), i1443, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub)) → 3703_0_createTree_Load(EOS(STATIC_3703), i1443, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4974sub))
3703_0_createTree_Load(EOS(STATIC_3703), i1277, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3709_0_createTree_LE(EOS(STATIC_3709), i1277, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1277)
3979_0_createTree_NONNULL(EOS(STATIC_3979), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), NULL) → 4015_0_createTree_Load(EOS(STATIC_4015), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)))
4015_0_createTree_Load(EOS(STATIC_4015), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822))) → 4057_0_createTree_InvokeMethod(EOS(STATIC_4057), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)))
4057_0_createTree_InvokeMethod(EOS(STATIC_4057), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822))) → 4095_0_createNode_New(EOS(STATIC_4095), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)))
4095_0_createNode_New(EOS(STATIC_4095), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822))) → 4157_0_createNode_Duplicate(EOS(STATIC_4157), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4157_0_createNode_Duplicate(EOS(STATIC_4157), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4198_0_createNode_InvokeMethod(EOS(STATIC_4198), i1283, 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)))
4198_0_createNode_InvokeMethod(EOS(STATIC_4198), i1283, 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))) → 4217_0_<init>_Load(EOS(STATIC_4217), i1283, 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)))
4217_0_<init>_Load(EOS(STATIC_4217), i1283, 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))) → 4256_0_<init>_InvokeMethod(EOS(STATIC_4256), i1283, 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)))
4256_0_<init>_InvokeMethod(EOS(STATIC_4256), i1283, 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))) → 4287_0_<init>_Return(EOS(STATIC_4287), i1283, 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)))
4287_0_<init>_Return(EOS(STATIC_4287), i1283, 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))) → 4319_0_createNode_Store(EOS(STATIC_4319), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4319_0_createNode_Store(EOS(STATIC_4319), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4347_0_createNode_Load(EOS(STATIC_4347), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4347_0_createNode_Load(EOS(STATIC_4347), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4380_0_createNode_New(EOS(STATIC_4380), i1283, 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)))
4380_0_createNode_New(EOS(STATIC_4380), i1283, 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))) → 4409_0_createNode_Duplicate(EOS(STATIC_4409), i1283, 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))
4409_0_createNode_Duplicate(EOS(STATIC_4409), i1283, 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)) → 4439_0_createNode_InvokeMethod(EOS(STATIC_4439), i1283, 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))
4439_0_createNode_InvokeMethod(EOS(STATIC_4439), i1283, 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)) → 4471_0_createNode_FieldAccess(EOS(STATIC_4471), i1283, 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))
4471_0_createNode_FieldAccess(EOS(STATIC_4471), i1283, 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)) → 4504_0_createNode_Load(EOS(STATIC_4504), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4504_0_createNode_Load(EOS(STATIC_4504), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4535_0_createNode_Return(EOS(STATIC_4535), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4535_0_createNode_Return(EOS(STATIC_4535), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4558_0_createTree_FieldAccess(EOS(STATIC_4558), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4558_0_createTree_FieldAccess(EOS(STATIC_4558), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4822)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4582_0_createTree_Load(EOS(STATIC_4582), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611put, o4610put)))
4582_0_createTree_Load(EOS(STATIC_4582), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4591_0_createTree_Store(EOS(STATIC_4591), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4591_0_createTree_Store(EOS(STATIC_4591), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4595_0_createTree_JMP(EOS(STATIC_4595), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4595_0_createTree_JMP(EOS(STATIC_4595), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4601_0_createTree_Inc(EOS(STATIC_4601), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4601_0_createTree_Inc(EOS(STATIC_4601), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4604_0_createTree_Inc(EOS(STATIC_4604), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4604_0_createTree_Inc(EOS(STATIC_4604), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4610_0_createTree_JMP(EOS(STATIC_4610), +(i1283, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) | >(i1283, 0)
4610_0_createTree_JMP(EOS(STATIC_4610), i1680, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4616_0_createTree_Load(EOS(STATIC_4616), i1680, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4616_0_createTree_Load(EOS(STATIC_4616), i1680, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3703_0_createTree_Load(EOS(STATIC_3703), i1680, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3907_0_createTree_FieldAccess(EOS(STATIC_3907), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3924_0_createTree_NONNULL(EOS(STATIC_3924), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), o4611)
3924_0_createTree_NONNULL(EOS(STATIC_3924), i1283, 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)) → 3951_0_createTree_NONNULL(EOS(STATIC_3951), i1283, 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))
3924_0_createTree_NONNULL(EOS(STATIC_3924), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), NULL) → 3952_0_createTree_NONNULL(EOS(STATIC_3952), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), NULL)
3951_0_createTree_NONNULL(EOS(STATIC_3951), i1283, 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)) → 3980_0_createTree_Load(EOS(STATIC_3980), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)))
3980_0_createTree_Load(EOS(STATIC_3980), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610))) → 4016_0_createTree_FieldAccess(EOS(STATIC_4016), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)))
4016_0_createTree_FieldAccess(EOS(STATIC_4016), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610))) → 4059_0_createTree_Store(EOS(STATIC_4059), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub))
4059_0_createTree_Store(EOS(STATIC_4059), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub)) → 4093_0_createTree_Store(EOS(STATIC_4093), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4928sub), o4610)), java.lang.Object(o4928sub))
3952_0_createTree_NONNULL(EOS(STATIC_3952), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), NULL) → 3982_0_createTree_Load(EOS(STATIC_3982), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)))
3982_0_createTree_Load(EOS(STATIC_3982), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610))) → 4018_0_createTree_InvokeMethod(EOS(STATIC_4018), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)))
4018_0_createTree_InvokeMethod(EOS(STATIC_4018), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610))) → 4060_0_createNode_New(EOS(STATIC_4060), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)))
4060_0_createNode_New(EOS(STATIC_4060), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610))) → 4127_0_createNode_Duplicate(EOS(STATIC_4127), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4127_0_createNode_Duplicate(EOS(STATIC_4127), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4160_0_createNode_InvokeMethod(EOS(STATIC_4160), i1283, 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)))
4160_0_createNode_InvokeMethod(EOS(STATIC_4160), i1283, 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))) → 4199_0_<init>_Load(EOS(STATIC_4199), i1283, 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)))
4199_0_<init>_Load(EOS(STATIC_4199), i1283, 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))) → 4233_0_<init>_InvokeMethod(EOS(STATIC_4233), i1283, 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)))
4233_0_<init>_InvokeMethod(EOS(STATIC_4233), i1283, 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))) → 4259_0_<init>_Return(EOS(STATIC_4259), i1283, 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)))
4259_0_<init>_Return(EOS(STATIC_4259), i1283, 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))) → 4290_0_createNode_Store(EOS(STATIC_4290), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4290_0_createNode_Store(EOS(STATIC_4290), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4322_0_createNode_Load(EOS(STATIC_4322), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4322_0_createNode_Load(EOS(STATIC_4322), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4350_0_createNode_New(EOS(STATIC_4350), i1283, 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)))
4350_0_createNode_New(EOS(STATIC_4350), i1283, 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))) → 4382_0_createNode_Duplicate(EOS(STATIC_4382), i1283, 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))
4382_0_createNode_Duplicate(EOS(STATIC_4382), i1283, 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)) → 4412_0_createNode_InvokeMethod(EOS(STATIC_4412), i1283, 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))
4412_0_createNode_InvokeMethod(EOS(STATIC_4412), i1283, 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)) → 4441_0_createNode_FieldAccess(EOS(STATIC_4441), i1283, 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))
4441_0_createNode_FieldAccess(EOS(STATIC_4441), i1283, 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)) → 4474_0_createNode_Load(EOS(STATIC_4474), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4474_0_createNode_Load(EOS(STATIC_4474), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4507_0_createNode_Return(EOS(STATIC_4507), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4507_0_createNode_Return(EOS(STATIC_4507), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4537_0_createTree_FieldAccess(EOS(STATIC_4537), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4537_0_createTree_FieldAccess(EOS(STATIC_4537), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4560_0_createTree_Load(EOS(STATIC_4560), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4610)))
4560_0_createTree_Load(EOS(STATIC_4560), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4610))) → 4582_0_createTree_Load(EOS(STATIC_4582), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4610)))
3893_0_createTree_FieldAccess(EOS(STATIC_3893), i1283, 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))) → 3908_0_createTree_FieldAccess(EOS(STATIC_3908), i1283, 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)))
3908_0_createTree_FieldAccess(EOS(STATIC_3908), i1283, 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))) → 3927_0_createTree_NONNULL(EOS(STATIC_3927), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4800, o4799)), o4800)
3927_0_createTree_NONNULL(EOS(STATIC_3927), i1283, 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)) → 3953_0_createTree_NONNULL(EOS(STATIC_3953), i1283, 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))
3927_0_createTree_NONNULL(EOS(STATIC_3927), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), NULL) → 3954_0_createTree_NONNULL(EOS(STATIC_3954), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), NULL)
3953_0_createTree_NONNULL(EOS(STATIC_3953), i1283, 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)) → 3984_0_createTree_Load(EOS(STATIC_3984), i1283, 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)))
3984_0_createTree_Load(EOS(STATIC_3984), i1283, 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))) → 4020_0_createTree_FieldAccess(EOS(STATIC_4020), i1283, 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)))
4020_0_createTree_FieldAccess(EOS(STATIC_4020), i1283, 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))) → 4062_0_createTree_Store(EOS(STATIC_4062), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(o4929sub))
4062_0_createTree_Store(EOS(STATIC_4062), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(o4929sub)) → 4093_0_createTree_Store(EOS(STATIC_4093), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4929sub), o4799)), o4610)), java.lang.Object(o4929sub))
3954_0_createTree_NONNULL(EOS(STATIC_3954), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), NULL) → 3986_0_createTree_Load(EOS(STATIC_3986), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)))
3986_0_createTree_Load(EOS(STATIC_3986), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799))) → 4022_0_createTree_InvokeMethod(EOS(STATIC_4022), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)))
4022_0_createTree_InvokeMethod(EOS(STATIC_4022), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799))) → 4064_0_createNode_New(EOS(STATIC_4064), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)))
4064_0_createNode_New(EOS(STATIC_4064), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4799))) → 4130_0_createNode_Duplicate(EOS(STATIC_4130), i1283, 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)))
4130_0_createNode_Duplicate(EOS(STATIC_4130), i1283, 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))) → 4163_0_createNode_InvokeMethod(EOS(STATIC_4163), i1283, 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)))
4163_0_createNode_InvokeMethod(EOS(STATIC_4163), i1283, 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))) → 4201_0_<init>_Load(EOS(STATIC_4201), i1283, 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)))
4201_0_<init>_Load(EOS(STATIC_4201), i1283, 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))) → 4236_0_<init>_InvokeMethod(EOS(STATIC_4236), i1283, 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)))
4236_0_<init>_InvokeMethod(EOS(STATIC_4236), i1283, 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))) → 4262_0_<init>_Return(EOS(STATIC_4262), i1283, 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)))
4262_0_<init>_Return(EOS(STATIC_4262), i1283, 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))) → 4293_0_createNode_Store(EOS(STATIC_4293), i1283, 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)))
4293_0_createNode_Store(EOS(STATIC_4293), i1283, 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))) → 4325_0_createNode_Load(EOS(STATIC_4325), i1283, 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)))
4325_0_createNode_Load(EOS(STATIC_4325), i1283, 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))) → 4353_0_createNode_New(EOS(STATIC_4353), i1283, 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)))
4353_0_createNode_New(EOS(STATIC_4353), i1283, 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))) → 4385_0_createNode_Duplicate(EOS(STATIC_4385), i1283, 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))
4385_0_createNode_Duplicate(EOS(STATIC_4385), i1283, 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)) → 4416_0_createNode_InvokeMethod(EOS(STATIC_4416), i1283, 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))
4416_0_createNode_InvokeMethod(EOS(STATIC_4416), i1283, 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)) → 4445_0_createNode_FieldAccess(EOS(STATIC_4445), i1283, 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))
4445_0_createNode_FieldAccess(EOS(STATIC_4445), i1283, 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)) → 4477_0_createNode_Load(EOS(STATIC_4477), i1283, 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)))
4477_0_createNode_Load(EOS(STATIC_4477), i1283, 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))) → 4510_0_createNode_Return(EOS(STATIC_4510), i1283, 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)))
4510_0_createNode_Return(EOS(STATIC_4510), i1283, 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))) → 4539_0_createTree_FieldAccess(EOS(STATIC_4539), i1283, 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)))
4539_0_createTree_FieldAccess(EOS(STATIC_4539), i1283, 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))) → 4562_0_createTree_Load(EOS(STATIC_4562), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4799)), o4610)))
4562_0_createTree_Load(EOS(STATIC_4562), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4799)), o4610))) → 4582_0_createTree_Load(EOS(STATIC_4582), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4799)), o4610)))
3881_0_createTree_FieldAccess(EOS(STATIC_3881), i1283, 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))) → 3894_0_createTree_FieldAccess(EOS(STATIC_3894), i1283, 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)))
3894_0_createTree_FieldAccess(EOS(STATIC_3894), i1283, 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))) → 3910_0_createTree_NONNULL(EOS(STATIC_3910), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4778, o4777)), o4778)
3910_0_createTree_NONNULL(EOS(STATIC_3910), i1283, 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)) → 3928_0_createTree_NONNULL(EOS(STATIC_3928), i1283, 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))
3910_0_createTree_NONNULL(EOS(STATIC_3910), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), NULL) → 3929_0_createTree_NONNULL(EOS(STATIC_3929), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), NULL)
3928_0_createTree_NONNULL(EOS(STATIC_3928), i1283, 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)) → 3955_0_createTree_Load(EOS(STATIC_3955), i1283, 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)))
3955_0_createTree_Load(EOS(STATIC_3955), i1283, 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))) → 3987_0_createTree_FieldAccess(EOS(STATIC_3987), i1283, 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)))
3987_0_createTree_FieldAccess(EOS(STATIC_3987), i1283, 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))) → 4024_0_createTree_Store(EOS(STATIC_4024), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(o4853sub))
4024_0_createTree_Store(EOS(STATIC_4024), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(o4853sub)) → 4093_0_createTree_Store(EOS(STATIC_4093), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4853sub), o4777)))), java.lang.Object(o4853sub))
3929_0_createTree_NONNULL(EOS(STATIC_3929), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)), NULL) → 3957_0_createTree_Load(EOS(STATIC_3957), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))
3957_0_createTree_Load(EOS(STATIC_3957), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777))) → 3988_0_createTree_InvokeMethod(EOS(STATIC_3988), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))
3988_0_createTree_InvokeMethod(EOS(STATIC_3988), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777))) → 4025_0_createNode_New(EOS(STATIC_4025), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))
4025_0_createNode_New(EOS(STATIC_4025), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o4777))) → 4097_0_createNode_Duplicate(EOS(STATIC_4097), i1283, 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)))
4097_0_createNode_Duplicate(EOS(STATIC_4097), i1283, 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))) → 4132_0_createNode_InvokeMethod(EOS(STATIC_4132), i1283, 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)))
4132_0_createNode_InvokeMethod(EOS(STATIC_4132), i1283, 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))) → 4165_0_<init>_Load(EOS(STATIC_4165), i1283, 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)))
4165_0_<init>_Load(EOS(STATIC_4165), i1283, 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))) → 4219_0_<init>_InvokeMethod(EOS(STATIC_4219), i1283, 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)))
4219_0_<init>_InvokeMethod(EOS(STATIC_4219), i1283, 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))) → 4238_0_<init>_Return(EOS(STATIC_4238), i1283, 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)))
4238_0_<init>_Return(EOS(STATIC_4238), i1283, 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))) → 4264_0_createNode_Store(EOS(STATIC_4264), i1283, 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)))
4264_0_createNode_Store(EOS(STATIC_4264), i1283, 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))) → 4294_0_createNode_Load(EOS(STATIC_4294), i1283, 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)))
4294_0_createNode_Load(EOS(STATIC_4294), i1283, 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))) → 4326_0_createNode_New(EOS(STATIC_4326), i1283, 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)))
4326_0_createNode_New(EOS(STATIC_4326), i1283, 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))) → 4355_0_createNode_Duplicate(EOS(STATIC_4355), i1283, 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))
4355_0_createNode_Duplicate(EOS(STATIC_4355), i1283, 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)) → 4387_0_createNode_InvokeMethod(EOS(STATIC_4387), i1283, 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))
4387_0_createNode_InvokeMethod(EOS(STATIC_4387), i1283, 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)) → 4417_0_createNode_FieldAccess(EOS(STATIC_4417), i1283, 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))
4417_0_createNode_FieldAccess(EOS(STATIC_4417), i1283, 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)) → 4447_0_createNode_Load(EOS(STATIC_4447), i1283, 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)))
4447_0_createNode_Load(EOS(STATIC_4447), i1283, 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))) → 4479_0_createNode_Return(EOS(STATIC_4479), i1283, 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)))
4479_0_createNode_Return(EOS(STATIC_4479), i1283, 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))) → 4512_0_createTree_FieldAccess(EOS(STATIC_4512), i1283, 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)))
4512_0_createTree_FieldAccess(EOS(STATIC_4512), i1283, 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))) → 4540_0_createTree_Load(EOS(STATIC_4540), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4777)))))
4540_0_createTree_Load(EOS(STATIC_4540), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4777))))) → 4582_0_createTree_Load(EOS(STATIC_4582), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o4777)))))
3850_0_createTree_LE(EOS(STATIC_3850), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), i1369) → 3861_0_createTree_Load(EOS(STATIC_3861), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) | >(i1369, 0)
3861_0_createTree_Load(EOS(STATIC_3861), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub)) → 3873_0_createTree_FieldAccess(EOS(STATIC_3873), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3873_0_createTree_FieldAccess(EOS(STATIC_3873), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3883_0_createTree_FieldAccess(EOS(STATIC_3883), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3873_0_createTree_FieldAccess(EOS(STATIC_3873), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3884_0_createTree_FieldAccess(EOS(STATIC_3884), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4613sub))), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3883_0_createTree_FieldAccess(EOS(STATIC_3883), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3896_0_createTree_FieldAccess(EOS(STATIC_3896), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3883_0_createTree_FieldAccess(EOS(STATIC_3883), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3897_0_createTree_FieldAccess(EOS(STATIC_3897), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o4613sub), o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3896_0_createTree_FieldAccess(EOS(STATIC_3896), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub)) → 3911_0_createTree_FieldAccess(EOS(STATIC_3911), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4613sub), java.lang.Object(o4613sub))
3896_0_createTree_FieldAccess(EOS(STATIC_3896), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3912_0_createTree_FieldAccess(EOS(STATIC_3912), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3911_0_createTree_FieldAccess(EOS(STATIC_3911), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855))) → 3931_0_createTree_FieldAccess(EOS(STATIC_3931), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)))
3931_0_createTree_FieldAccess(EOS(STATIC_3931), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855))) → 3961_0_createTree_NONNULL(EOS(STATIC_3961), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, o4855)), o4855)
3961_0_createTree_NONNULL(EOS(STATIC_3961), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))), java.lang.Object(o4998sub)) → 3990_0_createTree_NONNULL(EOS(STATIC_3990), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))), java.lang.Object(o4998sub))
3961_0_createTree_NONNULL(EOS(STATIC_3961), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), NULL) → 3991_0_createTree_NONNULL(EOS(STATIC_3991), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), NULL)
3990_0_createTree_NONNULL(EOS(STATIC_3990), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))), java.lang.Object(o4998sub)) → 4028_0_createTree_Load(EOS(STATIC_4028), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))))
4028_0_createTree_Load(EOS(STATIC_4028), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub)))) → 4069_0_createTree_FieldAccess(EOS(STATIC_4069), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub))))
4069_0_createTree_FieldAccess(EOS(STATIC_4069), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, java.lang.Object(o4998sub)))) → 4102_0_createTree_Store(EOS(STATIC_4102), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4102_0_createTree_Store(EOS(STATIC_4102), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4133_0_createTree_JMP(EOS(STATIC_4133), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4133_0_createTree_JMP(EOS(STATIC_4133), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4167_0_createTree_Inc(EOS(STATIC_4167), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4167_0_createTree_Inc(EOS(STATIC_4167), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4203_0_createTree_JMP(EOS(STATIC_4203), +(i1283, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) | >(i1283, 0)
4203_0_createTree_JMP(EOS(STATIC_4203), i1466, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 4222_0_createTree_Load(EOS(STATIC_4222), i1466, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
4222_0_createTree_Load(EOS(STATIC_4222), i1466, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub)) → 3703_0_createTree_Load(EOS(STATIC_3703), i1466, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(o4998sub))
3991_0_createTree_NONNULL(EOS(STATIC_3991), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), NULL) → 4032_0_createTree_Load(EOS(STATIC_4032), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)))
4032_0_createTree_Load(EOS(STATIC_4032), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL))) → 4072_0_createTree_InvokeMethod(EOS(STATIC_4072), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)))
4072_0_createTree_InvokeMethod(EOS(STATIC_4072), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL))) → 4104_0_createNode_New(EOS(STATIC_4104), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)))
4104_0_createNode_New(EOS(STATIC_4104), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL))) → 4173_0_createNode_Duplicate(EOS(STATIC_4173), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4173_0_createNode_Duplicate(EOS(STATIC_4173), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4209_0_createNode_InvokeMethod(EOS(STATIC_4209), i1283, 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)))
4209_0_createNode_InvokeMethod(EOS(STATIC_4209), i1283, 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))) → 4224_0_<init>_Load(EOS(STATIC_4224), i1283, 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)))
4224_0_<init>_Load(EOS(STATIC_4224), i1283, 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))) → 4270_0_<init>_InvokeMethod(EOS(STATIC_4270), i1283, 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)))
4270_0_<init>_InvokeMethod(EOS(STATIC_4270), i1283, 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))) → 4300_0_<init>_Return(EOS(STATIC_4300), i1283, 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)))
4300_0_<init>_Return(EOS(STATIC_4300), i1283, 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))) → 4332_0_createNode_Store(EOS(STATIC_4332), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4332_0_createNode_Store(EOS(STATIC_4332), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4362_0_createNode_Load(EOS(STATIC_4362), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4362_0_createNode_Load(EOS(STATIC_4362), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4392_0_createNode_New(EOS(STATIC_4392), i1283, 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)))
4392_0_createNode_New(EOS(STATIC_4392), i1283, 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))) → 4423_0_createNode_Duplicate(EOS(STATIC_4423), i1283, 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))
4423_0_createNode_Duplicate(EOS(STATIC_4423), i1283, 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)) → 4453_0_createNode_InvokeMethod(EOS(STATIC_4453), i1283, 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))
4453_0_createNode_InvokeMethod(EOS(STATIC_4453), i1283, 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)) → 4485_0_createNode_FieldAccess(EOS(STATIC_4485), i1283, 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))
4485_0_createNode_FieldAccess(EOS(STATIC_4485), i1283, 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)) → 4518_0_createNode_Load(EOS(STATIC_4518), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4518_0_createNode_Load(EOS(STATIC_4518), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4547_0_createNode_Return(EOS(STATIC_4547), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4547_0_createNode_Return(EOS(STATIC_4547), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4568_0_createTree_FieldAccess(EOS(STATIC_4568), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4568_0_createTree_FieldAccess(EOS(STATIC_4568), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4856, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4587_0_createTree_Load(EOS(STATIC_4587), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611put, o4610put)))
4587_0_createTree_Load(EOS(STATIC_4587), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4592_0_createTree_Store(EOS(STATIC_4592), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4592_0_createTree_Store(EOS(STATIC_4592), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4596_0_createTree_JMP(EOS(STATIC_4596), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
4596_0_createTree_JMP(EOS(STATIC_4596), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 4604_0_createTree_Inc(EOS(STATIC_4604), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)))
3912_0_createTree_FieldAccess(EOS(STATIC_3912), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610))) → 3933_0_createTree_NONNULL(EOS(STATIC_3933), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, o4610)), o4610)
3933_0_createTree_NONNULL(EOS(STATIC_3933), i1283, 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)) → 3963_0_createTree_NONNULL(EOS(STATIC_3963), i1283, 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))
3933_0_createTree_NONNULL(EOS(STATIC_3933), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), NULL) → 3964_0_createTree_NONNULL(EOS(STATIC_3964), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), NULL)
3963_0_createTree_NONNULL(EOS(STATIC_3963), i1283, 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)) → 3993_0_createTree_Load(EOS(STATIC_3993), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))))
3993_0_createTree_Load(EOS(STATIC_3993), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub)))) → 4033_0_createTree_FieldAccess(EOS(STATIC_4033), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))))
4033_0_createTree_FieldAccess(EOS(STATIC_4033), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub)))) → 4074_0_createTree_Store(EOS(STATIC_4074), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub))
4074_0_createTree_Store(EOS(STATIC_4074), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub)) → 4102_0_createTree_Store(EOS(STATIC_4102), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(o4962sub))), java.lang.Object(o4962sub))
3964_0_createTree_NONNULL(EOS(STATIC_3964), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), NULL) → 3994_0_createTree_Load(EOS(STATIC_3994), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)))
3994_0_createTree_Load(EOS(STATIC_3994), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL))) → 4035_0_createTree_InvokeMethod(EOS(STATIC_4035), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)))
4035_0_createTree_InvokeMethod(EOS(STATIC_4035), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL))) → 4075_0_createNode_New(EOS(STATIC_4075), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)))
4075_0_createNode_New(EOS(STATIC_4075), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL))) → 4137_0_createNode_Duplicate(EOS(STATIC_4137), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4137_0_createNode_Duplicate(EOS(STATIC_4137), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4176_0_createNode_InvokeMethod(EOS(STATIC_4176), i1283, 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)))
4176_0_createNode_InvokeMethod(EOS(STATIC_4176), i1283, 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))) → 4210_0_<init>_Load(EOS(STATIC_4210), i1283, 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)))
4210_0_<init>_Load(EOS(STATIC_4210), i1283, 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))) → 4241_0_<init>_InvokeMethod(EOS(STATIC_4241), i1283, 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)))
4241_0_<init>_InvokeMethod(EOS(STATIC_4241), i1283, 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))) → 4274_0_<init>_Return(EOS(STATIC_4274), i1283, 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)))
4274_0_<init>_Return(EOS(STATIC_4274), i1283, 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))) → 4303_0_createNode_Store(EOS(STATIC_4303), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4303_0_createNode_Store(EOS(STATIC_4303), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4335_0_createNode_Load(EOS(STATIC_4335), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4335_0_createNode_Load(EOS(STATIC_4335), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4366_0_createNode_New(EOS(STATIC_4366), i1283, 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)))
4366_0_createNode_New(EOS(STATIC_4366), i1283, 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))) → 4396_0_createNode_Duplicate(EOS(STATIC_4396), i1283, 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))
4396_0_createNode_Duplicate(EOS(STATIC_4396), i1283, 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)) → 4426_0_createNode_InvokeMethod(EOS(STATIC_4426), i1283, 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))
4426_0_createNode_InvokeMethod(EOS(STATIC_4426), i1283, 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)) → 4457_0_createNode_FieldAccess(EOS(STATIC_4457), i1283, 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))
4457_0_createNode_FieldAccess(EOS(STATIC_4457), i1283, 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)) → 4490_0_createNode_Load(EOS(STATIC_4490), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4490_0_createNode_Load(EOS(STATIC_4490), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4522_0_createNode_Return(EOS(STATIC_4522), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4522_0_createNode_Return(EOS(STATIC_4522), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4549_0_createTree_FieldAccess(EOS(STATIC_4549), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))
4549_0_createTree_FieldAccess(EOS(STATIC_4549), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) → 4570_0_createTree_Load(EOS(STATIC_4570), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))
4570_0_createTree_Load(EOS(STATIC_4570), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) → 4587_0_createTree_Load(EOS(STATIC_4587), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))
3897_0_createTree_FieldAccess(EOS(STATIC_3897), i1283, 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))) → 3913_0_createTree_FieldAccess(EOS(STATIC_3913), i1283, 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)))
3913_0_createTree_FieldAccess(EOS(STATIC_3913), i1283, 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))) → 3935_0_createTree_NONNULL(EOS(STATIC_3935), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, o4804)), o4804)
3935_0_createTree_NONNULL(EOS(STATIC_3935), i1283, 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)) → 3965_0_createTree_NONNULL(EOS(STATIC_3965), i1283, 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))
3935_0_createTree_NONNULL(EOS(STATIC_3935), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), NULL) → 3966_0_createTree_NONNULL(EOS(STATIC_3966), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), NULL)
3965_0_createTree_NONNULL(EOS(STATIC_3965), i1283, 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)) → 3996_0_createTree_Load(EOS(STATIC_3996), i1283, 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))))
3996_0_createTree_Load(EOS(STATIC_3996), i1283, 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)))) → 4037_0_createTree_FieldAccess(EOS(STATIC_4037), i1283, 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))))
4037_0_createTree_FieldAccess(EOS(STATIC_4037), i1283, 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)))) → 4078_0_createTree_Store(EOS(STATIC_4078), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(o4963sub))
4078_0_createTree_Store(EOS(STATIC_4078), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(o4963sub)) → 4102_0_createTree_Store(EOS(STATIC_4102), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(o4963sub))), o4610)), java.lang.Object(o4963sub))
3966_0_createTree_NONNULL(EOS(STATIC_3966), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), NULL) → 3998_0_createTree_Load(EOS(STATIC_3998), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)))
3998_0_createTree_Load(EOS(STATIC_3998), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL))) → 4039_0_createTree_InvokeMethod(EOS(STATIC_4039), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)))
4039_0_createTree_InvokeMethod(EOS(STATIC_4039), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL))) → 4079_0_createNode_New(EOS(STATIC_4079), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)))
4079_0_createNode_New(EOS(STATIC_4079), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL)), o4610)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, NULL))) → 4141_0_createNode_Duplicate(EOS(STATIC_4141), i1283, 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)))
4141_0_createNode_Duplicate(EOS(STATIC_4141), i1283, 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))) → 4181_0_createNode_InvokeMethod(EOS(STATIC_4181), i1283, 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)))
4181_0_createNode_InvokeMethod(EOS(STATIC_4181), i1283, 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))) → 4211_0_<init>_Load(EOS(STATIC_4211), i1283, 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)))
4211_0_<init>_Load(EOS(STATIC_4211), i1283, 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))) → 4245_0_<init>_InvokeMethod(EOS(STATIC_4245), i1283, 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)))
4245_0_<init>_InvokeMethod(EOS(STATIC_4245), i1283, 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))) → 4277_0_<init>_Return(EOS(STATIC_4277), i1283, 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)))
4277_0_<init>_Return(EOS(STATIC_4277), i1283, 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))) → 4307_0_createNode_Store(EOS(STATIC_4307), i1283, 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)))
4307_0_createNode_Store(EOS(STATIC_4307), i1283, 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))) → 4338_0_createNode_Load(EOS(STATIC_4338), i1283, 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)))
4338_0_createNode_Load(EOS(STATIC_4338), i1283, 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))) → 4372_0_createNode_New(EOS(STATIC_4372), i1283, 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)))
4372_0_createNode_New(EOS(STATIC_4372), i1283, 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))) → 4400_0_createNode_Duplicate(EOS(STATIC_4400), i1283, 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))
4400_0_createNode_Duplicate(EOS(STATIC_4400), i1283, 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)) → 4430_0_createNode_InvokeMethod(EOS(STATIC_4430), i1283, 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))
4430_0_createNode_InvokeMethod(EOS(STATIC_4430), i1283, 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)) → 4461_0_createNode_FieldAccess(EOS(STATIC_4461), i1283, 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))
4461_0_createNode_FieldAccess(EOS(STATIC_4461), i1283, 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)) → 4494_0_createNode_Load(EOS(STATIC_4494), i1283, 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)))
4494_0_createNode_Load(EOS(STATIC_4494), i1283, 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))) → 4526_0_createNode_Return(EOS(STATIC_4526), i1283, 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)))
4526_0_createNode_Return(EOS(STATIC_4526), i1283, 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))) → 4551_0_createTree_FieldAccess(EOS(STATIC_4551), i1283, 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)))
4551_0_createTree_FieldAccess(EOS(STATIC_4551), i1283, 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))) → 4572_0_createTree_Load(EOS(STATIC_4572), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), o4610)))
4572_0_createTree_Load(EOS(STATIC_4572), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), o4610))) → 4587_0_createTree_Load(EOS(STATIC_4587), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4805, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), o4610)))
3884_0_createTree_FieldAccess(EOS(STATIC_3884), i1283, 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))) → 3898_0_createTree_FieldAccess(EOS(STATIC_3898), i1283, 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)))
3898_0_createTree_FieldAccess(EOS(STATIC_3898), i1283, 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))) → 3915_0_createTree_NONNULL(EOS(STATIC_3915), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, o4781)), o4781)
3915_0_createTree_NONNULL(EOS(STATIC_3915), i1283, 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)) → 3937_0_createTree_NONNULL(EOS(STATIC_3937), i1283, 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))
3915_0_createTree_NONNULL(EOS(STATIC_3915), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), NULL) → 3938_0_createTree_NONNULL(EOS(STATIC_3938), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), NULL)
3937_0_createTree_NONNULL(EOS(STATIC_3937), i1283, 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)) → 3967_0_createTree_Load(EOS(STATIC_3967), i1283, 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))))
3967_0_createTree_Load(EOS(STATIC_3967), i1283, 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)))) → 4000_0_createTree_FieldAccess(EOS(STATIC_4000), i1283, 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))))
4000_0_createTree_FieldAccess(EOS(STATIC_4000), i1283, 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)))) → 4041_0_createTree_Store(EOS(STATIC_4041), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(o4886sub))
4041_0_createTree_Store(EOS(STATIC_4041), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(o4886sub)) → 4102_0_createTree_Store(EOS(STATIC_4102), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(o4886sub))))), java.lang.Object(o4886sub))
3938_0_createTree_NONNULL(EOS(STATIC_3938), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)), NULL) → 3969_0_createTree_Load(EOS(STATIC_3969), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))
3969_0_createTree_Load(EOS(STATIC_3969), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL))) → 4001_0_createTree_InvokeMethod(EOS(STATIC_4001), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))
4001_0_createTree_InvokeMethod(EOS(STATIC_4001), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL))) → 4042_0_createNode_New(EOS(STATIC_4042), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))
4042_0_createNode_New(EOS(STATIC_4042), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, NULL))) → 4107_0_createNode_Duplicate(EOS(STATIC_4107), i1283, 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)))
4107_0_createNode_Duplicate(EOS(STATIC_4107), i1283, 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))) → 4143_0_createNode_InvokeMethod(EOS(STATIC_4143), i1283, 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)))
4143_0_createNode_InvokeMethod(EOS(STATIC_4143), i1283, 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))) → 4182_0_<init>_Load(EOS(STATIC_4182), i1283, 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)))
4182_0_<init>_Load(EOS(STATIC_4182), i1283, 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))) → 4226_0_<init>_InvokeMethod(EOS(STATIC_4226), i1283, 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)))
4226_0_<init>_InvokeMethod(EOS(STATIC_4226), i1283, 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))) → 4247_0_<init>_Return(EOS(STATIC_4247), i1283, 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)))
4247_0_<init>_Return(EOS(STATIC_4247), i1283, 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))) → 4279_0_createNode_Store(EOS(STATIC_4279), i1283, 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)))
4279_0_createNode_Store(EOS(STATIC_4279), i1283, 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))) → 4309_0_createNode_Load(EOS(STATIC_4309), i1283, 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)))
4309_0_createNode_Load(EOS(STATIC_4309), i1283, 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))) → 4340_0_createNode_New(EOS(STATIC_4340), i1283, 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)))
4340_0_createNode_New(EOS(STATIC_4340), i1283, 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))) → 4374_0_createNode_Duplicate(EOS(STATIC_4374), i1283, 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))
4374_0_createNode_Duplicate(EOS(STATIC_4374), i1283, 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)) → 4402_0_createNode_InvokeMethod(EOS(STATIC_4402), i1283, 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))
4402_0_createNode_InvokeMethod(EOS(STATIC_4402), i1283, 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)) → 4432_0_createNode_FieldAccess(EOS(STATIC_4432), i1283, 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))
4432_0_createNode_FieldAccess(EOS(STATIC_4432), i1283, 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)) → 4464_0_createNode_Load(EOS(STATIC_4464), i1283, 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)))
4464_0_createNode_Load(EOS(STATIC_4464), i1283, 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))) → 4497_0_createNode_Return(EOS(STATIC_4497), i1283, 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)))
4497_0_createNode_Return(EOS(STATIC_4497), i1283, 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))) → 4528_0_createTree_FieldAccess(EOS(STATIC_4528), i1283, 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)))
4528_0_createTree_FieldAccess(EOS(STATIC_4528), i1283, 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))) → 4552_0_createTree_Load(EOS(STATIC_4552), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))))))
4552_0_createTree_Load(EOS(STATIC_4552), i1283, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4611, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o4782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))))) → 4587_0_createTree_Load(EOS(STATIC_4587), i1283, 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:
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x3), x4)), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(x3), +(x0, -1)) | >(x0, 0)
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x3)), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), +(x0, -1)) | >(x0, 0)
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(x1), +(x0, -1)) | >(x0, 0)
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x1)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, x1)), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x3, java.lang.Object(x4))), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(x4), +(x0, -1)) | >(x0, 0)
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x3, NULL)), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x4, x5)), +(x0, -1)) | >(x0, 0)
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(x0, -1), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(x2), +(x0, -1)) | >(x0, 0)
3709_0_createTree_LE(EOS(STATIC_3709), x0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, x1, NULL)), x0) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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)
3709_0_createTree_LE(EOS(STATIC_3709), 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) → 3709_0_createTree_LE(EOS(STATIC_3709), +(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:

3709_0_createTree_LE(x1, x2, x3, x4, x5) → 3709_0_createTree_LE(x2, x3, x4, x5)
TreeLeftmostDepth.Tree(x1, x2, x3) → TreeLeftmostDepth.Tree(x2, x3)
EOS(x1) → EOS
Cond_3709_0_createTree_LE15(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE15(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE14(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE14(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE13(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE13(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE12(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE12(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE11(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE11(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE10(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE10(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3709_0_createTree_LE9(x1, x3, x4, x5, x6, x7, x8)
Cond_3709_0_createTree_LE8(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE8(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE7(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE7(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE6(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE6(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE5(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE5(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE4(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE4(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE3(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE3(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_3709_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3709_0_createTree_LE1(x1, x3, x4, x5, x6, x7, x8)
Cond_3709_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE(x1, x3, x4, x5, x6)

Filtered duplicate args:

3709_0_createTree_LE(x1, x2, x3, x4) → 3709_0_createTree_LE(x2, x3, x4)
Cond_3709_0_createTree_LE(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE(x1, x3, x4, x5)
Cond_3709_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7) → Cond_3709_0_createTree_LE1(x1, x3, x4, x5, x6, x7)
Cond_3709_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE2(x1, x4, x5)
Cond_3709_0_createTree_LE3(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE3(x1, x4, x5)
Cond_3709_0_createTree_LE4(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE4(x1, x3, x5)
Cond_3709_0_createTree_LE5(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE5(x1, x3, x5)
Cond_3709_0_createTree_LE6(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE6(x1, x3, x5)
Cond_3709_0_createTree_LE7(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE7(x1, x3, x5)
Cond_3709_0_createTree_LE8(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE8(x1, x3, x4, x5)
Cond_3709_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7) → Cond_3709_0_createTree_LE9(x1, x3, x4, x5, x6, x7)
Cond_3709_0_createTree_LE10(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE10(x1, x4, x5)
Cond_3709_0_createTree_LE11(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE11(x1, x4, x5)
Cond_3709_0_createTree_LE12(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE12(x1, x3, x5)
Cond_3709_0_createTree_LE13(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE13(x1, x3, x5)
Cond_3709_0_createTree_LE14(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE14(x1, x3, x5)
Cond_3709_0_createTree_LE15(x1, x2, x3, x4, x5) → Cond_3709_0_createTree_LE15(x1, x3, x5)

Filtered unneeded arguments:

Cond_3709_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE1(x1, x4, x5, x6)
Cond_3709_0_createTree_LE9(x1, x2, x3, x4, x5, x6) → Cond_3709_0_createTree_LE9(x1, x4, x5, x6)

Filtered all non-integer terms:

3709_0_createTree_LE(x1, x2, x3) → 3709_0_createTree_LE(x3)
TreeLeftmostDepth.Tree(x1, x2) → TreeLeftmostDepth.Tree
Cond_3709_0_createTree_LE(x1, x2, x3, x4) → Cond_3709_0_createTree_LE(x1, x4)
Cond_3709_0_createTree_LE2(x1, x2, x3) → Cond_3709_0_createTree_LE2(x1, x3)
Cond_3709_0_createTree_LE3(x1, x2, x3) → Cond_3709_0_createTree_LE3(x1, x3)
Cond_3709_0_createTree_LE4(x1, x2, x3) → Cond_3709_0_createTree_LE4(x1, x3)
Cond_3709_0_createTree_LE5(x1, x2, x3) → Cond_3709_0_createTree_LE5(x1, x3)
Cond_3709_0_createTree_LE6(x1, x2, x3) → Cond_3709_0_createTree_LE6(x1, x3)
Cond_3709_0_createTree_LE7(x1, x2, x3) → Cond_3709_0_createTree_LE7(x1, x3)
Cond_3709_0_createTree_LE8(x1, x2, x3, x4) → Cond_3709_0_createTree_LE8(x1, x4)
Cond_3709_0_createTree_LE10(x1, x2, x3) → Cond_3709_0_createTree_LE10(x1, x3)
Cond_3709_0_createTree_LE11(x1, x2, x3) → Cond_3709_0_createTree_LE11(x1, x3)
Cond_3709_0_createTree_LE12(x1, x2, x3) → Cond_3709_0_createTree_LE12(x1, x3)
Cond_3709_0_createTree_LE13(x1, x2, x3) → Cond_3709_0_createTree_LE13(x1, x3)
Cond_3709_0_createTree_LE14(x1, x2, x3) → Cond_3709_0_createTree_LE14(x1, x3)
Cond_3709_0_createTree_LE15(x1, x2, x3) → Cond_3709_0_createTree_LE15(x1, x3)

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

P rules:
3709_0_createTree_LE(x0) → 3709_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:
3709_0_CREATETREE_LE(x0) → COND_3709_0_CREATETREE_LE(>(x0, 0), x0)
COND_3709_0_CREATETREE_LE(TRUE, x0) → 3709_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): 3709_0_CREATETREE_LE(x0[0]) → COND_3709_0_CREATETREE_LE(x0[0] > 0, x0[0])
(1): COND_3709_0_CREATETREE_LE(TRUE, x0[1]) → 3709_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@22978f81 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 3709_0_CREATETREE_LE(x0) → COND_3709_0_CREATETREE_LE(>(x0, 0), x0) the following chains were created:

We consider the chain 3709_0_CREATETREE_LE(x0[0]) → COND_3709_0_CREATETREE_LE(>(x0[0], 0), x0[0]), COND_3709_0_CREATETREE_LE(TRUE, x0[1]) → 3709_0_CREATETREE_LE(+(x0[1], -1)) which results in the following constraint:
(1)    (>(x0[0], 0)=TRUE∧x0[0]=x0[1] ⇒ 3709_0_CREATETREE_LE(x0[0])≥NonInfC∧3709_0_CREATETREE_LE(x0[0])≥COND_3709_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3709_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 ⇒ 3709_0_CREATETREE_LE(x0[0])≥NonInfC∧3709_0_CREATETREE_LE(x0[0])≥COND_3709_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3709_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_3709_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_3709_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_3709_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_3709_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_3709_0_CREATETREE_LE(TRUE, x0) → 3709_0_CREATETREE_LE(+(x0, -1)) the following chains were created:

We consider the chain COND_3709_0_CREATETREE_LE(TRUE, x0[1]) → 3709_0_CREATETREE_LE(+(x0[1], -1)) which results in the following constraint:
(7)    (COND_3709_0_CREATETREE_LE(TRUE, x0[1])≥NonInfC∧COND_3709_0_CREATETREE_LE(TRUE, x0[1])≥3709_0_CREATETREE_LE(+(x0[1], -1))∧(U^Increasing(3709_0_CREATETREE_LE(+(x0[1], -1))), ≥))

We simplified constraint (7) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(8)    ((U^Increasing(3709_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(3709_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(3709_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(3709_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.

3709_0_CREATETREE_LE(x0) → COND_3709_0_CREATETREE_LE(>(x0, 0), x0)
- (x0[0] ≥ 0 ⇒ (U^Increasing(COND_3709_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_3709_0_CREATETREE_LE(TRUE, x0) → 3709_0_CREATETREE_LE(+(x0, -1))
- ((U^Increasing(3709_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(3709_0_CREATETREE_LE(x₁)) = [2]x₁
POL(COND_3709_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_3709_0_CREATETREE_LE(TRUE, x0[1]) → 3709_0_CREATETREE_LE(+(x0[1], -1))

The following pairs are in P_bound:

3709_0_CREATETREE_LE(x0[0]) → COND_3709_0_CREATETREE_LE(>(x0[0], 0), x0[0])

The following pairs are in P_≥:

3709_0_CREATETREE_LE(x0[0]) → COND_3709_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): 3709_0_CREATETREE_LE(x0[0]) → COND_3709_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_3709_0_CREATETREE_LE(TRUE, x0[1]) → 3709_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:
4590_0_main_FieldAccess(EOS(STATIC_4590), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7143, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7143, o7144))) → 4594_0_main_NULL(EOS(STATIC_4594), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7143, o7144)), o7143)
4594_0_main_NULL(EOS(STATIC_4594), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub)) → 4598_0_main_NULL(EOS(STATIC_4598), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub))
4598_0_main_NULL(EOS(STATIC_4598), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub)) → 4606_0_main_Load(EOS(STATIC_4606), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)))
4606_0_main_Load(EOS(STATIC_4606), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144))) → 4612_0_main_FieldAccess(EOS(STATIC_4612), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)))
4612_0_main_FieldAccess(EOS(STATIC_4612), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144))) → 4617_0_main_Store(EOS(STATIC_4617), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub))
4617_0_main_Store(EOS(STATIC_4617), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub)) → 4618_0_main_Load(EOS(STATIC_4618), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub))
4618_0_main_Load(EOS(STATIC_4618), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub)) → 4620_0_main_FieldAccess(EOS(STATIC_4620), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o7196sub), o7144)), java.lang.Object(o7196sub), java.lang.Object(o7196sub))
4620_0_main_FieldAccess(EOS(STATIC_4620), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263))) → 4621_0_main_FieldAccess(EOS(STATIC_4621), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))
4621_0_main_FieldAccess(EOS(STATIC_4621), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263))) → 4622_0_main_Store(EOS(STATIC_4622), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262)
4622_0_main_Store(EOS(STATIC_4622), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262) → 4623_0_main_Load(EOS(STATIC_4623), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262)
4623_0_main_Load(EOS(STATIC_4623), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262) → 4625_0_main_FieldAccess(EOS(STATIC_4625), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))
4625_0_main_FieldAccess(EOS(STATIC_4625), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263))) → 4626_0_main_Store(EOS(STATIC_4626), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263)
4626_0_main_Store(EOS(STATIC_4626), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263) → 4627_0_main_Load(EOS(STATIC_4627), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263)
4627_0_main_Load(EOS(STATIC_4627), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263) → 4628_0_main_FieldAccess(EOS(STATIC_4628), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)))
4628_0_main_FieldAccess(EOS(STATIC_4628), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144))) → 4630_0_main_Store(EOS(STATIC_4630), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144)
4630_0_main_Store(EOS(STATIC_4630), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144) → 4631_0_main_Load(EOS(STATIC_4631), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144)
4631_0_main_Load(EOS(STATIC_4631), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144) → 4632_0_main_Load(EOS(STATIC_4632), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)))
4632_0_main_Load(EOS(STATIC_4632), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144))) → 4633_0_main_FieldAccess(EOS(STATIC_4633), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))
4633_0_main_FieldAccess(EOS(STATIC_4633), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263))) → 4635_0_main_Load(EOS(STATIC_4635), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144)
4635_0_main_Load(EOS(STATIC_4635), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144) → 4636_0_main_Load(EOS(STATIC_4636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))
4636_0_main_Load(EOS(STATIC_4636), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, o7144, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263))) → 4638_0_main_FieldAccess(EOS(STATIC_4638), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144)
4638_0_main_FieldAccess(EOS(STATIC_4638), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7262, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7263)), o7144) → 4639_0_main_Load(EOS(STATIC_4639), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), o7262, o7263)
4639_0_main_Load(EOS(STATIC_4639), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), o7262, o7263) → 4641_0_main_Load(EOS(STATIC_4641), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)))), o7262, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)))
4641_0_main_Load(EOS(STATIC_4641), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)))), o7262, o7263, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144))) → 4642_0_main_FieldAccess(EOS(STATIC_4642), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)))), o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), o7263)
4642_0_main_FieldAccess(EOS(STATIC_4642), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)))), o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, o7144)), o7263) → 4644_0_main_Load(EOS(STATIC_4644), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), o7262)
4644_0_main_Load(EOS(STATIC_4644), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), o7262) → 4645_0_main_Load(EOS(STATIC_4645), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))))
4645_0_main_Load(EOS(STATIC_4645), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144))))) → 4646_0_main_FieldAccess(EOS(STATIC_4646), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), o7262)
4646_0_main_FieldAccess(EOS(STATIC_4646), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))), o7262) → 4648_0_main_Inc(EOS(STATIC_4648), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))))
4648_0_main_Inc(EOS(STATIC_4648), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144))))) → 4649_0_main_JMP(EOS(STATIC_4649), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))))
4649_0_main_JMP(EOS(STATIC_4649), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144))))) → 4652_0_main_Load(EOS(STATIC_4652), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))))
4652_0_main_Load(EOS(STATIC_4652), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144))))) → 4578_0_main_Load(EOS(STATIC_4578), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7262, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7263, o7144)))))
4578_0_main_Load(EOS(STATIC_4578), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7143, o7144))) → 4590_0_main_FieldAccess(EOS(STATIC_4590), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7143, o7144)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o7143, o7144)))
R rules:

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

P rules:
4590_0_main_FieldAccess(EOS(STATIC_4590), 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))) → 4590_0_main_FieldAccess(EOS(STATIC_4590), 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:

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

Filtered duplicate args:

4590_0_main_FieldAccess(x1, x2) → 4590_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:
4590_0_main_FieldAccess(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0))))) → 4590_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:
4590_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0))))) → 4590_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): 4590_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0[0]))))) → 4590_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:

4590_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(x0[0]))))) → 4590_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:

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

(0) Obligation:

(1) JBCToGraph (SOUND transformation)

(2) Obligation:

(3) TerminationGraphToSCCProof (SOUND transformation)

(4) Complex Obligation (AND)

(5) Obligation:

(6) SCCToIDPv1Proof (SOUND transformation)

(7) Obligation:

(8) IDPNonInfProof (SOUND transformation)

(9) Complex Obligation (AND)

(10) Obligation:

(11) IDependencyGraphProof (EQUIVALENT transformation)

(12) TRUE

(13) Obligation:

(14) IDependencyGraphProof (EQUIVALENT transformation)

(15) TRUE

(16) Obligation:

(17) SCCToIDPv1Proof (SOUND transformation)

(18) Obligation:

(19) IDPtoQDPProof (SOUND transformation)

(20) Obligation:

(21) QDPSizeChangeProof (EQUIVALENT transformation)

(22) YES