/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, 96 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1407 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToIRSProof [SOUND, 253 ms]
        (9) IRSwT
        (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (11) IRSwT
        (12) IRSwTTerminationDigraphProof [EQUIVALENT, 141 ms]
        (13) IRSwT
        (14) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (15) IRSwT
        (16) TempFilterProof [SOUND, 18 ms]
        (17) IntTRS
        (18) PolynomialOrderProcessor [EQUIVALENT, 5 ms]
        (19) YES
    (20) JBCTerminationSCC
        (21) SCCToQDPProof [SOUND, 299 ms]
        (22) QDP
        (23) UsableRulesReductionPairsProof [EQUIVALENT, 45 ms]
        (24) QDP
        (25) PisEmptyProof [EQUIVALENT, 0 ms]
        (26) YES
    (27) JBCTerminationSCC
        (28) SCCToIRSProof [SOUND, 162 ms]
        (29) IRSwT
        (30) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (31) IRSwT
        (32) IRSwTTerminationDigraphProof [EQUIVALENT, 14 ms]
        (33) IRSwT
        (34) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (35) IRSwT
        (36) TempFilterProof [SOUND, 36 ms]
        (37) IntTRS
        (38) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
        (39) YES


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

(0)
Obligation:
need to prove termination of the following program:
public class Flatten {
  public static void main(String[] args) {
    Random.args = args;
    int listLength = Random.random();
    TreeList list = null;
    for (int i = listLength; i > 0; i--) {
      Tree tree = Tree.createTree();
      list = new TreeList(tree, list);
    }

    flatten(list);
  }

  public static ObjectList flatten(TreeList start) {
    ObjectList result = null;
    while (start != null) {
      Tree tree = start.value;
      if (tree != null) {
        result = new ObjectList(tree.value, result);
        start = start.next;
        start = new TreeList(tree.left, start);
        start = new TreeList(tree.right, start);
      } else {
        start = start.next;
      }
    }
    return result;
  }
}


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


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

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


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();
  }
}


public class TreeList {
  Tree value;
  TreeList next;

  public TreeList(Tree value, TreeList next) {
    this.value = value;
    this.next = next;
  }
}



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

(1) BareJBCToJBCProof (EQUIVALENT)
initialized classpath
----------------------------------------

(2)
Obligation:
need to prove termination of the following program:
public class Flatten {
  public static void main(String[] args) {
    Random.args = args;
    int listLength = Random.random();
    TreeList list = null;
    for (int i = listLength; i > 0; i--) {
      Tree tree = Tree.createTree();
      list = new TreeList(tree, list);
    }

    flatten(list);
  }

  public static ObjectList flatten(TreeList start) {
    ObjectList result = null;
    while (start != null) {
      Tree tree = start.value;
      if (tree != null) {
        result = new ObjectList(tree.value, result);
        start = start.next;
        start = new TreeList(tree.left, start);
        start = new TreeList(tree.right, start);
      } else {
        start = start.next;
      }
    }
    return result;
  }
}


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


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

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


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();
  }
}


public class TreeList {
  Tree value;
  TreeList next;

  public TreeList(Tree value, TreeList next) {
    this.value = value;
    this.next = next;
  }
}



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

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

(4)
Obligation:
Termination Graph based on JBC Program:
Flatten.main([Ljava/lang/String;)V: Graph of 248 nodes with 2 SCCs.



Tree.createTree()LTree;: Graph of 316 nodes with 1 SCC.





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

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

(6)
Complex Obligation (AND)

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

(7)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Tree.createTree()LTree;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*java.lang.String: [count]
*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:
f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2731) -> f7845_0_createTree_LE(EOS(STATIC_7845(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2731) :|: TRUE
f7845_0_createTree_LE(EOS(STATIC_7845(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2731) -> f7847_0_createTree_InvokeMethod(EOS(STATIC_7847(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) :|: i2731 > 0
f7847_0_createTree_InvokeMethod(EOS(STATIC_7847(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) -> f7849_0_random_FieldAccess(EOS(STATIC_7849(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) :|: TRUE
f7849_0_random_FieldAccess(EOS(STATIC_7849(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) -> f7851_0_random_FieldAccess(EOS(STATIC_7851(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) :|: TRUE
f7851_0_random_FieldAccess(EOS(STATIC_7851(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) -> f7854_0_random_ArrayAccess(EOS(STATIC_7854(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) :|: TRUE
f7854_0_random_ArrayAccess(EOS(STATIC_7854(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) -> f7857_0_random_ArrayAccess(EOS(STATIC_7857(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) :|: TRUE
f7857_0_random_ArrayAccess(EOS(STATIC_7857(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) -> f7860_0_random_ArrayAccess(EOS(STATIC_7860(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) :|: TRUE
f7860_0_random_ArrayAccess(EOS(STATIC_7860(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(ARRAY(i1482))) -> f7863_0_random_Store(EOS(STATIC_7863(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) :|: TRUE
f7863_0_random_Store(EOS(STATIC_7863(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) -> f7867_0_random_FieldAccess(EOS(STATIC_7867(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) :|: TRUE
f7867_0_random_FieldAccess(EOS(STATIC_7867(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) -> f7870_0_random_ConstantStackPush(EOS(STATIC_7870(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) :|: TRUE
f7870_0_random_ConstantStackPush(EOS(STATIC_7870(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) -> f7873_0_random_IntArithmetic(EOS(STATIC_7873(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) :|: TRUE
f7873_0_random_IntArithmetic(EOS(STATIC_7873(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) -> f7877_0_random_FieldAccess(EOS(STATIC_7877(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) :|: TRUE
f7877_0_random_FieldAccess(EOS(STATIC_7877(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) -> f7879_0_random_Load(EOS(STATIC_7879(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) :|: TRUE
f7879_0_random_Load(EOS(STATIC_7879(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) -> f7882_0_random_InvokeMethod(EOS(STATIC_7882(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), o3096) :|: TRUE
f7882_0_random_InvokeMethod(EOS(STATIC_7882(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3120sub)) -> f7886_0_random_InvokeMethod(EOS(STATIC_7886(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3120sub)) :|: TRUE
f7886_0_random_InvokeMethod(EOS(STATIC_7886(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3123sub)) -> f7890_0_random_InvokeMethod(EOS(STATIC_7890(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3123sub)) :|: TRUE
f7890_0_random_InvokeMethod(EOS(STATIC_7890(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3123sub)) -> f7894_0_length_Load(EOS(STATIC_7894(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3123sub)) :|: TRUE
f7894_0_length_Load(EOS(STATIC_7894(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3123sub)) -> f7901_0_length_FieldAccess(EOS(STATIC_7901(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3123sub)) :|: TRUE
f7901_0_length_FieldAccess(EOS(STATIC_7901(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(java.lang.String(EOC, i2837))) -> f7905_0_length_FieldAccess(EOS(STATIC_7905(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(java.lang.String(EOC, i2837))) :|: i2837 >= 0
f7905_0_length_FieldAccess(EOS(STATIC_7905(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(java.lang.String(EOC, i2837))) -> f7909_0_length_Return(EOS(STATIC_7909(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) :|: TRUE
f7909_0_length_Return(EOS(STATIC_7909(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) -> f7913_0_random_Return(EOS(STATIC_7913(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) :|: TRUE
f7913_0_random_Return(EOS(STATIC_7913(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) -> f7918_0_createTree_Store(EOS(STATIC_7918(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) :|: TRUE
f7918_0_createTree_Store(EOS(STATIC_7918(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) -> f7922_0_createTree_Load(EOS(STATIC_7922(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) :|: TRUE
f7922_0_createTree_Load(EOS(STATIC_7922(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) -> f7927_0_createTree_LE(EOS(STATIC_7927(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2837) :|: TRUE
f7927_0_createTree_LE(EOS(STATIC_7927(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), matching1) -> f7931_0_createTree_LE(EOS(STATIC_7931(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), 0) :|: TRUE && matching1 = 0
f7927_0_createTree_LE(EOS(STATIC_7927(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2874) -> f7932_0_createTree_LE(EOS(STATIC_7932(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2874) :|: TRUE
f7931_0_createTree_LE(EOS(STATIC_7931(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), matching1) -> f7935_0_createTree_Load(EOS(STATIC_7935(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) :|: 0 <= 0 && matching1 = 0
f7935_0_createTree_Load(EOS(STATIC_7935(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) -> f7940_0_createTree_FieldAccess(EOS(STATIC_7940(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3048sub)) :|: TRUE
f7940_0_createTree_FieldAccess(EOS(STATIC_7940(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3182, o3181)), java.lang.Object(Tree(EOC, o3182, o3181))) -> f7945_0_createTree_FieldAccess(EOS(STATIC_7945(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3182, o3181)), java.lang.Object(Tree(EOC, o3182, o3181))) :|: TRUE
f7945_0_createTree_FieldAccess(EOS(STATIC_7945(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3182, o3181)), java.lang.Object(Tree(EOC, o3182, o3181))) -> f7950_0_createTree_NONNULL(EOS(STATIC_7950(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3182, o3181)), o3182) :|: TRUE
f7950_0_createTree_NONNULL(EOS(STATIC_7950(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub), o3181)), java.lang.Object(o3194sub)) -> f7955_0_createTree_NONNULL(EOS(STATIC_7955(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub), o3181)), java.lang.Object(o3194sub)) :|: TRUE
f7950_0_createTree_NONNULL(EOS(STATIC_7950(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), NULL) -> f7956_0_createTree_NONNULL(EOS(STATIC_7956(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), NULL) :|: TRUE
f7955_0_createTree_NONNULL(EOS(STATIC_7955(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub), o3181)), java.lang.Object(o3194sub)) -> f7962_0_createTree_Load(EOS(STATIC_7962(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub), o3181))) :|: TRUE
f7962_0_createTree_Load(EOS(STATIC_7962(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub), o3181))) -> f7969_0_createTree_FieldAccess(EOS(STATIC_7969(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub), o3181))) :|: TRUE
f7969_0_createTree_FieldAccess(EOS(STATIC_7969(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub), o3181))) -> f7976_0_createTree_Store(EOS(STATIC_7976(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) :|: TRUE
f7976_0_createTree_Store(EOS(STATIC_7976(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) -> f7983_0_createTree_Inc(EOS(STATIC_7983(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) :|: TRUE
f7983_0_createTree_Inc(EOS(STATIC_7983(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) -> f7987_0_createTree_JMP(EOS(STATIC_7987(java.lang.Object(ARRAY(i1482)))), i2731 + -1, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) :|: TRUE
f7987_0_createTree_JMP(EOS(STATIC_7987(java.lang.Object(ARRAY(i1482)))), i2911, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) -> f7995_0_createTree_Load(EOS(STATIC_7995(java.lang.Object(ARRAY(i1482)))), i2911, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) :|: TRUE
f7995_0_createTree_Load(EOS(STATIC_7995(java.lang.Object(ARRAY(i1482)))), i2911, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) -> f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i1482)))), i2911, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3194sub)) :|: TRUE
f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i1482)))), i2726, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) -> f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482)))), i2726, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2726) :|: TRUE
f7956_0_createTree_NONNULL(EOS(STATIC_7956(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), NULL) -> f7963_0_createTree_Load(EOS(STATIC_7963(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181))) :|: TRUE
f7963_0_createTree_Load(EOS(STATIC_7963(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181))) -> f7970_0_createTree_InvokeMethod(EOS(STATIC_7970(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181))) :|: TRUE
f7970_0_createTree_InvokeMethod(EOS(STATIC_7970(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181))) -> f7977_0_createNode_New(EOS(STATIC_7977(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181))) :|: TRUE
f7977_0_createNode_New(EOS(STATIC_7977(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181))) -> f7988_0_createNode_Duplicate(EOS(STATIC_7988(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7988_0_createNode_Duplicate(EOS(STATIC_7988(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7996_0_createNode_InvokeMethod(EOS(STATIC_7996(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7996_0_createNode_InvokeMethod(EOS(STATIC_7996(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8001_0__init__Load(EOS(STATIC_8001(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8001_0__init__Load(EOS(STATIC_8001(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8007_0__init__InvokeMethod(EOS(STATIC_8007(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8007_0__init__InvokeMethod(EOS(STATIC_8007(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8010_0__init__Return(EOS(STATIC_8010(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8010_0__init__Return(EOS(STATIC_8010(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8012_0_createNode_Store(EOS(STATIC_8012(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8012_0_createNode_Store(EOS(STATIC_8012(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8015_0_createNode_Load(EOS(STATIC_8015(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8015_0_createNode_Load(EOS(STATIC_8015(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8017_0_createNode_New(EOS(STATIC_8017(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8017_0_createNode_New(EOS(STATIC_8017(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8019_0_createNode_Duplicate(EOS(STATIC_8019(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8019_0_createNode_Duplicate(EOS(STATIC_8019(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8021_0_createNode_InvokeMethod(EOS(STATIC_8021(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f8021_0_createNode_InvokeMethod(EOS(STATIC_8021(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8023_0_createNode_FieldAccess(EOS(STATIC_8023(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8023_0_createNode_FieldAccess(EOS(STATIC_8023(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8025_0_createNode_Load(EOS(STATIC_8025(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8025_0_createNode_Load(EOS(STATIC_8025(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8027_0_createNode_Return(EOS(STATIC_8027(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8027_0_createNode_Return(EOS(STATIC_8027(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8029_0_createTree_FieldAccess(EOS(STATIC_8029(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8029_0_createTree_FieldAccess(EOS(STATIC_8029(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8031_0_createTree_FieldAccess(EOS(STATIC_8031(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8029_0_createTree_FieldAccess(EOS(STATIC_8029(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, NULL, o3343)), java.lang.Object(Tree(EOC, NULL, o3343)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8032_0_createTree_FieldAccess(EOS(STATIC_8032(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, NULL, o3343)), java.lang.Object(Tree(EOC, NULL, o3343)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8031_0_createTree_FieldAccess(EOS(STATIC_8031(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, NULL, o3181)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8035_0_createTree_Load(EOS(STATIC_8035(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046put, o3045put))) :|: TRUE
f8035_0_createTree_Load(EOS(STATIC_8035(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045))) -> f8039_0_createTree_Store(EOS(STATIC_8039(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8039_0_createTree_Store(EOS(STATIC_8039(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8043_0_createTree_JMP(EOS(STATIC_8043(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8043_0_createTree_JMP(EOS(STATIC_8043(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8047_0_createTree_Inc(EOS(STATIC_8047(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8047_0_createTree_Inc(EOS(STATIC_8047(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8051_0_createTree_JMP(EOS(STATIC_8051(java.lang.Object(ARRAY(i1482)))), i2731 + -1, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8051_0_createTree_JMP(EOS(STATIC_8051(java.lang.Object(ARRAY(i1482)))), i2974, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8055_0_createTree_Load(EOS(STATIC_8055(java.lang.Object(ARRAY(i1482)))), i2974, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8055_0_createTree_Load(EOS(STATIC_8055(java.lang.Object(ARRAY(i1482)))), i2974, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i1482)))), i2974, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8032_0_createTree_FieldAccess(EOS(STATIC_8032(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, NULL, o3343)), java.lang.Object(Tree(EOC, NULL, o3343)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8036_0_createTree_Load(EOS(STATIC_8036(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) :|: TRUE
f8036_0_createTree_Load(EOS(STATIC_8036(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) -> f8040_0_createTree_Store(EOS(STATIC_8040(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) :|: TRUE
f8040_0_createTree_Store(EOS(STATIC_8040(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) -> f8044_0_createTree_JMP(EOS(STATIC_8044(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) :|: TRUE
f8044_0_createTree_JMP(EOS(STATIC_8044(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) -> f8048_0_createTree_Inc(EOS(STATIC_8048(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) :|: TRUE
f8048_0_createTree_Inc(EOS(STATIC_8048(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) -> f8052_0_createTree_JMP(EOS(STATIC_8052(java.lang.Object(ARRAY(i1482)))), i2731 + -1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) :|: TRUE
f8052_0_createTree_JMP(EOS(STATIC_8052(java.lang.Object(ARRAY(i1482)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) -> f8056_0_createTree_Load(EOS(STATIC_8056(java.lang.Object(ARRAY(i1482)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) :|: TRUE
f8056_0_createTree_Load(EOS(STATIC_8056(java.lang.Object(ARRAY(i1482)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) -> f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i1482)))), i2975, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3343))) :|: TRUE
f7932_0_createTree_LE(EOS(STATIC_7932(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), i2874) -> f7936_0_createTree_Load(EOS(STATIC_7936(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) :|: i2874 > 0
f7936_0_createTree_Load(EOS(STATIC_7936(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub)) -> f7941_0_createTree_FieldAccess(EOS(STATIC_7941(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3048sub), java.lang.Object(o3048sub)) :|: TRUE
f7941_0_createTree_FieldAccess(EOS(STATIC_7941(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, o3185)), java.lang.Object(Tree(EOC, o3186, o3185))) -> f7946_0_createTree_FieldAccess(EOS(STATIC_7946(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, o3185)), java.lang.Object(Tree(EOC, o3186, o3185))) :|: TRUE
f7946_0_createTree_FieldAccess(EOS(STATIC_7946(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, o3185)), java.lang.Object(Tree(EOC, o3186, o3185))) -> f7951_0_createTree_NONNULL(EOS(STATIC_7951(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, o3185)), o3185) :|: TRUE
f7951_0_createTree_NONNULL(EOS(STATIC_7951(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, java.lang.Object(o3195sub))), java.lang.Object(o3195sub)) -> f7957_0_createTree_NONNULL(EOS(STATIC_7957(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, java.lang.Object(o3195sub))), java.lang.Object(o3195sub)) :|: TRUE
f7951_0_createTree_NONNULL(EOS(STATIC_7951(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), NULL) -> f7958_0_createTree_NONNULL(EOS(STATIC_7958(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), NULL) :|: TRUE
f7957_0_createTree_NONNULL(EOS(STATIC_7957(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, java.lang.Object(o3195sub))), java.lang.Object(o3195sub)) -> f7964_0_createTree_Load(EOS(STATIC_7964(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, java.lang.Object(o3195sub)))) :|: TRUE
f7964_0_createTree_Load(EOS(STATIC_7964(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, java.lang.Object(o3195sub)))) -> f7971_0_createTree_FieldAccess(EOS(STATIC_7971(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, java.lang.Object(o3195sub)))) :|: TRUE
f7971_0_createTree_FieldAccess(EOS(STATIC_7971(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, java.lang.Object(o3195sub)))) -> f7978_0_createTree_Store(EOS(STATIC_7978(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) :|: TRUE
f7978_0_createTree_Store(EOS(STATIC_7978(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) -> f7984_0_createTree_JMP(EOS(STATIC_7984(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) :|: TRUE
f7984_0_createTree_JMP(EOS(STATIC_7984(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) -> f7989_0_createTree_Inc(EOS(STATIC_7989(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) :|: TRUE
f7989_0_createTree_Inc(EOS(STATIC_7989(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) -> f7997_0_createTree_JMP(EOS(STATIC_7997(java.lang.Object(ARRAY(i1482)))), i2731 + -1, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) :|: TRUE
f7997_0_createTree_JMP(EOS(STATIC_7997(java.lang.Object(ARRAY(i1482)))), i2930, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) -> f8002_0_createTree_Load(EOS(STATIC_8002(java.lang.Object(ARRAY(i1482)))), i2930, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) :|: TRUE
f8002_0_createTree_Load(EOS(STATIC_8002(java.lang.Object(ARRAY(i1482)))), i2930, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) -> f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i1482)))), i2930, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(o3195sub)) :|: TRUE
f7958_0_createTree_NONNULL(EOS(STATIC_7958(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), NULL) -> f7965_0_createTree_Load(EOS(STATIC_7965(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL))) :|: TRUE
f7965_0_createTree_Load(EOS(STATIC_7965(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL))) -> f7972_0_createTree_InvokeMethod(EOS(STATIC_7972(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL))) :|: TRUE
f7972_0_createTree_InvokeMethod(EOS(STATIC_7972(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL))) -> f7979_0_createNode_New(EOS(STATIC_7979(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL))) :|: TRUE
f7979_0_createNode_New(EOS(STATIC_7979(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL))) -> f7990_0_createNode_Duplicate(EOS(STATIC_7990(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7990_0_createNode_Duplicate(EOS(STATIC_7990(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7998_0_createNode_InvokeMethod(EOS(STATIC_7998(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7998_0_createNode_InvokeMethod(EOS(STATIC_7998(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8003_0__init__Load(EOS(STATIC_8003(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8003_0__init__Load(EOS(STATIC_8003(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8008_0__init__InvokeMethod(EOS(STATIC_8008(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8008_0__init__InvokeMethod(EOS(STATIC_8008(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8011_0__init__Return(EOS(STATIC_8011(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8011_0__init__Return(EOS(STATIC_8011(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8013_0_createNode_Store(EOS(STATIC_8013(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8013_0_createNode_Store(EOS(STATIC_8013(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8016_0_createNode_Load(EOS(STATIC_8016(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8016_0_createNode_Load(EOS(STATIC_8016(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8018_0_createNode_New(EOS(STATIC_8018(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8018_0_createNode_New(EOS(STATIC_8018(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8020_0_createNode_Duplicate(EOS(STATIC_8020(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8020_0_createNode_Duplicate(EOS(STATIC_8020(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8022_0_createNode_InvokeMethod(EOS(STATIC_8022(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f8022_0_createNode_InvokeMethod(EOS(STATIC_8022(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8024_0_createNode_FieldAccess(EOS(STATIC_8024(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8024_0_createNode_FieldAccess(EOS(STATIC_8024(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8026_0_createNode_Load(EOS(STATIC_8026(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8026_0_createNode_Load(EOS(STATIC_8026(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8028_0_createNode_Return(EOS(STATIC_8028(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8028_0_createNode_Return(EOS(STATIC_8028(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8030_0_createTree_FieldAccess(EOS(STATIC_8030(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8030_0_createTree_FieldAccess(EOS(STATIC_8030(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8033_0_createTree_FieldAccess(EOS(STATIC_8033(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8030_0_createTree_FieldAccess(EOS(STATIC_8030(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, NULL)), java.lang.Object(Tree(EOC, o3352, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8034_0_createTree_FieldAccess(EOS(STATIC_8034(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, NULL)), java.lang.Object(Tree(EOC, o3352, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8033_0_createTree_FieldAccess(EOS(STATIC_8033(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3186, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8037_0_createTree_Load(EOS(STATIC_8037(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046put, o3045put))) :|: TRUE
f8037_0_createTree_Load(EOS(STATIC_8037(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045))) -> f8041_0_createTree_Store(EOS(STATIC_8041(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8041_0_createTree_Store(EOS(STATIC_8041(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8045_0_createTree_JMP(EOS(STATIC_8045(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8045_0_createTree_JMP(EOS(STATIC_8045(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8049_0_createTree_Inc(EOS(STATIC_8049(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8049_0_createTree_Inc(EOS(STATIC_8049(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8053_0_createTree_JMP(EOS(STATIC_8053(java.lang.Object(ARRAY(i1482)))), i2731 + -1, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8053_0_createTree_JMP(EOS(STATIC_8053(java.lang.Object(ARRAY(i1482)))), i2976, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f8057_0_createTree_Load(EOS(STATIC_8057(java.lang.Object(ARRAY(i1482)))), i2976, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8057_0_createTree_Load(EOS(STATIC_8057(java.lang.Object(ARRAY(i1482)))), i2976, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) -> f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i1482)))), i2976, java.lang.Object(Tree(EOC, o3046, o3045)), java.lang.Object(Tree(EOC, o3046, o3045))) :|: TRUE
f8034_0_createTree_FieldAccess(EOS(STATIC_8034(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, NULL)), java.lang.Object(Tree(EOC, o3352, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8038_0_createTree_Load(EOS(STATIC_8038(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8038_0_createTree_Load(EOS(STATIC_8038(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8042_0_createTree_Store(EOS(STATIC_8042(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8042_0_createTree_Store(EOS(STATIC_8042(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8046_0_createTree_JMP(EOS(STATIC_8046(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8046_0_createTree_JMP(EOS(STATIC_8046(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8050_0_createTree_Inc(EOS(STATIC_8050(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8050_0_createTree_Inc(EOS(STATIC_8050(java.lang.Object(ARRAY(i1482)))), i2731, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8054_0_createTree_JMP(EOS(STATIC_8054(java.lang.Object(ARRAY(i1482)))), i2731 + -1, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8054_0_createTree_JMP(EOS(STATIC_8054(java.lang.Object(ARRAY(i1482)))), i2977, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8058_0_createTree_Load(EOS(STATIC_8058(java.lang.Object(ARRAY(i1482)))), i2977, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8058_0_createTree_Load(EOS(STATIC_8058(java.lang.Object(ARRAY(i1482)))), i2977, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i1482)))), i2977, java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3352, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0, java.lang.Object(Tree(EOC, o3046:0, o3045:0)), java.lang.Object(Tree(EOC, o3186:0, java.lang.Object(o3195sub:0))), i2731:0) -> f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0 - 1, java.lang.Object(Tree(EOC, o3046:0, o3045:0)), java.lang.Object(o3195sub:0), i2731:0 - 1) :|: i2731:0 > 0 && i2837:0 > 0
f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0, java.lang.Object(Tree(EOC, o3046:0, o3045:0)), java.lang.Object(Tree(EOC, o3186:0, NULL)), i2731:0) -> f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0 - 1, java.lang.Object(Tree(EOC, o3046put:0, o3045put:0)), java.lang.Object(Tree(EOC, o3046put:0, o3045put:0)), i2731:0 - 1) :|: i2731:0 > 0 && i2837:0 > 0
f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0, java.lang.Object(Tree(EOC, o3046:0, NULL)), java.lang.Object(Tree(EOC, o3046:0, NULL)), i2731:0) -> f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0 - 1, java.lang.Object(Tree(EOC, o3046:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3046:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i2731:0 - 1) :|: i2731:0 > 0 && i2837:0 > 0
f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0, java.lang.Object(Tree(EOC, NULL, o3045:0)), java.lang.Object(Tree(EOC, NULL, o3045:0)), i2731:0) -> f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3045:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3045:0)), i2731:0 - 1) :|: i2731:0 > 0
f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0, java.lang.Object(Tree(EOC, o3046:0, o3045:0)), java.lang.Object(Tree(EOC, java.lang.Object(o3194sub:0), o3181:0)), i2731:0) -> f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0 - 1, java.lang.Object(Tree(EOC, o3046:0, o3045:0)), java.lang.Object(o3194sub:0), i2731:0 - 1) :|: i2731:0 > 0
f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0, java.lang.Object(Tree(EOC, o3046:0, o3045:0)), java.lang.Object(Tree(EOC, NULL, o3181:0)), i2731:0) -> f7843_0_createTree_LE(EOS(STATIC_7843(java.lang.Object(ARRAY(i1482:0)))), i2731:0 - 1, java.lang.Object(Tree(EOC, o3046put:0, o3045put:0)), java.lang.Object(Tree(EOC, o3046put:0, o3045put:0)), i2731:0 - 1) :|: i2731:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f7843_0_createTree_LE(x1, x2, x3, x4, x5) -> f7843_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f7843_0_createTree_LE(x1, x2, x3, x4) -> f7843_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(o3186:0, java.lang.Object(o3195sub:0))), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(o3195sub:0), i2731:0 - 1) :|: i2731:0 > 0 && i2837:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(o3186:0, NULL)), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046put:0, o3045put:0)), java.lang.Object(Tree(o3046put:0, o3045put:0)), i2731:0 - 1) :|: i2731:0 > 0 && i2837:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, NULL)), java.lang.Object(Tree(o3046:0, NULL)), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o3046:0, java.lang.Object(Tree(NULL, NULL)))), i2731:0 - 1) :|: i2731:0 > 0 && i2837:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(NULL, o3045:0)), java.lang.Object(Tree(NULL, o3045:0)), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3045:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3045:0)), i2731:0 - 1) :|: i2731:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(java.lang.Object(o3194sub:0), o3181:0)), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(o3194sub:0), i2731:0 - 1) :|: i2731:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(NULL, o3181:0)), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046put:0, o3045put:0)), java.lang.Object(Tree(o3046put:0, o3045put:0)), i2731:0 - 1) :|: i2731:0 > 0

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

(9)
Obligation:
Rules:
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(o3186:0, java.lang.Object(o3195sub:0))), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(o3195sub:0), i2731:0 - 1) :|: i2731:0 > 0 && i2837:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(x2, NULL)), x3) -> f7843_0_createTree_LE(java.lang.Object(Tree(x4, x5)), java.lang.Object(Tree(x4, x5)), x3 - 1) :|: x3 > 0 && x6 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x7, NULL)), java.lang.Object(Tree(x7, NULL)), x8) -> f7843_0_createTree_LE(java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x7, java.lang.Object(Tree(NULL, NULL)))), x8 - 1) :|: x8 > 0 && x9 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(NULL, x10)), java.lang.Object(Tree(NULL, x10)), x11) -> f7843_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x10)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x10)), x11 - 1) :|: x11 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x12, x13)), java.lang.Object(Tree(java.lang.Object(x14), x15)), x16) -> f7843_0_createTree_LE(java.lang.Object(Tree(x12, x13)), java.lang.Object(x14), x16 - 1) :|: x16 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x17, x18)), java.lang.Object(Tree(NULL, x19)), x20) -> f7843_0_createTree_LE(java.lang.Object(Tree(x21, x22)), java.lang.Object(Tree(x21, x22)), x20 - 1) :|: x20 > 0

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

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

(11)
Obligation:
Rules:
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(o3186:0, java.lang.Object(o3195sub:0))), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(o3195sub:0), arith) :|: i2731:0 > 0 && i2837:0 > 0 && arith = i2731:0 - 1
f7843_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, NULL)), x26) -> f7843_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x27, x28)), x29) :|: x26 > 0 && x30 > 0 && x29 = x26 - 1
f7843_0_createTree_LE(java.lang.Object(Tree(x31, NULL)), java.lang.Object(Tree(x31, NULL)), x32) -> f7843_0_createTree_LE(java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), x33) :|: x32 > 0 && x34 > 0 && x33 = x32 - 1
f7843_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7843_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
f7843_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(java.lang.Object(x40), x41)), x42) -> f7843_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x40), x43) :|: x42 > 0 && x43 = x42 - 1
f7843_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(NULL, x46)), x47) -> f7843_0_createTree_LE(java.lang.Object(Tree(x48, x49)), java.lang.Object(Tree(x48, x49)), x50) :|: x47 > 0 && x50 = x47 - 1

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

(12) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(o3186:0, java.lang.Object(o3195sub:0))), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(o3195sub:0), arith) :|: i2731:0 > 0 && i2837:0 > 0 && arith = i2731:0 - 1
(2) f7843_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, NULL)), x26) -> f7843_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x27, x28)), x29) :|: x26 > 0 && x30 > 0 && x29 = x26 - 1
(3) f7843_0_createTree_LE(java.lang.Object(Tree(x31, NULL)), java.lang.Object(Tree(x31, NULL)), x32) -> f7843_0_createTree_LE(java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), x33) :|: x32 > 0 && x34 > 0 && x33 = x32 - 1
(4) f7843_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7843_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
(5) f7843_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(java.lang.Object(x40), x41)), x42) -> f7843_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x40), x43) :|: x42 > 0 && x43 = x42 - 1
(6) f7843_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(NULL, x46)), x47) -> f7843_0_createTree_LE(java.lang.Object(Tree(x48, x49)), java.lang.Object(Tree(x48, x49)), x50) :|: x47 > 0 && x50 = x47 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (2), (3), (4), (5), (6)
(3) -> (1), (4), (5), (6)
(4) -> (1), (2), (3), (5)
(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) f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(Tree(o3186:0, java.lang.Object(o3195sub:0))), i2731:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0, o3045:0)), java.lang.Object(o3195sub:0), arith) :|: i2731:0 > 0 && i2837:0 > 0 && arith = i2731:0 - 1
(2) f7843_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, NULL)), x26) -> f7843_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x27, x28)), x29) :|: x26 > 0 && x30 > 0 && x29 = x26 - 1
(3) f7843_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7843_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
(4) f7843_0_createTree_LE(java.lang.Object(Tree(x31, NULL)), java.lang.Object(Tree(x31, NULL)), x32) -> f7843_0_createTree_LE(java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31, java.lang.Object(Tree(NULL, NULL)))), x33) :|: x32 > 0 && x34 > 0 && x33 = x32 - 1
(5) f7843_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(java.lang.Object(x40), x41)), x42) -> f7843_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x40), x43) :|: x42 > 0 && x43 = x42 - 1
(6) f7843_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(NULL, x46)), x47) -> f7843_0_createTree_LE(java.lang.Object(Tree(x48, x49)), java.lang.Object(Tree(x48, x49)), x50) :|: x47 > 0 && x50 = x47 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (2), (3), (4), (5), (6)
(3) -> (1), (2), (4), (5)
(4) -> (1), (3), (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:
f7843_0_createTree_LE(java.lang.Object(Tree(NULL, x35:0)), java.lang.Object(Tree(NULL, x35:0)), x36:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35:0)), x36:0 - 1) :|: x36:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x23:0, x24:0)), java.lang.Object(Tree(x25:0, NULL)), x26:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(Tree(x27:0, x28:0)), x26:0 - 1) :|: x26:0 > 0 && x30:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0:0, o3045:0:0)), java.lang.Object(Tree(o3186:0:0, java.lang.Object(o3195sub:0:0))), i2731:0:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(o3046:0:0, o3045:0:0)), java.lang.Object(o3195sub:0:0), i2731:0:0 - 1) :|: i2731:0:0 > 0 && i2837:0:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x44:0, x45:0)), java.lang.Object(Tree(NULL, x46:0)), x47:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(x48:0, x49:0)), java.lang.Object(Tree(x48:0, x49:0)), x47:0 - 1) :|: x47:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x31:0, NULL)), java.lang.Object(Tree(x31:0, NULL)), x32:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(x31:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x31:0, java.lang.Object(Tree(NULL, NULL)))), x32:0 - 1) :|: x32:0 > 0 && x34:0 > 0
f7843_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(Tree(java.lang.Object(x40:0), x41:0)), x42:0) -> f7843_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(x40:0), x42:0 - 1) :|: x42:0 > 0

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

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

(17)
Obligation:
Rules:
f7843_0_createTree_LE(c, c1, x36:0) -> f7843_0_createTree_LE(c2, c3, c4) :|: c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x36:0 > 0
f7843_0_createTree_LE(c5, c6, x26:0) -> f7843_0_createTree_LE(c7, c8, c9) :|: c9 = x26:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x26:0 > 0 && x30:0 > 0)

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

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

The following rules are decreasing:
f7843_0_createTree_LE(c, c1, x36:0) -> f7843_0_createTree_LE(c2, c3, c4) :|: c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x36:0 > 0
f7843_0_createTree_LE(c5, c6, x26:0) -> f7843_0_createTree_LE(c7, c8, c9) :|: c9 = x26:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x26:0 > 0 && x30:0 > 0)
The following rules are bounded:
f7843_0_createTree_LE(c, c1, x36:0) -> f7843_0_createTree_LE(c2, c3, c4) :|: c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x36:0 > 0
f7843_0_createTree_LE(c5, c6, x26:0) -> f7843_0_createTree_LE(c7, c8, c9) :|: c9 = x26:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x26:0 > 0 && x30:0 > 0)

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

(19)
YES

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

(20)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Flatten.main([Ljava/lang/String;)V
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*TreeList: [value, next]
*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 72 rules for P and 0 rules for R.P rules:
f7048_0_flatten_NULL(EOS(STATIC_7048), java.lang.Object(o2053sub), java.lang.Object(o2053sub)) -> f7051_0_flatten_NULL(EOS(STATIC_7051), java.lang.Object(o2053sub), java.lang.Object(o2053sub)) :|: TRUE
f7051_0_flatten_NULL(EOS(STATIC_7051), java.lang.Object(o2053sub), java.lang.Object(o2053sub)) -> f7057_0_flatten_Load(EOS(STATIC_7057), java.lang.Object(o2053sub)) :|: TRUE
f7057_0_flatten_Load(EOS(STATIC_7057), java.lang.Object(o2053sub)) -> f7061_0_flatten_FieldAccess(EOS(STATIC_7061), java.lang.Object(o2053sub), java.lang.Object(o2053sub)) :|: TRUE
f7061_0_flatten_FieldAccess(EOS(STATIC_7061), java.lang.Object(TreeList(EOC, o2065, o2066)), java.lang.Object(TreeList(EOC, o2065, o2066))) -> f7066_0_flatten_FieldAccess(EOS(STATIC_7066), java.lang.Object(TreeList(EOC, o2065, o2066)), java.lang.Object(TreeList(EOC, o2065, o2066))) :|: TRUE
f7066_0_flatten_FieldAccess(EOS(STATIC_7066), java.lang.Object(TreeList(EOC, o2065, o2066)), java.lang.Object(TreeList(EOC, o2065, o2066))) -> f7072_0_flatten_Store(EOS(STATIC_7072), java.lang.Object(TreeList(EOC, o2065, o2066)), o2065) :|: TRUE
f7072_0_flatten_Store(EOS(STATIC_7072), java.lang.Object(TreeList(EOC, o2065, o2066)), o2065) -> f7077_0_flatten_Load(EOS(STATIC_7077), java.lang.Object(TreeList(EOC, o2065, o2066)), o2065) :|: TRUE
f7077_0_flatten_Load(EOS(STATIC_7077), java.lang.Object(TreeList(EOC, o2065, o2066)), o2065) -> f7083_0_flatten_NULL(EOS(STATIC_7083), java.lang.Object(TreeList(EOC, o2065, o2066)), o2065, o2065) :|: TRUE
f7083_0_flatten_NULL(EOS(STATIC_7083), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub), java.lang.Object(o2076sub)) -> f7088_0_flatten_NULL(EOS(STATIC_7088), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub), java.lang.Object(o2076sub)) :|: TRUE
f7083_0_flatten_NULL(EOS(STATIC_7083), java.lang.Object(TreeList(EOC, NULL, o2066)), NULL, NULL) -> f7089_0_flatten_NULL(EOS(STATIC_7089), java.lang.Object(TreeList(EOC, NULL, o2066)), NULL, NULL) :|: TRUE
f7088_0_flatten_NULL(EOS(STATIC_7088), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub), java.lang.Object(o2076sub)) -> f7094_0_flatten_New(EOS(STATIC_7094), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub)) :|: TRUE
f7094_0_flatten_New(EOS(STATIC_7094), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub)) -> f7101_0_flatten_Duplicate(EOS(STATIC_7101), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub)) :|: TRUE
f7101_0_flatten_Duplicate(EOS(STATIC_7101), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub)) -> f7108_0_flatten_Load(EOS(STATIC_7108), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub)) :|: TRUE
f7108_0_flatten_Load(EOS(STATIC_7108), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub)) -> f7115_0_flatten_FieldAccess(EOS(STATIC_7115), java.lang.Object(TreeList(EOC, java.lang.Object(o2076sub), o2066)), java.lang.Object(o2076sub), java.lang.Object(o2076sub)) :|: TRUE
f7115_0_flatten_FieldAccess(EOS(STATIC_7115), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7122_0_flatten_FieldAccess(EOS(STATIC_7122), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7122_0_flatten_FieldAccess(EOS(STATIC_7122), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7131_0_flatten_Load(EOS(STATIC_7131), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7131_0_flatten_Load(EOS(STATIC_7131), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7139_0_flatten_InvokeMethod(EOS(STATIC_7139), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7139_0_flatten_InvokeMethod(EOS(STATIC_7139), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7147_0__init__Load(EOS(STATIC_7147), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7147_0__init__Load(EOS(STATIC_7147), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7160_0__init__InvokeMethod(EOS(STATIC_7160), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7160_0__init__InvokeMethod(EOS(STATIC_7160), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7167_0__init__Load(EOS(STATIC_7167), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7167_0__init__Load(EOS(STATIC_7167), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7175_0__init__Load(EOS(STATIC_7175), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7175_0__init__Load(EOS(STATIC_7175), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7182_0__init__FieldAccess(EOS(STATIC_7182), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7182_0__init__FieldAccess(EOS(STATIC_7182), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7184_0__init__Load(EOS(STATIC_7184), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7184_0__init__Load(EOS(STATIC_7184), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7188_0__init__Load(EOS(STATIC_7188), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7188_0__init__Load(EOS(STATIC_7188), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7191_0__init__FieldAccess(EOS(STATIC_7191), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7191_0__init__FieldAccess(EOS(STATIC_7191), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7195_0__init__Return(EOS(STATIC_7195), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7195_0__init__Return(EOS(STATIC_7195), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7198_0_flatten_Store(EOS(STATIC_7198), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7198_0_flatten_Store(EOS(STATIC_7198), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7201_0_flatten_Load(EOS(STATIC_7201), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7201_0_flatten_Load(EOS(STATIC_7201), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7204_0_flatten_FieldAccess(EOS(STATIC_7204), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066))) :|: TRUE
f7204_0_flatten_FieldAccess(EOS(STATIC_7204), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066))) -> f7207_0_flatten_Store(EOS(STATIC_7207), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066) :|: TRUE
f7207_0_flatten_Store(EOS(STATIC_7207), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), o2066) -> f7210_0_flatten_New(EOS(STATIC_7210), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7210_0_flatten_New(EOS(STATIC_7210), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7213_0_flatten_Duplicate(EOS(STATIC_7213), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7213_0_flatten_Duplicate(EOS(STATIC_7213), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7216_0_flatten_Load(EOS(STATIC_7216), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7216_0_flatten_Load(EOS(STATIC_7216), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7219_0_flatten_FieldAccess(EOS(STATIC_7219), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7219_0_flatten_FieldAccess(EOS(STATIC_7219), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7224_0_flatten_Load(EOS(STATIC_7224), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101) :|: TRUE
f7224_0_flatten_Load(EOS(STATIC_7224), o2066, java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101) -> f7229_0_flatten_InvokeMethod(EOS(STATIC_7229), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066) :|: TRUE
f7229_0_flatten_InvokeMethod(EOS(STATIC_7229), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066) -> f7234_0__init__Load(EOS(STATIC_7234), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066) :|: TRUE
f7234_0__init__Load(EOS(STATIC_7234), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066) -> f7243_0__init__InvokeMethod(EOS(STATIC_7243), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066, java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7243_0__init__InvokeMethod(EOS(STATIC_7243), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066, java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7248_0__init__Load(EOS(STATIC_7248), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066) :|: TRUE
f7248_0__init__Load(EOS(STATIC_7248), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066) -> f7251_0__init__Load(EOS(STATIC_7251), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066, java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7251_0__init__Load(EOS(STATIC_7251), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2101, o2066, java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7253_0__init__FieldAccess(EOS(STATIC_7253), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2066, java.lang.Object(TreeList(EOC, NULL, NULL)), o2101) :|: TRUE
f7253_0__init__FieldAccess(EOS(STATIC_7253), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2066, java.lang.Object(TreeList(EOC, NULL, NULL)), o2101) -> f7256_0__init__Load(EOS(STATIC_7256), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, NULL)), java.lang.Object(TreeList(EOC, o2101, NULL)), o2066) :|: TRUE
f7256_0__init__Load(EOS(STATIC_7256), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, NULL)), java.lang.Object(TreeList(EOC, o2101, NULL)), o2066) -> f7259_0__init__Load(EOS(STATIC_7259), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, NULL)), o2066, java.lang.Object(TreeList(EOC, o2101, NULL))) :|: TRUE
f7259_0__init__Load(EOS(STATIC_7259), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, NULL)), o2066, java.lang.Object(TreeList(EOC, o2101, NULL))) -> f7262_0__init__FieldAccess(EOS(STATIC_7262), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, NULL)), java.lang.Object(TreeList(EOC, o2101, NULL)), o2066) :|: TRUE
f7262_0__init__FieldAccess(EOS(STATIC_7262), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, NULL)), java.lang.Object(TreeList(EOC, o2101, NULL)), o2066) -> f7264_0__init__Return(EOS(STATIC_7264), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, o2066))) :|: TRUE
f7264_0__init__Return(EOS(STATIC_7264), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, o2066))) -> f7266_0_flatten_Store(EOS(STATIC_7266), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, o2066))) :|: TRUE
f7266_0_flatten_Store(EOS(STATIC_7266), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, o2101, o2066))) -> f7270_0_flatten_New(EOS(STATIC_7270), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7270_0_flatten_New(EOS(STATIC_7270), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7274_0_flatten_Duplicate(EOS(STATIC_7274), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7274_0_flatten_Duplicate(EOS(STATIC_7274), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7279_0_flatten_Load(EOS(STATIC_7279), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7279_0_flatten_Load(EOS(STATIC_7279), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(Tree(EOC, o2103, o2101, o2102)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7283_0_flatten_FieldAccess(EOS(STATIC_7283), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) :|: TRUE
f7283_0_flatten_FieldAccess(EOS(STATIC_7283), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2103, o2101, o2102))) -> f7287_0_flatten_Load(EOS(STATIC_7287), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102) :|: TRUE
f7287_0_flatten_Load(EOS(STATIC_7287), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102) -> f7292_0_flatten_InvokeMethod(EOS(STATIC_7292), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066))) :|: TRUE
f7292_0_flatten_InvokeMethod(EOS(STATIC_7292), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066))) -> f7296_0__init__Load(EOS(STATIC_7296), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066))) :|: TRUE
f7296_0__init__Load(EOS(STATIC_7296), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066))) -> f7303_0__init__InvokeMethod(EOS(STATIC_7303), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7303_0__init__InvokeMethod(EOS(STATIC_7303), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7307_0__init__Load(EOS(STATIC_7307), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066))) :|: TRUE
f7307_0__init__Load(EOS(STATIC_7307), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066))) -> f7312_0__init__Load(EOS(STATIC_7312), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7312_0__init__Load(EOS(STATIC_7312), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102, java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7318_0__init__FieldAccess(EOS(STATIC_7318), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102) :|: TRUE
f7318_0__init__FieldAccess(EOS(STATIC_7318), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2102) -> f7322_0__init__Load(EOS(STATIC_7322), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066))) :|: TRUE
f7322_0__init__Load(EOS(STATIC_7322), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066))) -> f7326_0__init__Load(EOS(STATIC_7326), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, o2102, NULL))) :|: TRUE
f7326_0__init__Load(EOS(STATIC_7326), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066)), java.lang.Object(TreeList(EOC, o2102, NULL))) -> f7332_0__init__FieldAccess(EOS(STATIC_7332), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066))) :|: TRUE
f7332_0__init__FieldAccess(EOS(STATIC_7332), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2102, NULL)), java.lang.Object(TreeList(EOC, o2101, o2066))) -> f7336_0__init__Return(EOS(STATIC_7336), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) :|: TRUE
f7336_0__init__Return(EOS(STATIC_7336), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) -> f7341_0_flatten_Store(EOS(STATIC_7341), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) :|: TRUE
f7341_0_flatten_Store(EOS(STATIC_7341), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) -> f7347_0_flatten_JMP(EOS(STATIC_7347), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) :|: TRUE
f7347_0_flatten_JMP(EOS(STATIC_7347), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) -> f7352_0_flatten_JMP(EOS(STATIC_7352), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) :|: TRUE
f7352_0_flatten_JMP(EOS(STATIC_7352), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) -> f7358_0_flatten_Load(EOS(STATIC_7358), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) :|: TRUE
f7358_0_flatten_Load(EOS(STATIC_7358), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) -> f7045_0_flatten_Load(EOS(STATIC_7045), java.lang.Object(TreeList(EOC, o2102, java.lang.Object(TreeList(EOC, o2101, o2066))))) :|: TRUE
f7045_0_flatten_Load(EOS(STATIC_7045), o2039) -> f7048_0_flatten_NULL(EOS(STATIC_7048), o2039, o2039) :|: TRUE
f7089_0_flatten_NULL(EOS(STATIC_7089), java.lang.Object(TreeList(EOC, NULL, o2066)), NULL, NULL) -> f7095_0_flatten_Load(EOS(STATIC_7095), java.lang.Object(TreeList(EOC, NULL, o2066))) :|: TRUE
f7095_0_flatten_Load(EOS(STATIC_7095), java.lang.Object(TreeList(EOC, NULL, o2066))) -> f7102_0_flatten_FieldAccess(EOS(STATIC_7102), java.lang.Object(TreeList(EOC, NULL, o2066))) :|: TRUE
f7102_0_flatten_FieldAccess(EOS(STATIC_7102), java.lang.Object(TreeList(EOC, NULL, o2066))) -> f7109_0_flatten_Store(EOS(STATIC_7109), o2066) :|: TRUE
f7109_0_flatten_Store(EOS(STATIC_7109), o2066) -> f7116_0_flatten_JMP(EOS(STATIC_7116), o2066) :|: TRUE
f7116_0_flatten_JMP(EOS(STATIC_7116), o2066) -> f7123_0_flatten_Load(EOS(STATIC_7123), o2066) :|: TRUE
f7123_0_flatten_Load(EOS(STATIC_7123), o2066) -> f7045_0_flatten_Load(EOS(STATIC_7045), o2066) :|: TRUE
R rules:
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
f7048_0_flatten_NULL(EOS(STATIC_7048), java.lang.Object(TreeList(EOC, NULL, o2066:0)), java.lang.Object(TreeList(EOC, NULL, o2066:0))) -> f7048_0_flatten_NULL(EOS(STATIC_7048), o2066:0, o2066:0) :|: TRUE
f7048_0_flatten_NULL(EOS(STATIC_7048), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103:0, o2101:0, o2102:0)), o2066:0)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2103:0, o2101:0, o2102:0)), o2066:0))) -> f7048_0_flatten_NULL(EOS(STATIC_7048), java.lang.Object(TreeList(EOC, o2102:0, java.lang.Object(TreeList(EOC, o2101:0, o2066:0)))), java.lang.Object(TreeList(EOC, o2102:0, java.lang.Object(TreeList(EOC, o2101:0, o2066:0))))) :|: TRUE
R rules:
Filtered ground terms:
   f7048_0_flatten_NULL(x1, x2, x3) -> f7048_0_flatten_NULL(x2, x3)
   EOS(x1) -> EOS
   TreeList(x1, x2, x3) -> TreeList(x2, x3)
   Tree(x1, x2, x3, x4) -> Tree(x2, x3, x4)
Filtered unneeded arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f7048_0_flatten_NULL(x1, x2) -> f7048_0_flatten_NULL(x2)
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(o2101:0:0, o2102:0:0)), o2066:0:0))) -> F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(o2102:0:0, java.lang.Object(TreeList(o2101:0:0, o2066:0:0))))) :|: TRUE
F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(NULL, o2066:0:0))) -> F7048_0_FLATTEN_NULL(o2066:0:0) :|: TRUE
R rules:

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

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

   F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(o2101:0:0, o2102:0:0)), o2066:0:0))) -> F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(o2102:0:0, java.lang.Object(TreeList(o2101:0:0, o2066:0:0)))))
   F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(NULL, o2066:0:0))) -> F7048_0_FLATTEN_NULL(o2066:0:0)

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

(23) UsableRulesReductionPairsProof (EQUIVALENT)
By using the usable rules with reduction pair processor [LPAR04] with a polynomial ordering [POLO], all dependency pairs and the corresponding usable rules [FROCOS05] can be oriented non-strictly. All non-usable rules are removed, and those dependency pairs and usable rules that have been oriented strictly or contain non-usable symbols in their left-hand side are removed as well.

The following dependency pairs can be deleted:

   F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(o2101:0:0, o2102:0:0)), o2066:0:0))) -> F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(o2102:0:0, java.lang.Object(TreeList(o2101:0:0, o2066:0:0)))))
   F7048_0_FLATTEN_NULL(java.lang.Object(TreeList(NULL, o2066:0:0))) -> F7048_0_FLATTEN_NULL(o2066:0:0)
No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

   POL(F7048_0_FLATTEN_NULL(x_1)) = 2*x_1
   POL(NULL) = 0
   POL(Tree(x_1, x_2)) = 2 + 2*x_1 + 2*x_2
   POL(TreeList(x_1, x_2)) = 1 + x_1 + x_2
   POL(java.lang.Object(x_1)) = 1 + x_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

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

(27)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Flatten.main([Ljava/lang/String;)V
SCC calls the following helper methods: Tree.createTree()LTree;
Performed SCC analyses:
*Used field analysis yielded the following read fields:

*Marker field analysis yielded the following relations that could be markers:

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

(28) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 49 IRulesP rules:
f6076_0_main_LE(EOS(STATIC_6076), java.lang.Object(ARRAY(i1433)), i1447, i1447) -> f6090_0_main_LE(EOS(STATIC_6090), java.lang.Object(ARRAY(i1433)), i1447, i1447) :|: TRUE
f6090_0_main_LE(EOS(STATIC_6090), java.lang.Object(ARRAY(i1433)), i1447, i1447) -> f6106_0_main_InvokeMethod(EOS(STATIC_6106), java.lang.Object(ARRAY(i1433)), i1447) :|: i1447 > 0
f6106_0_main_InvokeMethod(EOS(STATIC_6106), java.lang.Object(ARRAY(i1433)), i1447) -> f6123_0_createTree_InvokeMethod(EOS(STATIC_6123), java.lang.Object(ARRAY(i1433))) :|: i1447 >= 1
f6106_0_main_InvokeMethod(EOS(STATIC_6106), java.lang.Object(ARRAY(i1433)), i1447) -> f6123_1_createTree_InvokeMethod(EOS(STATIC_6123), java.lang.Object(ARRAY(i1433)), i1447) :|: i1447 >= 1
f6123_0_createTree_InvokeMethod(EOS(STATIC_6123), java.lang.Object(ARRAY(i1433))) -> f8450_0_createTree_InvokeMethod(EOS(STATIC_8450), java.lang.Object(ARRAY(i1433))) :|: TRUE
f6483_0_createTree_Return(EOS(STATIC_6483), java.lang.Object(ARRAY(i1495)), i1447) -> f6499_0_main_Store(EOS(STATIC_6499), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6499_0_main_Store(EOS(STATIC_6499), java.lang.Object(ARRAY(i1495)), i1447) -> f6512_0_main_New(EOS(STATIC_6512), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6512_0_main_New(EOS(STATIC_6512), java.lang.Object(ARRAY(i1495)), i1447) -> f6526_0_main_Duplicate(EOS(STATIC_6526), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6526_0_main_Duplicate(EOS(STATIC_6526), java.lang.Object(ARRAY(i1495)), i1447) -> f6539_0_main_Load(EOS(STATIC_6539), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6539_0_main_Load(EOS(STATIC_6539), java.lang.Object(ARRAY(i1495)), i1447) -> f6553_0_main_Load(EOS(STATIC_6553), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6553_0_main_Load(EOS(STATIC_6553), java.lang.Object(ARRAY(i1495)), i1447) -> f6559_0_main_InvokeMethod(EOS(STATIC_6559), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6559_0_main_InvokeMethod(EOS(STATIC_6559), java.lang.Object(ARRAY(i1495)), i1447) -> f6563_0__init__Load(EOS(STATIC_6563), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6563_0__init__Load(EOS(STATIC_6563), java.lang.Object(ARRAY(i1495)), i1447) -> f6573_0__init__InvokeMethod(EOS(STATIC_6573), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6573_0__init__InvokeMethod(EOS(STATIC_6573), java.lang.Object(ARRAY(i1495)), i1447) -> f6578_0__init__Load(EOS(STATIC_6578), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6578_0__init__Load(EOS(STATIC_6578), java.lang.Object(ARRAY(i1495)), i1447) -> f6581_0__init__Load(EOS(STATIC_6581), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6581_0__init__Load(EOS(STATIC_6581), java.lang.Object(ARRAY(i1495)), i1447) -> f6586_0__init__FieldAccess(EOS(STATIC_6586), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6586_0__init__FieldAccess(EOS(STATIC_6586), java.lang.Object(ARRAY(i1495)), i1447) -> f6590_0__init__Load(EOS(STATIC_6590), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6590_0__init__Load(EOS(STATIC_6590), java.lang.Object(ARRAY(i1495)), i1447) -> f6594_0__init__Load(EOS(STATIC_6594), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6594_0__init__Load(EOS(STATIC_6594), java.lang.Object(ARRAY(i1495)), i1447) -> f6597_0__init__FieldAccess(EOS(STATIC_6597), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6597_0__init__FieldAccess(EOS(STATIC_6597), java.lang.Object(ARRAY(i1495)), i1447) -> f6600_0__init__Return(EOS(STATIC_6600), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6600_0__init__Return(EOS(STATIC_6600), java.lang.Object(ARRAY(i1495)), i1447) -> f6603_0_main_Store(EOS(STATIC_6603), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6603_0_main_Store(EOS(STATIC_6603), java.lang.Object(ARRAY(i1495)), i1447) -> f6606_0_main_Inc(EOS(STATIC_6606), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6606_0_main_Inc(EOS(STATIC_6606), java.lang.Object(ARRAY(i1495)), i1447) -> f6609_0_main_JMP(EOS(STATIC_6609), java.lang.Object(ARRAY(i1495)), i1447 + -1) :|: TRUE
f6609_0_main_JMP(EOS(STATIC_6609), java.lang.Object(ARRAY(i1495)), i1532) -> f6611_0_main_Load(EOS(STATIC_6611), java.lang.Object(ARRAY(i1495)), i1532) :|: TRUE
f6611_0_main_Load(EOS(STATIC_6611), java.lang.Object(ARRAY(i1495)), i1532) -> f6050_0_main_Load(EOS(STATIC_6050), java.lang.Object(ARRAY(i1495)), i1532) :|: TRUE
f6050_0_main_Load(EOS(STATIC_6050), java.lang.Object(ARRAY(i1433)), i1435) -> f6076_0_main_LE(EOS(STATIC_6076), java.lang.Object(ARRAY(i1433)), i1435, i1435) :|: TRUE
f7852_0_createTree_Return(EOS(STATIC_7852), java.lang.Object(ARRAY(i2735)), i1447, java.lang.Object(Tree(EOC))) -> f7853_0_createTree_Return(EOS(STATIC_7853), java.lang.Object(ARRAY(i2735)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7853_0_createTree_Return(EOS(STATIC_7853), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7855_0_main_Store(EOS(STATIC_7855), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7855_0_main_Store(EOS(STATIC_7855), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7858_0_main_New(EOS(STATIC_7858), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7858_0_main_New(EOS(STATIC_7858), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7862_0_main_Duplicate(EOS(STATIC_7862), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7862_0_main_Duplicate(EOS(STATIC_7862), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7865_0_main_Load(EOS(STATIC_7865), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7865_0_main_Load(EOS(STATIC_7865), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7868_0_main_Load(EOS(STATIC_7868), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7868_0_main_Load(EOS(STATIC_7868), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7872_0_main_InvokeMethod(EOS(STATIC_7872), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7872_0_main_InvokeMethod(EOS(STATIC_7872), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7875_0__init__Load(EOS(STATIC_7875), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7875_0__init__Load(EOS(STATIC_7875), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7881_0__init__InvokeMethod(EOS(STATIC_7881), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7881_0__init__InvokeMethod(EOS(STATIC_7881), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7884_0__init__Load(EOS(STATIC_7884), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7884_0__init__Load(EOS(STATIC_7884), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7888_0__init__Load(EOS(STATIC_7888), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7888_0__init__Load(EOS(STATIC_7888), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7893_0__init__FieldAccess(EOS(STATIC_7893), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
f7893_0__init__FieldAccess(EOS(STATIC_7893), java.lang.Object(ARRAY(i2738)), i1447, java.lang.Object(Tree(EOC))) -> f7896_0__init__Load(EOS(STATIC_7896), java.lang.Object(ARRAY(i2738)), i1447) :|: TRUE
f7896_0__init__Load(EOS(STATIC_7896), java.lang.Object(ARRAY(i2738)), i1447) -> f7899_0__init__Load(EOS(STATIC_7899), java.lang.Object(ARRAY(i2738)), i1447) :|: TRUE
f7899_0__init__Load(EOS(STATIC_7899), java.lang.Object(ARRAY(i2738)), i1447) -> f7904_0__init__FieldAccess(EOS(STATIC_7904), java.lang.Object(ARRAY(i2738)), i1447) :|: TRUE
f7904_0__init__FieldAccess(EOS(STATIC_7904), java.lang.Object(ARRAY(i2738)), i1447) -> f7907_0__init__Return(EOS(STATIC_7907), java.lang.Object(ARRAY(i2738)), i1447) :|: TRUE
f7907_0__init__Return(EOS(STATIC_7907), java.lang.Object(ARRAY(i2738)), i1447) -> f7911_0_main_Store(EOS(STATIC_7911), java.lang.Object(ARRAY(i2738)), i1447) :|: TRUE
f7911_0_main_Store(EOS(STATIC_7911), java.lang.Object(ARRAY(i2738)), i1447) -> f7916_0_main_Inc(EOS(STATIC_7916), java.lang.Object(ARRAY(i2738)), i1447) :|: TRUE
f7916_0_main_Inc(EOS(STATIC_7916), java.lang.Object(ARRAY(i2738)), i1447) -> f7920_0_main_JMP(EOS(STATIC_7920), java.lang.Object(ARRAY(i2738)), i1447 + -1) :|: TRUE
f7920_0_main_JMP(EOS(STATIC_7920), java.lang.Object(ARRAY(i2738)), i2860) -> f7925_0_main_Load(EOS(STATIC_7925), java.lang.Object(ARRAY(i2738)), i2860) :|: TRUE
f7925_0_main_Load(EOS(STATIC_7925), java.lang.Object(ARRAY(i2738)), i2860) -> f6050_0_main_Load(EOS(STATIC_6050), java.lang.Object(ARRAY(i2738)), i2860) :|: TRUE
f6123_1_createTree_InvokeMethod(EOS(STATIC_6123), java.lang.Object(ARRAY(i1495)), i1447) -> f6483_0_createTree_Return(EOS(STATIC_6483), java.lang.Object(ARRAY(i1495)), i1447) :|: TRUE
f6123_1_createTree_InvokeMethod(EOS(STATIC_6123), java.lang.Object(ARRAY(i2735)), i1447) -> f7852_0_createTree_Return(EOS(STATIC_7852), java.lang.Object(ARRAY(i2735)), i1447, java.lang.Object(Tree(EOC))) :|: TRUE
Combined rules. Obtained 2 IRulesP rules:
f6076_0_main_LE(EOS(STATIC_6076), java.lang.Object(ARRAY(i1433:0)), i1447:0, i1447:0) -> f6076_0_main_LE(EOS(STATIC_6076), java.lang.Object(ARRAY(i1433:0)), i1447:0 - 1, i1447:0 - 1) :|: i1447:0 > 0
Removed following non-SCC rules:
f6076_0_main_LE(EOS(STATIC_6076), java.lang.Object(ARRAY(i1433:0)), i1447:0, i1447:0) -> f8450_0_createTree_InvokeMethod(EOS(STATIC_8450), java.lang.Object(ARRAY(i1433:0))) :|: i1447:0 > 0
Filtered constant ground arguments:
   f6076_0_main_LE(x1, x2, x3, x4) -> f6076_0_main_LE(x2, x3, x4)
   EOS(x1) -> EOS
Filtered duplicate arguments:
   f6076_0_main_LE(x1, x2, x3) -> f6076_0_main_LE(x1, x3)
Filtered unneeded arguments:
   f6076_0_main_LE(x1, x2) -> f6076_0_main_LE(x2)
Finished conversion. Obtained 1 rules.P rules:
f6076_0_main_LE(i1447:0) -> f6076_0_main_LE(i1447:0 - 1) :|: i1447:0 > 0

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

(29)
Obligation:
Rules:
f6076_0_main_LE(i1447:0) -> f6076_0_main_LE(i1447:0 - 1) :|: i1447:0 > 0

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

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

(31)
Obligation:
Rules:
f6076_0_main_LE(i1447:0) -> f6076_0_main_LE(arith) :|: i1447:0 > 0 && arith = i1447:0 - 1

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

(32) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f6076_0_main_LE(i1447:0) -> f6076_0_main_LE(arith) :|: i1447:0 > 0 && arith = i1447:0 - 1

Arcs:
(1) -> (1)

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

(33)
Obligation:

Termination digraph:
Nodes:
(1) f6076_0_main_LE(i1447:0) -> f6076_0_main_LE(arith) :|: i1447:0 > 0 && arith = i1447:0 - 1

Arcs:
(1) -> (1)

This digraph is fully evaluated!

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

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

(35)
Obligation:
Rules:
f6076_0_main_LE(i1447:0:0) -> f6076_0_main_LE(i1447:0:0 - 1) :|: i1447:0:0 > 0

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

(36) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f6076_0_main_LE(INTEGER)
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(37)
Obligation:
Rules:
f6076_0_main_LE(i1447:0:0) -> f6076_0_main_LE(c) :|: c = i1447:0:0 - 1 && i1447:0:0 > 0

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

(38) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f6076_0_main_LE(x)] = x

The following rules are decreasing:
f6076_0_main_LE(i1447:0:0) -> f6076_0_main_LE(c) :|: c = i1447:0:0 - 1 && i1447:0:0 > 0
The following rules are bounded:
f6076_0_main_LE(i1447:0:0) -> f6076_0_main_LE(c) :|: c = i1447:0:0 - 1 && i1447:0:0 > 0

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

(39)
YES