Termination of the given JBC could be proven:

(0) Obligation:

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

package TreeLeftmostPath;

public class ObjectList {
  Object value;
  ObjectList next;

  public ObjectList(Object value, ObjectList next) {
    this.value = value;
    this.next = next;
  }

  public static ObjectList createList() {
    ObjectList result = null;
    int length = Random.random();
    while (length > 0) {
      result = new ObjectList(new Object(), result);
      length--;
    }
    return result;
  }
}



package TreeLeftmostPath;

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

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


package TreeLeftmostPath;

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 TreeLeftmostPath;

public class TreeLeftmostPath {
  public static void main(String[] args) {
    Random.args = args;
    Tree tree = Tree.createTree();
    ObjectList result = null;
    while (tree.left != null) {
      /*      t              t
       *     / \            /  \
       *    tl  tr  ==>   tll   tl
       *   /  \                / \
       * tll  tlr            tlr  \tr
       */
      result = new ObjectList(tree.value, result);
      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;
    }
  }
}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

TreeLeftmostPath.Tree.createTree()LTreeLeftmostPath/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: TreeLeftmostPath.Tree.createTree()LTreeLeftmostPath/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:
3710_0_createTree_LE(EOS(STATIC_3710), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1265) → 3714_0_createTree_LE(EOS(STATIC_3714), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1265)
3714_0_createTree_LE(EOS(STATIC_3714), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1265) → 3718_0_createTree_InvokeMethod(EOS(STATIC_3718), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) | >(i1265, 0)
3718_0_createTree_InvokeMethod(EOS(STATIC_3718), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) → 3722_0_random_FieldAccess(EOS(STATIC_3722), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub))
3722_0_random_FieldAccess(EOS(STATIC_3722), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) → 3729_0_random_FieldAccess(EOS(STATIC_3729), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83)))
3729_0_random_FieldAccess(EOS(STATIC_3729), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83))) → 3735_0_random_ArrayAccess(EOS(STATIC_3735), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83)), i1258)
3735_0_random_ArrayAccess(EOS(STATIC_3735), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83)), i1273) → 3739_0_random_ArrayAccess(EOS(STATIC_3739), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83)), i1273)
3739_0_random_ArrayAccess(EOS(STATIC_3739), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83)), i1273) → 3743_0_random_ArrayAccess(EOS(STATIC_3743), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83)), i1273)
3743_0_random_ArrayAccess(EOS(STATIC_3743), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(ARRAY(i83)), i1273) → 3747_0_random_Store(EOS(STATIC_3747), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630) | <(i1273, i83)
3747_0_random_Store(EOS(STATIC_3747), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630) → 3753_0_random_FieldAccess(EOS(STATIC_3753), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630)
3753_0_random_FieldAccess(EOS(STATIC_3753), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630) → 3757_0_random_ConstantStackPush(EOS(STATIC_3757), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630, i1273)
3757_0_random_ConstantStackPush(EOS(STATIC_3757), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630, i1273) → 3762_0_random_IntArithmetic(EOS(STATIC_3762), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630, i1273, 1)
3762_0_random_IntArithmetic(EOS(STATIC_3762), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630, i1273, matching1) → 3768_0_random_FieldAccess(EOS(STATIC_3768), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630, +(i1273, 1)) | &&(>=(i1273, 0), =(matching1, 1))
3768_0_random_FieldAccess(EOS(STATIC_3768), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630, i1282) → 3773_0_random_Load(EOS(STATIC_3773), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630)
3773_0_random_Load(EOS(STATIC_3773), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630) → 3780_0_random_InvokeMethod(EOS(STATIC_3780), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), o4630)
3780_0_random_InvokeMethod(EOS(STATIC_3780), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4661sub)) → 3786_0_random_InvokeMethod(EOS(STATIC_3786), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4661sub))
3786_0_random_InvokeMethod(EOS(STATIC_3786), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4661sub)) → 3791_0_length_Load(EOS(STATIC_3791), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4661sub), java.lang.Object(o4661sub))
3791_0_length_Load(EOS(STATIC_3791), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4661sub), java.lang.Object(o4661sub)) → 3805_0_length_FieldAccess(EOS(STATIC_3805), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4661sub), java.lang.Object(o4661sub))
3805_0_length_FieldAccess(EOS(STATIC_3805), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(java.lang.String(o4673sub, i1314)), java.lang.Object(java.lang.String(o4673sub, i1314))) → 3809_0_length_FieldAccess(EOS(STATIC_3809), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(java.lang.String(o4673sub, i1314)), java.lang.Object(java.lang.String(o4673sub, i1314))) | &&(>=(i1314, 0), >=(i1315, 0))
3809_0_length_FieldAccess(EOS(STATIC_3809), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(java.lang.String(o4673sub, i1314)), java.lang.Object(java.lang.String(o4673sub, i1314))) → 3817_0_length_Return(EOS(STATIC_3817), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(java.lang.String(o4673sub, i1314)), i1314)
3817_0_length_Return(EOS(STATIC_3817), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(java.lang.String(o4673sub, i1314)), i1314) → 3824_0_random_Return(EOS(STATIC_3824), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1314)
3824_0_random_Return(EOS(STATIC_3824), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1314) → 3829_0_createTree_Store(EOS(STATIC_3829), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1314)
3829_0_createTree_Store(EOS(STATIC_3829), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1314) → 3839_0_createTree_Load(EOS(STATIC_3839), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1314)
3839_0_createTree_Load(EOS(STATIC_3839), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1314) → 3856_0_createTree_LE(EOS(STATIC_3856), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1314)
3856_0_createTree_LE(EOS(STATIC_3856), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), matching1) → 3864_0_createTree_LE(EOS(STATIC_3864), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), 0) | =(matching1, 0)
3856_0_createTree_LE(EOS(STATIC_3856), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1352) → 3866_0_createTree_LE(EOS(STATIC_3866), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1352)
3864_0_createTree_LE(EOS(STATIC_3864), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), matching1) → 3876_0_createTree_Load(EOS(STATIC_3876), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) | &&(<=(0, 0), =(matching1, 0))
3876_0_createTree_Load(EOS(STATIC_3876), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) → 3889_0_createTree_FieldAccess(EOS(STATIC_3889), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3889_0_createTree_FieldAccess(EOS(STATIC_3889), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3900_0_createTree_FieldAccess(EOS(STATIC_3900), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3889_0_createTree_FieldAccess(EOS(STATIC_3889), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4596sub))), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3901_0_createTree_FieldAccess(EOS(STATIC_3901), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4596sub))), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3900_0_createTree_FieldAccess(EOS(STATIC_3900), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3916_0_createTree_FieldAccess(EOS(STATIC_3916), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3900_0_createTree_FieldAccess(EOS(STATIC_3900), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4596sub), o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3917_0_createTree_FieldAccess(EOS(STATIC_3917), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4596sub), o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3916_0_createTree_FieldAccess(EOS(STATIC_3916), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3933_0_createTree_FieldAccess(EOS(STATIC_3933), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3916_0_createTree_FieldAccess(EOS(STATIC_3916), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 3934_0_createTree_FieldAccess(EOS(STATIC_3934), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
3933_0_createTree_FieldAccess(EOS(STATIC_3933), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803))) → 3952_0_createTree_FieldAccess(EOS(STATIC_3952), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)))
3952_0_createTree_FieldAccess(EOS(STATIC_3952), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803))) → 3989_0_createTree_NONNULL(EOS(STATIC_3989), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), o4804)
3989_0_createTree_NONNULL(EOS(STATIC_3989), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)), java.lang.Object(o4955sub)) → 4022_0_createTree_NONNULL(EOS(STATIC_4022), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)), java.lang.Object(o4955sub))
3989_0_createTree_NONNULL(EOS(STATIC_3989), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), NULL) → 4023_0_createTree_NONNULL(EOS(STATIC_4023), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), NULL)
4022_0_createTree_NONNULL(EOS(STATIC_4022), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)), java.lang.Object(o4955sub)) → 4057_0_createTree_Load(EOS(STATIC_4057), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)))
4057_0_createTree_Load(EOS(STATIC_4057), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803))) → 4097_0_createTree_FieldAccess(EOS(STATIC_4097), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)))
4097_0_createTree_FieldAccess(EOS(STATIC_4097), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803))) → 4134_0_createTree_Store(EOS(STATIC_4134), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub))
4134_0_createTree_Store(EOS(STATIC_4134), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub)) → 4163_0_createTree_Inc(EOS(STATIC_4163), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub))
4163_0_createTree_Inc(EOS(STATIC_4163), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub)) → 4190_0_createTree_JMP(EOS(STATIC_4190), +(i1265, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub)) | >(i1265, 0)
4190_0_createTree_JMP(EOS(STATIC_4190), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub)) → 4229_0_createTree_Load(EOS(STATIC_4229), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub))
4229_0_createTree_Load(EOS(STATIC_4229), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub)) → 3703_0_createTree_Load(EOS(STATIC_3703), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4955sub))
3703_0_createTree_Load(EOS(STATIC_3703), i1259, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) → 3710_0_createTree_LE(EOS(STATIC_3710), i1259, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1259)
4023_0_createTree_NONNULL(EOS(STATIC_4023), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), NULL) → 4060_0_createTree_Load(EOS(STATIC_4060), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)))
4060_0_createTree_Load(EOS(STATIC_4060), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803))) → 4100_0_createTree_InvokeMethod(EOS(STATIC_4100), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)))
4100_0_createTree_InvokeMethod(EOS(STATIC_4100), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803))) → 4135_0_createNode_New(EOS(STATIC_4135), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)))
4135_0_createNode_New(EOS(STATIC_4135), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803))) → 4195_0_createNode_Duplicate(EOS(STATIC_4195), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4195_0_createNode_Duplicate(EOS(STATIC_4195), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4234_0_createNode_InvokeMethod(EOS(STATIC_4234), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4234_0_createNode_InvokeMethod(EOS(STATIC_4234), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4254_0_<init>_Load(EOS(STATIC_4254), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4254_0_<init>_Load(EOS(STATIC_4254), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4290_0_<init>_InvokeMethod(EOS(STATIC_4290), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4290_0_<init>_InvokeMethod(EOS(STATIC_4290), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4321_0_<init>_Return(EOS(STATIC_4321), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4321_0_<init>_Return(EOS(STATIC_4321), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4350_0_createNode_Store(EOS(STATIC_4350), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4350_0_createNode_Store(EOS(STATIC_4350), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4374_0_createNode_Load(EOS(STATIC_4374), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4374_0_createNode_Load(EOS(STATIC_4374), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4399_0_createNode_New(EOS(STATIC_4399), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4399_0_createNode_New(EOS(STATIC_4399), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4420_0_createNode_Duplicate(EOS(STATIC_4420), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4420_0_createNode_Duplicate(EOS(STATIC_4420), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4440_0_createNode_InvokeMethod(EOS(STATIC_4440), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4440_0_createNode_InvokeMethod(EOS(STATIC_4440), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4461_0_createNode_FieldAccess(EOS(STATIC_4461), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4461_0_createNode_FieldAccess(EOS(STATIC_4461), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4483_0_createNode_Load(EOS(STATIC_4483), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4483_0_createNode_Load(EOS(STATIC_4483), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4503_0_createNode_Return(EOS(STATIC_4503), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4503_0_createNode_Return(EOS(STATIC_4503), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4519_0_createTree_FieldAccess(EOS(STATIC_4519), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4519_0_createTree_FieldAccess(EOS(STATIC_4519), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4535_0_createTree_Load(EOS(STATIC_4535), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594put, o4593put)))
4535_0_createTree_Load(EOS(STATIC_4535), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4542_0_createTree_Store(EOS(STATIC_4542), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
4542_0_createTree_Store(EOS(STATIC_4542), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4546_0_createTree_JMP(EOS(STATIC_4546), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
4546_0_createTree_JMP(EOS(STATIC_4546), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4550_0_createTree_Inc(EOS(STATIC_4550), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
4550_0_createTree_Inc(EOS(STATIC_4550), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4552_0_createTree_Inc(EOS(STATIC_4552), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
4552_0_createTree_Inc(EOS(STATIC_4552), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4556_0_createTree_JMP(EOS(STATIC_4556), +(i1265, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) | >(i1265, 0)
4556_0_createTree_JMP(EOS(STATIC_4556), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4560_0_createTree_Load(EOS(STATIC_4560), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
4560_0_createTree_Load(EOS(STATIC_4560), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 3703_0_createTree_Load(EOS(STATIC_3703), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
3934_0_createTree_FieldAccess(EOS(STATIC_3934), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 3955_0_createTree_NONNULL(EOS(STATIC_3955), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), o4594)
3955_0_createTree_NONNULL(EOS(STATIC_3955), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(o4909sub)) → 3990_0_createTree_NONNULL(EOS(STATIC_3990), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(o4909sub))
3955_0_createTree_NONNULL(EOS(STATIC_3955), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), NULL) → 3991_0_createTree_NONNULL(EOS(STATIC_3991), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), NULL)
3990_0_createTree_NONNULL(EOS(STATIC_3990), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(o4909sub)) → 4025_0_createTree_Load(EOS(STATIC_4025), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)))
4025_0_createTree_Load(EOS(STATIC_4025), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593))) → 4062_0_createTree_FieldAccess(EOS(STATIC_4062), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)))
4062_0_createTree_FieldAccess(EOS(STATIC_4062), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593))) → 4102_0_createTree_Store(EOS(STATIC_4102), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(o4909sub))
4102_0_createTree_Store(EOS(STATIC_4102), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(o4909sub)) → 4134_0_createTree_Store(EOS(STATIC_4134), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4593)), java.lang.Object(o4909sub))
3991_0_createTree_NONNULL(EOS(STATIC_3991), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), NULL) → 4027_0_createTree_Load(EOS(STATIC_4027), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)))
4027_0_createTree_Load(EOS(STATIC_4027), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593))) → 4063_0_createTree_InvokeMethod(EOS(STATIC_4063), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)))
4063_0_createTree_InvokeMethod(EOS(STATIC_4063), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593))) → 4103_0_createNode_New(EOS(STATIC_4103), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)))
4103_0_createNode_New(EOS(STATIC_4103), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593))) → 4166_0_createNode_Duplicate(EOS(STATIC_4166), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4166_0_createNode_Duplicate(EOS(STATIC_4166), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4198_0_createNode_InvokeMethod(EOS(STATIC_4198), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4198_0_createNode_InvokeMethod(EOS(STATIC_4198), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4236_0_<init>_Load(EOS(STATIC_4236), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4236_0_<init>_Load(EOS(STATIC_4236), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4268_0_<init>_InvokeMethod(EOS(STATIC_4268), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4268_0_<init>_InvokeMethod(EOS(STATIC_4268), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4293_0_<init>_Return(EOS(STATIC_4293), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4293_0_<init>_Return(EOS(STATIC_4293), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4324_0_createNode_Store(EOS(STATIC_4324), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4324_0_createNode_Store(EOS(STATIC_4324), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4352_0_createNode_Load(EOS(STATIC_4352), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4352_0_createNode_Load(EOS(STATIC_4352), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4376_0_createNode_New(EOS(STATIC_4376), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4376_0_createNode_New(EOS(STATIC_4376), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4401_0_createNode_Duplicate(EOS(STATIC_4401), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4401_0_createNode_Duplicate(EOS(STATIC_4401), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4422_0_createNode_InvokeMethod(EOS(STATIC_4422), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4422_0_createNode_InvokeMethod(EOS(STATIC_4422), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4442_0_createNode_FieldAccess(EOS(STATIC_4442), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4442_0_createNode_FieldAccess(EOS(STATIC_4442), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4463_0_createNode_Load(EOS(STATIC_4463), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4463_0_createNode_Load(EOS(STATIC_4463), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4484_0_createNode_Return(EOS(STATIC_4484), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4484_0_createNode_Return(EOS(STATIC_4484), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4504_0_createTree_FieldAccess(EOS(STATIC_4504), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4504_0_createTree_FieldAccess(EOS(STATIC_4504), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4520_0_createTree_Load(EOS(STATIC_4520), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4593)))
4520_0_createTree_Load(EOS(STATIC_4520), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4593))) → 4535_0_createTree_Load(EOS(STATIC_4535), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4593)))
3917_0_createTree_FieldAccess(EOS(STATIC_3917), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784))) → 3935_0_createTree_FieldAccess(EOS(STATIC_3935), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)))
3935_0_createTree_FieldAccess(EOS(STATIC_3935), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784))) → 3959_0_createTree_NONNULL(EOS(STATIC_3959), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4785)
3959_0_createTree_NONNULL(EOS(STATIC_3959), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), java.lang.Object(o4910sub)) → 3993_0_createTree_NONNULL(EOS(STATIC_3993), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), java.lang.Object(o4910sub))
3959_0_createTree_NONNULL(EOS(STATIC_3959), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), NULL) → 3994_0_createTree_NONNULL(EOS(STATIC_3994), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), NULL)
3993_0_createTree_NONNULL(EOS(STATIC_3993), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), java.lang.Object(o4910sub)) → 4029_0_createTree_Load(EOS(STATIC_4029), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)))
4029_0_createTree_Load(EOS(STATIC_4029), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784))) → 4065_0_createTree_FieldAccess(EOS(STATIC_4065), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)))
4065_0_createTree_FieldAccess(EOS(STATIC_4065), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784))) → 4105_0_createTree_Store(EOS(STATIC_4105), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(o4910sub))
4105_0_createTree_Store(EOS(STATIC_4105), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(o4910sub)) → 4134_0_createTree_Store(EOS(STATIC_4134), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4593)), java.lang.Object(o4910sub))
3994_0_createTree_NONNULL(EOS(STATIC_3994), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), NULL) → 4031_0_createTree_Load(EOS(STATIC_4031), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)))
4031_0_createTree_Load(EOS(STATIC_4031), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784))) → 4068_0_createTree_InvokeMethod(EOS(STATIC_4068), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)))
4068_0_createTree_InvokeMethod(EOS(STATIC_4068), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784))) → 4106_0_createNode_New(EOS(STATIC_4106), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)))
4106_0_createNode_New(EOS(STATIC_4106), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784))) → 4169_0_createNode_Duplicate(EOS(STATIC_4169), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4169_0_createNode_Duplicate(EOS(STATIC_4169), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4201_0_createNode_InvokeMethod(EOS(STATIC_4201), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4201_0_createNode_InvokeMethod(EOS(STATIC_4201), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4237_0_<init>_Load(EOS(STATIC_4237), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4237_0_<init>_Load(EOS(STATIC_4237), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4272_0_<init>_InvokeMethod(EOS(STATIC_4272), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4272_0_<init>_InvokeMethod(EOS(STATIC_4272), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4296_0_<init>_Return(EOS(STATIC_4296), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4296_0_<init>_Return(EOS(STATIC_4296), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4327_0_createNode_Store(EOS(STATIC_4327), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4327_0_createNode_Store(EOS(STATIC_4327), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4355_0_createNode_Load(EOS(STATIC_4355), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4355_0_createNode_Load(EOS(STATIC_4355), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4379_0_createNode_New(EOS(STATIC_4379), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4379_0_createNode_New(EOS(STATIC_4379), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4403_0_createNode_Duplicate(EOS(STATIC_4403), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4403_0_createNode_Duplicate(EOS(STATIC_4403), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4424_0_createNode_InvokeMethod(EOS(STATIC_4424), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4424_0_createNode_InvokeMethod(EOS(STATIC_4424), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4444_0_createNode_FieldAccess(EOS(STATIC_4444), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4444_0_createNode_FieldAccess(EOS(STATIC_4444), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4466_0_createNode_Load(EOS(STATIC_4466), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4466_0_createNode_Load(EOS(STATIC_4466), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4487_0_createNode_Return(EOS(STATIC_4487), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4487_0_createNode_Return(EOS(STATIC_4487), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4506_0_createTree_FieldAccess(EOS(STATIC_4506), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4506_0_createTree_FieldAccess(EOS(STATIC_4506), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4522_0_createTree_Load(EOS(STATIC_4522), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4784)), o4593)))
4522_0_createTree_Load(EOS(STATIC_4522), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4784)), o4593))) → 4535_0_createTree_Load(EOS(STATIC_4535), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4784)), o4593)))
3901_0_createTree_FieldAccess(EOS(STATIC_3901), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766))) → 3918_0_createTree_FieldAccess(EOS(STATIC_3918), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))
3918_0_createTree_FieldAccess(EOS(STATIC_3918), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766))) → 3937_0_createTree_NONNULL(EOS(STATIC_3937), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), o4767)
3937_0_createTree_NONNULL(EOS(STATIC_3937), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)), java.lang.Object(o4834sub)) → 3960_0_createTree_NONNULL(EOS(STATIC_3960), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)), java.lang.Object(o4834sub))
3937_0_createTree_NONNULL(EOS(STATIC_3937), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), NULL) → 3961_0_createTree_NONNULL(EOS(STATIC_3961), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), NULL)
3960_0_createTree_NONNULL(EOS(STATIC_3960), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)), java.lang.Object(o4834sub)) → 3995_0_createTree_Load(EOS(STATIC_3995), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))
3995_0_createTree_Load(EOS(STATIC_3995), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766))) → 4032_0_createTree_FieldAccess(EOS(STATIC_4032), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))
4032_0_createTree_FieldAccess(EOS(STATIC_4032), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766))) → 4069_0_createTree_Store(EOS(STATIC_4069), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(o4834sub))
4069_0_createTree_Store(EOS(STATIC_4069), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(o4834sub)) → 4134_0_createTree_Store(EOS(STATIC_4134), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(o4834sub))
3961_0_createTree_NONNULL(EOS(STATIC_3961), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), NULL) → 3997_0_createTree_Load(EOS(STATIC_3997), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))
3997_0_createTree_Load(EOS(STATIC_3997), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766))) → 4033_0_createTree_InvokeMethod(EOS(STATIC_4033), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))
4033_0_createTree_InvokeMethod(EOS(STATIC_4033), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766))) → 4070_0_createNode_New(EOS(STATIC_4070), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))
4070_0_createNode_New(EOS(STATIC_4070), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766))) → 4138_0_createNode_Duplicate(EOS(STATIC_4138), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4138_0_createNode_Duplicate(EOS(STATIC_4138), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4171_0_createNode_InvokeMethod(EOS(STATIC_4171), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4171_0_createNode_InvokeMethod(EOS(STATIC_4171), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4202_0_<init>_Load(EOS(STATIC_4202), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4202_0_<init>_Load(EOS(STATIC_4202), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4256_0_<init>_InvokeMethod(EOS(STATIC_4256), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4256_0_<init>_InvokeMethod(EOS(STATIC_4256), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4273_0_<init>_Return(EOS(STATIC_4273), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4273_0_<init>_Return(EOS(STATIC_4273), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4298_0_createNode_Store(EOS(STATIC_4298), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4298_0_createNode_Store(EOS(STATIC_4298), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4329_0_createNode_Load(EOS(STATIC_4329), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4329_0_createNode_Load(EOS(STATIC_4329), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4356_0_createNode_New(EOS(STATIC_4356), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4356_0_createNode_New(EOS(STATIC_4356), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4381_0_createNode_Duplicate(EOS(STATIC_4381), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4381_0_createNode_Duplicate(EOS(STATIC_4381), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4405_0_createNode_InvokeMethod(EOS(STATIC_4405), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4405_0_createNode_InvokeMethod(EOS(STATIC_4405), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4426_0_createNode_FieldAccess(EOS(STATIC_4426), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4426_0_createNode_FieldAccess(EOS(STATIC_4426), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4446_0_createNode_Load(EOS(STATIC_4446), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4446_0_createNode_Load(EOS(STATIC_4446), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4467_0_createNode_Return(EOS(STATIC_4467), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4467_0_createNode_Return(EOS(STATIC_4467), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4488_0_createTree_FieldAccess(EOS(STATIC_4488), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4488_0_createTree_FieldAccess(EOS(STATIC_4488), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4507_0_createTree_Load(EOS(STATIC_4507), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4766)))))
4507_0_createTree_Load(EOS(STATIC_4507), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4766))))) → 4535_0_createTree_Load(EOS(STATIC_4535), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4766)))))
3866_0_createTree_LE(EOS(STATIC_3866), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), i1352) → 3878_0_createTree_Load(EOS(STATIC_3878), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) | >(i1352, 0)
3878_0_createTree_Load(EOS(STATIC_3878), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub)) → 3891_0_createTree_FieldAccess(EOS(STATIC_3891), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3891_0_createTree_FieldAccess(EOS(STATIC_3891), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3903_0_createTree_FieldAccess(EOS(STATIC_3903), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3891_0_createTree_FieldAccess(EOS(STATIC_3891), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4596sub))), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3904_0_createTree_FieldAccess(EOS(STATIC_3904), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4596sub))), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3903_0_createTree_FieldAccess(EOS(STATIC_3903), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3920_0_createTree_FieldAccess(EOS(STATIC_3920), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3903_0_createTree_FieldAccess(EOS(STATIC_3903), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4596sub), o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3921_0_createTree_FieldAccess(EOS(STATIC_3921), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4596sub), o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3920_0_createTree_FieldAccess(EOS(STATIC_3920), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub)) → 3938_0_createTree_FieldAccess(EOS(STATIC_3938), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4596sub), java.lang.Object(o4596sub))
3920_0_createTree_FieldAccess(EOS(STATIC_3920), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 3940_0_createTree_FieldAccess(EOS(STATIC_3940), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
3938_0_createTree_FieldAccess(EOS(STATIC_3938), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836))) → 3964_0_createTree_FieldAccess(EOS(STATIC_3964), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)))
3964_0_createTree_FieldAccess(EOS(STATIC_3964), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836))) → 4004_0_createTree_NONNULL(EOS(STATIC_4004), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), o4836)
4004_0_createTree_NONNULL(EOS(STATIC_4004), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))), java.lang.Object(o4979sub)) → 4035_0_createTree_NONNULL(EOS(STATIC_4035), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))), java.lang.Object(o4979sub))
4004_0_createTree_NONNULL(EOS(STATIC_4004), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), NULL) → 4036_0_createTree_NONNULL(EOS(STATIC_4036), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), NULL)
4035_0_createTree_NONNULL(EOS(STATIC_4035), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))), java.lang.Object(o4979sub)) → 4073_0_createTree_Load(EOS(STATIC_4073), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))))
4073_0_createTree_Load(EOS(STATIC_4073), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub)))) → 4111_0_createTree_FieldAccess(EOS(STATIC_4111), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))))
4111_0_createTree_FieldAccess(EOS(STATIC_4111), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub)))) → 4143_0_createTree_Store(EOS(STATIC_4143), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub))
4143_0_createTree_Store(EOS(STATIC_4143), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub)) → 4172_0_createTree_JMP(EOS(STATIC_4172), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub))
4172_0_createTree_JMP(EOS(STATIC_4172), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub)) → 4204_0_createTree_Inc(EOS(STATIC_4204), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub))
4204_0_createTree_Inc(EOS(STATIC_4204), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub)) → 4239_0_createTree_JMP(EOS(STATIC_4239), +(i1265, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub)) | >(i1265, 0)
4239_0_createTree_JMP(EOS(STATIC_4239), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub)) → 4258_0_createTree_Load(EOS(STATIC_4258), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub))
4258_0_createTree_Load(EOS(STATIC_4258), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub)) → 3703_0_createTree_Load(EOS(STATIC_3703), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(o4979sub))
4036_0_createTree_NONNULL(EOS(STATIC_4036), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), NULL) → 4076_0_createTree_Load(EOS(STATIC_4076), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)))
4076_0_createTree_Load(EOS(STATIC_4076), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL))) → 4114_0_createTree_InvokeMethod(EOS(STATIC_4114), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)))
4114_0_createTree_InvokeMethod(EOS(STATIC_4114), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL))) → 4144_0_createNode_New(EOS(STATIC_4144), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)))
4144_0_createNode_New(EOS(STATIC_4144), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL))) → 4210_0_createNode_Duplicate(EOS(STATIC_4210), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4210_0_createNode_Duplicate(EOS(STATIC_4210), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4245_0_createNode_InvokeMethod(EOS(STATIC_4245), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4245_0_createNode_InvokeMethod(EOS(STATIC_4245), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4260_0_<init>_Load(EOS(STATIC_4260), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4260_0_<init>_Load(EOS(STATIC_4260), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4303_0_<init>_InvokeMethod(EOS(STATIC_4303), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4303_0_<init>_InvokeMethod(EOS(STATIC_4303), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4334_0_<init>_Return(EOS(STATIC_4334), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4334_0_<init>_Return(EOS(STATIC_4334), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4361_0_createNode_Store(EOS(STATIC_4361), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4361_0_createNode_Store(EOS(STATIC_4361), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4385_0_createNode_Load(EOS(STATIC_4385), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4385_0_createNode_Load(EOS(STATIC_4385), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4408_0_createNode_New(EOS(STATIC_4408), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4408_0_createNode_New(EOS(STATIC_4408), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4429_0_createNode_Duplicate(EOS(STATIC_4429), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4429_0_createNode_Duplicate(EOS(STATIC_4429), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4449_0_createNode_InvokeMethod(EOS(STATIC_4449), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4449_0_createNode_InvokeMethod(EOS(STATIC_4449), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4471_0_createNode_FieldAccess(EOS(STATIC_4471), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4471_0_createNode_FieldAccess(EOS(STATIC_4471), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4492_0_createNode_Load(EOS(STATIC_4492), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4492_0_createNode_Load(EOS(STATIC_4492), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4511_0_createNode_Return(EOS(STATIC_4511), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4511_0_createNode_Return(EOS(STATIC_4511), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4526_0_createTree_FieldAccess(EOS(STATIC_4526), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4526_0_createTree_FieldAccess(EOS(STATIC_4526), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4538_0_createTree_Load(EOS(STATIC_4538), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594put, o4593put)))
4538_0_createTree_Load(EOS(STATIC_4538), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4543_0_createTree_Store(EOS(STATIC_4543), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
4543_0_createTree_Store(EOS(STATIC_4543), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4547_0_createTree_JMP(EOS(STATIC_4547), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
4547_0_createTree_JMP(EOS(STATIC_4547), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 4552_0_createTree_Inc(EOS(STATIC_4552), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)))
3940_0_createTree_FieldAccess(EOS(STATIC_3940), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593))) → 3967_0_createTree_NONNULL(EOS(STATIC_3967), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, o4593)), o4593)
3967_0_createTree_NONNULL(EOS(STATIC_3967), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(o4943sub)) → 4006_0_createTree_NONNULL(EOS(STATIC_4006), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(o4943sub))
3967_0_createTree_NONNULL(EOS(STATIC_3967), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), NULL) → 4007_0_createTree_NONNULL(EOS(STATIC_4007), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), NULL)
4006_0_createTree_NONNULL(EOS(STATIC_4006), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(o4943sub)) → 4038_0_createTree_Load(EOS(STATIC_4038), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))))
4038_0_createTree_Load(EOS(STATIC_4038), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub)))) → 4078_0_createTree_FieldAccess(EOS(STATIC_4078), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))))
4078_0_createTree_FieldAccess(EOS(STATIC_4078), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub)))) → 4116_0_createTree_Store(EOS(STATIC_4116), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(o4943sub))
4116_0_createTree_Store(EOS(STATIC_4116), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(o4943sub)) → 4143_0_createTree_Store(EOS(STATIC_4143), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(o4943sub))), java.lang.Object(o4943sub))
4007_0_createTree_NONNULL(EOS(STATIC_4007), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), NULL) → 4040_0_createTree_Load(EOS(STATIC_4040), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)))
4040_0_createTree_Load(EOS(STATIC_4040), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL))) → 4080_0_createTree_InvokeMethod(EOS(STATIC_4080), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)))
4080_0_createTree_InvokeMethod(EOS(STATIC_4080), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL))) → 4118_0_createNode_New(EOS(STATIC_4118), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)))
4118_0_createNode_New(EOS(STATIC_4118), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL))) → 4176_0_createNode_Duplicate(EOS(STATIC_4176), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4176_0_createNode_Duplicate(EOS(STATIC_4176), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4213_0_createNode_InvokeMethod(EOS(STATIC_4213), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4213_0_createNode_InvokeMethod(EOS(STATIC_4213), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4246_0_<init>_Load(EOS(STATIC_4246), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4246_0_<init>_Load(EOS(STATIC_4246), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4277_0_<init>_InvokeMethod(EOS(STATIC_4277), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4277_0_<init>_InvokeMethod(EOS(STATIC_4277), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4307_0_<init>_Return(EOS(STATIC_4307), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4307_0_<init>_Return(EOS(STATIC_4307), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4337_0_createNode_Store(EOS(STATIC_4337), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4337_0_createNode_Store(EOS(STATIC_4337), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4364_0_createNode_Load(EOS(STATIC_4364), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4364_0_createNode_Load(EOS(STATIC_4364), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4388_0_createNode_New(EOS(STATIC_4388), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4388_0_createNode_New(EOS(STATIC_4388), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4411_0_createNode_Duplicate(EOS(STATIC_4411), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4411_0_createNode_Duplicate(EOS(STATIC_4411), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4431_0_createNode_InvokeMethod(EOS(STATIC_4431), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4431_0_createNode_InvokeMethod(EOS(STATIC_4431), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4452_0_createNode_FieldAccess(EOS(STATIC_4452), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4452_0_createNode_FieldAccess(EOS(STATIC_4452), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4473_0_createNode_Load(EOS(STATIC_4473), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4473_0_createNode_Load(EOS(STATIC_4473), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4494_0_createNode_Return(EOS(STATIC_4494), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4494_0_createNode_Return(EOS(STATIC_4494), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4512_0_createTree_FieldAccess(EOS(STATIC_4512), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4512_0_createTree_FieldAccess(EOS(STATIC_4512), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4528_0_createTree_Load(EOS(STATIC_4528), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))))
4528_0_createTree_Load(EOS(STATIC_4528), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) → 4538_0_createTree_Load(EOS(STATIC_4538), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))))
3921_0_createTree_FieldAccess(EOS(STATIC_3921), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789))) → 3941_0_createTree_FieldAccess(EOS(STATIC_3941), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)))
3941_0_createTree_FieldAccess(EOS(STATIC_3941), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789))) → 3971_0_createTree_NONNULL(EOS(STATIC_3971), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4789)
3971_0_createTree_NONNULL(EOS(STATIC_3971), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), java.lang.Object(o4944sub)) → 4008_0_createTree_NONNULL(EOS(STATIC_4008), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), java.lang.Object(o4944sub))
3971_0_createTree_NONNULL(EOS(STATIC_3971), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), NULL) → 4009_0_createTree_NONNULL(EOS(STATIC_4009), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), NULL)
4008_0_createTree_NONNULL(EOS(STATIC_4008), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), java.lang.Object(o4944sub)) → 4042_0_createTree_Load(EOS(STATIC_4042), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))))
4042_0_createTree_Load(EOS(STATIC_4042), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub)))) → 4082_0_createTree_FieldAccess(EOS(STATIC_4082), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))))
4082_0_createTree_FieldAccess(EOS(STATIC_4082), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub)))) → 4120_0_createTree_Store(EOS(STATIC_4120), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(o4944sub))
4120_0_createTree_Store(EOS(STATIC_4120), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(o4944sub)) → 4143_0_createTree_Store(EOS(STATIC_4143), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4593)), java.lang.Object(o4944sub))
4009_0_createTree_NONNULL(EOS(STATIC_4009), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), NULL) → 4044_0_createTree_Load(EOS(STATIC_4044), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)))
4044_0_createTree_Load(EOS(STATIC_4044), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL))) → 4084_0_createTree_InvokeMethod(EOS(STATIC_4084), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)))
4084_0_createTree_InvokeMethod(EOS(STATIC_4084), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL))) → 4121_0_createNode_New(EOS(STATIC_4121), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)))
4121_0_createNode_New(EOS(STATIC_4121), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL))) → 4179_0_createNode_Duplicate(EOS(STATIC_4179), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4179_0_createNode_Duplicate(EOS(STATIC_4179), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4217_0_createNode_InvokeMethod(EOS(STATIC_4217), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4217_0_createNode_InvokeMethod(EOS(STATIC_4217), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4247_0_<init>_Load(EOS(STATIC_4247), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4247_0_<init>_Load(EOS(STATIC_4247), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4280_0_<init>_InvokeMethod(EOS(STATIC_4280), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4280_0_<init>_InvokeMethod(EOS(STATIC_4280), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4311_0_<init>_Return(EOS(STATIC_4311), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4311_0_<init>_Return(EOS(STATIC_4311), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4340_0_createNode_Store(EOS(STATIC_4340), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4340_0_createNode_Store(EOS(STATIC_4340), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4367_0_createNode_Load(EOS(STATIC_4367), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4367_0_createNode_Load(EOS(STATIC_4367), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4391_0_createNode_New(EOS(STATIC_4391), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4391_0_createNode_New(EOS(STATIC_4391), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4414_0_createNode_Duplicate(EOS(STATIC_4414), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4414_0_createNode_Duplicate(EOS(STATIC_4414), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4434_0_createNode_InvokeMethod(EOS(STATIC_4434), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4434_0_createNode_InvokeMethod(EOS(STATIC_4434), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4454_0_createNode_FieldAccess(EOS(STATIC_4454), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4454_0_createNode_FieldAccess(EOS(STATIC_4454), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4476_0_createNode_Load(EOS(STATIC_4476), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4476_0_createNode_Load(EOS(STATIC_4476), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4497_0_createNode_Return(EOS(STATIC_4497), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4497_0_createNode_Return(EOS(STATIC_4497), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4514_0_createTree_FieldAccess(EOS(STATIC_4514), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4514_0_createTree_FieldAccess(EOS(STATIC_4514), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4593)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4530_0_createTree_Load(EOS(STATIC_4530), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), o4593)))
4530_0_createTree_Load(EOS(STATIC_4530), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), o4593))) → 4538_0_createTree_Load(EOS(STATIC_4538), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), o4593)))
3904_0_createTree_FieldAccess(EOS(STATIC_3904), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770))) → 3922_0_createTree_FieldAccess(EOS(STATIC_3922), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))
3922_0_createTree_FieldAccess(EOS(STATIC_3922), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770))) → 3943_0_createTree_NONNULL(EOS(STATIC_3943), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), o4770)
3943_0_createTree_NONNULL(EOS(STATIC_3943), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))), java.lang.Object(o4867sub)) → 3972_0_createTree_NONNULL(EOS(STATIC_3972), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))), java.lang.Object(o4867sub))
3943_0_createTree_NONNULL(EOS(STATIC_3943), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), NULL) → 3974_0_createTree_NONNULL(EOS(STATIC_3974), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), NULL)
3972_0_createTree_NONNULL(EOS(STATIC_3972), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))), java.lang.Object(o4867sub)) → 4010_0_createTree_Load(EOS(STATIC_4010), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))
4010_0_createTree_Load(EOS(STATIC_4010), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub)))) → 4045_0_createTree_FieldAccess(EOS(STATIC_4045), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))
4045_0_createTree_FieldAccess(EOS(STATIC_4045), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub)))) → 4085_0_createTree_Store(EOS(STATIC_4085), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(o4867sub))
4085_0_createTree_Store(EOS(STATIC_4085), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(o4867sub)) → 4143_0_createTree_Store(EOS(STATIC_4143), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(o4867sub))
3974_0_createTree_NONNULL(EOS(STATIC_3974), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), NULL) → 4012_0_createTree_Load(EOS(STATIC_4012), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))
4012_0_createTree_Load(EOS(STATIC_4012), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL))) → 4046_0_createTree_InvokeMethod(EOS(STATIC_4046), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))
4046_0_createTree_InvokeMethod(EOS(STATIC_4046), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL))) → 4087_0_createNode_New(EOS(STATIC_4087), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))
4087_0_createNode_New(EOS(STATIC_4087), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL))) → 4147_0_createNode_Duplicate(EOS(STATIC_4147), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4147_0_createNode_Duplicate(EOS(STATIC_4147), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4182_0_createNode_InvokeMethod(EOS(STATIC_4182), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4182_0_createNode_InvokeMethod(EOS(STATIC_4182), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4218_0_<init>_Load(EOS(STATIC_4218), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4218_0_<init>_Load(EOS(STATIC_4218), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4262_0_<init>_InvokeMethod(EOS(STATIC_4262), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4262_0_<init>_InvokeMethod(EOS(STATIC_4262), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4282_0_<init>_Return(EOS(STATIC_4282), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4282_0_<init>_Return(EOS(STATIC_4282), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4313_0_createNode_Store(EOS(STATIC_4313), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4313_0_createNode_Store(EOS(STATIC_4313), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4342_0_createNode_Load(EOS(STATIC_4342), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4342_0_createNode_Load(EOS(STATIC_4342), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4369_0_createNode_New(EOS(STATIC_4369), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4369_0_createNode_New(EOS(STATIC_4369), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4394_0_createNode_Duplicate(EOS(STATIC_4394), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4394_0_createNode_Duplicate(EOS(STATIC_4394), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4415_0_createNode_InvokeMethod(EOS(STATIC_4415), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4415_0_createNode_InvokeMethod(EOS(STATIC_4415), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4436_0_createNode_FieldAccess(EOS(STATIC_4436), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4436_0_createNode_FieldAccess(EOS(STATIC_4436), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4456_0_createNode_Load(EOS(STATIC_4456), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4456_0_createNode_Load(EOS(STATIC_4456), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4478_0_createNode_Return(EOS(STATIC_4478), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4478_0_createNode_Return(EOS(STATIC_4478), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4498_0_createTree_FieldAccess(EOS(STATIC_4498), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4498_0_createTree_FieldAccess(EOS(STATIC_4498), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4515_0_createTree_Load(EOS(STATIC_4515), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))))))
4515_0_createTree_Load(EOS(STATIC_4515), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))))) → 4538_0_createTree_Load(EOS(STATIC_4538), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4594, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))))))
R rules:

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

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

Filtered ground terms:

3710_0_createTree_LE(x1, x2, x3, x4, x5) → 3710_0_createTree_LE(x2, x3, x4, x5)
TreeLeftmostPath.Tree(x1, x2, x3) → TreeLeftmostPath.Tree(x2, x3)
EOS(x1) → EOS
Cond_3710_0_createTree_LE15(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE15(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE14(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE14(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE13(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE13(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE12(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE12(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE11(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE11(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE10(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE10(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3710_0_createTree_LE9(x1, x3, x4, x5, x6, x7, x8)
Cond_3710_0_createTree_LE8(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE8(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE7(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE7(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE6(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE6(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE5(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE5(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE4(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE4(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE3(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE3(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_3710_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3710_0_createTree_LE1(x1, x3, x4, x5, x6, x7, x8)
Cond_3710_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE(x1, x3, x4, x5, x6)

Filtered duplicate args:

3710_0_createTree_LE(x1, x2, x3, x4) → 3710_0_createTree_LE(x2, x3, x4)
Cond_3710_0_createTree_LE(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE(x1, x3, x4, x5)
Cond_3710_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7) → Cond_3710_0_createTree_LE1(x1, x3, x4, x5, x6, x7)
Cond_3710_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE2(x1, x4, x5)
Cond_3710_0_createTree_LE3(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE3(x1, x4, x5)
Cond_3710_0_createTree_LE4(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE4(x1, x3, x5)
Cond_3710_0_createTree_LE5(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE5(x1, x3, x5)
Cond_3710_0_createTree_LE6(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE6(x1, x3, x5)
Cond_3710_0_createTree_LE7(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE7(x1, x3, x5)
Cond_3710_0_createTree_LE8(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE8(x1, x3, x4, x5)
Cond_3710_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7) → Cond_3710_0_createTree_LE9(x1, x3, x4, x5, x6, x7)
Cond_3710_0_createTree_LE10(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE10(x1, x4, x5)
Cond_3710_0_createTree_LE11(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE11(x1, x4, x5)
Cond_3710_0_createTree_LE12(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE12(x1, x3, x5)
Cond_3710_0_createTree_LE13(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE13(x1, x3, x5)
Cond_3710_0_createTree_LE14(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE14(x1, x3, x5)
Cond_3710_0_createTree_LE15(x1, x2, x3, x4, x5) → Cond_3710_0_createTree_LE15(x1, x3, x5)

Filtered unneeded arguments:

Cond_3710_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE1(x1, x4, x5, x6)
Cond_3710_0_createTree_LE9(x1, x2, x3, x4, x5, x6) → Cond_3710_0_createTree_LE9(x1, x4, x5, x6)

Filtered all non-integer terms:

3710_0_createTree_LE(x1, x2, x3) → 3710_0_createTree_LE(x3)
TreeLeftmostPath.Tree(x1, x2) → TreeLeftmostPath.Tree
Cond_3710_0_createTree_LE(x1, x2, x3, x4) → Cond_3710_0_createTree_LE(x1, x4)
Cond_3710_0_createTree_LE2(x1, x2, x3) → Cond_3710_0_createTree_LE2(x1, x3)
Cond_3710_0_createTree_LE3(x1, x2, x3) → Cond_3710_0_createTree_LE3(x1, x3)
Cond_3710_0_createTree_LE4(x1, x2, x3) → Cond_3710_0_createTree_LE4(x1, x3)
Cond_3710_0_createTree_LE5(x1, x2, x3) → Cond_3710_0_createTree_LE5(x1, x3)
Cond_3710_0_createTree_LE6(x1, x2, x3) → Cond_3710_0_createTree_LE6(x1, x3)
Cond_3710_0_createTree_LE7(x1, x2, x3) → Cond_3710_0_createTree_LE7(x1, x3)
Cond_3710_0_createTree_LE8(x1, x2, x3, x4) → Cond_3710_0_createTree_LE8(x1, x4)
Cond_3710_0_createTree_LE10(x1, x2, x3) → Cond_3710_0_createTree_LE10(x1, x3)
Cond_3710_0_createTree_LE11(x1, x2, x3) → Cond_3710_0_createTree_LE11(x1, x3)
Cond_3710_0_createTree_LE12(x1, x2, x3) → Cond_3710_0_createTree_LE12(x1, x3)
Cond_3710_0_createTree_LE13(x1, x2, x3) → Cond_3710_0_createTree_LE13(x1, x3)
Cond_3710_0_createTree_LE14(x1, x2, x3) → Cond_3710_0_createTree_LE14(x1, x3)
Cond_3710_0_createTree_LE15(x1, x2, x3) → Cond_3710_0_createTree_LE15(x1, x3)

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

P rules:
3710_0_createTree_LE(x0) → 3710_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:
3710_0_CREATETREE_LE(x0) → COND_3710_0_CREATETREE_LE(>(x0, 0), x0)
COND_3710_0_CREATETREE_LE(TRUE, x0) → 3710_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): 3710_0_CREATETREE_LE(x0[0]) → COND_3710_0_CREATETREE_LE(x0[0] > 0, x0[0])
(1): COND_3710_0_CREATETREE_LE(TRUE, x0[1]) → 3710_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@3df427e 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 3710_0_CREATETREE_LE(x0) → COND_3710_0_CREATETREE_LE(>(x0, 0), x0) the following chains were created:

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

  (1)    (>(x0[0], 0)=TRUE∧x0[0]=x0[1] ⇒ 3710_0_CREATETREE_LE(x0[0])≥NonInfC∧3710_0_CREATETREE_LE(x0[0])≥COND_3710_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3710_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 ⇒ 3710_0_CREATETREE_LE(x0[0])≥NonInfC∧3710_0_CREATETREE_LE(x0[0])≥COND_3710_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3710_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_3710_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_3710_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_3710_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_3710_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_3710_0_CREATETREE_LE(TRUE, x0) → 3710_0_CREATETREE_LE(+(x0, -1)) the following chains were created:

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

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

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

  (8)    ((U^Increasing(3710_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(3710_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(3710_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(3710_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.

• 3710_0_CREATETREE_LE(x0) → COND_3710_0_CREATETREE_LE(>(x0, 0), x0)
  
  • (x0[0] ≥ 0 ⇒ (U^Increasing(COND_3710_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_3710_0_CREATETREE_LE(TRUE, x0) → 3710_0_CREATETREE_LE(+(x0, -1))
  
  • ((U^Increasing(3710_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(3710_0_CREATETREE_LE(x₁)) = [2]x₁   
POL(COND_3710_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_3710_0_CREATETREE_LE(TRUE, x0[1]) → 3710_0_CREATETREE_LE(+(x0[1], -1))

The following pairs are in P_bound:

3710_0_CREATETREE_LE(x0[0]) → COND_3710_0_CREATETREE_LE(>(x0[0], 0), x0[0])

The following pairs are in P_≥:

3710_0_CREATETREE_LE(x0[0]) → COND_3710_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): 3710_0_CREATETREE_LE(x0[0]) → COND_3710_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_3710_0_CREATETREE_LE(TRUE, x0[1]) → 3710_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: TreeLeftmostPath.TreeLeftmostPath.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 47 rules for P and 0 rules for R.

P rules:
3860_0_main_FieldAccess(EOS(STATIC_3860), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4704, java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4704, java.lang.Object(EOC), o4705))) → 3873_0_main_NULL(EOS(STATIC_3873), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4704, java.lang.Object(EOC), o4705)), o4704)
3873_0_main_NULL(EOS(STATIC_3873), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub)) → 3884_0_main_NULL(EOS(STATIC_3884), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub))
3884_0_main_NULL(EOS(STATIC_3884), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub)) → 3895_0_main_New(EOS(STATIC_3895), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
3895_0_main_New(EOS(STATIC_3895), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 3911_0_main_Duplicate(EOS(STATIC_3911), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
3911_0_main_Duplicate(EOS(STATIC_3911), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 3929_0_main_Load(EOS(STATIC_3929), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
3929_0_main_Load(EOS(STATIC_3929), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 3948_0_main_FieldAccess(EOS(STATIC_3948), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
3948_0_main_FieldAccess(EOS(STATIC_3948), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 3980_0_main_Load(EOS(STATIC_3980), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
3980_0_main_Load(EOS(STATIC_3980), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4018_0_main_InvokeMethod(EOS(STATIC_4018), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4018_0_main_InvokeMethod(EOS(STATIC_4018), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4052_0_<init>_Load(EOS(STATIC_4052), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4052_0_<init>_Load(EOS(STATIC_4052), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4128_0_<init>_InvokeMethod(EOS(STATIC_4128), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4128_0_<init>_InvokeMethod(EOS(STATIC_4128), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4153_0_<init>_Load(EOS(STATIC_4153), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4153_0_<init>_Load(EOS(STATIC_4153), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4187_0_<init>_Load(EOS(STATIC_4187), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4187_0_<init>_Load(EOS(STATIC_4187), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4225_0_<init>_FieldAccess(EOS(STATIC_4225), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4225_0_<init>_FieldAccess(EOS(STATIC_4225), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4252_0_<init>_Load(EOS(STATIC_4252), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4252_0_<init>_Load(EOS(STATIC_4252), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4266_0_<init>_Load(EOS(STATIC_4266), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4266_0_<init>_Load(EOS(STATIC_4266), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4285_0_<init>_FieldAccess(EOS(STATIC_4285), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4285_0_<init>_FieldAccess(EOS(STATIC_4285), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4316_0_<init>_Return(EOS(STATIC_4316), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4316_0_<init>_Return(EOS(STATIC_4316), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4346_0_main_Store(EOS(STATIC_4346), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4346_0_main_Store(EOS(STATIC_4346), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4370_0_main_Load(EOS(STATIC_4370), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4370_0_main_Load(EOS(STATIC_4370), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4395_0_main_FieldAccess(EOS(STATIC_4395), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)))
4395_0_main_FieldAccess(EOS(STATIC_4395), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705))) → 4417_0_main_Store(EOS(STATIC_4417), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub))
4417_0_main_Store(EOS(STATIC_4417), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub)) → 4437_0_main_Load(EOS(STATIC_4437), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub))
4437_0_main_Load(EOS(STATIC_4437), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub)) → 4458_0_main_FieldAccess(EOS(STATIC_4458), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4705)), java.lang.Object(o4746sub), java.lang.Object(o4746sub))
4458_0_main_FieldAccess(EOS(STATIC_4458), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4479_0_main_FieldAccess(EOS(STATIC_4479), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4479_0_main_FieldAccess(EOS(STATIC_4479), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4500_0_main_Store(EOS(STATIC_4500), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799)
4500_0_main_Store(EOS(STATIC_4500), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799) → 4517_0_main_Load(EOS(STATIC_4517), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799)
4517_0_main_Load(EOS(STATIC_4517), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799) → 4532_0_main_FieldAccess(EOS(STATIC_4532), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4532_0_main_FieldAccess(EOS(STATIC_4532), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4541_0_main_Store(EOS(STATIC_4541), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800)
4541_0_main_Store(EOS(STATIC_4541), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800) → 4544_0_main_Load(EOS(STATIC_4544), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800)
4544_0_main_Load(EOS(STATIC_4544), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800) → 4548_0_main_FieldAccess(EOS(STATIC_4548), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)))
4548_0_main_FieldAccess(EOS(STATIC_4548), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705))) → 4553_0_main_Store(EOS(STATIC_4553), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705)
4553_0_main_Store(EOS(STATIC_4553), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705) → 4557_0_main_Load(EOS(STATIC_4557), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705)
4557_0_main_Load(EOS(STATIC_4557), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705) → 4561_0_main_Load(EOS(STATIC_4561), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)))
4561_0_main_Load(EOS(STATIC_4561), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705))) → 4562_0_main_FieldAccess(EOS(STATIC_4562), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4562_0_main_FieldAccess(EOS(STATIC_4562), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4564_0_main_Load(EOS(STATIC_4564), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705)
4564_0_main_Load(EOS(STATIC_4564), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705) → 4565_0_main_Load(EOS(STATIC_4565), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4565_0_main_Load(EOS(STATIC_4565), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4705, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4566_0_main_FieldAccess(EOS(STATIC_4566), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o4705)
4566_0_main_FieldAccess(EOS(STATIC_4566), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o4705) → 4568_0_main_Load(EOS(STATIC_4568), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), o6799, o6800)
4568_0_main_Load(EOS(STATIC_4568), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), o6799, o6800) → 4569_0_main_Load(EOS(STATIC_4569), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)))), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)))
4569_0_main_Load(EOS(STATIC_4569), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)))), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705))) → 4571_0_main_FieldAccess(EOS(STATIC_4571), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), o6800)
4571_0_main_FieldAccess(EOS(STATIC_4571), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4705)), o6800) → 4572_0_main_Load(EOS(STATIC_4572), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), o6799)
4572_0_main_Load(EOS(STATIC_4572), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), o6799) → 4573_0_main_Load(EOS(STATIC_4573), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))))
4573_0_main_Load(EOS(STATIC_4573), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705))))) → 4575_0_main_FieldAccess(EOS(STATIC_4575), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), o6799)
4575_0_main_FieldAccess(EOS(STATIC_4575), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))), o6799) → 4576_0_main_JMP(EOS(STATIC_4576), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))))
4576_0_main_JMP(EOS(STATIC_4576), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705))))) → 4580_0_main_Load(EOS(STATIC_4580), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))))
4580_0_main_Load(EOS(STATIC_4580), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705))))) → 3851_0_main_Load(EOS(STATIC_3851), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4705)))))
3851_0_main_Load(EOS(STATIC_3851), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4704, java.lang.Object(EOC), o4705))) → 3860_0_main_FieldAccess(EOS(STATIC_3860), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4704, java.lang.Object(EOC), o4705)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4704, java.lang.Object(EOC), o4705)))
R rules:

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

P rules:
3860_0_main_FieldAccess(EOS(STATIC_3860), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, x0, x1, x2)), java.lang.Object(EOC), x3)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, x0, x1, x2)), java.lang.Object(EOC), x3))) → 3860_0_main_FieldAccess(EOS(STATIC_3860), java.lang.Object(TreeLeftmostPath.Tree(EOC, x0, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, x2, x1, x3)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, x0, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, x2, x1, x3)))))
R rules:

Filtered ground terms:

3860_0_main_FieldAccess(x1, x2, x3) → 3860_0_main_FieldAccess(x2, x3)
TreeLeftmostPath.Tree(x1, x2, x3, x4) → TreeLeftmostPath.Tree(x2, x3, x4)
EOS(x1) → EOS

Filtered duplicate args:

3860_0_main_FieldAccess(x1, x2) → 3860_0_main_FieldAccess(x2)

Filtered unneeded arguments:

TreeLeftmostPath.Tree(x1, x2, x3) → TreeLeftmostPath.Tree(x1, x2)

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

P rules:
3860_0_main_FieldAccess(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(x0, x1)), java.lang.Object(EOC)))) → 3860_0_main_FieldAccess(java.lang.Object(TreeLeftmostPath.Tree(x0, java.lang.Object(EOC))))
R rules:

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

P rules:
3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(x0, x1)), java.lang.Object(EOC)))) → 3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(x0, java.lang.Object(EOC))))
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): 3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(x0[0], x1[0])), java.lang.Object(EOC)))) → 3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(x0[0], java.lang.Object(EOC))))

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

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:

3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(x0[0], x1[0])), java.lang.Object(EOC)))) → 3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(x0[0], java.lang.Object(EOC))))

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

(21) MRRProof (EQUIVALENT transformation)

By using the rule removal processor [LPAR04] with the following ordering, at least one Dependency Pair or term rewrite system rule of this QDP problem can be strictly oriented.
Strictly oriented dependency pairs:

3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(x0[0], x1[0])), java.lang.Object(EOC)))) → 3860_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(x0[0], java.lang.Object(EOC))))

Used ordering: Knuth-Bendix order [KBO] with precedence:

EOC > TreeLeftmostPath.Tree₂ > java.lang.Object₁ > 3860_{0MAINFIELDACCESS1}

and weight map:

EOC=1
3860_0_MAIN_FIELDACCESS_1=1
java.lang.Object_1=1
TreeLeftmostPath.Tree_2=0

The variable weight is 1

(22) Obligation:

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

(23) PisEmptyProof (EQUIVALENT transformation)

The TRS P is empty. Hence, there is no (P,Q,R) chain.

(24) YES