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


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


YES
proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 97 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1001 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToIRSProof [SOUND, 301 ms]
        (9) IRSwT
        (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (11) IRSwT
        (12) IRSwTTerminationDigraphProof [EQUIVALENT, 357 ms]
        (13) IRSwT
        (14) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (15) IRSwT
        (16) TempFilterProof [SOUND, 22 ms]
        (17) IntTRS
        (18) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
        (19) YES
    (20) JBCTerminationSCC
        (21) SCCToQDPProof [SOUND, 377 ms]
        (22) QDP
        (23) MRRProof [EQUIVALENT, 0 ms]
        (24) QDP
        (25) PisEmptyProof [EQUIVALENT, 0 ms]
        (26) YES


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

(0)
Obligation:
need to prove termination of the following program:
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) BareJBCToJBCProof (EQUIVALENT)
initialized classpath
----------------------------------------

(2)
Obligation:
need to prove termination of the following program:
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;
    }
  }
}



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

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

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



TreeLeftmostPath.Tree.createTree()LTreeLeftmostPath/Tree;: Graph of 310 nodes with 1 SCC.





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

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

(6)
Complex Obligation (AND)

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

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

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

(8) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 114 IRulesP rules:
f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i998) -> f5195_0_createTree_LE(EOS(STATIC_5195(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i998) :|: TRUE
f5195_0_createTree_LE(EOS(STATIC_5195(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i998) -> f5199_0_createTree_InvokeMethod(EOS(STATIC_5199(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) :|: i998 > 0
f5199_0_createTree_InvokeMethod(EOS(STATIC_5199(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) -> f5203_0_random_FieldAccess(EOS(STATIC_5203(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) :|: TRUE
f5203_0_random_FieldAccess(EOS(STATIC_5203(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) -> f5279_0_random_FieldAccess(EOS(STATIC_5279(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f5279_0_random_FieldAccess(EOS(STATIC_5279(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6))) -> f5310_0_random_ArrayAccess(EOS(STATIC_5310(java.lang.Object(ARRAY(i6)), i992)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6)), i992) :|: TRUE
f5310_0_random_ArrayAccess(EOS(STATIC_5310(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6)), i1017) -> f5318_0_random_ArrayAccess(EOS(STATIC_5318(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6)), i1017) :|: TRUE
f5318_0_random_ArrayAccess(EOS(STATIC_5318(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6)), i1017) -> f5322_0_random_ArrayAccess(EOS(STATIC_5322(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6)), i1017) :|: TRUE
f5322_0_random_ArrayAccess(EOS(STATIC_5322(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(ARRAY(i6)), i1017) -> f5416_0_random_Store(EOS(STATIC_5416(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480) :|: i1017 < i6
f5416_0_random_Store(EOS(STATIC_5416(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480) -> f5424_0_random_FieldAccess(EOS(STATIC_5424(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480) :|: TRUE
f5424_0_random_FieldAccess(EOS(STATIC_5424(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480) -> f5432_0_random_ConstantStackPush(EOS(STATIC_5432(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480, i1017) :|: TRUE
f5432_0_random_ConstantStackPush(EOS(STATIC_5432(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480, i1017) -> f5438_0_random_IntArithmetic(EOS(STATIC_5438(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480, i1017, 1) :|: TRUE
f5438_0_random_IntArithmetic(EOS(STATIC_5438(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480, i1017, matching1) -> f5448_0_random_FieldAccess(EOS(STATIC_5448(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480, i1017 + 1) :|: i1017 >= 0 && matching1 = 1
f5448_0_random_FieldAccess(EOS(STATIC_5448(java.lang.Object(ARRAY(i6)), i1017)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480, i1034) -> f5454_0_random_Load(EOS(STATIC_5454(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480) :|: TRUE
f5454_0_random_Load(EOS(STATIC_5454(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480) -> f5467_0_random_InvokeMethod(EOS(STATIC_5467(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), o1480) :|: TRUE
f5467_0_random_InvokeMethod(EOS(STATIC_5467(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1503sub)) -> f5518_0_random_InvokeMethod(EOS(STATIC_5518(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1503sub)) :|: TRUE
f5518_0_random_InvokeMethod(EOS(STATIC_5518(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1504sub)) -> f5526_0_random_InvokeMethod(EOS(STATIC_5526(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1504sub)) :|: TRUE
f5526_0_random_InvokeMethod(EOS(STATIC_5526(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1504sub)) -> f5537_0_length_Load(EOS(STATIC_5537(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1504sub)) :|: TRUE
f5537_0_length_Load(EOS(STATIC_5537(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1504sub)) -> f5558_0_length_FieldAccess(EOS(STATIC_5558(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1504sub)) :|: TRUE
f5558_0_length_FieldAccess(EOS(STATIC_5558(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(java.lang.String(EOC, i1061))) -> f5566_0_length_FieldAccess(EOS(STATIC_5566(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(java.lang.String(EOC, i1061))) :|: i1061 >= 0
f5566_0_length_FieldAccess(EOS(STATIC_5566(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(java.lang.String(EOC, i1061))) -> f5576_0_length_Return(EOS(STATIC_5576(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) :|: TRUE
f5576_0_length_Return(EOS(STATIC_5576(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) -> f5589_0_random_Return(EOS(STATIC_5589(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) :|: TRUE
f5589_0_random_Return(EOS(STATIC_5589(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) -> f5599_0_createTree_Store(EOS(STATIC_5599(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) :|: TRUE
f5599_0_createTree_Store(EOS(STATIC_5599(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) -> f5608_0_createTree_Load(EOS(STATIC_5608(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) :|: TRUE
f5608_0_createTree_Load(EOS(STATIC_5608(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) -> f5624_0_createTree_LE(EOS(STATIC_5624(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1061) :|: TRUE
f5624_0_createTree_LE(EOS(STATIC_5624(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), matching1) -> f5635_0_createTree_LE(EOS(STATIC_5635(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), 0) :|: TRUE && matching1 = 0
f5624_0_createTree_LE(EOS(STATIC_5624(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1084) -> f5636_0_createTree_LE(EOS(STATIC_5636(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1084) :|: TRUE
f5635_0_createTree_LE(EOS(STATIC_5635(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), matching1) -> f5799_0_createTree_Load(EOS(STATIC_5799(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) :|: 0 <= 0 && matching1 = 0
f5799_0_createTree_Load(EOS(STATIC_5799(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) -> f5818_0_createTree_FieldAccess(EOS(STATIC_5818(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1437sub)) :|: TRUE
f5818_0_createTree_FieldAccess(EOS(STATIC_5818(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1545, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1545, o1544))) -> f5841_0_createTree_FieldAccess(EOS(STATIC_5841(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1545, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1545, o1544))) :|: TRUE
f5841_0_createTree_FieldAccess(EOS(STATIC_5841(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1545, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1545, o1544))) -> f5863_0_createTree_NONNULL(EOS(STATIC_5863(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1545, o1544)), o1545) :|: TRUE
f5863_0_createTree_NONNULL(EOS(STATIC_5863(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub), o1544)), java.lang.Object(o1557sub)) -> f5883_0_createTree_NONNULL(EOS(STATIC_5883(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub), o1544)), java.lang.Object(o1557sub)) :|: TRUE
f5863_0_createTree_NONNULL(EOS(STATIC_5863(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), NULL) -> f5884_0_createTree_NONNULL(EOS(STATIC_5884(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), NULL) :|: TRUE
f5883_0_createTree_NONNULL(EOS(STATIC_5883(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub), o1544)), java.lang.Object(o1557sub)) -> f5910_0_createTree_Load(EOS(STATIC_5910(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub), o1544))) :|: TRUE
f5910_0_createTree_Load(EOS(STATIC_5910(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub), o1544))) -> f5934_0_createTree_FieldAccess(EOS(STATIC_5934(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub), o1544))) :|: TRUE
f5934_0_createTree_FieldAccess(EOS(STATIC_5934(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub), o1544))) -> f5957_0_createTree_Store(EOS(STATIC_5957(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) :|: TRUE
f5957_0_createTree_Store(EOS(STATIC_5957(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) -> f5970_0_createTree_Inc(EOS(STATIC_5970(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) :|: TRUE
f5970_0_createTree_Inc(EOS(STATIC_5970(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) -> f5975_0_createTree_JMP(EOS(STATIC_5975(java.lang.Object(ARRAY(i6)), i1034)), i998 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) :|: TRUE
f5975_0_createTree_JMP(EOS(STATIC_5975(java.lang.Object(ARRAY(i6)), i1034)), i1141, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) -> f6059_0_createTree_Load(EOS(STATIC_6059(java.lang.Object(ARRAY(i6)), i1034)), i1141, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) :|: TRUE
f6059_0_createTree_Load(EOS(STATIC_6059(java.lang.Object(ARRAY(i6)), i1034)), i1141, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) -> f5181_0_createTree_Load(EOS(STATIC_5181(java.lang.Object(ARRAY(i6)), i1034)), i1141, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1557sub)) :|: TRUE
f5181_0_createTree_Load(EOS(STATIC_5181(java.lang.Object(ARRAY(i6)), i992)), i993, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) -> f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6)), i992)), i993, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i993) :|: TRUE
f5884_0_createTree_NONNULL(EOS(STATIC_5884(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), NULL) -> f5912_0_createTree_Load(EOS(STATIC_5912(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544))) :|: TRUE
f5912_0_createTree_Load(EOS(STATIC_5912(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544))) -> f5937_0_createTree_InvokeMethod(EOS(STATIC_5937(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544))) :|: TRUE
f5937_0_createTree_InvokeMethod(EOS(STATIC_5937(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544))) -> f5959_0_createNode_New(EOS(STATIC_5959(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544))) :|: TRUE
f5959_0_createNode_New(EOS(STATIC_5959(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544))) -> f5976_0_createNode_Duplicate(EOS(STATIC_5976(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5976_0_createNode_Duplicate(EOS(STATIC_5976(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6063_0_createNode_InvokeMethod(EOS(STATIC_6063(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6063_0_createNode_InvokeMethod(EOS(STATIC_6063(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6137_0__init__Load(EOS(STATIC_6137(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6137_0__init__Load(EOS(STATIC_6137(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6170_0__init__InvokeMethod(EOS(STATIC_6170(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6170_0__init__InvokeMethod(EOS(STATIC_6170(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6182_0__init__Return(EOS(STATIC_6182(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6182_0__init__Return(EOS(STATIC_6182(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6215_0_createNode_Store(EOS(STATIC_6215(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6215_0_createNode_Store(EOS(STATIC_6215(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6255_0_createNode_Load(EOS(STATIC_6255(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6255_0_createNode_Load(EOS(STATIC_6255(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6264_0_createNode_New(EOS(STATIC_6264(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6264_0_createNode_New(EOS(STATIC_6264(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6274_0_createNode_Duplicate(EOS(STATIC_6274(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6274_0_createNode_Duplicate(EOS(STATIC_6274(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6287_0_createNode_InvokeMethod(EOS(STATIC_6287(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f6287_0_createNode_InvokeMethod(EOS(STATIC_6287(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6297_0_createNode_FieldAccess(EOS(STATIC_6297(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6297_0_createNode_FieldAccess(EOS(STATIC_6297(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6309_0_createNode_Load(EOS(STATIC_6309(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6309_0_createNode_Load(EOS(STATIC_6309(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6321_0_createNode_Return(EOS(STATIC_6321(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6321_0_createNode_Return(EOS(STATIC_6321(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6329_0_createTree_FieldAccess(EOS(STATIC_6329(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6329_0_createTree_FieldAccess(EOS(STATIC_6329(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6350_0_createTree_FieldAccess(EOS(STATIC_6350(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6329_0_createTree_FieldAccess(EOS(STATIC_6329(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6351_0_createTree_FieldAccess(EOS(STATIC_6351(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6350_0_createTree_FieldAccess(EOS(STATIC_6350(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6377_0_createTree_Load(EOS(STATIC_6377(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435put, o1434put))) :|: TRUE
f6377_0_createTree_Load(EOS(STATIC_6377(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6397_0_createTree_Store(EOS(STATIC_6397(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6397_0_createTree_Store(EOS(STATIC_6397(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6409_0_createTree_JMP(EOS(STATIC_6409(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6409_0_createTree_JMP(EOS(STATIC_6409(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6424_0_createTree_Inc(EOS(STATIC_6424(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6424_0_createTree_Inc(EOS(STATIC_6424(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6460_0_createTree_JMP(EOS(STATIC_6460(java.lang.Object(ARRAY(i6)), i1034)), i998 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6460_0_createTree_JMP(EOS(STATIC_6460(java.lang.Object(ARRAY(i6)), i1034)), i1253, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6482_0_createTree_Load(EOS(STATIC_6482(java.lang.Object(ARRAY(i6)), i1034)), i1253, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6482_0_createTree_Load(EOS(STATIC_6482(java.lang.Object(ARRAY(i6)), i1034)), i1253, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f5181_0_createTree_Load(EOS(STATIC_5181(java.lang.Object(ARRAY(i6)), i1034)), i1253, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6351_0_createTree_FieldAccess(EOS(STATIC_6351(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6383_0_createTree_Load(EOS(STATIC_6383(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) :|: TRUE
f6383_0_createTree_Load(EOS(STATIC_6383(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) -> f6400_0_createTree_Store(EOS(STATIC_6400(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) :|: TRUE
f6400_0_createTree_Store(EOS(STATIC_6400(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) -> f6412_0_createTree_JMP(EOS(STATIC_6412(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) :|: TRUE
f6412_0_createTree_JMP(EOS(STATIC_6412(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) -> f6428_0_createTree_Inc(EOS(STATIC_6428(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) :|: TRUE
f6428_0_createTree_Inc(EOS(STATIC_6428(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) -> f6446_0_createTree_Inc(EOS(STATIC_6446(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1720))) :|: TRUE
f6446_0_createTree_Inc(EOS(STATIC_6446(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6424_0_createTree_Inc(EOS(STATIC_6424(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f5636_0_createTree_LE(EOS(STATIC_5636(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), i1084) -> f5801_0_createTree_Load(EOS(STATIC_5801(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) :|: i1084 > 0
f5801_0_createTree_Load(EOS(STATIC_5801(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub)) -> f5820_0_createTree_FieldAccess(EOS(STATIC_5820(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1437sub), java.lang.Object(o1437sub)) :|: TRUE
f5820_0_createTree_FieldAccess(EOS(STATIC_5820(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, o1548)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, o1548))) -> f5846_0_createTree_FieldAccess(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, o1548)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, o1548))) :|: TRUE
f5846_0_createTree_FieldAccess(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, o1548)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, o1548))) -> f5865_0_createTree_NONNULL(EOS(STATIC_5865(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, o1548)), o1548) :|: TRUE
f5865_0_createTree_NONNULL(EOS(STATIC_5865(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, java.lang.Object(o1559sub))), java.lang.Object(o1559sub)) -> f5886_0_createTree_NONNULL(EOS(STATIC_5886(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, java.lang.Object(o1559sub))), java.lang.Object(o1559sub)) :|: TRUE
f5865_0_createTree_NONNULL(EOS(STATIC_5865(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), NULL) -> f5887_0_createTree_NONNULL(EOS(STATIC_5887(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), NULL) :|: TRUE
f5886_0_createTree_NONNULL(EOS(STATIC_5886(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, java.lang.Object(o1559sub))), java.lang.Object(o1559sub)) -> f5914_0_createTree_Load(EOS(STATIC_5914(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, java.lang.Object(o1559sub)))) :|: TRUE
f5914_0_createTree_Load(EOS(STATIC_5914(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, java.lang.Object(o1559sub)))) -> f5939_0_createTree_FieldAccess(EOS(STATIC_5939(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, java.lang.Object(o1559sub)))) :|: TRUE
f5939_0_createTree_FieldAccess(EOS(STATIC_5939(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, java.lang.Object(o1559sub)))) -> f5962_0_createTree_Store(EOS(STATIC_5962(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1559sub)) :|: TRUE
f5962_0_createTree_Store(EOS(STATIC_5962(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1559sub)) -> f5971_0_createTree_JMP(EOS(STATIC_5971(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1559sub)) :|: TRUE
f5971_0_createTree_JMP(EOS(STATIC_5971(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1559sub)) -> f5977_0_createTree_Inc(EOS(STATIC_5977(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1559sub)) :|: TRUE
f5977_0_createTree_Inc(EOS(STATIC_5977(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1559sub)) -> f5970_0_createTree_Inc(EOS(STATIC_5970(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(o1559sub)) :|: TRUE
f5887_0_createTree_NONNULL(EOS(STATIC_5887(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), NULL) -> f5917_0_createTree_Load(EOS(STATIC_5917(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL))) :|: TRUE
f5917_0_createTree_Load(EOS(STATIC_5917(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL))) -> f5941_0_createTree_InvokeMethod(EOS(STATIC_5941(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL))) :|: TRUE
f5941_0_createTree_InvokeMethod(EOS(STATIC_5941(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL))) -> f5965_0_createNode_New(EOS(STATIC_5965(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL))) :|: TRUE
f5965_0_createNode_New(EOS(STATIC_5965(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL))) -> f5978_0_createNode_Duplicate(EOS(STATIC_5978(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5978_0_createNode_Duplicate(EOS(STATIC_5978(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6066_0_createNode_InvokeMethod(EOS(STATIC_6066(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6066_0_createNode_InvokeMethod(EOS(STATIC_6066(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6140_0__init__Load(EOS(STATIC_6140(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6140_0__init__Load(EOS(STATIC_6140(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6174_0__init__InvokeMethod(EOS(STATIC_6174(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6174_0__init__InvokeMethod(EOS(STATIC_6174(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6187_0__init__Return(EOS(STATIC_6187(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6187_0__init__Return(EOS(STATIC_6187(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6218_0_createNode_Store(EOS(STATIC_6218(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6218_0_createNode_Store(EOS(STATIC_6218(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6260_0_createNode_Load(EOS(STATIC_6260(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6260_0_createNode_Load(EOS(STATIC_6260(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6269_0_createNode_New(EOS(STATIC_6269(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6269_0_createNode_New(EOS(STATIC_6269(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6279_0_createNode_Duplicate(EOS(STATIC_6279(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6279_0_createNode_Duplicate(EOS(STATIC_6279(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6291_0_createNode_InvokeMethod(EOS(STATIC_6291(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, 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)) :|: TRUE
f6291_0_createNode_InvokeMethod(EOS(STATIC_6291(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, 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)) -> f6301_0_createNode_FieldAccess(EOS(STATIC_6301(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6301_0_createNode_FieldAccess(EOS(STATIC_6301(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6313_0_createNode_Load(EOS(STATIC_6313(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6313_0_createNode_Load(EOS(STATIC_6313(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6325_0_createNode_Return(EOS(STATIC_6325(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6325_0_createNode_Return(EOS(STATIC_6325(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6331_0_createTree_FieldAccess(EOS(STATIC_6331(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6331_0_createTree_FieldAccess(EOS(STATIC_6331(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6366_0_createTree_FieldAccess(EOS(STATIC_6366(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6331_0_createTree_FieldAccess(EOS(STATIC_6331(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6367_0_createTree_FieldAccess(EOS(STATIC_6367(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6366_0_createTree_FieldAccess(EOS(STATIC_6366(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6388_0_createTree_Load(EOS(STATIC_6388(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435put, o1434put))) :|: TRUE
f6388_0_createTree_Load(EOS(STATIC_6388(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6402_0_createTree_Store(EOS(STATIC_6402(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6402_0_createTree_Store(EOS(STATIC_6402(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6414_0_createTree_JMP(EOS(STATIC_6414(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6414_0_createTree_JMP(EOS(STATIC_6414(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) -> f6446_0_createTree_Inc(EOS(STATIC_6446(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435, o1434))) :|: TRUE
f6367_0_createTree_FieldAccess(EOS(STATIC_6367(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6393_0_createTree_Load(EOS(STATIC_6393(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6393_0_createTree_Load(EOS(STATIC_6393(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6405_0_createTree_Store(EOS(STATIC_6405(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6405_0_createTree_Store(EOS(STATIC_6405(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6417_0_createTree_JMP(EOS(STATIC_6417(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6417_0_createTree_JMP(EOS(STATIC_6417(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6450_0_createTree_Inc(EOS(STATIC_6450(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6450_0_createTree_Inc(EOS(STATIC_6450(java.lang.Object(ARRAY(i6)), i1034)), i998, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6464_0_createTree_JMP(EOS(STATIC_6464(java.lang.Object(ARRAY(i6)), i1034)), i998 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6464_0_createTree_JMP(EOS(STATIC_6464(java.lang.Object(ARRAY(i6)), i1034)), i1255, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6497_0_createTree_Load(EOS(STATIC_6497(java.lang.Object(ARRAY(i6)), i1034)), i1255, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6497_0_createTree_Load(EOS(STATIC_6497(java.lang.Object(ARRAY(i6)), i1034)), i1255, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f5181_0_createTree_Load(EOS(STATIC_5181(java.lang.Object(ARRAY(i6)), i1034)), i1255, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1729, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0)), i998:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1434:0)), i998:0) -> f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0 + 1)), i998:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1434:0)), i998:0 - 1) :|: i998:0 > 0 && i992:0 > -1 && i992:0 < i6:0
f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0)), i998:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549:0, java.lang.Object(o1559sub:0))), i998:0) -> f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0 + 1)), i998:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, o1434:0)), java.lang.Object(o1559sub:0), i998:0 - 1) :|: i1061:0 > 0 && i998:0 > 0 && i992:0 > -1 && i992:0 < i6:0
f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0)), i998:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, NULL)), i998:0) -> f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0 + 1)), i998:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), i998:0 - 1) :|: i1061:0 > 0 && i998:0 > 0 && i992:0 > -1 && i992:0 < i6:0
f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0)), i998:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1549:0, NULL)), i998:0) -> f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0 + 1)), i998:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435put:0, o1434put:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435put:0, o1434put:0)), i998:0 - 1) :|: i1061:0 > 0 && i998:0 > 0 && i992:0 > -1 && i992:0 < i6:0
f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0)), i998:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1544:0)), i998:0) -> f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0 + 1)), i998:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435put:0, o1434put:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435put:0, o1434put:0)), i998:0 - 1) :|: i998:0 > 0 && i992:0 > -1 && i992:0 < i6:0
f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0)), i998:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1557sub:0), o1544:0)), i998:0) -> f5190_0_createTree_LE(EOS(STATIC_5190(java.lang.Object(ARRAY(i6:0)), i992:0 + 1)), i998:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1435:0, o1434:0)), java.lang.Object(o1557sub:0), i998:0 - 1) :|: i998:0 > 0 && i992:0 > -1 && i992:0 < i6:0
Filtered constant ground arguments:
   TreeLeftmostPath.Tree(x1, x2, x3) -> TreeLeftmostPath.Tree(x2, x3)
Filtered duplicate arguments:
   f5190_0_createTree_LE(x1, x2, x3, x4, x5) -> f5190_0_createTree_LE(x1, x3, x4, x5)
Finished conversion. Obtained 6 rules.P rules:
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1434:0)), i998:0, i6:0, i992:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1434:0)), i998:0 - 1, i6:0, i992:0 + 1) :|: i992:0 > -1 && i992:0 < i6:0 && i998:0 > 0
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(o1549:0, java.lang.Object(o1559sub:0))), i998:0, i6:0, i992:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, o1434:0)), java.lang.Object(o1559sub:0), i998:0 - 1, i6:0, i992:0 + 1) :|: i998:0 > 0 && i1061:0 > 0 && i992:0 < i6:0 && i992:0 > -1
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(o1435:0, NULL)), i998:0, i6:0, i992:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(o1435:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), i998:0 - 1, i6:0, i992:0 + 1) :|: i998:0 > 0 && i1061:0 > 0 && i992:0 < i6:0 && i992:0 > -1
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(o1549:0, NULL)), i998:0, i6:0, i992:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435put:0, o1434put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1435put:0, o1434put:0)), i998:0 - 1, i6:0, i992:0 + 1) :|: i998:0 > 0 && i1061:0 > 0 && i992:0 < i6:0 && i992:0 > -1
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1544:0)), i998:0, i6:0, i992:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435put:0, o1434put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1435put:0, o1434put:0)), i998:0 - 1, i6:0, i992:0 + 1) :|: i992:0 > -1 && i992:0 < i6:0 && i998:0 > 0
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, o1434:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(o1557sub:0), o1544:0)), i998:0, i6:0, i992:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1435:0, o1434:0)), java.lang.Object(o1557sub:0), i998:0 - 1, i6:0, i992:0 + 1) :|: i992:0 > -1 && i992:0 < i6:0 && i998:0 > 0

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

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

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

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

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

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

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

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

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

(13)
Obligation:

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

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

This digraph is fully evaluated!

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

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

(15)
Obligation:
Rules:
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x47:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(x47:0, NULL)), x48:0, x49:0, x50:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x47:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(x47:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), x48:0 - 1, x49:0, x50:0 + 1) :|: x50:0 < x49:0 && x50:0 > -1 && x53:0 > 0 && x48:0 > 0
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, o1434:0:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1434:0:0)), i998:0:0, i6:0:0, i992:0:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1434:0:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1434:0:0)), i998:0:0 - 1, i6:0:0, i992:0:0 + 1) :|: i992:0:0 > -1 && i992:0:0 < i6:0:0 && i998:0:0 > 0
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x75:0, x76:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(x77:0), x78:0)), x79:0, x80:0, x81:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x75:0, x76:0)), java.lang.Object(x77:0), x79:0 - 1, x80:0, x81:0 + 1) :|: x81:0 > -1 && x81:0 < x80:0 && x79:0 > 0
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x65:0, x66:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, x67:0)), x68:0, x69:0, x70:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x71:0, x72:0)), java.lang.Object(TreeLeftmostPath.Tree(x71:0, x72:0)), x68:0 - 1, x69:0, x70:0 + 1) :|: x70:0 > -1 && x70:0 < x69:0 && x68:0 > 0
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x54:0, x55:0)), java.lang.Object(TreeLeftmostPath.Tree(x56:0, NULL)), x57:0, x58:0, x59:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x60:0, x61:0)), java.lang.Object(TreeLeftmostPath.Tree(x60:0, x61:0)), x57:0 - 1, x58:0, x59:0 + 1) :|: x59:0 < x58:0 && x59:0 > -1 && x64:0 > 0 && x57:0 > 0
f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x37:0, x38:0)), java.lang.Object(TreeLeftmostPath.Tree(x39:0, java.lang.Object(x40:0))), x41:0, x42:0, x43:0) -> f5190_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x37:0, x38:0)), java.lang.Object(x40:0), x41:0 - 1, x42:0, x43:0 + 1) :|: x43:0 < x42:0 && x43:0 > -1 && x46:0 > 0 && x41:0 > 0

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

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

(17)
Obligation:
Rules:
f5190_0_createTree_LE(c, c1, x48:0, x49:0, x50:0) -> f5190_0_createTree_LE(c2, c3, c4, x49:0, c5) :|: c5 = x50:0 + 1 && (c4 = x48:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x50:0 < x49:0 && x50:0 > -1 && x53:0 > 0 && x48:0 > 0)
f5190_0_createTree_LE(c6, c7, i998:0:0, i6:0:0, i992:0:0) -> f5190_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i992:0:0 + 1 && (c10 = i998:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i992:0:0 > -1 && i992:0:0 < i6:0:0 && i998:0:0 > 0)

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

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

The following rules are decreasing:
f5190_0_createTree_LE(c, c1, x48:0, x49:0, x50:0) -> f5190_0_createTree_LE(c2, c3, c4, x49:0, c5) :|: c5 = x50:0 + 1 && (c4 = x48:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x50:0 < x49:0 && x50:0 > -1 && x53:0 > 0 && x48:0 > 0)
f5190_0_createTree_LE(c6, c7, i998:0:0, i6:0:0, i992:0:0) -> f5190_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i992:0:0 + 1 && (c10 = i998:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i992:0:0 > -1 && i992:0:0 < i6:0:0 && i998:0:0 > 0)
The following rules are bounded:
f5190_0_createTree_LE(c, c1, x48:0, x49:0, x50:0) -> f5190_0_createTree_LE(c2, c3, c4, x49:0, c5) :|: c5 = x50:0 + 1 && (c4 = x48:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x50:0 < x49:0 && x50:0 > -1 && x53:0 > 0 && x48:0 > 0)
f5190_0_createTree_LE(c6, c7, i998:0:0, i6:0:0, i992:0:0) -> f5190_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i992:0:0 + 1 && (c10 = i998:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i992:0:0 > -1 && i992:0:0 < i6:0:0 && i998:0:0 > 0)

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

(19)
YES

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

(20)
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:
*Used field analysis yielded the following read fields:
*TreeLeftmostPath.Tree: [value, left, right]
*Marker field analysis yielded the following relations that could be markers:

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

(21) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 47 rules for P and 0 rules for R.P rules:
f6784_0_main_NULL(EOS(STATIC_6784), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6786_0_main_New(EOS(STATIC_6786), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6786_0_main_New(EOS(STATIC_6786), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6788_0_main_Duplicate(EOS(STATIC_6788), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6788_0_main_Duplicate(EOS(STATIC_6788), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6789_0_main_Load(EOS(STATIC_6789), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6789_0_main_Load(EOS(STATIC_6789), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6790_0_main_FieldAccess(EOS(STATIC_6790), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6790_0_main_FieldAccess(EOS(STATIC_6790), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6791_0_main_Load(EOS(STATIC_6791), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6791_0_main_Load(EOS(STATIC_6791), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6792_0_main_InvokeMethod(EOS(STATIC_6792), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6792_0_main_InvokeMethod(EOS(STATIC_6792), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6793_0__init__Load(EOS(STATIC_6793), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6793_0__init__Load(EOS(STATIC_6793), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6794_0__init__InvokeMethod(EOS(STATIC_6794), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6794_0__init__InvokeMethod(EOS(STATIC_6794), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6795_0__init__Load(EOS(STATIC_6795), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6795_0__init__Load(EOS(STATIC_6795), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6796_0__init__Load(EOS(STATIC_6796), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6796_0__init__Load(EOS(STATIC_6796), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6797_0__init__FieldAccess(EOS(STATIC_6797), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6797_0__init__FieldAccess(EOS(STATIC_6797), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6798_0__init__Load(EOS(STATIC_6798), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6798_0__init__Load(EOS(STATIC_6798), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6799_0__init__Load(EOS(STATIC_6799), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6799_0__init__Load(EOS(STATIC_6799), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6800_0__init__FieldAccess(EOS(STATIC_6800), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6800_0__init__FieldAccess(EOS(STATIC_6800), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6801_0__init__Return(EOS(STATIC_6801), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6801_0__init__Return(EOS(STATIC_6801), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6802_0_main_Store(EOS(STATIC_6802), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6802_0_main_Store(EOS(STATIC_6802), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6803_0_main_Load(EOS(STATIC_6803), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6803_0_main_Load(EOS(STATIC_6803), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6804_0_main_FieldAccess(EOS(STATIC_6804), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6804_0_main_FieldAccess(EOS(STATIC_6804), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6805_0_main_Store(EOS(STATIC_6805), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) :|: TRUE
f6805_0_main_Store(EOS(STATIC_6805), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6806_0_main_Load(EOS(STATIC_6806), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) :|: TRUE
f6806_0_main_Load(EOS(STATIC_6806), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6807_0_main_FieldAccess(EOS(STATIC_6807), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub), java.lang.Object(o2358sub)) :|: TRUE
f6807_0_main_FieldAccess(EOS(STATIC_6807), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6808_0_main_FieldAccess(EOS(STATIC_6808), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE
f6808_0_main_FieldAccess(EOS(STATIC_6808), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6809_0_main_Store(EOS(STATIC_6809), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) :|: TRUE
f6809_0_main_Store(EOS(STATIC_6809), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) -> f6810_0_main_Load(EOS(STATIC_6810), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) :|: TRUE
f6810_0_main_Load(EOS(STATIC_6810), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432) -> f6811_0_main_FieldAccess(EOS(STATIC_6811), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE
f6811_0_main_FieldAccess(EOS(STATIC_6811), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6812_0_main_Store(EOS(STATIC_6812), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) :|: TRUE
f6812_0_main_Store(EOS(STATIC_6812), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) -> f6813_0_main_Load(EOS(STATIC_6813), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) :|: TRUE
f6813_0_main_Load(EOS(STATIC_6813), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433) -> f6814_0_main_FieldAccess(EOS(STATIC_6814), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6814_0_main_FieldAccess(EOS(STATIC_6814), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6815_0_main_Store(EOS(STATIC_6815), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE
f6815_0_main_Store(EOS(STATIC_6815), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6816_0_main_Load(EOS(STATIC_6816), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE
f6816_0_main_Load(EOS(STATIC_6816), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6817_0_main_Load(EOS(STATIC_6817), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6817_0_main_Load(EOS(STATIC_6817), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6818_0_main_FieldAccess(EOS(STATIC_6818), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE
f6818_0_main_FieldAccess(EOS(STATIC_6818), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6819_0_main_Load(EOS(STATIC_6819), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE
f6819_0_main_Load(EOS(STATIC_6819), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6820_0_main_Load(EOS(STATIC_6820), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) :|: TRUE
f6820_0_main_Load(EOS(STATIC_6820), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433))) -> f6821_0_main_FieldAccess(EOS(STATIC_6821), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) :|: TRUE
f6821_0_main_FieldAccess(EOS(STATIC_6821), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, o2433)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))) -> f6822_0_main_Load(EOS(STATIC_6822), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2432, o2433) :|: TRUE
f6822_0_main_Load(EOS(STATIC_6822), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2432, o2433) -> f6823_0_main_Load(EOS(STATIC_6823), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6823_0_main_Load(EOS(STATIC_6823), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6824_0_main_FieldAccess(EOS(STATIC_6824), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2433) :|: TRUE
f6824_0_main_FieldAccess(EOS(STATIC_6824), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2433) -> f6825_0_main_Load(EOS(STATIC_6825), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) :|: TRUE
f6825_0_main_Load(EOS(STATIC_6825), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) -> f6826_0_main_Load(EOS(STATIC_6826), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE
f6826_0_main_Load(EOS(STATIC_6826), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) -> f6827_0_main_FieldAccess(EOS(STATIC_6827), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) :|: TRUE
f6827_0_main_FieldAccess(EOS(STATIC_6827), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))))), o2432) -> f6828_0_main_JMP(EOS(STATIC_6828), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE
f6828_0_main_JMP(EOS(STATIC_6828), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) -> f6829_0_main_Load(EOS(STATIC_6829), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE
f6829_0_main_Load(EOS(STATIC_6829), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) -> f6781_0_main_Load(EOS(STATIC_6781), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2432, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434, o2433, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))))) :|: TRUE
f6781_0_main_Load(EOS(STATIC_6781), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6782_0_main_FieldAccess(EOS(STATIC_6782), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) :|: TRUE
f6782_0_main_FieldAccess(EOS(STATIC_6782), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306))))) -> f6783_0_main_NULL(EOS(STATIC_6783), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2303, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), o2303) :|: TRUE
f6783_0_main_NULL(EOS(STATIC_6783), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) -> f6784_0_main_NULL(EOS(STATIC_6784), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307, o2305, o2306)))), java.lang.Object(o2358sub)) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6784_0_main_NULL(EOS(STATIC_6784), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434:0, java.lang.Object(o2358sub:0), o2433:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307:0, o2305:0, o2306:0)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434:0, java.lang.Object(o2358sub:0), o2433:0))) -> f6784_0_main_NULL(EOS(STATIC_6784), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2358sub:0), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2434:0, o2433:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2307:0, o2305:0, o2306:0)))))), java.lang.Object(o2358sub:0)) :|: TRUE
R rules:
Filtered ground terms:
   f6784_0_main_NULL(x1, x2, x3) -> f6784_0_main_NULL(x2, x3)
   EOS(x1) -> EOS
   TreeLeftmostPath.Tree(x1, x2, x3, x4) -> TreeLeftmostPath.Tree(x2, x3, x4)
Filtered duplicate args:
   f6784_0_main_NULL(x1, x2) -> f6784_0_main_NULL(x1)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6784_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, java.lang.Object(o2358sub:0:0), o2433:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))) -> F6784_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2358sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, o2433:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))))) :|: TRUE
R rules:

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

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

   F6784_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, java.lang.Object(o2358sub:0:0), o2433:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))) -> F6784_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2358sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, o2433:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0)))))))

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

(23) MRRProof (EQUIVALENT)
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:

   F6784_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, java.lang.Object(o2358sub:0:0), o2433:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0))))) -> F6784_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2358sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2434:0:0, o2433:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2307:0:0, o2305:0:0, o2306:0:0)))))))


Used ordering: Knuth-Bendix order [KBO] with precedence:EOC > TreeLeftmostPath.Tree_3 > java.lang.Object_1 > F6784_0_MAIN_NULL_1

and weight map:

   EOC=1
   F6784_0_MAIN_NULL_1=1
   java.lang.Object_1=1
   TreeLeftmostPath.Tree_3=0

The variable weight is 1

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

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

(25) PisEmptyProof (EQUIVALENT)
The TRS P is empty. Hence, there is no (P,Q,R) chain.
----------------------------------------

(26)
YES