/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: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 98 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 963 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToIRSProof [SOUND, 299 ms]
        (9) IRSwT
        (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (11) IRSwT
        (12) IRSwTTerminationDigraphProof [EQUIVALENT, 326 ms]
        (13) IRSwT
        (14) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (15) IRSwT
        (16) TempFilterProof [SOUND, 73 ms]
        (17) IntTRS
        (18) PolynomialOrderProcessor [EQUIVALENT, 23 ms]
        (19) YES
    (20) JBCTerminationSCC
        (21) SCCToQDPProof [SOUND, 312 ms]
        (22) QDP
        (23) MRRProof [EQUIVALENT, 15 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 151 nodes with 1 SCC.



TreeLeftmostPath.Tree.createTree()LTreeLeftmostPath/Tree;: Graph of 316 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 120 IRulesP rules:
f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1017) -> f5322_0_createTree_LE(EOS(STATIC_5322(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1017) :|: TRUE
f5322_0_createTree_LE(EOS(STATIC_5322(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1017) -> f5327_0_createTree_InvokeMethod(EOS(STATIC_5327(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) :|: i1017 > 0
f5327_0_createTree_InvokeMethod(EOS(STATIC_5327(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) -> f5330_0_random_FieldAccess(EOS(STATIC_5330(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) :|: TRUE
f5330_0_random_FieldAccess(EOS(STATIC_5330(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) -> f5343_0_random_FieldAccess(EOS(STATIC_5343(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f5343_0_random_FieldAccess(EOS(STATIC_5343(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6))) -> f5432_0_random_ArrayAccess(EOS(STATIC_5432(java.lang.Object(ARRAY(i6)), i1010)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6)), i1010) :|: TRUE
f5432_0_random_ArrayAccess(EOS(STATIC_5432(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6)), i1036) -> f5437_0_random_ArrayAccess(EOS(STATIC_5437(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6)), i1036) :|: TRUE
f5437_0_random_ArrayAccess(EOS(STATIC_5437(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6)), i1036) -> f5445_0_random_ArrayAccess(EOS(STATIC_5445(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6)), i1036) :|: TRUE
f5445_0_random_ArrayAccess(EOS(STATIC_5445(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(ARRAY(i6)), i1036) -> f5449_0_random_Store(EOS(STATIC_5449(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264) :|: i1036 < i6
f5449_0_random_Store(EOS(STATIC_5449(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264) -> f5458_0_random_FieldAccess(EOS(STATIC_5458(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264) :|: TRUE
f5458_0_random_FieldAccess(EOS(STATIC_5458(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264) -> f5465_0_random_ConstantStackPush(EOS(STATIC_5465(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264, i1036) :|: TRUE
f5465_0_random_ConstantStackPush(EOS(STATIC_5465(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264, i1036) -> f5470_0_random_IntArithmetic(EOS(STATIC_5470(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264, i1036, 1) :|: TRUE
f5470_0_random_IntArithmetic(EOS(STATIC_5470(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264, i1036, matching1) -> f5482_0_random_FieldAccess(EOS(STATIC_5482(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264, i1036 + 1) :|: i1036 >= 0 && matching1 = 1
f5482_0_random_FieldAccess(EOS(STATIC_5482(java.lang.Object(ARRAY(i6)), i1036)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264, i1052) -> f5492_0_random_Load(EOS(STATIC_5492(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264) :|: TRUE
f5492_0_random_Load(EOS(STATIC_5492(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264) -> f5522_0_random_InvokeMethod(EOS(STATIC_5522(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), o1264) :|: TRUE
f5522_0_random_InvokeMethod(EOS(STATIC_5522(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1282sub)) -> f5526_0_random_InvokeMethod(EOS(STATIC_5526(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1282sub)) :|: TRUE
f5526_0_random_InvokeMethod(EOS(STATIC_5526(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1283sub)) -> f5530_0_random_InvokeMethod(EOS(STATIC_5530(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1283sub)) :|: TRUE
f5530_0_random_InvokeMethod(EOS(STATIC_5530(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1283sub)) -> f5534_0_length_Load(EOS(STATIC_5534(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1283sub)) :|: TRUE
f5534_0_length_Load(EOS(STATIC_5534(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1283sub)) -> f5569_0_length_FieldAccess(EOS(STATIC_5569(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1283sub)) :|: TRUE
f5569_0_length_FieldAccess(EOS(STATIC_5569(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(java.lang.String(EOC, i1079))) -> f5572_0_length_FieldAccess(EOS(STATIC_5572(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(java.lang.String(EOC, i1079))) :|: i1079 >= 0
f5572_0_length_FieldAccess(EOS(STATIC_5572(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(java.lang.String(EOC, i1079))) -> f5576_0_length_Return(EOS(STATIC_5576(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) :|: TRUE
f5576_0_length_Return(EOS(STATIC_5576(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) -> f5580_0_random_Return(EOS(STATIC_5580(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) :|: TRUE
f5580_0_random_Return(EOS(STATIC_5580(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) -> f5611_0_createTree_Store(EOS(STATIC_5611(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) :|: TRUE
f5611_0_createTree_Store(EOS(STATIC_5611(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) -> f5615_0_createTree_Load(EOS(STATIC_5615(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) :|: TRUE
f5615_0_createTree_Load(EOS(STATIC_5615(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) -> f5620_0_createTree_LE(EOS(STATIC_5620(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1079) :|: TRUE
f5620_0_createTree_LE(EOS(STATIC_5620(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), matching1) -> f5646_0_createTree_LE(EOS(STATIC_5646(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), 0) :|: TRUE && matching1 = 0
f5620_0_createTree_LE(EOS(STATIC_5620(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1100) -> f5647_0_createTree_LE(EOS(STATIC_5647(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1100) :|: TRUE
f5646_0_createTree_LE(EOS(STATIC_5646(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), matching1) -> f5651_0_createTree_Load(EOS(STATIC_5651(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) :|: 0 <= 0 && matching1 = 0
f5651_0_createTree_Load(EOS(STATIC_5651(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) -> f5686_0_createTree_FieldAccess(EOS(STATIC_5686(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1221sub)) :|: TRUE
f5686_0_createTree_FieldAccess(EOS(STATIC_5686(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1323, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1323, o1322))) -> f5696_0_createTree_FieldAccess(EOS(STATIC_5696(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1323, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1323, o1322))) :|: TRUE
f5696_0_createTree_FieldAccess(EOS(STATIC_5696(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1323, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1323, o1322))) -> f5713_0_createTree_NONNULL(EOS(STATIC_5713(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1323, o1322)), o1323) :|: TRUE
f5713_0_createTree_NONNULL(EOS(STATIC_5713(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub), o1322)), java.lang.Object(o1335sub)) -> f5731_0_createTree_NONNULL(EOS(STATIC_5731(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub), o1322)), java.lang.Object(o1335sub)) :|: TRUE
f5713_0_createTree_NONNULL(EOS(STATIC_5713(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), NULL) -> f5732_0_createTree_NONNULL(EOS(STATIC_5732(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), NULL) :|: TRUE
f5731_0_createTree_NONNULL(EOS(STATIC_5731(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub), o1322)), java.lang.Object(o1335sub)) -> f5785_0_createTree_Load(EOS(STATIC_5785(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub), o1322))) :|: TRUE
f5785_0_createTree_Load(EOS(STATIC_5785(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub), o1322))) -> f5807_0_createTree_FieldAccess(EOS(STATIC_5807(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub), o1322))) :|: TRUE
f5807_0_createTree_FieldAccess(EOS(STATIC_5807(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub), o1322))) -> f5820_0_createTree_Store(EOS(STATIC_5820(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) :|: TRUE
f5820_0_createTree_Store(EOS(STATIC_5820(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) -> f5828_0_createTree_Inc(EOS(STATIC_5828(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) :|: TRUE
f5828_0_createTree_Inc(EOS(STATIC_5828(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) -> f5843_0_createTree_JMP(EOS(STATIC_5843(java.lang.Object(ARRAY(i6)), i1052)), i1017 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) :|: TRUE
f5843_0_createTree_JMP(EOS(STATIC_5843(java.lang.Object(ARRAY(i6)), i1052)), i1143, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) -> f5887_0_createTree_Load(EOS(STATIC_5887(java.lang.Object(ARRAY(i6)), i1052)), i1143, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) :|: TRUE
f5887_0_createTree_Load(EOS(STATIC_5887(java.lang.Object(ARRAY(i6)), i1052)), i1143, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) -> f5273_0_createTree_Load(EOS(STATIC_5273(java.lang.Object(ARRAY(i6)), i1052)), i1143, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1335sub)) :|: TRUE
f5273_0_createTree_Load(EOS(STATIC_5273(java.lang.Object(ARRAY(i6)), i1010)), i1011, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) -> f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6)), i1010)), i1011, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1011) :|: TRUE
f5732_0_createTree_NONNULL(EOS(STATIC_5732(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), NULL) -> f5787_0_createTree_Load(EOS(STATIC_5787(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322))) :|: TRUE
f5787_0_createTree_Load(EOS(STATIC_5787(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322))) -> f5809_0_createTree_InvokeMethod(EOS(STATIC_5809(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322))) :|: TRUE
f5809_0_createTree_InvokeMethod(EOS(STATIC_5809(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322))) -> f5821_0_createNode_New(EOS(STATIC_5821(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322))) :|: TRUE
f5821_0_createNode_New(EOS(STATIC_5821(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322))) -> f5844_0_createNode_Duplicate(EOS(STATIC_5844(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5844_0_createNode_Duplicate(EOS(STATIC_5844(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5891_0_createNode_InvokeMethod(EOS(STATIC_5891(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5891_0_createNode_InvokeMethod(EOS(STATIC_5891(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5931_0__init__Load(EOS(STATIC_5931(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5931_0__init__Load(EOS(STATIC_5931(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5970_0__init__InvokeMethod(EOS(STATIC_5970(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5970_0__init__InvokeMethod(EOS(STATIC_5970(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5981_0__init__Return(EOS(STATIC_5981(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5981_0__init__Return(EOS(STATIC_5981(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6010_0_createNode_Store(EOS(STATIC_6010(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6010_0_createNode_Store(EOS(STATIC_6010(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6032_0_createNode_Load(EOS(STATIC_6032(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6032_0_createNode_Load(EOS(STATIC_6032(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6041_0_createNode_New(EOS(STATIC_6041(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6041_0_createNode_New(EOS(STATIC_6041(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6049_0_createNode_Duplicate(EOS(STATIC_6049(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6049_0_createNode_Duplicate(EOS(STATIC_6049(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6061_0_createNode_InvokeMethod(EOS(STATIC_6061(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), 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
f6061_0_createNode_InvokeMethod(EOS(STATIC_6061(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6069_0_createNode_FieldAccess(EOS(STATIC_6069(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6069_0_createNode_FieldAccess(EOS(STATIC_6069(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6077_0_createNode_Load(EOS(STATIC_6077(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6077_0_createNode_Load(EOS(STATIC_6077(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6089_0_createNode_Return(EOS(STATIC_6089(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6089_0_createNode_Return(EOS(STATIC_6089(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6096_0_createTree_FieldAccess(EOS(STATIC_6096(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6096_0_createTree_FieldAccess(EOS(STATIC_6096(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6119_0_createTree_FieldAccess(EOS(STATIC_6119(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6096_0_createTree_FieldAccess(EOS(STATIC_6096(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6120_0_createTree_FieldAccess(EOS(STATIC_6120(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6119_0_createTree_FieldAccess(EOS(STATIC_6119(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6152_0_createTree_Load(EOS(STATIC_6152(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219put, o1218put))) :|: TRUE
f6152_0_createTree_Load(EOS(STATIC_6152(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6173_0_createTree_Store(EOS(STATIC_6173(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6173_0_createTree_Store(EOS(STATIC_6173(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6184_0_createTree_JMP(EOS(STATIC_6184(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6184_0_createTree_JMP(EOS(STATIC_6184(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6198_0_createTree_Inc(EOS(STATIC_6198(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6198_0_createTree_Inc(EOS(STATIC_6198(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6215_0_createTree_JMP(EOS(STATIC_6215(java.lang.Object(ARRAY(i6)), i1052)), i1017 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6215_0_createTree_JMP(EOS(STATIC_6215(java.lang.Object(ARRAY(i6)), i1052)), i1239, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6220_0_createTree_Load(EOS(STATIC_6220(java.lang.Object(ARRAY(i6)), i1052)), i1239, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6220_0_createTree_Load(EOS(STATIC_6220(java.lang.Object(ARRAY(i6)), i1052)), i1239, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f5273_0_createTree_Load(EOS(STATIC_5273(java.lang.Object(ARRAY(i6)), i1052)), i1239, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6120_0_createTree_FieldAccess(EOS(STATIC_6120(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6158_0_createTree_Load(EOS(STATIC_6158(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) :|: TRUE
f6158_0_createTree_Load(EOS(STATIC_6158(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) -> f6176_0_createTree_Store(EOS(STATIC_6176(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) :|: TRUE
f6176_0_createTree_Store(EOS(STATIC_6176(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) -> f6186_0_createTree_JMP(EOS(STATIC_6186(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) :|: TRUE
f6186_0_createTree_JMP(EOS(STATIC_6186(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) -> f6201_0_createTree_Inc(EOS(STATIC_6201(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) :|: TRUE
f6201_0_createTree_Inc(EOS(STATIC_6201(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) -> f6216_0_createTree_JMP(EOS(STATIC_6216(java.lang.Object(ARRAY(i6)), i1052)), i1017 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) :|: TRUE
f6216_0_createTree_JMP(EOS(STATIC_6216(java.lang.Object(ARRAY(i6)), i1052)), i1245, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) -> f6235_0_createTree_Load(EOS(STATIC_6235(java.lang.Object(ARRAY(i6)), i1052)), i1245, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) :|: TRUE
f6235_0_createTree_Load(EOS(STATIC_6235(java.lang.Object(ARRAY(i6)), i1052)), i1245, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) -> f5273_0_createTree_Load(EOS(STATIC_5273(java.lang.Object(ARRAY(i6)), i1052)), i1245, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1491))) :|: TRUE
f5647_0_createTree_LE(EOS(STATIC_5647(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), i1100) -> f5652_0_createTree_Load(EOS(STATIC_5652(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) :|: i1100 > 0
f5652_0_createTree_Load(EOS(STATIC_5652(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub)) -> f5687_0_createTree_FieldAccess(EOS(STATIC_5687(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1221sub), java.lang.Object(o1221sub)) :|: TRUE
f5687_0_createTree_FieldAccess(EOS(STATIC_5687(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, o1326)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, o1326))) -> f5699_0_createTree_FieldAccess(EOS(STATIC_5699(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, o1326)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, o1326))) :|: TRUE
f5699_0_createTree_FieldAccess(EOS(STATIC_5699(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, o1326)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, o1326))) -> f5715_0_createTree_NONNULL(EOS(STATIC_5715(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, o1326)), o1326) :|: TRUE
f5715_0_createTree_NONNULL(EOS(STATIC_5715(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, java.lang.Object(o1336sub))), java.lang.Object(o1336sub)) -> f5735_0_createTree_NONNULL(EOS(STATIC_5735(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, java.lang.Object(o1336sub))), java.lang.Object(o1336sub)) :|: TRUE
f5715_0_createTree_NONNULL(EOS(STATIC_5715(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), NULL) -> f5736_0_createTree_NONNULL(EOS(STATIC_5736(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), NULL) :|: TRUE
f5735_0_createTree_NONNULL(EOS(STATIC_5735(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, java.lang.Object(o1336sub))), java.lang.Object(o1336sub)) -> f5789_0_createTree_Load(EOS(STATIC_5789(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, java.lang.Object(o1336sub)))) :|: TRUE
f5789_0_createTree_Load(EOS(STATIC_5789(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, java.lang.Object(o1336sub)))) -> f5812_0_createTree_FieldAccess(EOS(STATIC_5812(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, java.lang.Object(o1336sub)))) :|: TRUE
f5812_0_createTree_FieldAccess(EOS(STATIC_5812(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, java.lang.Object(o1336sub)))) -> f5822_0_createTree_Store(EOS(STATIC_5822(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) :|: TRUE
f5822_0_createTree_Store(EOS(STATIC_5822(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) -> f5829_0_createTree_JMP(EOS(STATIC_5829(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) :|: TRUE
f5829_0_createTree_JMP(EOS(STATIC_5829(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) -> f5845_0_createTree_Inc(EOS(STATIC_5845(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) :|: TRUE
f5845_0_createTree_Inc(EOS(STATIC_5845(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) -> f5894_0_createTree_JMP(EOS(STATIC_5894(java.lang.Object(ARRAY(i6)), i1052)), i1017 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) :|: TRUE
f5894_0_createTree_JMP(EOS(STATIC_5894(java.lang.Object(ARRAY(i6)), i1052)), i1163, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) -> f5944_0_createTree_Load(EOS(STATIC_5944(java.lang.Object(ARRAY(i6)), i1052)), i1163, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) :|: TRUE
f5944_0_createTree_Load(EOS(STATIC_5944(java.lang.Object(ARRAY(i6)), i1052)), i1163, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) -> f5273_0_createTree_Load(EOS(STATIC_5273(java.lang.Object(ARRAY(i6)), i1052)), i1163, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(o1336sub)) :|: TRUE
f5736_0_createTree_NONNULL(EOS(STATIC_5736(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), NULL) -> f5791_0_createTree_Load(EOS(STATIC_5791(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL))) :|: TRUE
f5791_0_createTree_Load(EOS(STATIC_5791(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL))) -> f5814_0_createTree_InvokeMethod(EOS(STATIC_5814(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL))) :|: TRUE
f5814_0_createTree_InvokeMethod(EOS(STATIC_5814(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL))) -> f5823_0_createNode_New(EOS(STATIC_5823(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL))) :|: TRUE
f5823_0_createNode_New(EOS(STATIC_5823(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL))) -> f5846_0_createNode_Duplicate(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5846_0_createNode_Duplicate(EOS(STATIC_5846(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5897_0_createNode_InvokeMethod(EOS(STATIC_5897(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5897_0_createNode_InvokeMethod(EOS(STATIC_5897(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5946_0__init__Load(EOS(STATIC_5946(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5946_0__init__Load(EOS(STATIC_5946(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5974_0__init__InvokeMethod(EOS(STATIC_5974(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5974_0__init__InvokeMethod(EOS(STATIC_5974(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f5985_0__init__Return(EOS(STATIC_5985(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f5985_0__init__Return(EOS(STATIC_5985(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6014_0_createNode_Store(EOS(STATIC_6014(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6014_0_createNode_Store(EOS(STATIC_6014(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6036_0_createNode_Load(EOS(STATIC_6036(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6036_0_createNode_Load(EOS(STATIC_6036(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6045_0_createNode_New(EOS(STATIC_6045(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6045_0_createNode_New(EOS(STATIC_6045(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6053_0_createNode_Duplicate(EOS(STATIC_6053(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6053_0_createNode_Duplicate(EOS(STATIC_6053(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6065_0_createNode_InvokeMethod(EOS(STATIC_6065(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, 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
f6065_0_createNode_InvokeMethod(EOS(STATIC_6065(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, 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)) -> f6071_0_createNode_FieldAccess(EOS(STATIC_6071(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6071_0_createNode_FieldAccess(EOS(STATIC_6071(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6083_0_createNode_Load(EOS(STATIC_6083(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6083_0_createNode_Load(EOS(STATIC_6083(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6091_0_createNode_Return(EOS(STATIC_6091(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6091_0_createNode_Return(EOS(STATIC_6091(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6097_0_createTree_FieldAccess(EOS(STATIC_6097(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6097_0_createTree_FieldAccess(EOS(STATIC_6097(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6137_0_createTree_FieldAccess(EOS(STATIC_6137(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6097_0_createTree_FieldAccess(EOS(STATIC_6097(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6138_0_createTree_FieldAccess(EOS(STATIC_6138(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) :|: TRUE
f6137_0_createTree_FieldAccess(EOS(STATIC_6137(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6164_0_createTree_Load(EOS(STATIC_6164(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219put, o1218put))) :|: TRUE
f6164_0_createTree_Load(EOS(STATIC_6164(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6178_0_createTree_Store(EOS(STATIC_6178(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6178_0_createTree_Store(EOS(STATIC_6178(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6189_0_createTree_JMP(EOS(STATIC_6189(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6189_0_createTree_JMP(EOS(STATIC_6189(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6204_0_createTree_Inc(EOS(STATIC_6204(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6204_0_createTree_Inc(EOS(STATIC_6204(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6217_0_createTree_JMP(EOS(STATIC_6217(java.lang.Object(ARRAY(i6)), i1052)), i1017 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6217_0_createTree_JMP(EOS(STATIC_6217(java.lang.Object(ARRAY(i6)), i1052)), i1246, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f6249_0_createTree_Load(EOS(STATIC_6249(java.lang.Object(ARRAY(i6)), i1052)), i1246, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6249_0_createTree_Load(EOS(STATIC_6249(java.lang.Object(ARRAY(i6)), i1052)), i1246, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) -> f5273_0_createTree_Load(EOS(STATIC_5273(java.lang.Object(ARRAY(i6)), i1052)), i1246, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219, o1218))) :|: TRUE
f6138_0_createTree_FieldAccess(EOS(STATIC_6138(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))) -> f6169_0_createTree_Load(EOS(STATIC_6169(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6169_0_createTree_Load(EOS(STATIC_6169(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6180_0_createTree_Store(EOS(STATIC_6180(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6180_0_createTree_Store(EOS(STATIC_6180(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6191_0_createTree_JMP(EOS(STATIC_6191(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6191_0_createTree_JMP(EOS(STATIC_6191(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6207_0_createTree_Inc(EOS(STATIC_6207(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6207_0_createTree_Inc(EOS(STATIC_6207(java.lang.Object(ARRAY(i6)), i1052)), i1017, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6218_0_createTree_JMP(EOS(STATIC_6218(java.lang.Object(ARRAY(i6)), i1052)), i1017 + -1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6218_0_createTree_JMP(EOS(STATIC_6218(java.lang.Object(ARRAY(i6)), i1052)), i1247, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f6264_0_createTree_Load(EOS(STATIC_6264(java.lang.Object(ARRAY(i6)), i1052)), i1247, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
f6264_0_createTree_Load(EOS(STATIC_6264(java.lang.Object(ARRAY(i6)), i1052)), i1247, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) -> f5273_0_createTree_Load(EOS(STATIC_5273(java.lang.Object(ARRAY(i6)), i1052)), i1247, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1500, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0)), i1017:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1218:0)), i1017:0) -> f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0 + 1)), i1017:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)), o1218:0)), i1017:0 - 1) :|: i1017:0 > 0 && i1010:0 > -1 && i6:0 > i1010:0
f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0)), i1017:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, NULL)), i1017:0) -> f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0 + 1)), i1017:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, NULL)))), i1017:0 - 1) :|: i1079:0 > 0 && i1017:0 > 0 && i1010:0 > -1 && i6:0 > i1010:0
f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0)), i1017:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327:0, java.lang.Object(o1336sub:0))), i1017:0) -> f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0 + 1)), i1017:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, o1218:0)), java.lang.Object(o1336sub:0), i1017:0 - 1) :|: i1079:0 > 0 && i1017:0 > 0 && i1010:0 > -1 && i6:0 > i1010:0
f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0)), i1017:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, NULL, o1322:0)), i1017:0) -> f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0 + 1)), i1017:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219put:0, o1218put:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219put:0, o1218put:0)), i1017:0 - 1) :|: i1017:0 > 0 && i1010:0 > -1 && i6:0 > i1010:0
f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0)), i1017:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1327:0, NULL)), i1017:0) -> f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0 + 1)), i1017:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219put:0, o1218put:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219put:0, o1218put:0)), i1017:0 - 1) :|: i1079:0 > 0 && i1017:0 > 0 && i1010:0 > -1 && i6:0 > i1010:0
f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0)), i1017:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(o1335sub:0), o1322:0)), i1017:0) -> f5318_0_createTree_LE(EOS(STATIC_5318(java.lang.Object(ARRAY(i6:0)), i1010:0 + 1)), i1017:0 - 1, java.lang.Object(TreeLeftmostPath.Tree(EOC, o1219:0, o1218:0)), java.lang.Object(o1335sub:0), i1017:0 - 1) :|: i1017:0 > 0 && i1010:0 > -1 && i6:0 > i1010:0
Filtered constant ground arguments:
   TreeLeftmostPath.Tree(x1, x2, x3) -> TreeLeftmostPath.Tree(x2, x3)
Filtered duplicate arguments:
   f5318_0_createTree_LE(x1, x2, x3, x4, x5) -> f5318_0_createTree_LE(x1, x3, x4, x5)
Finished conversion. Obtained 6 rules.P rules:
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1218:0)), i1017:0, i6:0, i1010:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1218:0)), i1017:0 - 1, i6:0, i1010:0 + 1) :|: i1010:0 > -1 && i6:0 > i1010:0 && i1017:0 > 0
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(o1219:0, NULL)), i1017:0, i6:0, i1010:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(o1219:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), i1017:0 - 1, i6:0, i1010:0 + 1) :|: i1017:0 > 0 && i1079:0 > 0 && i6:0 > i1010:0 && i1010:0 > -1
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(o1327:0, java.lang.Object(o1336sub:0))), i1017:0, i6:0, i1010:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, o1218:0)), java.lang.Object(o1336sub:0), i1017:0 - 1, i6:0, i1010:0 + 1) :|: i1017:0 > 0 && i1079:0 > 0 && i6:0 > i1010:0 && i1010:0 > -1
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1322:0)), i1017:0, i6:0, i1010:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219put:0, o1218put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1219put:0, o1218put:0)), i1017:0 - 1, i6:0, i1010:0 + 1) :|: i1010:0 > -1 && i6:0 > i1010:0 && i1017:0 > 0
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(o1327:0, NULL)), i1017:0, i6:0, i1010:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219put:0, o1218put:0)), java.lang.Object(TreeLeftmostPath.Tree(o1219put:0, o1218put:0)), i1017:0 - 1, i6:0, i1010:0 + 1) :|: i1017:0 > 0 && i1079:0 > 0 && i6:0 > i1010:0 && i1010:0 > -1
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, o1218:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(o1335sub:0), o1322:0)), i1017:0, i6:0, i1010:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(o1219:0, o1218:0)), java.lang.Object(o1335sub:0), i1017:0 - 1, i6:0, i1010:0 + 1) :|: i1010:0 > -1 && i6:0 > i1010:0 && i1017:0 > 0

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

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

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

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

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

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

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

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

Arcs:
(1) -> (2), (3), (5), (6)
(2) -> (1), (3), (4), (6)
(3) -> (1), (2), (3), (4), (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:
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x37:0, NULL)), java.lang.Object(TreeLeftmostPath.Tree(x37:0, NULL)), x38:0, x39:0, x40:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x37:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostPath.Tree(x37:0, java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)))), x38:0 - 1, x39:0, x40:0 + 1) :|: x40:0 < x39:0 && x40:0 > -1 && x43:0 > 0 && x38:0 > 0
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(NULL, o1218:0:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, o1218:0:0)), i1017:0:0, i6:0:0, i1010:0:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1218:0:0)), java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(TreeLeftmostPath.Tree(NULL, NULL)), o1218:0:0)), i1017:0:0 - 1, i6:0:0, i1010:0:0 + 1) :|: i1010:0:0 > -1 && i6:0:0 > i1010:0:0 && i1017:0:0 > 0
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x44:0, x45:0)), java.lang.Object(TreeLeftmostPath.Tree(x46:0, java.lang.Object(x47:0))), x48:0, x49:0, x50:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x44:0, x45:0)), java.lang.Object(x47:0), x48:0 - 1, x49:0, x50:0 + 1) :|: x50:0 < x49:0 && x50:0 > -1 && x53:0 > 0 && x48:0 > 0
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x54:0, x55:0)), java.lang.Object(TreeLeftmostPath.Tree(NULL, x56:0)), x57:0, x58:0, x59:0) -> f5318_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 > -1 && x59:0 < x58:0 && x57:0 > 0
f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x64:0, x65:0)), java.lang.Object(TreeLeftmostPath.Tree(x66:0, NULL)), x67:0, x68:0, x69:0) -> f5318_0_createTree_LE(java.lang.Object(TreeLeftmostPath.Tree(x70:0, x71:0)), java.lang.Object(TreeLeftmostPath.Tree(x70:0, x71:0)), x67:0 - 1, x68:0, x69:0 + 1) :|: x69:0 < x68:0 && x69:0 > -1 && x74:0 > 0 && x67:0 > 0
f5318_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) -> f5318_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

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

(16) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f5318_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:
f5318_0_createTree_LE(c, c1, x38:0, x39:0, x40:0) -> f5318_0_createTree_LE(c2, c3, c4, x39:0, c5) :|: c5 = x40:0 + 1 && (c4 = x38:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x40:0 < x39:0 && x40:0 > -1 && x43:0 > 0 && x38:0 > 0)
f5318_0_createTree_LE(c6, c7, i1017:0:0, i6:0:0, i1010:0:0) -> f5318_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i1010:0:0 + 1 && (c10 = i1017:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i1010:0:0 > -1 && i6:0:0 > i1010:0:0 && i1017:0:0 > 0)
f5318_0_createTree_LE(c18, c19, x57:0, x58:0, x59:0) -> f5318_0_createTree_LE(c20, c21, c22, x58:0, c23) :|: c23 = x59:0 + 1 && (c22 = x57:0 - 1 && (c21 = 0 && (c20 = 0 && (c19 = 0 && c18 = 0)))) && (x59:0 > -1 && x59:0 < x58:0 && x57:0 > 0)

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

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

The following rules are decreasing:
f5318_0_createTree_LE(c, c1, x38:0, x39:0, x40:0) -> f5318_0_createTree_LE(c2, c3, c4, x39:0, c5) :|: c5 = x40:0 + 1 && (c4 = x38:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x40:0 < x39:0 && x40:0 > -1 && x43:0 > 0 && x38:0 > 0)
f5318_0_createTree_LE(c6, c7, i1017:0:0, i6:0:0, i1010:0:0) -> f5318_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i1010:0:0 + 1 && (c10 = i1017:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i1010:0:0 > -1 && i6:0:0 > i1010:0:0 && i1017:0:0 > 0)
f5318_0_createTree_LE(c18, c19, x57:0, x58:0, x59:0) -> f5318_0_createTree_LE(c20, c21, c22, x58:0, c23) :|: c23 = x59:0 + 1 && (c22 = x57:0 - 1 && (c21 = 0 && (c20 = 0 && (c19 = 0 && c18 = 0)))) && (x59:0 > -1 && x59:0 < x58:0 && x57:0 > 0)
The following rules are bounded:
f5318_0_createTree_LE(c, c1, x38:0, x39:0, x40:0) -> f5318_0_createTree_LE(c2, c3, c4, x39:0, c5) :|: c5 = x40:0 + 1 && (c4 = x38:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x40:0 < x39:0 && x40:0 > -1 && x43:0 > 0 && x38:0 > 0)
f5318_0_createTree_LE(c6, c7, i1017:0:0, i6:0:0, i1010:0:0) -> f5318_0_createTree_LE(c8, c9, c10, i6:0:0, c11) :|: c11 = i1010:0:0 + 1 && (c10 = i1017:0:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (i1010:0:0 > -1 && i6:0:0 > i1010:0:0 && i1017:0:0 > 0)
f5318_0_createTree_LE(c18, c19, x57:0, x58:0, x59:0) -> f5318_0_createTree_LE(c20, c21, c22, x58:0, c23) :|: c23 = x59:0 + 1 && (c22 = x57:0 - 1 && (c21 = 0 && (c20 = 0 && (c19 = 0 && c18 = 0)))) && (x59:0 > -1 && x59:0 < x58:0 && x57: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:
f6704_0_main_NULL(EOS(STATIC_6704), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub)) -> f6709_0_main_New(EOS(STATIC_6709), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6709_0_main_New(EOS(STATIC_6709), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6713_0_main_Duplicate(EOS(STATIC_6713), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6713_0_main_Duplicate(EOS(STATIC_6713), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6717_0_main_Load(EOS(STATIC_6717), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6717_0_main_Load(EOS(STATIC_6717), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6720_0_main_FieldAccess(EOS(STATIC_6720), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6720_0_main_FieldAccess(EOS(STATIC_6720), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6724_0_main_Load(EOS(STATIC_6724), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6724_0_main_Load(EOS(STATIC_6724), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6727_0_main_InvokeMethod(EOS(STATIC_6727), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6727_0_main_InvokeMethod(EOS(STATIC_6727), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6728_0__init__Load(EOS(STATIC_6728), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6728_0__init__Load(EOS(STATIC_6728), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6729_0__init__InvokeMethod(EOS(STATIC_6729), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6729_0__init__InvokeMethod(EOS(STATIC_6729), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6730_0__init__Load(EOS(STATIC_6730), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6730_0__init__Load(EOS(STATIC_6730), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6731_0__init__Load(EOS(STATIC_6731), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6731_0__init__Load(EOS(STATIC_6731), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6732_0__init__FieldAccess(EOS(STATIC_6732), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6732_0__init__FieldAccess(EOS(STATIC_6732), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6733_0__init__Load(EOS(STATIC_6733), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6733_0__init__Load(EOS(STATIC_6733), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6734_0__init__Load(EOS(STATIC_6734), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6734_0__init__Load(EOS(STATIC_6734), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6735_0__init__FieldAccess(EOS(STATIC_6735), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6735_0__init__FieldAccess(EOS(STATIC_6735), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6736_0__init__Return(EOS(STATIC_6736), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6736_0__init__Return(EOS(STATIC_6736), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6737_0_main_Store(EOS(STATIC_6737), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6737_0_main_Store(EOS(STATIC_6737), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6738_0_main_Load(EOS(STATIC_6738), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6738_0_main_Load(EOS(STATIC_6738), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6739_0_main_FieldAccess(EOS(STATIC_6739), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6739_0_main_FieldAccess(EOS(STATIC_6739), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6740_0_main_Store(EOS(STATIC_6740), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub)) :|: TRUE
f6740_0_main_Store(EOS(STATIC_6740), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub)) -> f6741_0_main_Load(EOS(STATIC_6741), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub)) :|: TRUE
f6741_0_main_Load(EOS(STATIC_6741), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub)) -> f6743_0_main_FieldAccess(EOS(STATIC_6743), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub), java.lang.Object(o2077sub)) :|: TRUE
f6743_0_main_FieldAccess(EOS(STATIC_6743), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) -> f6746_0_main_FieldAccess(EOS(STATIC_6746), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) :|: TRUE
f6746_0_main_FieldAccess(EOS(STATIC_6746), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) -> f6750_0_main_Store(EOS(STATIC_6750), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151) :|: TRUE
f6750_0_main_Store(EOS(STATIC_6750), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151) -> f6758_0_main_Load(EOS(STATIC_6758), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151) :|: TRUE
f6758_0_main_Load(EOS(STATIC_6758), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151) -> f6760_0_main_FieldAccess(EOS(STATIC_6760), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) :|: TRUE
f6760_0_main_FieldAccess(EOS(STATIC_6760), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) -> f6762_0_main_Store(EOS(STATIC_6762), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152) :|: TRUE
f6762_0_main_Store(EOS(STATIC_6762), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152) -> f6766_0_main_Load(EOS(STATIC_6766), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152) :|: TRUE
f6766_0_main_Load(EOS(STATIC_6766), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152) -> f6770_0_main_FieldAccess(EOS(STATIC_6770), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6770_0_main_FieldAccess(EOS(STATIC_6770), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6772_0_main_Store(EOS(STATIC_6772), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) :|: TRUE
f6772_0_main_Store(EOS(STATIC_6772), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) -> f6773_0_main_Load(EOS(STATIC_6773), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) :|: TRUE
f6773_0_main_Load(EOS(STATIC_6773), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) -> f6774_0_main_Load(EOS(STATIC_6774), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6774_0_main_Load(EOS(STATIC_6774), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6775_0_main_FieldAccess(EOS(STATIC_6775), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) :|: TRUE
f6775_0_main_FieldAccess(EOS(STATIC_6775), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) -> f6805_0_main_Load(EOS(STATIC_6805), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) :|: TRUE
f6805_0_main_Load(EOS(STATIC_6805), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) -> f6806_0_main_Load(EOS(STATIC_6806), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) :|: TRUE
f6806_0_main_Load(EOS(STATIC_6806), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152))) -> f6807_0_main_FieldAccess(EOS(STATIC_6807), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) :|: TRUE
f6807_0_main_FieldAccess(EOS(STATIC_6807), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, o2152)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))) -> f6808_0_main_Load(EOS(STATIC_6808), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), o2151, o2152) :|: TRUE
f6808_0_main_Load(EOS(STATIC_6808), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), o2151, o2152) -> f6809_0_main_Load(EOS(STATIC_6809), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6809_0_main_Load(EOS(STATIC_6809), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6810_0_main_FieldAccess(EOS(STATIC_6810), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), o2152) :|: TRUE
f6810_0_main_FieldAccess(EOS(STATIC_6810), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), o2152) -> f6811_0_main_Load(EOS(STATIC_6811), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151) :|: TRUE
f6811_0_main_Load(EOS(STATIC_6811), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151) -> f6812_0_main_Load(EOS(STATIC_6812), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))))) :|: TRUE
f6812_0_main_Load(EOS(STATIC_6812), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))))) -> f6813_0_main_FieldAccess(EOS(STATIC_6813), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151) :|: TRUE
f6813_0_main_FieldAccess(EOS(STATIC_6813), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))))), o2151) -> f6834_0_main_JMP(EOS(STATIC_6834), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))))) :|: TRUE
f6834_0_main_JMP(EOS(STATIC_6834), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))))) -> f6835_0_main_Load(EOS(STATIC_6835), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))))) :|: TRUE
f6835_0_main_Load(EOS(STATIC_6835), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))))) -> f6695_0_main_Load(EOS(STATIC_6695), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2151, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153, o2152, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))))) :|: TRUE
f6695_0_main_Load(EOS(STATIC_6695), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2022, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6699_0_main_FieldAccess(EOS(STATIC_6699), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2022, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2022, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) :|: TRUE
f6699_0_main_FieldAccess(EOS(STATIC_6699), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2022, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2022, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025))))) -> f6703_0_main_NULL(EOS(STATIC_6703), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), o2022, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), o2022) :|: TRUE
f6703_0_main_NULL(EOS(STATIC_6703), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub)) -> f6704_0_main_NULL(EOS(STATIC_6704), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026, o2024, o2025)))), java.lang.Object(o2077sub)) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6704_0_main_NULL(EOS(STATIC_6704), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153:0, java.lang.Object(o2077sub:0), o2152:0)), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026:0, o2024:0, o2025:0)))), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153:0, java.lang.Object(o2077sub:0), o2152:0))) -> f6704_0_main_NULL(EOS(STATIC_6704), java.lang.Object(TreeLeftmostPath.Tree(EOC, java.lang.Object(EOC), java.lang.Object(o2077sub:0), java.lang.Object(TreeLeftmostPath.Tree(EOC, o2153:0, o2152:0, java.lang.Object(TreeLeftmostPath.Tree(EOC, o2026:0, o2024:0, o2025:0)))))), java.lang.Object(o2077sub:0)) :|: TRUE
R rules:
Filtered ground terms:
   f6704_0_main_NULL(x1, x2, x3) -> f6704_0_main_NULL(x2, x3)
   EOS(x1) -> EOS
   TreeLeftmostPath.Tree(x1, x2, x3, x4) -> TreeLeftmostPath.Tree(x2, x3, x4)
Filtered duplicate args:
   f6704_0_main_NULL(x1, x2) -> f6704_0_main_NULL(x1)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6704_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2153:0:0, java.lang.Object(o2077sub:0:0), o2152:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2026:0:0, o2024:0:0, o2025:0:0))))) -> F6704_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2077sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2153:0:0, o2152:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2026:0:0, o2024:0:0, o2025:0:0))))))) :|: TRUE
R rules:

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

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

   F6704_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2153:0:0, java.lang.Object(o2077sub:0:0), o2152:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2026:0:0, o2024:0:0, o2025:0:0))))) -> F6704_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2077sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2153:0:0, o2152:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2026:0:0, o2024:0:0, o2025: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:

   F6704_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(TreeLeftmostPath.Tree(o2153:0:0, java.lang.Object(o2077sub:0:0), o2152:0:0)), java.lang.Object(TreeLeftmostPath.Tree(o2026:0:0, o2024:0:0, o2025:0:0))))) -> F6704_0_MAIN_NULL(java.lang.Object(TreeLeftmostPath.Tree(java.lang.Object(EOC), java.lang.Object(o2077sub:0:0), java.lang.Object(TreeLeftmostPath.Tree(o2153:0:0, o2152:0:0, java.lang.Object(TreeLeftmostPath.Tree(o2026:0:0, o2024:0:0, o2025:0:0)))))))


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

and weight map:

   EOC=1
   F6704_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