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:
3723_0_createTree_LE(EOS(STATIC_3723), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1265) → 3727_0_createTree_LE(EOS(STATIC_3727), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1265)
3727_0_createTree_LE(EOS(STATIC_3727), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1265) → 3731_0_createTree_InvokeMethod(EOS(STATIC_3731), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) | >(i1265, 0)
3731_0_createTree_InvokeMethod(EOS(STATIC_3731), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) → 3735_0_random_FieldAccess(EOS(STATIC_3735), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub))
3735_0_random_FieldAccess(EOS(STATIC_3735), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) → 3742_0_random_FieldAccess(EOS(STATIC_3742), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83)))
3742_0_random_FieldAccess(EOS(STATIC_3742), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83))) → 3748_0_random_ArrayAccess(EOS(STATIC_3748), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83)), i1258)
3748_0_random_ArrayAccess(EOS(STATIC_3748), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83)), i1273) → 3752_0_random_ArrayAccess(EOS(STATIC_3752), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83)), i1273)
3752_0_random_ArrayAccess(EOS(STATIC_3752), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83)), i1273) → 3756_0_random_ArrayAccess(EOS(STATIC_3756), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83)), i1273)
3756_0_random_ArrayAccess(EOS(STATIC_3756), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(ARRAY(i83)), i1273) → 3760_0_random_Store(EOS(STATIC_3760), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630) | <(i1273, i83)
3760_0_random_Store(EOS(STATIC_3760), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630) → 3766_0_random_FieldAccess(EOS(STATIC_3766), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630)
3766_0_random_FieldAccess(EOS(STATIC_3766), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630) → 3771_0_random_ConstantStackPush(EOS(STATIC_3771), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630, i1273)
3771_0_random_ConstantStackPush(EOS(STATIC_3771), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630, i1273) → 3776_0_random_IntArithmetic(EOS(STATIC_3776), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630, i1273, 1)
3776_0_random_IntArithmetic(EOS(STATIC_3776), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630, i1273, matching1) → 3781_0_random_FieldAccess(EOS(STATIC_3781), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630, +(i1273, 1)) | &&(>=(i1273, 0), =(matching1, 1))
3781_0_random_FieldAccess(EOS(STATIC_3781), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630, i1283) → 3786_0_random_Load(EOS(STATIC_3786), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630)
3786_0_random_Load(EOS(STATIC_3786), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630) → 3793_0_random_InvokeMethod(EOS(STATIC_3793), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), o4630)
3793_0_random_InvokeMethod(EOS(STATIC_3793), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4661sub)) → 3799_0_random_InvokeMethod(EOS(STATIC_3799), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4661sub))
3799_0_random_InvokeMethod(EOS(STATIC_3799), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4661sub)) → 3804_0_length_Load(EOS(STATIC_3804), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4661sub), java.lang.Object(o4661sub))
3804_0_length_Load(EOS(STATIC_3804), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4661sub), java.lang.Object(o4661sub)) → 3818_0_length_FieldAccess(EOS(STATIC_3818), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4661sub), java.lang.Object(o4661sub))
3818_0_length_FieldAccess(EOS(STATIC_3818), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(java.lang.String(o4673sub, i1316)), java.lang.Object(java.lang.String(o4673sub, i1316))) → 3823_0_length_FieldAccess(EOS(STATIC_3823), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(java.lang.String(o4673sub, i1316)), java.lang.Object(java.lang.String(o4673sub, i1316))) | &&(>=(i1316, 0), >=(i1317, 0))
3823_0_length_FieldAccess(EOS(STATIC_3823), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(java.lang.String(o4673sub, i1316)), java.lang.Object(java.lang.String(o4673sub, i1316))) → 3831_0_length_Return(EOS(STATIC_3831), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(java.lang.String(o4673sub, i1316)), i1316)
3831_0_length_Return(EOS(STATIC_3831), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(java.lang.String(o4673sub, i1316)), i1316) → 3838_0_random_Return(EOS(STATIC_3838), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1316)
3838_0_random_Return(EOS(STATIC_3838), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1316) → 3842_0_createTree_Store(EOS(STATIC_3842), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1316)
3842_0_createTree_Store(EOS(STATIC_3842), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1316) → 3855_0_createTree_Load(EOS(STATIC_3855), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1316)
3855_0_createTree_Load(EOS(STATIC_3855), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1316) → 3874_0_createTree_LE(EOS(STATIC_3874), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1316)
3874_0_createTree_LE(EOS(STATIC_3874), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), matching1) → 3882_0_createTree_LE(EOS(STATIC_3882), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), 0) | =(matching1, 0)
3874_0_createTree_LE(EOS(STATIC_3874), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1352) → 3883_0_createTree_LE(EOS(STATIC_3883), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1352)
3882_0_createTree_LE(EOS(STATIC_3882), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), matching1) → 3892_0_createTree_Load(EOS(STATIC_3892), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) | &&(<=(0, 0), =(matching1, 0))
3892_0_createTree_Load(EOS(STATIC_3892), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) → 3904_0_createTree_FieldAccess(EOS(STATIC_3904), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3904_0_createTree_FieldAccess(EOS(STATIC_3904), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3914_0_createTree_FieldAccess(EOS(STATIC_3914), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3904_0_createTree_FieldAccess(EOS(STATIC_3904), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4597sub))), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3915_0_createTree_FieldAccess(EOS(STATIC_3915), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4597sub))), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3914_0_createTree_FieldAccess(EOS(STATIC_3914), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3928_0_createTree_FieldAccess(EOS(STATIC_3928), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3914_0_createTree_FieldAccess(EOS(STATIC_3914), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4597sub), o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3929_0_createTree_FieldAccess(EOS(STATIC_3929), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4597sub), o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3928_0_createTree_FieldAccess(EOS(STATIC_3928), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3944_0_createTree_FieldAccess(EOS(STATIC_3944), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3928_0_createTree_FieldAccess(EOS(STATIC_3928), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 3945_0_createTree_FieldAccess(EOS(STATIC_3945), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
3944_0_createTree_FieldAccess(EOS(STATIC_3944), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803))) → 3962_0_createTree_FieldAccess(EOS(STATIC_3962), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)))
3962_0_createTree_FieldAccess(EOS(STATIC_3962), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803))) → 3993_0_createTree_NONNULL(EOS(STATIC_3993), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4804, o4803)), o4804)
3993_0_createTree_NONNULL(EOS(STATIC_3993), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)), java.lang.Object(o4955sub)) → 4023_0_createTree_NONNULL(EOS(STATIC_4023), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)), java.lang.Object(o4955sub))
3993_0_createTree_NONNULL(EOS(STATIC_3993), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), NULL) → 4024_0_createTree_NONNULL(EOS(STATIC_4024), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), NULL)
4023_0_createTree_NONNULL(EOS(STATIC_4023), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)), java.lang.Object(o4955sub)) → 4058_0_createTree_Load(EOS(STATIC_4058), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)))
4058_0_createTree_Load(EOS(STATIC_4058), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803))) → 4098_0_createTree_FieldAccess(EOS(STATIC_4098), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803)))
4098_0_createTree_FieldAccess(EOS(STATIC_4098), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4955sub), o4803))) → 4139_0_createTree_Store(EOS(STATIC_4139), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub))
4139_0_createTree_Store(EOS(STATIC_4139), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub)) → 4165_0_createTree_Inc(EOS(STATIC_4165), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub))
4165_0_createTree_Inc(EOS(STATIC_4165), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub)) → 4188_0_createTree_JMP(EOS(STATIC_4188), +(i1265, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub)) | >(i1265, 0)
4188_0_createTree_JMP(EOS(STATIC_4188), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub)) → 4220_0_createTree_Load(EOS(STATIC_4220), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub))
4220_0_createTree_Load(EOS(STATIC_4220), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub)) → 3716_0_createTree_Load(EOS(STATIC_3716), i1425, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4955sub))
3716_0_createTree_Load(EOS(STATIC_3716), i1259, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) → 3723_0_createTree_LE(EOS(STATIC_3723), i1259, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1259)
4024_0_createTree_NONNULL(EOS(STATIC_4024), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), NULL) → 4061_0_createTree_Load(EOS(STATIC_4061), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)))
4061_0_createTree_Load(EOS(STATIC_4061), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803))) → 4102_0_createTree_InvokeMethod(EOS(STATIC_4102), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)))
4102_0_createTree_InvokeMethod(EOS(STATIC_4102), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803))) → 4141_0_createNode_New(EOS(STATIC_4141), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)))
4141_0_createNode_New(EOS(STATIC_4141), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803))) → 4192_0_createNode_Duplicate(EOS(STATIC_4192), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4192_0_createNode_Duplicate(EOS(STATIC_4192), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4225_0_createNode_InvokeMethod(EOS(STATIC_4225), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4225_0_createNode_InvokeMethod(EOS(STATIC_4225), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4244_0_<init>_Load(EOS(STATIC_4244), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)))
4244_0_<init>_Load(EOS(STATIC_4244), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))) → 4281_0_<init>_InvokeMethod(EOS(STATIC_4281), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)))
4281_0_<init>_InvokeMethod(EOS(STATIC_4281), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))) → 4304_0_<init>_Return(EOS(STATIC_4304), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4304_0_<init>_Return(EOS(STATIC_4304), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4328_0_createNode_Store(EOS(STATIC_4328), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4328_0_createNode_Store(EOS(STATIC_4328), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4349_0_createNode_Load(EOS(STATIC_4349), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4349_0_createNode_Load(EOS(STATIC_4349), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4368_0_createNode_New(EOS(STATIC_4368), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4368_0_createNode_New(EOS(STATIC_4368), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4390_0_createNode_Duplicate(EOS(STATIC_4390), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))
4390_0_createNode_Duplicate(EOS(STATIC_4390), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)) → 4412_0_createNode_InvokeMethod(EOS(STATIC_4412), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))
4412_0_createNode_InvokeMethod(EOS(STATIC_4412), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)) → 4436_0_createNode_FieldAccess(EOS(STATIC_4436), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))
4436_0_createNode_FieldAccess(EOS(STATIC_4436), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)) → 4459_0_createNode_Load(EOS(STATIC_4459), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4459_0_createNode_Load(EOS(STATIC_4459), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4480_0_createNode_Return(EOS(STATIC_4480), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4480_0_createNode_Return(EOS(STATIC_4480), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4498_0_createTree_FieldAccess(EOS(STATIC_4498), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4498_0_createTree_FieldAccess(EOS(STATIC_4498), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4803)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4514_0_createTree_Load(EOS(STATIC_4514), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595put, o4594put)))
4514_0_createTree_Load(EOS(STATIC_4514), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4522_0_createTree_Store(EOS(STATIC_4522), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
4522_0_createTree_Store(EOS(STATIC_4522), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4526_0_createTree_JMP(EOS(STATIC_4526), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
4526_0_createTree_JMP(EOS(STATIC_4526), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4530_0_createTree_Inc(EOS(STATIC_4530), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
4530_0_createTree_Inc(EOS(STATIC_4530), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4532_0_createTree_Inc(EOS(STATIC_4532), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
4532_0_createTree_Inc(EOS(STATIC_4532), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4536_0_createTree_JMP(EOS(STATIC_4536), +(i1265, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) | >(i1265, 0)
4536_0_createTree_JMP(EOS(STATIC_4536), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4539_0_createTree_Load(EOS(STATIC_4539), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
4539_0_createTree_Load(EOS(STATIC_4539), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 3716_0_createTree_Load(EOS(STATIC_3716), i1630, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
3945_0_createTree_FieldAccess(EOS(STATIC_3945), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 3965_0_createTree_NONNULL(EOS(STATIC_3965), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), o4595)
3965_0_createTree_NONNULL(EOS(STATIC_3965), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(o4909sub)) → 3994_0_createTree_NONNULL(EOS(STATIC_3994), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(o4909sub))
3965_0_createTree_NONNULL(EOS(STATIC_3965), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), NULL) → 3995_0_createTree_NONNULL(EOS(STATIC_3995), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), NULL)
3994_0_createTree_NONNULL(EOS(STATIC_3994), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(o4909sub)) → 4026_0_createTree_Load(EOS(STATIC_4026), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)))
4026_0_createTree_Load(EOS(STATIC_4026), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594))) → 4062_0_createTree_FieldAccess(EOS(STATIC_4062), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)))
4062_0_createTree_FieldAccess(EOS(STATIC_4062), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594))) → 4104_0_createTree_Store(EOS(STATIC_4104), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(o4909sub))
4104_0_createTree_Store(EOS(STATIC_4104), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(o4909sub)) → 4139_0_createTree_Store(EOS(STATIC_4139), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4909sub), o4594)), java.lang.Object(o4909sub))
3995_0_createTree_NONNULL(EOS(STATIC_3995), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), NULL) → 4028_0_createTree_Load(EOS(STATIC_4028), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)))
4028_0_createTree_Load(EOS(STATIC_4028), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594))) → 4064_0_createTree_InvokeMethod(EOS(STATIC_4064), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)))
4064_0_createTree_InvokeMethod(EOS(STATIC_4064), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594))) → 4105_0_createNode_New(EOS(STATIC_4105), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)))
4105_0_createNode_New(EOS(STATIC_4105), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594))) → 4167_0_createNode_Duplicate(EOS(STATIC_4167), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4167_0_createNode_Duplicate(EOS(STATIC_4167), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4194_0_createNode_InvokeMethod(EOS(STATIC_4194), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4194_0_createNode_InvokeMethod(EOS(STATIC_4194), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4226_0_<init>_Load(EOS(STATIC_4226), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4226_0_<init>_Load(EOS(STATIC_4226), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4261_0_<init>_InvokeMethod(EOS(STATIC_4261), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4261_0_<init>_InvokeMethod(EOS(STATIC_4261), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4283_0_<init>_Return(EOS(STATIC_4283), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4283_0_<init>_Return(EOS(STATIC_4283), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4306_0_createNode_Store(EOS(STATIC_4306), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4306_0_createNode_Store(EOS(STATIC_4306), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4331_0_createNode_Load(EOS(STATIC_4331), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4331_0_createNode_Load(EOS(STATIC_4331), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4351_0_createNode_New(EOS(STATIC_4351), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4351_0_createNode_New(EOS(STATIC_4351), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4370_0_createNode_Duplicate(EOS(STATIC_4370), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4370_0_createNode_Duplicate(EOS(STATIC_4370), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4392_0_createNode_InvokeMethod(EOS(STATIC_4392), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC))
4392_0_createNode_InvokeMethod(EOS(STATIC_4392), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) → 4414_0_createNode_FieldAccess(EOS(STATIC_4414), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4414_0_createNode_FieldAccess(EOS(STATIC_4414), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4439_0_createNode_Load(EOS(STATIC_4439), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4439_0_createNode_Load(EOS(STATIC_4439), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4461_0_createNode_Return(EOS(STATIC_4461), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4461_0_createNode_Return(EOS(STATIC_4461), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4482_0_createTree_FieldAccess(EOS(STATIC_4482), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4482_0_createTree_FieldAccess(EOS(STATIC_4482), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4499_0_createTree_Load(EOS(STATIC_4499), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4594)))
4499_0_createTree_Load(EOS(STATIC_4499), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4594))) → 4514_0_createTree_Load(EOS(STATIC_4514), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4594)))
3929_0_createTree_FieldAccess(EOS(STATIC_3929), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784))) → 3946_0_createTree_FieldAccess(EOS(STATIC_3946), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)))
3946_0_createTree_FieldAccess(EOS(STATIC_3946), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784))) → 3968_0_createTree_NONNULL(EOS(STATIC_3968), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4785, o4784)), o4785)
3968_0_createTree_NONNULL(EOS(STATIC_3968), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), java.lang.Object(o4910sub)) → 3997_0_createTree_NONNULL(EOS(STATIC_3997), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), java.lang.Object(o4910sub))
3968_0_createTree_NONNULL(EOS(STATIC_3968), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), NULL) → 3998_0_createTree_NONNULL(EOS(STATIC_3998), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), NULL)
3997_0_createTree_NONNULL(EOS(STATIC_3997), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), java.lang.Object(o4910sub)) → 4030_0_createTree_Load(EOS(STATIC_4030), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)))
4030_0_createTree_Load(EOS(STATIC_4030), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784))) → 4066_0_createTree_FieldAccess(EOS(STATIC_4066), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)))
4066_0_createTree_FieldAccess(EOS(STATIC_4066), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784))) → 4108_0_createTree_Store(EOS(STATIC_4108), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(o4910sub))
4108_0_createTree_Store(EOS(STATIC_4108), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(o4910sub)) → 4139_0_createTree_Store(EOS(STATIC_4139), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4910sub), o4784)), o4594)), java.lang.Object(o4910sub))
3998_0_createTree_NONNULL(EOS(STATIC_3998), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), NULL) → 4032_0_createTree_Load(EOS(STATIC_4032), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)))
4032_0_createTree_Load(EOS(STATIC_4032), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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)), o4594)), 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)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784))) → 4109_0_createNode_New(EOS(STATIC_4109), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)))
4109_0_createNode_New(EOS(STATIC_4109), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784))) → 4170_0_createNode_Duplicate(EOS(STATIC_4170), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4170_0_createNode_Duplicate(EOS(STATIC_4170), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4196_0_createNode_InvokeMethod(EOS(STATIC_4196), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4196_0_createNode_InvokeMethod(EOS(STATIC_4196), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4228_0_<init>_Load(EOS(STATIC_4228), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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)))
4228_0_<init>_Load(EOS(STATIC_4228), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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))) → 4264_0_<init>_InvokeMethod(EOS(STATIC_4264), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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)))
4264_0_<init>_InvokeMethod(EOS(STATIC_4264), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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))) → 4285_0_<init>_Return(EOS(STATIC_4285), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4285_0_<init>_Return(EOS(STATIC_4285), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4308_0_createNode_Store(EOS(STATIC_4308), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4308_0_createNode_Store(EOS(STATIC_4308), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4333_0_createNode_Load(EOS(STATIC_4333), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4333_0_createNode_Load(EOS(STATIC_4333), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4353_0_createNode_New(EOS(STATIC_4353), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4353_0_createNode_New(EOS(STATIC_4353), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4373_0_createNode_Duplicate(EOS(STATIC_4373), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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))
4373_0_createNode_Duplicate(EOS(STATIC_4373), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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)) → 4394_0_createNode_InvokeMethod(EOS(STATIC_4394), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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))
4394_0_createNode_InvokeMethod(EOS(STATIC_4394), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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)) → 4417_0_createNode_FieldAccess(EOS(STATIC_4417), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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))
4417_0_createNode_FieldAccess(EOS(STATIC_4417), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), 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)) → 4441_0_createNode_Load(EOS(STATIC_4441), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4441_0_createNode_Load(EOS(STATIC_4441), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4463_0_createNode_Return(EOS(STATIC_4463), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4463_0_createNode_Return(EOS(STATIC_4463), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4483_0_createTree_FieldAccess(EOS(STATIC_4483), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4483_0_createTree_FieldAccess(EOS(STATIC_4483), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4784)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4501_0_createTree_Load(EOS(STATIC_4501), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4784)), o4594)))
4501_0_createTree_Load(EOS(STATIC_4501), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4784)), o4594))) → 4514_0_createTree_Load(EOS(STATIC_4514), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4784)), o4594)))
3915_0_createTree_FieldAccess(EOS(STATIC_3915), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766))) → 3930_0_createTree_FieldAccess(EOS(STATIC_3930), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))
3930_0_createTree_FieldAccess(EOS(STATIC_3930), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766))) → 3947_0_createTree_NONNULL(EOS(STATIC_3947), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4767, o4766)), o4767)
3947_0_createTree_NONNULL(EOS(STATIC_3947), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 3969_0_createTree_NONNULL(EOS(STATIC_3969), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
3947_0_createTree_NONNULL(EOS(STATIC_3947), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), NULL) → 3970_0_createTree_NONNULL(EOS(STATIC_3970), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), NULL)
3969_0_createTree_NONNULL(EOS(STATIC_3969), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 3999_0_createTree_Load(EOS(STATIC_3999), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))
3999_0_createTree_Load(EOS(STATIC_3999), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766))) → 4033_0_createTree_FieldAccess(EOS(STATIC_4033), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))
4033_0_createTree_FieldAccess(EOS(STATIC_4033), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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, o4595, 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, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(o4834sub)) → 4139_0_createTree_Store(EOS(STATIC_4139), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4834sub), o4766)))), java.lang.Object(o4834sub))
3970_0_createTree_NONNULL(EOS(STATIC_3970), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), NULL) → 4000_0_createTree_Load(EOS(STATIC_4000), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))
4000_0_createTree_Load(EOS(STATIC_4000), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766))) → 4034_0_createTree_InvokeMethod(EOS(STATIC_4034), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))
4034_0_createTree_InvokeMethod(EOS(STATIC_4034), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766))) → 4071_0_createNode_New(EOS(STATIC_4071), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))
4071_0_createNode_New(EOS(STATIC_4071), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766))) → 4144_0_createNode_Duplicate(EOS(STATIC_4144), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4144_0_createNode_Duplicate(EOS(STATIC_4144), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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, o4595, 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, o4595, 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))) → 4197_0_<init>_Load(EOS(STATIC_4197), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4197_0_<init>_Load(EOS(STATIC_4197), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4247_0_<init>_InvokeMethod(EOS(STATIC_4247), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4247_0_<init>_InvokeMethod(EOS(STATIC_4247), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4266_0_<init>_Return(EOS(STATIC_4266), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4266_0_<init>_Return(EOS(STATIC_4266), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4287_0_createNode_Store(EOS(STATIC_4287), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4287_0_createNode_Store(EOS(STATIC_4287), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4310_0_createNode_Load(EOS(STATIC_4310), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4310_0_createNode_Load(EOS(STATIC_4310), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4334_0_createNode_New(EOS(STATIC_4334), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4334_0_createNode_New(EOS(STATIC_4334), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4355_0_createNode_Duplicate(EOS(STATIC_4355), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
4355_0_createNode_Duplicate(EOS(STATIC_4355), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4374_0_createNode_InvokeMethod(EOS(STATIC_4374), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
4374_0_createNode_InvokeMethod(EOS(STATIC_4374), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4396_0_createNode_FieldAccess(EOS(STATIC_4396), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
4396_0_createNode_FieldAccess(EOS(STATIC_4396), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4419_0_createNode_Load(EOS(STATIC_4419), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4419_0_createNode_Load(EOS(STATIC_4419), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4443_0_createNode_Return(EOS(STATIC_4443), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4443_0_createNode_Return(EOS(STATIC_4443), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4465_0_createTree_FieldAccess(EOS(STATIC_4465), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4465_0_createTree_FieldAccess(EOS(STATIC_4465), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o4766)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4485_0_createTree_Load(EOS(STATIC_4485), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4766)))))
4485_0_createTree_Load(EOS(STATIC_4485), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4766))))) → 4514_0_createTree_Load(EOS(STATIC_4514), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o4766)))))
3883_0_createTree_LE(EOS(STATIC_3883), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), i1352) → 3894_0_createTree_Load(EOS(STATIC_3894), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) | >(i1352, 0)
3894_0_createTree_Load(EOS(STATIC_3894), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub)) → 3906_0_createTree_FieldAccess(EOS(STATIC_3906), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3906_0_createTree_FieldAccess(EOS(STATIC_3906), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3917_0_createTree_FieldAccess(EOS(STATIC_3917), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3906_0_createTree_FieldAccess(EOS(STATIC_3906), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4597sub))), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3918_0_createTree_FieldAccess(EOS(STATIC_3918), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4597sub))), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3917_0_createTree_FieldAccess(EOS(STATIC_3917), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3932_0_createTree_FieldAccess(EOS(STATIC_3932), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3917_0_createTree_FieldAccess(EOS(STATIC_3917), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4597sub), o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3933_0_createTree_FieldAccess(EOS(STATIC_3933), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4597sub), o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3932_0_createTree_FieldAccess(EOS(STATIC_3932), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub)) → 3949_0_createTree_FieldAccess(EOS(STATIC_3949), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4597sub), java.lang.Object(o4597sub))
3932_0_createTree_FieldAccess(EOS(STATIC_3932), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 3950_0_createTree_FieldAccess(EOS(STATIC_3950), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
3949_0_createTree_FieldAccess(EOS(STATIC_3949), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836))) → 3972_0_createTree_FieldAccess(EOS(STATIC_3972), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)))
3972_0_createTree_FieldAccess(EOS(STATIC_3972), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836))) → 4006_0_createTree_NONNULL(EOS(STATIC_4006), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, o4836)), o4836)
4006_0_createTree_NONNULL(EOS(STATIC_4006), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))), java.lang.Object(o4979sub)) → 4036_0_createTree_NONNULL(EOS(STATIC_4036), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))), java.lang.Object(o4979sub))
4006_0_createTree_NONNULL(EOS(STATIC_4006), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), NULL) → 4037_0_createTree_NONNULL(EOS(STATIC_4037), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), NULL)
4036_0_createTree_NONNULL(EOS(STATIC_4036), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))), java.lang.Object(o4979sub)) → 4074_0_createTree_Load(EOS(STATIC_4074), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))))
4074_0_createTree_Load(EOS(STATIC_4074), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub)))) → 4115_0_createTree_FieldAccess(EOS(STATIC_4115), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub))))
4115_0_createTree_FieldAccess(EOS(STATIC_4115), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, java.lang.Object(o4979sub)))) → 4147_0_createTree_Store(EOS(STATIC_4147), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub))
4147_0_createTree_Store(EOS(STATIC_4147), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub)) → 4173_0_createTree_JMP(EOS(STATIC_4173), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub))
4173_0_createTree_JMP(EOS(STATIC_4173), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub)) → 4199_0_createTree_Inc(EOS(STATIC_4199), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub))
4199_0_createTree_Inc(EOS(STATIC_4199), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub)) → 4230_0_createTree_JMP(EOS(STATIC_4230), +(i1265, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub)) | >(i1265, 0)
4230_0_createTree_JMP(EOS(STATIC_4230), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub)) → 4250_0_createTree_Load(EOS(STATIC_4250), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub))
4250_0_createTree_Load(EOS(STATIC_4250), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub)) → 3716_0_createTree_Load(EOS(STATIC_3716), i1449, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(o4979sub))
4037_0_createTree_NONNULL(EOS(STATIC_4037), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), NULL) → 4077_0_createTree_Load(EOS(STATIC_4077), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)))
4077_0_createTree_Load(EOS(STATIC_4077), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL))) → 4119_0_createTree_InvokeMethod(EOS(STATIC_4119), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)))
4119_0_createTree_InvokeMethod(EOS(STATIC_4119), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL))) → 4149_0_createNode_New(EOS(STATIC_4149), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)))
4149_0_createNode_New(EOS(STATIC_4149), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL))) → 4202_0_createNode_Duplicate(EOS(STATIC_4202), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4202_0_createNode_Duplicate(EOS(STATIC_4202), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4235_0_createNode_InvokeMethod(EOS(STATIC_4235), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4235_0_createNode_InvokeMethod(EOS(STATIC_4235), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4252_0_<init>_Load(EOS(STATIC_4252), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)))
4252_0_<init>_Load(EOS(STATIC_4252), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))) → 4290_0_<init>_InvokeMethod(EOS(STATIC_4290), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)))
4290_0_<init>_InvokeMethod(EOS(STATIC_4290), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))) → 4314_0_<init>_Return(EOS(STATIC_4314), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4314_0_<init>_Return(EOS(STATIC_4314), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4338_0_createNode_Store(EOS(STATIC_4338), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4338_0_createNode_Store(EOS(STATIC_4338), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4358_0_createNode_Load(EOS(STATIC_4358), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4358_0_createNode_Load(EOS(STATIC_4358), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4378_0_createNode_New(EOS(STATIC_4378), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4378_0_createNode_New(EOS(STATIC_4378), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4400_0_createNode_Duplicate(EOS(STATIC_4400), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))
4400_0_createNode_Duplicate(EOS(STATIC_4400), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)) → 4423_0_createNode_InvokeMethod(EOS(STATIC_4423), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))
4423_0_createNode_InvokeMethod(EOS(STATIC_4423), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)) → 4447_0_createNode_FieldAccess(EOS(STATIC_4447), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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))
4447_0_createNode_FieldAccess(EOS(STATIC_4447), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), 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)) → 4468_0_createNode_Load(EOS(STATIC_4468), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4468_0_createNode_Load(EOS(STATIC_4468), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4489_0_createNode_Return(EOS(STATIC_4489), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4489_0_createNode_Return(EOS(STATIC_4489), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4505_0_createTree_FieldAccess(EOS(STATIC_4505), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4505_0_createTree_FieldAccess(EOS(STATIC_4505), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4837, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4518_0_createTree_Load(EOS(STATIC_4518), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595put, o4594put)))
4518_0_createTree_Load(EOS(STATIC_4518), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4523_0_createTree_Store(EOS(STATIC_4523), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
4523_0_createTree_Store(EOS(STATIC_4523), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4527_0_createTree_JMP(EOS(STATIC_4527), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
4527_0_createTree_JMP(EOS(STATIC_4527), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 4532_0_createTree_Inc(EOS(STATIC_4532), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)))
3950_0_createTree_FieldAccess(EOS(STATIC_3950), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594))) → 3975_0_createTree_NONNULL(EOS(STATIC_3975), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, o4594)), o4594)
3975_0_createTree_NONNULL(EOS(STATIC_3975), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(o4943sub)) → 4007_0_createTree_NONNULL(EOS(STATIC_4007), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(o4943sub))
3975_0_createTree_NONNULL(EOS(STATIC_3975), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), NULL) → 4008_0_createTree_NONNULL(EOS(STATIC_4008), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), NULL)
4007_0_createTree_NONNULL(EOS(STATIC_4007), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(o4943sub)) → 4039_0_createTree_Load(EOS(STATIC_4039), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))))
4039_0_createTree_Load(EOS(STATIC_4039), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub)))) → 4078_0_createTree_FieldAccess(EOS(STATIC_4078), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))))
4078_0_createTree_FieldAccess(EOS(STATIC_4078), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub)))) → 4121_0_createTree_Store(EOS(STATIC_4121), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(o4943sub))
4121_0_createTree_Store(EOS(STATIC_4121), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(o4943sub)) → 4147_0_createTree_Store(EOS(STATIC_4147), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(o4943sub))), java.lang.Object(o4943sub))
4008_0_createTree_NONNULL(EOS(STATIC_4008), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), NULL) → 4041_0_createTree_Load(EOS(STATIC_4041), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)))
4041_0_createTree_Load(EOS(STATIC_4041), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL))) → 4080_0_createTree_InvokeMethod(EOS(STATIC_4080), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)))
4080_0_createTree_InvokeMethod(EOS(STATIC_4080), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL))) → 4123_0_createNode_New(EOS(STATIC_4123), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)))
4123_0_createNode_New(EOS(STATIC_4123), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL))) → 4175_0_createNode_Duplicate(EOS(STATIC_4175), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4175_0_createNode_Duplicate(EOS(STATIC_4175), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4205_0_createNode_InvokeMethod(EOS(STATIC_4205), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4205_0_createNode_InvokeMethod(EOS(STATIC_4205), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4236_0_<init>_Load(EOS(STATIC_4236), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4269_0_<init>_InvokeMethod(EOS(STATIC_4269), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4269_0_<init>_InvokeMethod(EOS(STATIC_4269), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4293_0_<init>_Return(EOS(STATIC_4293), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4316_0_createNode_Store(EOS(STATIC_4316), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4316_0_createNode_Store(EOS(STATIC_4316), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4340_0_createNode_Load(EOS(STATIC_4340), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4340_0_createNode_Load(EOS(STATIC_4340), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4360_0_createNode_New(EOS(STATIC_4360), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4360_0_createNode_New(EOS(STATIC_4360), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4380_0_createNode_Duplicate(EOS(STATIC_4380), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4380_0_createNode_Duplicate(EOS(STATIC_4380), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4402_0_createNode_InvokeMethod(EOS(STATIC_4402), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
4402_0_createNode_InvokeMethod(EOS(STATIC_4402), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4425_0_createNode_FieldAccess(EOS(STATIC_4425), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC))
4425_0_createNode_FieldAccess(EOS(STATIC_4425), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) → 4449_0_createNode_Load(EOS(STATIC_4449), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4449_0_createNode_Load(EOS(STATIC_4449), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4471_0_createNode_Return(EOS(STATIC_4471), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4471_0_createNode_Return(EOS(STATIC_4471), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4490_0_createTree_FieldAccess(EOS(STATIC_4490), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4490_0_createTree_FieldAccess(EOS(STATIC_4490), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4507_0_createTree_Load(EOS(STATIC_4507), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))))
4507_0_createTree_Load(EOS(STATIC_4507), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) → 4518_0_createTree_Load(EOS(STATIC_4518), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))))
3933_0_createTree_FieldAccess(EOS(STATIC_3933), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789))) → 3952_0_createTree_FieldAccess(EOS(STATIC_3952), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)))
3952_0_createTree_FieldAccess(EOS(STATIC_3952), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789))) → 3978_0_createTree_NONNULL(EOS(STATIC_3978), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, o4789)), o4789)
3978_0_createTree_NONNULL(EOS(STATIC_3978), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), 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, java.lang.Object(o4944sub))), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), java.lang.Object(o4944sub))
3978_0_createTree_NONNULL(EOS(STATIC_3978), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), NULL) → 4010_0_createTree_NONNULL(EOS(STATIC_4010), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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, java.lang.Object(o4944sub))), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), java.lang.Object(o4944sub)) → 4043_0_createTree_Load(EOS(STATIC_4043), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))))
4043_0_createTree_Load(EOS(STATIC_4043), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4594)), 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))), o4594)), 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))), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub)))) → 4125_0_createTree_Store(EOS(STATIC_4125), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4594)), java.lang.Object(o4944sub))
4125_0_createTree_Store(EOS(STATIC_4125), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4594)), java.lang.Object(o4944sub)) → 4147_0_createTree_Store(EOS(STATIC_4147), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(o4944sub))), o4594)), java.lang.Object(o4944sub))
4010_0_createTree_NONNULL(EOS(STATIC_4010), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), NULL) → 4045_0_createTree_Load(EOS(STATIC_4045), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)))
4045_0_createTree_Load(EOS(STATIC_4045), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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)), o4594)), 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)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL))) → 4126_0_createNode_New(EOS(STATIC_4126), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)))
4126_0_createNode_New(EOS(STATIC_4126), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL))) → 4178_0_createNode_Duplicate(EOS(STATIC_4178), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4178_0_createNode_Duplicate(EOS(STATIC_4178), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4208_0_createNode_InvokeMethod(EOS(STATIC_4208), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4208_0_createNode_InvokeMethod(EOS(STATIC_4208), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4238_0_<init>_Load(EOS(STATIC_4238), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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)))
4238_0_<init>_Load(EOS(STATIC_4238), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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))) → 4273_0_<init>_InvokeMethod(EOS(STATIC_4273), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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)))
4273_0_<init>_InvokeMethod(EOS(STATIC_4273), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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))) → 4296_0_<init>_Return(EOS(STATIC_4296), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, 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, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4319_0_createNode_Store(EOS(STATIC_4319), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4319_0_createNode_Store(EOS(STATIC_4319), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4343_0_createNode_Load(EOS(STATIC_4343), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4343_0_createNode_Load(EOS(STATIC_4343), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4363_0_createNode_New(EOS(STATIC_4363), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4363_0_createNode_New(EOS(STATIC_4363), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4383_0_createNode_Duplicate(EOS(STATIC_4383), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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))
4383_0_createNode_Duplicate(EOS(STATIC_4383), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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)) → 4405_0_createNode_InvokeMethod(EOS(STATIC_4405), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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))
4405_0_createNode_InvokeMethod(EOS(STATIC_4405), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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)) → 4429_0_createNode_FieldAccess(EOS(STATIC_4429), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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))
4429_0_createNode_FieldAccess(EOS(STATIC_4429), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), 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)) → 4452_0_createNode_Load(EOS(STATIC_4452), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4452_0_createNode_Load(EOS(STATIC_4452), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4474_0_createNode_Return(EOS(STATIC_4474), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4474_0_createNode_Return(EOS(STATIC_4474), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4492_0_createTree_FieldAccess(EOS(STATIC_4492), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4492_0_createTree_FieldAccess(EOS(STATIC_4492), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), o4594)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4509_0_createTree_Load(EOS(STATIC_4509), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), o4594)))
4509_0_createTree_Load(EOS(STATIC_4509), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), o4594))) → 4518_0_createTree_Load(EOS(STATIC_4518), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4790, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), o4594)))
3918_0_createTree_FieldAccess(EOS(STATIC_3918), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770))) → 3934_0_createTree_FieldAccess(EOS(STATIC_3934), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))
3934_0_createTree_FieldAccess(EOS(STATIC_3934), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770))) → 3953_0_createTree_NONNULL(EOS(STATIC_3953), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, o4770)), o4770)
3953_0_createTree_NONNULL(EOS(STATIC_3953), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 3979_0_createTree_NONNULL(EOS(STATIC_3979), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
3953_0_createTree_NONNULL(EOS(STATIC_3953), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), NULL) → 3980_0_createTree_NONNULL(EOS(STATIC_3980), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), NULL)
3979_0_createTree_NONNULL(EOS(STATIC_3979), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4012_0_createTree_Load(EOS(STATIC_4012), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))
4012_0_createTree_Load(EOS(STATIC_4012), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub)))) → 4046_0_createTree_FieldAccess(EOS(STATIC_4046), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))
4046_0_createTree_FieldAccess(EOS(STATIC_4046), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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, o4595, 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, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(o4867sub)) → 4147_0_createTree_Store(EOS(STATIC_4147), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(o4867sub))))), java.lang.Object(o4867sub))
3980_0_createTree_NONNULL(EOS(STATIC_3980), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), NULL) → 4013_0_createTree_Load(EOS(STATIC_4013), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))
4013_0_createTree_Load(EOS(STATIC_4013), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL))) → 4048_0_createTree_InvokeMethod(EOS(STATIC_4048), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))
4048_0_createTree_InvokeMethod(EOS(STATIC_4048), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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, o4595, 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, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL))) → 4151_0_createNode_Duplicate(EOS(STATIC_4151), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4151_0_createNode_Duplicate(EOS(STATIC_4151), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4180_0_createNode_InvokeMethod(EOS(STATIC_4180), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4180_0_createNode_InvokeMethod(EOS(STATIC_4180), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4209_0_<init>_Load(EOS(STATIC_4209), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4209_0_<init>_Load(EOS(STATIC_4209), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4254_0_<init>_InvokeMethod(EOS(STATIC_4254), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4254_0_<init>_InvokeMethod(EOS(STATIC_4254), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4275_0_<init>_Return(EOS(STATIC_4275), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4275_0_<init>_Return(EOS(STATIC_4275), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4297_0_createNode_Store(EOS(STATIC_4297), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4297_0_createNode_Store(EOS(STATIC_4297), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4321_0_createNode_Load(EOS(STATIC_4321), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4321_0_createNode_Load(EOS(STATIC_4321), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4344_0_createNode_New(EOS(STATIC_4344), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)))
4344_0_createNode_New(EOS(STATIC_4344), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))) → 4364_0_createNode_Duplicate(EOS(STATIC_4364), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
4364_0_createNode_Duplicate(EOS(STATIC_4364), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4385_0_createNode_InvokeMethod(EOS(STATIC_4385), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
4385_0_createNode_InvokeMethod(EOS(STATIC_4385), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4407_0_createNode_FieldAccess(EOS(STATIC_4407), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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))
4407_0_createNode_FieldAccess(EOS(STATIC_4407), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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)) → 4431_0_createNode_Load(EOS(STATIC_4431), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4431_0_createNode_Load(EOS(STATIC_4431), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4454_0_createNode_Return(EOS(STATIC_4454), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4454_0_createNode_Return(EOS(STATIC_4454), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4475_0_createTree_FieldAccess(EOS(STATIC_4475), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))
4475_0_createTree_FieldAccess(EOS(STATIC_4475), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) → 4494_0_createTree_Load(EOS(STATIC_4494), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))))))
4494_0_createTree_Load(EOS(STATIC_4494), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4771, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))))) → 4518_0_createTree_Load(EOS(STATIC_4518), i1265, java.lang.Object(TreeLeftmostPath.Tree(EOC, o4595, 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:
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(x3), x4)), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(x0, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, x2)), java.lang.Object(x3), +(x0, -1)) | >(x0, 0)
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, x3)), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(x0, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, x4, x5)), java.lang.Object(TreeLeftmostPath.Tree(EOC, x4, x5)), +(x0, -1)) | >(x0, 0)
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(x1), x2)), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(x0, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(x1), +(x0, -1)) | >(x0, 0)
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, x1)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, x1)), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostPath.Tree(EOC, x3, java.lang.Object(x4))), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(x0, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, x2)), java.lang.Object(x4), +(x0, -1)) | >(x0, 0)
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, x2)), java.lang.Object(TreeLeftmostPath.Tree(EOC, x3, NULL)), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(x0, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, x4, x5)), java.lang.Object(TreeLeftmostPath.Tree(EOC, x4, x5)), +(x0, -1)) | >(x0, 0)
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, java.lang.Object(x2))), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(x0, -1), java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(x2), +(x0, -1)) | >(x0, 0)
3723_0_createTree_LE(EOS(STATIC_3723), x0, java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, x1, NULL)), x0) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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)
3723_0_createTree_LE(EOS(STATIC_3723), 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) → 3723_0_createTree_LE(EOS(STATIC_3723), +(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:

3723_0_createTree_LE(x1, x2, x3, x4, x5) → 3723_0_createTree_LE(x2, x3, x4, x5)
TreeLeftmostPath.Tree(x1, x2, x3) → TreeLeftmostPath.Tree(x2, x3)
EOS(x1) → EOS
Cond_3723_0_createTree_LE15(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE15(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE14(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE14(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE13(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE13(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE12(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE12(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE11(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE11(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE10(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE10(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3723_0_createTree_LE9(x1, x3, x4, x5, x6, x7, x8)
Cond_3723_0_createTree_LE8(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE8(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE7(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE7(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE6(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE6(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE5(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE5(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE4(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE4(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE3(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE3(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_3723_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_3723_0_createTree_LE1(x1, x3, x4, x5, x6, x7, x8)
Cond_3723_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE(x1, x3, x4, x5, x6)

Filtered duplicate args:

3723_0_createTree_LE(x1, x2, x3, x4) → 3723_0_createTree_LE(x2, x3, x4)
Cond_3723_0_createTree_LE(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE(x1, x3, x4, x5)
Cond_3723_0_createTree_LE1(x1, x2, x3, x4, x5, x6, x7) → Cond_3723_0_createTree_LE1(x1, x3, x4, x5, x6, x7)
Cond_3723_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE2(x1, x4, x5)
Cond_3723_0_createTree_LE3(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE3(x1, x4, x5)
Cond_3723_0_createTree_LE4(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE4(x1, x3, x5)
Cond_3723_0_createTree_LE5(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE5(x1, x3, x5)
Cond_3723_0_createTree_LE6(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE6(x1, x3, x5)
Cond_3723_0_createTree_LE7(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE7(x1, x3, x5)
Cond_3723_0_createTree_LE8(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE8(x1, x3, x4, x5)
Cond_3723_0_createTree_LE9(x1, x2, x3, x4, x5, x6, x7) → Cond_3723_0_createTree_LE9(x1, x3, x4, x5, x6, x7)
Cond_3723_0_createTree_LE10(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE10(x1, x4, x5)
Cond_3723_0_createTree_LE11(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE11(x1, x4, x5)
Cond_3723_0_createTree_LE12(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE12(x1, x3, x5)
Cond_3723_0_createTree_LE13(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE13(x1, x3, x5)
Cond_3723_0_createTree_LE14(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE14(x1, x3, x5)
Cond_3723_0_createTree_LE15(x1, x2, x3, x4, x5) → Cond_3723_0_createTree_LE15(x1, x3, x5)

Filtered unneeded arguments:

Cond_3723_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE1(x1, x4, x5, x6)
Cond_3723_0_createTree_LE9(x1, x2, x3, x4, x5, x6) → Cond_3723_0_createTree_LE9(x1, x4, x5, x6)

Filtered all non-integer terms:

3723_0_createTree_LE(x1, x2, x3) → 3723_0_createTree_LE(x3)
TreeLeftmostPath.Tree(x1, x2) → TreeLeftmostPath.Tree
Cond_3723_0_createTree_LE(x1, x2, x3, x4) → Cond_3723_0_createTree_LE(x1, x4)
Cond_3723_0_createTree_LE2(x1, x2, x3) → Cond_3723_0_createTree_LE2(x1, x3)
Cond_3723_0_createTree_LE3(x1, x2, x3) → Cond_3723_0_createTree_LE3(x1, x3)
Cond_3723_0_createTree_LE4(x1, x2, x3) → Cond_3723_0_createTree_LE4(x1, x3)
Cond_3723_0_createTree_LE5(x1, x2, x3) → Cond_3723_0_createTree_LE5(x1, x3)
Cond_3723_0_createTree_LE6(x1, x2, x3) → Cond_3723_0_createTree_LE6(x1, x3)
Cond_3723_0_createTree_LE7(x1, x2, x3) → Cond_3723_0_createTree_LE7(x1, x3)
Cond_3723_0_createTree_LE8(x1, x2, x3, x4) → Cond_3723_0_createTree_LE8(x1, x4)
Cond_3723_0_createTree_LE10(x1, x2, x3) → Cond_3723_0_createTree_LE10(x1, x3)
Cond_3723_0_createTree_LE11(x1, x2, x3) → Cond_3723_0_createTree_LE11(x1, x3)
Cond_3723_0_createTree_LE12(x1, x2, x3) → Cond_3723_0_createTree_LE12(x1, x3)
Cond_3723_0_createTree_LE13(x1, x2, x3) → Cond_3723_0_createTree_LE13(x1, x3)
Cond_3723_0_createTree_LE14(x1, x2, x3) → Cond_3723_0_createTree_LE14(x1, x3)
Cond_3723_0_createTree_LE15(x1, x2, x3) → Cond_3723_0_createTree_LE15(x1, x3)

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

P rules:
3723_0_createTree_LE(x0) → 3723_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:
3723_0_CREATETREE_LE(x0) → COND_3723_0_CREATETREE_LE(>(x0, 0), x0)
COND_3723_0_CREATETREE_LE(TRUE, x0) → 3723_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): 3723_0_CREATETREE_LE(x0[0]) → COND_3723_0_CREATETREE_LE(x0[0] > 0, x0[0])
(1): COND_3723_0_CREATETREE_LE(TRUE, x0[1]) → 3723_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@6864bd83 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 3723_0_CREATETREE_LE(x0) → COND_3723_0_CREATETREE_LE(>(x0, 0), x0) the following chains were created:

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

  (1)    (>(x0[0], 0)=TRUE∧x0[0]=x0[1] ⇒ 3723_0_CREATETREE_LE(x0[0])≥NonInfC∧3723_0_CREATETREE_LE(x0[0])≥COND_3723_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3723_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 ⇒ 3723_0_CREATETREE_LE(x0[0])≥NonInfC∧3723_0_CREATETREE_LE(x0[0])≥COND_3723_0_CREATETREE_LE(>(x0[0], 0), x0[0])∧(U^Increasing(COND_3723_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_3723_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_3723_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_3723_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_3723_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_3723_0_CREATETREE_LE(TRUE, x0) → 3723_0_CREATETREE_LE(+(x0, -1)) the following chains were created:

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

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

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

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

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

The following pairs are in P_bound:

3723_0_CREATETREE_LE(x0[0]) → COND_3723_0_CREATETREE_LE(>(x0[0], 0), x0[0])

The following pairs are in P_≥:

3723_0_CREATETREE_LE(x0[0]) → COND_3723_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): 3723_0_CREATETREE_LE(x0[0]) → COND_3723_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_3723_0_CREATETREE_LE(TRUE, x0[1]) → 3723_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:
3878_0_main_FieldAccess(EOS(STATIC_3878), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4701, java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4701, java.lang.Object(EOC), o4702))) → 3889_0_main_NULL(EOS(STATIC_3889), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4701, java.lang.Object(EOC), o4702)), o4701)
3889_0_main_NULL(EOS(STATIC_3889), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub)) → 3899_0_main_NULL(EOS(STATIC_3899), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub))
3899_0_main_NULL(EOS(STATIC_3899), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub)) → 3909_0_main_New(EOS(STATIC_3909), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
3909_0_main_New(EOS(STATIC_3909), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 3923_0_main_Duplicate(EOS(STATIC_3923), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
3923_0_main_Duplicate(EOS(STATIC_3923), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 3940_0_main_Load(EOS(STATIC_3940), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
3940_0_main_Load(EOS(STATIC_3940), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 3959_0_main_FieldAccess(EOS(STATIC_3959), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
3959_0_main_FieldAccess(EOS(STATIC_3959), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 3986_0_main_Load(EOS(STATIC_3986), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
3986_0_main_Load(EOS(STATIC_3986), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4019_0_main_InvokeMethod(EOS(STATIC_4019), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4019_0_main_InvokeMethod(EOS(STATIC_4019), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4053_0_<init>_Load(EOS(STATIC_4053), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4053_0_<init>_Load(EOS(STATIC_4053), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4134_0_<init>_InvokeMethod(EOS(STATIC_4134), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4134_0_<init>_InvokeMethod(EOS(STATIC_4134), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4156_0_<init>_Load(EOS(STATIC_4156), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4156_0_<init>_Load(EOS(STATIC_4156), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4185_0_<init>_Load(EOS(STATIC_4185), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4185_0_<init>_Load(EOS(STATIC_4185), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4216_0_<init>_FieldAccess(EOS(STATIC_4216), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4216_0_<init>_FieldAccess(EOS(STATIC_4216), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4243_0_<init>_Load(EOS(STATIC_4243), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4243_0_<init>_Load(EOS(STATIC_4243), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4258_0_<init>_Load(EOS(STATIC_4258), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4258_0_<init>_Load(EOS(STATIC_4258), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4277_0_<init>_FieldAccess(EOS(STATIC_4277), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4277_0_<init>_FieldAccess(EOS(STATIC_4277), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4300_0_<init>_Return(EOS(STATIC_4300), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4300_0_<init>_Return(EOS(STATIC_4300), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4325_0_main_Store(EOS(STATIC_4325), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4325_0_main_Store(EOS(STATIC_4325), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4346_0_main_Load(EOS(STATIC_4346), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4346_0_main_Load(EOS(STATIC_4346), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4366_0_main_FieldAccess(EOS(STATIC_4366), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)))
4366_0_main_FieldAccess(EOS(STATIC_4366), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702))) → 4386_0_main_Store(EOS(STATIC_4386), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub))
4386_0_main_Store(EOS(STATIC_4386), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub)) → 4408_0_main_Load(EOS(STATIC_4408), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub))
4408_0_main_Load(EOS(STATIC_4408), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub)) → 4432_0_main_FieldAccess(EOS(STATIC_4432), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o4746sub), java.lang.Object(EOC), o4702)), java.lang.Object(o4746sub), java.lang.Object(o4746sub))
4432_0_main_FieldAccess(EOS(STATIC_4432), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4456_0_main_FieldAccess(EOS(STATIC_4456), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4456_0_main_FieldAccess(EOS(STATIC_4456), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4476_0_main_Store(EOS(STATIC_4476), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799)
4476_0_main_Store(EOS(STATIC_4476), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799) → 4495_0_main_Load(EOS(STATIC_4495), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799)
4495_0_main_Load(EOS(STATIC_4495), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799) → 4511_0_main_FieldAccess(EOS(STATIC_4511), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4511_0_main_FieldAccess(EOS(STATIC_4511), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4520_0_main_Store(EOS(STATIC_4520), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800)
4520_0_main_Store(EOS(STATIC_4520), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800) → 4524_0_main_Load(EOS(STATIC_4524), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800)
4524_0_main_Load(EOS(STATIC_4524), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800) → 4528_0_main_FieldAccess(EOS(STATIC_4528), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), 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), o4702)))
4528_0_main_FieldAccess(EOS(STATIC_4528), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), 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), o4702))) → 4534_0_main_Store(EOS(STATIC_4534), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702)
4534_0_main_Store(EOS(STATIC_4534), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702) → 4537_0_main_Load(EOS(STATIC_4537), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702)
4537_0_main_Load(EOS(STATIC_4537), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702) → 4541_0_main_Load(EOS(STATIC_4541), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)))
4541_0_main_Load(EOS(STATIC_4541), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702))) → 4542_0_main_FieldAccess(EOS(STATIC_4542), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4542_0_main_FieldAccess(EOS(STATIC_4542), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, 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), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702)
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), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)), o6799, o6800, o4702) → 4545_0_main_Load(EOS(STATIC_4545), 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, o4702, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800)))
4545_0_main_Load(EOS(STATIC_4545), 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, o4702, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o6800))) → 4546_0_main_FieldAccess(EOS(STATIC_4546), 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)), o4702)
4546_0_main_FieldAccess(EOS(STATIC_4546), 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)), o4702) → 4548_0_main_Load(EOS(STATIC_4548), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), o6799, o6800)
4548_0_main_Load(EOS(STATIC_4548), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), o6799, o6800) → 4549_0_main_Load(EOS(STATIC_4549), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)))), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)))
4549_0_main_Load(EOS(STATIC_4549), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)))), o6799, o6800, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702))) → 4550_0_main_FieldAccess(EOS(STATIC_4550), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), o6800)
4550_0_main_FieldAccess(EOS(STATIC_4550), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, o6801, o4702)), o6800) → 4552_0_main_Load(EOS(STATIC_4552), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), o6799)
4552_0_main_Load(EOS(STATIC_4552), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), o6799) → 4553_0_main_Load(EOS(STATIC_4553), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))))
4553_0_main_Load(EOS(STATIC_4553), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), o6799, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702))))) → 4554_0_main_FieldAccess(EOS(STATIC_4554), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), o6799)
4554_0_main_FieldAccess(EOS(STATIC_4554), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)), java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))), o6799) → 4556_0_main_JMP(EOS(STATIC_4556), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))))
4556_0_main_JMP(EOS(STATIC_4556), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702))))) → 4558_0_main_Load(EOS(STATIC_4558), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))))
4558_0_main_Load(EOS(STATIC_4558), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702))))) → 3869_0_main_Load(EOS(STATIC_3869), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6799, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o6800, o6801, o4702)))))
3869_0_main_Load(EOS(STATIC_3869), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4701, java.lang.Object(EOC), o4702))) → 3878_0_main_FieldAccess(EOS(STATIC_3878), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4701, java.lang.Object(EOC), o4702)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o4701, java.lang.Object(EOC), o4702)))
R rules:

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

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

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

Filtered duplicate args:

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

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

3878_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(x0[0], x1[0])), java.lang.Object(EOC)))) → 3878_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₁ > 3878_{0MAINFIELDACCESS1}

and weight map:

EOC=1
3878_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