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


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


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


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 98 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1299 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 18 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToIRSProof [SOUND, 253 ms]
        (9) IRSwT
        (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (11) IRSwT
        (12) IRSwTTerminationDigraphProof [EQUIVALENT, 142 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, 262 ms]
        (22) QDP
        (23) UsableRulesReductionPairsProof [EQUIVALENT, 32 ms]
        (24) QDP
        (25) PisEmptyProof [EQUIVALENT, 0 ms]
        (26) YES
    (27) JBCTerminationSCC
        (28) SCCToIRSProof [SOUND, 170 ms]
        (29) IRSwT
        (30) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (31) IRSwT
        (32) IRSwTTerminationDigraphProof [EQUIVALENT, 0 ms]
        (33) IRSwT
        (34) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (35) IRSwT
        (36) TempFilterProof [SOUND, 39 ms]
        (37) IntTRS
        (38) RankingReductionPairProof [EQUIVALENT, 21 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 310 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 114 IRulesP rules:
f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2772) -> f8320_0_createTree_LE(EOS(STATIC_8320(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2772) :|: TRUE
f8320_0_createTree_LE(EOS(STATIC_8320(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2772) -> f8322_0_createTree_InvokeMethod(EOS(STATIC_8322(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) :|: i2772 > 0
f8322_0_createTree_InvokeMethod(EOS(STATIC_8322(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) -> f8324_0_random_FieldAccess(EOS(STATIC_8324(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) :|: TRUE
f8324_0_random_FieldAccess(EOS(STATIC_8324(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) -> f8326_0_random_FieldAccess(EOS(STATIC_8326(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) :|: TRUE
f8326_0_random_FieldAccess(EOS(STATIC_8326(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) -> f8329_0_random_ArrayAccess(EOS(STATIC_8329(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) :|: TRUE
f8329_0_random_ArrayAccess(EOS(STATIC_8329(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) -> f8332_0_random_ArrayAccess(EOS(STATIC_8332(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) :|: TRUE
f8332_0_random_ArrayAccess(EOS(STATIC_8332(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) -> f8335_0_random_ArrayAccess(EOS(STATIC_8335(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) :|: TRUE
f8335_0_random_ArrayAccess(EOS(STATIC_8335(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(ARRAY(i1526))) -> f8338_0_random_Store(EOS(STATIC_8338(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) :|: TRUE
f8338_0_random_Store(EOS(STATIC_8338(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) -> f8342_0_random_FieldAccess(EOS(STATIC_8342(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) :|: TRUE
f8342_0_random_FieldAccess(EOS(STATIC_8342(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) -> f8345_0_random_ConstantStackPush(EOS(STATIC_8345(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) :|: TRUE
f8345_0_random_ConstantStackPush(EOS(STATIC_8345(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) -> f8348_0_random_IntArithmetic(EOS(STATIC_8348(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) :|: TRUE
f8348_0_random_IntArithmetic(EOS(STATIC_8348(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) -> f8352_0_random_FieldAccess(EOS(STATIC_8352(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) :|: TRUE
f8352_0_random_FieldAccess(EOS(STATIC_8352(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) -> f8354_0_random_Load(EOS(STATIC_8354(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) :|: TRUE
f8354_0_random_Load(EOS(STATIC_8354(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) -> f8357_0_random_InvokeMethod(EOS(STATIC_8357(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), o3569) :|: TRUE
f8357_0_random_InvokeMethod(EOS(STATIC_8357(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3596sub)) -> f8361_0_random_InvokeMethod(EOS(STATIC_8361(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3596sub)) :|: TRUE
f8361_0_random_InvokeMethod(EOS(STATIC_8361(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3599sub)) -> f8365_0_random_InvokeMethod(EOS(STATIC_8365(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3599sub)) :|: TRUE
f8365_0_random_InvokeMethod(EOS(STATIC_8365(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3599sub)) -> f8369_0_length_Load(EOS(STATIC_8369(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3599sub)) :|: TRUE
f8369_0_length_Load(EOS(STATIC_8369(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3599sub)) -> f8376_0_length_FieldAccess(EOS(STATIC_8376(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3599sub)) :|: TRUE
f8376_0_length_FieldAccess(EOS(STATIC_8376(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(java.lang.String(EOC, i2878))) -> f8380_0_length_FieldAccess(EOS(STATIC_8380(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(java.lang.String(EOC, i2878))) :|: i2878 >= 0
f8380_0_length_FieldAccess(EOS(STATIC_8380(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(java.lang.String(EOC, i2878))) -> f8384_0_length_Return(EOS(STATIC_8384(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) :|: TRUE
f8384_0_length_Return(EOS(STATIC_8384(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) -> f8388_0_random_Return(EOS(STATIC_8388(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) :|: TRUE
f8388_0_random_Return(EOS(STATIC_8388(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) -> f8393_0_createTree_Store(EOS(STATIC_8393(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) :|: TRUE
f8393_0_createTree_Store(EOS(STATIC_8393(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) -> f8397_0_createTree_Load(EOS(STATIC_8397(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) :|: TRUE
f8397_0_createTree_Load(EOS(STATIC_8397(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) -> f8402_0_createTree_LE(EOS(STATIC_8402(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2878) :|: TRUE
f8402_0_createTree_LE(EOS(STATIC_8402(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), matching1) -> f8406_0_createTree_LE(EOS(STATIC_8406(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), 0) :|: TRUE && matching1 = 0
f8402_0_createTree_LE(EOS(STATIC_8402(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2916) -> f8407_0_createTree_LE(EOS(STATIC_8407(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2916) :|: TRUE
f8406_0_createTree_LE(EOS(STATIC_8406(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), matching1) -> f8410_0_createTree_Load(EOS(STATIC_8410(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) :|: 0 <= 0 && matching1 = 0
f8410_0_createTree_Load(EOS(STATIC_8410(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) -> f8415_0_createTree_FieldAccess(EOS(STATIC_8415(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3521sub)) :|: TRUE
f8415_0_createTree_FieldAccess(EOS(STATIC_8415(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3658, o3657)), java.lang.Object(Tree(EOC, o3658, o3657))) -> f8420_0_createTree_FieldAccess(EOS(STATIC_8420(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3658, o3657)), java.lang.Object(Tree(EOC, o3658, o3657))) :|: TRUE
f8420_0_createTree_FieldAccess(EOS(STATIC_8420(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3658, o3657)), java.lang.Object(Tree(EOC, o3658, o3657))) -> f8425_0_createTree_NONNULL(EOS(STATIC_8425(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3658, o3657)), o3658) :|: TRUE
f8425_0_createTree_NONNULL(EOS(STATIC_8425(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub), o3657)), java.lang.Object(o3670sub)) -> f8430_0_createTree_NONNULL(EOS(STATIC_8430(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub), o3657)), java.lang.Object(o3670sub)) :|: TRUE
f8425_0_createTree_NONNULL(EOS(STATIC_8425(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), NULL) -> f8431_0_createTree_NONNULL(EOS(STATIC_8431(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), NULL) :|: TRUE
f8430_0_createTree_NONNULL(EOS(STATIC_8430(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub), o3657)), java.lang.Object(o3670sub)) -> f8437_0_createTree_Load(EOS(STATIC_8437(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub), o3657))) :|: TRUE
f8437_0_createTree_Load(EOS(STATIC_8437(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub), o3657))) -> f8444_0_createTree_FieldAccess(EOS(STATIC_8444(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub), o3657))) :|: TRUE
f8444_0_createTree_FieldAccess(EOS(STATIC_8444(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub), o3657))) -> f8451_0_createTree_Store(EOS(STATIC_8451(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) :|: TRUE
f8451_0_createTree_Store(EOS(STATIC_8451(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) -> f8458_0_createTree_Inc(EOS(STATIC_8458(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) :|: TRUE
f8458_0_createTree_Inc(EOS(STATIC_8458(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) -> f8462_0_createTree_JMP(EOS(STATIC_8462(java.lang.Object(ARRAY(i1526)))), i2772 + -1, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) :|: TRUE
f8462_0_createTree_JMP(EOS(STATIC_8462(java.lang.Object(ARRAY(i1526)))), i2953, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) -> f8470_0_createTree_Load(EOS(STATIC_8470(java.lang.Object(ARRAY(i1526)))), i2953, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) :|: TRUE
f8470_0_createTree_Load(EOS(STATIC_8470(java.lang.Object(ARRAY(i1526)))), i2953, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) -> f8317_0_createTree_Load(EOS(STATIC_8317(java.lang.Object(ARRAY(i1526)))), i2953, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3670sub)) :|: TRUE
f8317_0_createTree_Load(EOS(STATIC_8317(java.lang.Object(ARRAY(i1526)))), i2767, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) -> f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526)))), i2767, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2767) :|: TRUE
f8431_0_createTree_NONNULL(EOS(STATIC_8431(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), NULL) -> f8438_0_createTree_Load(EOS(STATIC_8438(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657))) :|: TRUE
f8438_0_createTree_Load(EOS(STATIC_8438(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657))) -> f8445_0_createTree_InvokeMethod(EOS(STATIC_8445(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657))) :|: TRUE
f8445_0_createTree_InvokeMethod(EOS(STATIC_8445(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657))) -> f8452_0_createNode_New(EOS(STATIC_8452(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657))) :|: TRUE
f8452_0_createNode_New(EOS(STATIC_8452(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657))) -> f8463_0_createNode_Duplicate(EOS(STATIC_8463(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8463_0_createNode_Duplicate(EOS(STATIC_8463(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8471_0_createNode_InvokeMethod(EOS(STATIC_8471(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8471_0_createNode_InvokeMethod(EOS(STATIC_8471(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8475_0__init__Load(EOS(STATIC_8475(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8475_0__init__Load(EOS(STATIC_8475(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8480_0__init__InvokeMethod(EOS(STATIC_8480(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8480_0__init__InvokeMethod(EOS(STATIC_8480(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8483_0__init__Return(EOS(STATIC_8483(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8483_0__init__Return(EOS(STATIC_8483(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8485_0_createNode_Store(EOS(STATIC_8485(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8485_0_createNode_Store(EOS(STATIC_8485(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8488_0_createNode_Load(EOS(STATIC_8488(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8488_0_createNode_Load(EOS(STATIC_8488(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8490_0_createNode_New(EOS(STATIC_8490(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8490_0_createNode_New(EOS(STATIC_8490(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8492_0_createNode_Duplicate(EOS(STATIC_8492(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8492_0_createNode_Duplicate(EOS(STATIC_8492(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8494_0_createNode_InvokeMethod(EOS(STATIC_8494(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f8494_0_createNode_InvokeMethod(EOS(STATIC_8494(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8496_0_createNode_FieldAccess(EOS(STATIC_8496(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8496_0_createNode_FieldAccess(EOS(STATIC_8496(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8498_0_createNode_Load(EOS(STATIC_8498(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8498_0_createNode_Load(EOS(STATIC_8498(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8500_0_createNode_Return(EOS(STATIC_8500(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8500_0_createNode_Return(EOS(STATIC_8500(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8502_0_createTree_FieldAccess(EOS(STATIC_8502(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8502_0_createTree_FieldAccess(EOS(STATIC_8502(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8504_0_createTree_FieldAccess(EOS(STATIC_8504(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8502_0_createTree_FieldAccess(EOS(STATIC_8502(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, NULL, o3824)), java.lang.Object(Tree(EOC, NULL, o3824)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8505_0_createTree_FieldAccess(EOS(STATIC_8505(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, NULL, o3824)), java.lang.Object(Tree(EOC, NULL, o3824)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8504_0_createTree_FieldAccess(EOS(STATIC_8504(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, NULL, o3657)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8508_0_createTree_Load(EOS(STATIC_8508(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519put, o3518put))) :|: TRUE
f8508_0_createTree_Load(EOS(STATIC_8508(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518))) -> f8512_0_createTree_Store(EOS(STATIC_8512(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8512_0_createTree_Store(EOS(STATIC_8512(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8516_0_createTree_JMP(EOS(STATIC_8516(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8516_0_createTree_JMP(EOS(STATIC_8516(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8520_0_createTree_Inc(EOS(STATIC_8520(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8520_0_createTree_Inc(EOS(STATIC_8520(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8524_0_createTree_JMP(EOS(STATIC_8524(java.lang.Object(ARRAY(i1526)))), i2772 + -1, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8524_0_createTree_JMP(EOS(STATIC_8524(java.lang.Object(ARRAY(i1526)))), i3013, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8526_0_createTree_Load(EOS(STATIC_8526(java.lang.Object(ARRAY(i1526)))), i3013, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8526_0_createTree_Load(EOS(STATIC_8526(java.lang.Object(ARRAY(i1526)))), i3013, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8317_0_createTree_Load(EOS(STATIC_8317(java.lang.Object(ARRAY(i1526)))), i3013, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8505_0_createTree_FieldAccess(EOS(STATIC_8505(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, NULL, o3824)), java.lang.Object(Tree(EOC, NULL, o3824)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8509_0_createTree_Load(EOS(STATIC_8509(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) :|: TRUE
f8509_0_createTree_Load(EOS(STATIC_8509(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) -> f8513_0_createTree_Store(EOS(STATIC_8513(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) :|: TRUE
f8513_0_createTree_Store(EOS(STATIC_8513(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) -> f8517_0_createTree_JMP(EOS(STATIC_8517(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) :|: TRUE
f8517_0_createTree_JMP(EOS(STATIC_8517(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) -> f8521_0_createTree_Inc(EOS(STATIC_8521(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) :|: TRUE
f8521_0_createTree_Inc(EOS(STATIC_8521(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) -> f8522_0_createTree_Inc(EOS(STATIC_8522(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3824))) :|: TRUE
f8522_0_createTree_Inc(EOS(STATIC_8522(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8520_0_createTree_Inc(EOS(STATIC_8520(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8407_0_createTree_LE(EOS(STATIC_8407(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), i2916) -> f8411_0_createTree_Load(EOS(STATIC_8411(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) :|: i2916 > 0
f8411_0_createTree_Load(EOS(STATIC_8411(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub)) -> f8416_0_createTree_FieldAccess(EOS(STATIC_8416(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3521sub), java.lang.Object(o3521sub)) :|: TRUE
f8416_0_createTree_FieldAccess(EOS(STATIC_8416(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, o3661)), java.lang.Object(Tree(EOC, o3662, o3661))) -> f8421_0_createTree_FieldAccess(EOS(STATIC_8421(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, o3661)), java.lang.Object(Tree(EOC, o3662, o3661))) :|: TRUE
f8421_0_createTree_FieldAccess(EOS(STATIC_8421(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, o3661)), java.lang.Object(Tree(EOC, o3662, o3661))) -> f8426_0_createTree_NONNULL(EOS(STATIC_8426(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, o3661)), o3661) :|: TRUE
f8426_0_createTree_NONNULL(EOS(STATIC_8426(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, java.lang.Object(o3671sub))), java.lang.Object(o3671sub)) -> f8432_0_createTree_NONNULL(EOS(STATIC_8432(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, java.lang.Object(o3671sub))), java.lang.Object(o3671sub)) :|: TRUE
f8426_0_createTree_NONNULL(EOS(STATIC_8426(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), NULL) -> f8433_0_createTree_NONNULL(EOS(STATIC_8433(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), NULL) :|: TRUE
f8432_0_createTree_NONNULL(EOS(STATIC_8432(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, java.lang.Object(o3671sub))), java.lang.Object(o3671sub)) -> f8439_0_createTree_Load(EOS(STATIC_8439(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, java.lang.Object(o3671sub)))) :|: TRUE
f8439_0_createTree_Load(EOS(STATIC_8439(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, java.lang.Object(o3671sub)))) -> f8446_0_createTree_FieldAccess(EOS(STATIC_8446(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, java.lang.Object(o3671sub)))) :|: TRUE
f8446_0_createTree_FieldAccess(EOS(STATIC_8446(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, java.lang.Object(o3671sub)))) -> f8453_0_createTree_Store(EOS(STATIC_8453(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3671sub)) :|: TRUE
f8453_0_createTree_Store(EOS(STATIC_8453(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3671sub)) -> f8459_0_createTree_JMP(EOS(STATIC_8459(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3671sub)) :|: TRUE
f8459_0_createTree_JMP(EOS(STATIC_8459(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3671sub)) -> f8464_0_createTree_Inc(EOS(STATIC_8464(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3671sub)) :|: TRUE
f8464_0_createTree_Inc(EOS(STATIC_8464(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3671sub)) -> f8458_0_createTree_Inc(EOS(STATIC_8458(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(o3671sub)) :|: TRUE
f8433_0_createTree_NONNULL(EOS(STATIC_8433(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), NULL) -> f8440_0_createTree_Load(EOS(STATIC_8440(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL))) :|: TRUE
f8440_0_createTree_Load(EOS(STATIC_8440(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL))) -> f8447_0_createTree_InvokeMethod(EOS(STATIC_8447(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL))) :|: TRUE
f8447_0_createTree_InvokeMethod(EOS(STATIC_8447(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL))) -> f8454_0_createNode_New(EOS(STATIC_8454(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL))) :|: TRUE
f8454_0_createNode_New(EOS(STATIC_8454(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL))) -> f8465_0_createNode_Duplicate(EOS(STATIC_8465(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8465_0_createNode_Duplicate(EOS(STATIC_8465(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8472_0_createNode_InvokeMethod(EOS(STATIC_8472(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8472_0_createNode_InvokeMethod(EOS(STATIC_8472(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8476_0__init__Load(EOS(STATIC_8476(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8476_0__init__Load(EOS(STATIC_8476(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8481_0__init__InvokeMethod(EOS(STATIC_8481(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8481_0__init__InvokeMethod(EOS(STATIC_8481(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8484_0__init__Return(EOS(STATIC_8484(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8484_0__init__Return(EOS(STATIC_8484(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8486_0_createNode_Store(EOS(STATIC_8486(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8486_0_createNode_Store(EOS(STATIC_8486(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8489_0_createNode_Load(EOS(STATIC_8489(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8489_0_createNode_Load(EOS(STATIC_8489(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8491_0_createNode_New(EOS(STATIC_8491(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8491_0_createNode_New(EOS(STATIC_8491(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8493_0_createNode_Duplicate(EOS(STATIC_8493(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8493_0_createNode_Duplicate(EOS(STATIC_8493(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8495_0_createNode_InvokeMethod(EOS(STATIC_8495(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f8495_0_createNode_InvokeMethod(EOS(STATIC_8495(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8497_0_createNode_FieldAccess(EOS(STATIC_8497(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8497_0_createNode_FieldAccess(EOS(STATIC_8497(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8499_0_createNode_Load(EOS(STATIC_8499(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8499_0_createNode_Load(EOS(STATIC_8499(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8501_0_createNode_Return(EOS(STATIC_8501(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8501_0_createNode_Return(EOS(STATIC_8501(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8503_0_createTree_FieldAccess(EOS(STATIC_8503(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8503_0_createTree_FieldAccess(EOS(STATIC_8503(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8506_0_createTree_FieldAccess(EOS(STATIC_8506(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8503_0_createTree_FieldAccess(EOS(STATIC_8503(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, NULL)), java.lang.Object(Tree(EOC, o3833, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8507_0_createTree_FieldAccess(EOS(STATIC_8507(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, NULL)), java.lang.Object(Tree(EOC, o3833, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f8506_0_createTree_FieldAccess(EOS(STATIC_8506(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3662, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8510_0_createTree_Load(EOS(STATIC_8510(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519put, o3518put))) :|: TRUE
f8510_0_createTree_Load(EOS(STATIC_8510(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518))) -> f8514_0_createTree_Store(EOS(STATIC_8514(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8514_0_createTree_Store(EOS(STATIC_8514(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8518_0_createTree_JMP(EOS(STATIC_8518(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8518_0_createTree_JMP(EOS(STATIC_8518(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) -> f8522_0_createTree_Inc(EOS(STATIC_8522(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3519, o3518)), java.lang.Object(Tree(EOC, o3519, o3518))) :|: TRUE
f8507_0_createTree_FieldAccess(EOS(STATIC_8507(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, NULL)), java.lang.Object(Tree(EOC, o3833, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8511_0_createTree_Load(EOS(STATIC_8511(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8511_0_createTree_Load(EOS(STATIC_8511(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8515_0_createTree_Store(EOS(STATIC_8515(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8515_0_createTree_Store(EOS(STATIC_8515(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8519_0_createTree_JMP(EOS(STATIC_8519(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8519_0_createTree_JMP(EOS(STATIC_8519(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8523_0_createTree_Inc(EOS(STATIC_8523(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8523_0_createTree_Inc(EOS(STATIC_8523(java.lang.Object(ARRAY(i1526)))), i2772, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8525_0_createTree_JMP(EOS(STATIC_8525(java.lang.Object(ARRAY(i1526)))), i2772 + -1, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8525_0_createTree_JMP(EOS(STATIC_8525(java.lang.Object(ARRAY(i1526)))), i3015, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8527_0_createTree_Load(EOS(STATIC_8527(java.lang.Object(ARRAY(i1526)))), i3015, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f8527_0_createTree_Load(EOS(STATIC_8527(java.lang.Object(ARRAY(i1526)))), i3015, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8317_0_createTree_Load(EOS(STATIC_8317(java.lang.Object(ARRAY(i1526)))), i3015, java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3833, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0, java.lang.Object(Tree(EOC, o3519:0, o3518:0)), java.lang.Object(Tree(EOC, o3662:0, NULL)), i2772:0) -> f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0 - 1, java.lang.Object(Tree(EOC, o3519put:0, o3518put:0)), java.lang.Object(Tree(EOC, o3519put:0, o3518put:0)), i2772:0 - 1) :|: i2772:0 > 0 && i2878:0 > 0
f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0, java.lang.Object(Tree(EOC, NULL, o3518:0)), java.lang.Object(Tree(EOC, NULL, o3518:0)), i2772:0) -> f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3518:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3518:0)), i2772:0 - 1) :|: i2772:0 > 0
f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0, java.lang.Object(Tree(EOC, o3519:0, o3518:0)), java.lang.Object(Tree(EOC, NULL, o3657:0)), i2772:0) -> f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0 - 1, java.lang.Object(Tree(EOC, o3519put:0, o3518put:0)), java.lang.Object(Tree(EOC, o3519put:0, o3518put:0)), i2772:0 - 1) :|: i2772:0 > 0
f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0, java.lang.Object(Tree(EOC, o3519:0, o3518:0)), java.lang.Object(Tree(EOC, o3662:0, java.lang.Object(o3671sub:0))), i2772:0) -> f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0 - 1, java.lang.Object(Tree(EOC, o3519:0, o3518:0)), java.lang.Object(o3671sub:0), i2772:0 - 1) :|: i2772:0 > 0 && i2878:0 > 0
f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0, java.lang.Object(Tree(EOC, o3519:0, NULL)), java.lang.Object(Tree(EOC, o3519:0, NULL)), i2772:0) -> f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0 - 1, java.lang.Object(Tree(EOC, o3519:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3519:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i2772:0 - 1) :|: i2772:0 > 0 && i2878:0 > 0
f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0, java.lang.Object(Tree(EOC, o3519:0, o3518:0)), java.lang.Object(Tree(EOC, java.lang.Object(o3670sub:0), o3657:0)), i2772:0) -> f8318_0_createTree_LE(EOS(STATIC_8318(java.lang.Object(ARRAY(i1526:0)))), i2772:0 - 1, java.lang.Object(Tree(EOC, o3519:0, o3518:0)), java.lang.Object(o3670sub:0), i2772:0 - 1) :|: i2772:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f8318_0_createTree_LE(x1, x2, x3, x4, x5) -> f8318_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f8318_0_createTree_LE(x1, x2, x3, x4) -> f8318_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(o3662:0, NULL)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519put:0, o3518put:0)), java.lang.Object(Tree(o3519put:0, o3518put:0)), i2772:0 - 1) :|: i2772:0 > 0 && i2878:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(NULL, o3518:0)), java.lang.Object(Tree(NULL, o3518:0)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3518:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3518:0)), i2772:0 - 1) :|: i2772:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(NULL, o3657:0)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519put:0, o3518put:0)), java.lang.Object(Tree(o3519put:0, o3518put:0)), i2772:0 - 1) :|: i2772:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(o3662:0, java.lang.Object(o3671sub:0))), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(o3671sub:0), i2772:0 - 1) :|: i2772:0 > 0 && i2878:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, NULL)), java.lang.Object(Tree(o3519:0, NULL)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o3519:0, java.lang.Object(Tree(NULL, NULL)))), i2772:0 - 1) :|: i2772:0 > 0 && i2878:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(java.lang.Object(o3670sub:0), o3657:0)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(o3670sub:0), i2772:0 - 1) :|: i2772:0 > 0

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

(9)
Obligation:
Rules:
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(o3662:0, NULL)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519put:0, o3518put:0)), java.lang.Object(Tree(o3519put:0, o3518put:0)), i2772:0 - 1) :|: i2772:0 > 0 && i2878:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(NULL, x)), java.lang.Object(Tree(NULL, x)), x1) -> f8318_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x)), x1 - 1) :|: x1 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(x2, x3)), java.lang.Object(Tree(NULL, x4)), x5) -> f8318_0_createTree_LE(java.lang.Object(Tree(x6, x7)), java.lang.Object(Tree(x6, x7)), x5 - 1) :|: x5 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(x8, x9)), java.lang.Object(Tree(x10, java.lang.Object(x11))), x12) -> f8318_0_createTree_LE(java.lang.Object(Tree(x8, x9)), java.lang.Object(x11), x12 - 1) :|: x12 > 0 && x13 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(x14, NULL)), java.lang.Object(Tree(x14, NULL)), x15) -> f8318_0_createTree_LE(java.lang.Object(Tree(x14, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x14, java.lang.Object(Tree(NULL, NULL)))), x15 - 1) :|: x15 > 0 && x16 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(x17, x18)), java.lang.Object(Tree(java.lang.Object(x19), x20)), x21) -> f8318_0_createTree_LE(java.lang.Object(Tree(x17, x18)), java.lang.Object(x19), x21 - 1) :|: x21 > 0

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

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

(11)
Obligation:
Rules:
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(o3662:0, NULL)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519put:0, o3518put:0)), java.lang.Object(Tree(o3519put:0, o3518put:0)), arith) :|: i2772:0 > 0 && i2878:0 > 0 && arith = i2772:0 - 1
f8318_0_createTree_LE(java.lang.Object(Tree(NULL, x22)), java.lang.Object(Tree(NULL, x22)), x23) -> f8318_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22)), x24) :|: x23 > 0 && x24 = x23 - 1
f8318_0_createTree_LE(java.lang.Object(Tree(x25, x26)), java.lang.Object(Tree(NULL, x27)), x28) -> f8318_0_createTree_LE(java.lang.Object(Tree(x29, x30)), java.lang.Object(Tree(x29, x30)), x31) :|: x28 > 0 && x31 = x28 - 1
f8318_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x34, java.lang.Object(x35))), x36) -> f8318_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(x35), x37) :|: x36 > 0 && x38 > 0 && x37 = x36 - 1
f8318_0_createTree_LE(java.lang.Object(Tree(x39, NULL)), java.lang.Object(Tree(x39, NULL)), x40) -> f8318_0_createTree_LE(java.lang.Object(Tree(x39, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x39, java.lang.Object(Tree(NULL, NULL)))), x41) :|: x40 > 0 && x42 > 0 && x41 = x40 - 1
f8318_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(java.lang.Object(x45), x46)), x47) -> f8318_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(x45), x48) :|: x47 > 0 && x48 = x47 - 1

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

(12) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(o3662:0, NULL)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519put:0, o3518put:0)), java.lang.Object(Tree(o3519put:0, o3518put:0)), arith) :|: i2772:0 > 0 && i2878:0 > 0 && arith = i2772:0 - 1
(2) f8318_0_createTree_LE(java.lang.Object(Tree(NULL, x22)), java.lang.Object(Tree(NULL, x22)), x23) -> f8318_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22)), x24) :|: x23 > 0 && x24 = x23 - 1
(3) f8318_0_createTree_LE(java.lang.Object(Tree(x25, x26)), java.lang.Object(Tree(NULL, x27)), x28) -> f8318_0_createTree_LE(java.lang.Object(Tree(x29, x30)), java.lang.Object(Tree(x29, x30)), x31) :|: x28 > 0 && x31 = x28 - 1
(4) f8318_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x34, java.lang.Object(x35))), x36) -> f8318_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(x35), x37) :|: x36 > 0 && x38 > 0 && x37 = x36 - 1
(5) f8318_0_createTree_LE(java.lang.Object(Tree(x39, NULL)), java.lang.Object(Tree(x39, NULL)), x40) -> f8318_0_createTree_LE(java.lang.Object(Tree(x39, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x39, java.lang.Object(Tree(NULL, NULL)))), x41) :|: x40 > 0 && x42 > 0 && x41 = x40 - 1
(6) f8318_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(java.lang.Object(x45), x46)), x47) -> f8318_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(x45), x48) :|: x47 > 0 && x48 = x47 - 1

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

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

(13)
Obligation:

Termination digraph:
Nodes:
(1) f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0, o3518:0)), java.lang.Object(Tree(o3662:0, NULL)), i2772:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519put:0, o3518put:0)), java.lang.Object(Tree(o3519put:0, o3518put:0)), arith) :|: i2772:0 > 0 && i2878:0 > 0 && arith = i2772:0 - 1
(2) f8318_0_createTree_LE(java.lang.Object(Tree(NULL, x22)), java.lang.Object(Tree(NULL, x22)), x23) -> f8318_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22)), x24) :|: x23 > 0 && x24 = x23 - 1
(3) f8318_0_createTree_LE(java.lang.Object(Tree(x25, x26)), java.lang.Object(Tree(NULL, x27)), x28) -> f8318_0_createTree_LE(java.lang.Object(Tree(x29, x30)), java.lang.Object(Tree(x29, x30)), x31) :|: x28 > 0 && x31 = x28 - 1
(4) f8318_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x34, java.lang.Object(x35))), x36) -> f8318_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(x35), x37) :|: x36 > 0 && x38 > 0 && x37 = x36 - 1
(5) f8318_0_createTree_LE(java.lang.Object(Tree(x39, NULL)), java.lang.Object(Tree(x39, NULL)), x40) -> f8318_0_createTree_LE(java.lang.Object(Tree(x39, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x39, java.lang.Object(Tree(NULL, NULL)))), x41) :|: x40 > 0 && x42 > 0 && x41 = x40 - 1
(6) f8318_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(java.lang.Object(x45), x46)), x47) -> f8318_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(x45), x48) :|: x47 > 0 && x48 = x47 - 1

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

This digraph is fully evaluated!

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

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

(15)
Obligation:
Rules:
f8318_0_createTree_LE(java.lang.Object(Tree(x39:0, NULL)), java.lang.Object(Tree(x39:0, NULL)), x40:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(x39:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x39:0, java.lang.Object(Tree(NULL, NULL)))), x40:0 - 1) :|: x40:0 > 0 && x42:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(x25:0, x26:0)), java.lang.Object(Tree(NULL, x27:0)), x28:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(x29:0, x30:0)), java.lang.Object(Tree(x29:0, x30:0)), x28:0 - 1) :|: x28:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(x32:0, x33:0)), java.lang.Object(Tree(x34:0, java.lang.Object(x35:0))), x36:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(x32:0, x33:0)), java.lang.Object(x35:0), x36:0 - 1) :|: x36:0 > 0 && x38:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(x43:0, x44:0)), java.lang.Object(Tree(java.lang.Object(x45:0), x46:0)), x47:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(x43:0, x44:0)), java.lang.Object(x45:0), x47:0 - 1) :|: x47:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(o3519:0:0, o3518:0:0)), java.lang.Object(Tree(o3662:0:0, NULL)), i2772:0:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(o3519put:0:0, o3518put:0:0)), java.lang.Object(Tree(o3519put:0:0, o3518put:0:0)), i2772:0:0 - 1) :|: i2772:0:0 > 0 && i2878:0:0 > 0
f8318_0_createTree_LE(java.lang.Object(Tree(NULL, x22:0)), java.lang.Object(Tree(NULL, x22:0)), x23:0) -> f8318_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x22:0)), x23:0 - 1) :|: x23:0 > 0

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

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

(17)
Obligation:
Rules:
f8318_0_createTree_LE(c, c1, x40:0) -> f8318_0_createTree_LE(c2, c3, c4) :|: c4 = x40:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x40:0 > 0 && x42:0 > 0)
f8318_0_createTree_LE(c5, c6, x28:0) -> f8318_0_createTree_LE(c7, c8, c9) :|: c9 = x28:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && x28:0 > 0

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

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

The following rules are decreasing:
f8318_0_createTree_LE(c, c1, x40:0) -> f8318_0_createTree_LE(c2, c3, c4) :|: c4 = x40:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x40:0 > 0 && x42:0 > 0)
f8318_0_createTree_LE(c5, c6, x28:0) -> f8318_0_createTree_LE(c7, c8, c9) :|: c9 = x28:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && x28:0 > 0
The following rules are bounded:
f8318_0_createTree_LE(c, c1, x40:0) -> f8318_0_createTree_LE(c2, c3, c4) :|: c4 = x40:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x40:0 > 0 && x42:0 > 0)
f8318_0_createTree_LE(c5, c6, x28:0) -> f8318_0_createTree_LE(c7, c8, c9) :|: c9 = x28:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && x28: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:
f7537_0_flatten_NULL(EOS(STATIC_7537), java.lang.Object(o2316sub), java.lang.Object(o2316sub)) -> f7540_0_flatten_NULL(EOS(STATIC_7540), java.lang.Object(o2316sub), java.lang.Object(o2316sub)) :|: TRUE
f7540_0_flatten_NULL(EOS(STATIC_7540), java.lang.Object(o2316sub), java.lang.Object(o2316sub)) -> f7546_0_flatten_Load(EOS(STATIC_7546), java.lang.Object(o2316sub)) :|: TRUE
f7546_0_flatten_Load(EOS(STATIC_7546), java.lang.Object(o2316sub)) -> f7550_0_flatten_FieldAccess(EOS(STATIC_7550), java.lang.Object(o2316sub), java.lang.Object(o2316sub)) :|: TRUE
f7550_0_flatten_FieldAccess(EOS(STATIC_7550), java.lang.Object(TreeList(EOC, o2328, o2329)), java.lang.Object(TreeList(EOC, o2328, o2329))) -> f7555_0_flatten_FieldAccess(EOS(STATIC_7555), java.lang.Object(TreeList(EOC, o2328, o2329)), java.lang.Object(TreeList(EOC, o2328, o2329))) :|: TRUE
f7555_0_flatten_FieldAccess(EOS(STATIC_7555), java.lang.Object(TreeList(EOC, o2328, o2329)), java.lang.Object(TreeList(EOC, o2328, o2329))) -> f7561_0_flatten_Store(EOS(STATIC_7561), java.lang.Object(TreeList(EOC, o2328, o2329)), o2328) :|: TRUE
f7561_0_flatten_Store(EOS(STATIC_7561), java.lang.Object(TreeList(EOC, o2328, o2329)), o2328) -> f7566_0_flatten_Load(EOS(STATIC_7566), java.lang.Object(TreeList(EOC, o2328, o2329)), o2328) :|: TRUE
f7566_0_flatten_Load(EOS(STATIC_7566), java.lang.Object(TreeList(EOC, o2328, o2329)), o2328) -> f7572_0_flatten_NULL(EOS(STATIC_7572), java.lang.Object(TreeList(EOC, o2328, o2329)), o2328, o2328) :|: TRUE
f7572_0_flatten_NULL(EOS(STATIC_7572), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub), java.lang.Object(o2339sub)) -> f7577_0_flatten_NULL(EOS(STATIC_7577), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub), java.lang.Object(o2339sub)) :|: TRUE
f7572_0_flatten_NULL(EOS(STATIC_7572), java.lang.Object(TreeList(EOC, NULL, o2329)), NULL, NULL) -> f7578_0_flatten_NULL(EOS(STATIC_7578), java.lang.Object(TreeList(EOC, NULL, o2329)), NULL, NULL) :|: TRUE
f7577_0_flatten_NULL(EOS(STATIC_7577), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub), java.lang.Object(o2339sub)) -> f7583_0_flatten_New(EOS(STATIC_7583), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub)) :|: TRUE
f7583_0_flatten_New(EOS(STATIC_7583), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub)) -> f7590_0_flatten_Duplicate(EOS(STATIC_7590), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub)) :|: TRUE
f7590_0_flatten_Duplicate(EOS(STATIC_7590), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub)) -> f7597_0_flatten_Load(EOS(STATIC_7597), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub)) :|: TRUE
f7597_0_flatten_Load(EOS(STATIC_7597), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub)) -> f7604_0_flatten_FieldAccess(EOS(STATIC_7604), java.lang.Object(TreeList(EOC, java.lang.Object(o2339sub), o2329)), java.lang.Object(o2339sub), java.lang.Object(o2339sub)) :|: TRUE
f7604_0_flatten_FieldAccess(EOS(STATIC_7604), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7611_0_flatten_FieldAccess(EOS(STATIC_7611), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7611_0_flatten_FieldAccess(EOS(STATIC_7611), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7620_0_flatten_Load(EOS(STATIC_7620), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7620_0_flatten_Load(EOS(STATIC_7620), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7628_0_flatten_InvokeMethod(EOS(STATIC_7628), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7628_0_flatten_InvokeMethod(EOS(STATIC_7628), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7636_0__init__Load(EOS(STATIC_7636), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7636_0__init__Load(EOS(STATIC_7636), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7649_0__init__InvokeMethod(EOS(STATIC_7649), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7649_0__init__InvokeMethod(EOS(STATIC_7649), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7656_0__init__Load(EOS(STATIC_7656), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7656_0__init__Load(EOS(STATIC_7656), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7663_0__init__Load(EOS(STATIC_7663), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7663_0__init__Load(EOS(STATIC_7663), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7669_0__init__FieldAccess(EOS(STATIC_7669), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7669_0__init__FieldAccess(EOS(STATIC_7669), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7671_0__init__Load(EOS(STATIC_7671), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7671_0__init__Load(EOS(STATIC_7671), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7675_0__init__Load(EOS(STATIC_7675), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7675_0__init__Load(EOS(STATIC_7675), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7678_0__init__FieldAccess(EOS(STATIC_7678), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7678_0__init__FieldAccess(EOS(STATIC_7678), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7682_0__init__Return(EOS(STATIC_7682), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7682_0__init__Return(EOS(STATIC_7682), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7685_0_flatten_Store(EOS(STATIC_7685), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7685_0_flatten_Store(EOS(STATIC_7685), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7688_0_flatten_Load(EOS(STATIC_7688), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7688_0_flatten_Load(EOS(STATIC_7688), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7691_0_flatten_FieldAccess(EOS(STATIC_7691), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329))) :|: TRUE
f7691_0_flatten_FieldAccess(EOS(STATIC_7691), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329))) -> f7694_0_flatten_Store(EOS(STATIC_7694), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329) :|: TRUE
f7694_0_flatten_Store(EOS(STATIC_7694), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), o2329) -> f7697_0_flatten_New(EOS(STATIC_7697), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7697_0_flatten_New(EOS(STATIC_7697), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7700_0_flatten_Duplicate(EOS(STATIC_7700), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7700_0_flatten_Duplicate(EOS(STATIC_7700), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7703_0_flatten_Load(EOS(STATIC_7703), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7703_0_flatten_Load(EOS(STATIC_7703), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7706_0_flatten_FieldAccess(EOS(STATIC_7706), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7706_0_flatten_FieldAccess(EOS(STATIC_7706), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7711_0_flatten_Load(EOS(STATIC_7711), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364) :|: TRUE
f7711_0_flatten_Load(EOS(STATIC_7711), o2329, java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364) -> f7716_0_flatten_InvokeMethod(EOS(STATIC_7716), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329) :|: TRUE
f7716_0_flatten_InvokeMethod(EOS(STATIC_7716), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329) -> f7721_0__init__Load(EOS(STATIC_7721), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329) :|: TRUE
f7721_0__init__Load(EOS(STATIC_7721), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329) -> f7730_0__init__InvokeMethod(EOS(STATIC_7730), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329, java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7730_0__init__InvokeMethod(EOS(STATIC_7730), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329, java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7733_0__init__Load(EOS(STATIC_7733), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329) :|: TRUE
f7733_0__init__Load(EOS(STATIC_7733), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329) -> f7736_0__init__Load(EOS(STATIC_7736), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329, java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7736_0__init__Load(EOS(STATIC_7736), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2364, o2329, java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7738_0__init__FieldAccess(EOS(STATIC_7738), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2329, java.lang.Object(TreeList(EOC, NULL, NULL)), o2364) :|: TRUE
f7738_0__init__FieldAccess(EOS(STATIC_7738), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2329, java.lang.Object(TreeList(EOC, NULL, NULL)), o2364) -> f7741_0__init__Load(EOS(STATIC_7741), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, NULL)), java.lang.Object(TreeList(EOC, o2364, NULL)), o2329) :|: TRUE
f7741_0__init__Load(EOS(STATIC_7741), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, NULL)), java.lang.Object(TreeList(EOC, o2364, NULL)), o2329) -> f7744_0__init__Load(EOS(STATIC_7744), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, NULL)), o2329, java.lang.Object(TreeList(EOC, o2364, NULL))) :|: TRUE
f7744_0__init__Load(EOS(STATIC_7744), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, NULL)), o2329, java.lang.Object(TreeList(EOC, o2364, NULL))) -> f7747_0__init__FieldAccess(EOS(STATIC_7747), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, NULL)), java.lang.Object(TreeList(EOC, o2364, NULL)), o2329) :|: TRUE
f7747_0__init__FieldAccess(EOS(STATIC_7747), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, NULL)), java.lang.Object(TreeList(EOC, o2364, NULL)), o2329) -> f7749_0__init__Return(EOS(STATIC_7749), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, o2329))) :|: TRUE
f7749_0__init__Return(EOS(STATIC_7749), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, o2329))) -> f7751_0_flatten_Store(EOS(STATIC_7751), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, o2329))) :|: TRUE
f7751_0_flatten_Store(EOS(STATIC_7751), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, o2364, o2329))) -> f7755_0_flatten_New(EOS(STATIC_7755), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7755_0_flatten_New(EOS(STATIC_7755), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7759_0_flatten_Duplicate(EOS(STATIC_7759), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7759_0_flatten_Duplicate(EOS(STATIC_7759), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7764_0_flatten_Load(EOS(STATIC_7764), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7764_0_flatten_Load(EOS(STATIC_7764), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(Tree(EOC, o2366, o2364, o2365)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7768_0_flatten_FieldAccess(EOS(STATIC_7768), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) :|: TRUE
f7768_0_flatten_FieldAccess(EOS(STATIC_7768), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2366, o2364, o2365))) -> f7772_0_flatten_Load(EOS(STATIC_7772), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365) :|: TRUE
f7772_0_flatten_Load(EOS(STATIC_7772), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365) -> f7777_0_flatten_InvokeMethod(EOS(STATIC_7777), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329))) :|: TRUE
f7777_0_flatten_InvokeMethod(EOS(STATIC_7777), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329))) -> f7781_0__init__Load(EOS(STATIC_7781), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329))) :|: TRUE
f7781_0__init__Load(EOS(STATIC_7781), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329))) -> f7788_0__init__InvokeMethod(EOS(STATIC_7788), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7788_0__init__InvokeMethod(EOS(STATIC_7788), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7792_0__init__Load(EOS(STATIC_7792), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329))) :|: TRUE
f7792_0__init__Load(EOS(STATIC_7792), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329))) -> f7797_0__init__Load(EOS(STATIC_7797), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL))) :|: TRUE
f7797_0__init__Load(EOS(STATIC_7797), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365, java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL))) -> f7803_0__init__FieldAccess(EOS(STATIC_7803), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365) :|: TRUE
f7803_0__init__FieldAccess(EOS(STATIC_7803), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, NULL, NULL)), o2365) -> f7807_0__init__Load(EOS(STATIC_7807), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329))) :|: TRUE
f7807_0__init__Load(EOS(STATIC_7807), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329))) -> f7811_0__init__Load(EOS(STATIC_7811), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, o2365, NULL))) :|: TRUE
f7811_0__init__Load(EOS(STATIC_7811), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329)), java.lang.Object(TreeList(EOC, o2365, NULL))) -> f7817_0__init__FieldAccess(EOS(STATIC_7817), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329))) :|: TRUE
f7817_0__init__FieldAccess(EOS(STATIC_7817), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2365, NULL)), java.lang.Object(TreeList(EOC, o2364, o2329))) -> f7821_0__init__Return(EOS(STATIC_7821), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) :|: TRUE
f7821_0__init__Return(EOS(STATIC_7821), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) -> f7826_0_flatten_Store(EOS(STATIC_7826), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) :|: TRUE
f7826_0_flatten_Store(EOS(STATIC_7826), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) -> f7832_0_flatten_JMP(EOS(STATIC_7832), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) :|: TRUE
f7832_0_flatten_JMP(EOS(STATIC_7832), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) -> f7837_0_flatten_JMP(EOS(STATIC_7837), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) :|: TRUE
f7837_0_flatten_JMP(EOS(STATIC_7837), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) -> f7843_0_flatten_Load(EOS(STATIC_7843), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) :|: TRUE
f7843_0_flatten_Load(EOS(STATIC_7843), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) -> f7534_0_flatten_Load(EOS(STATIC_7534), java.lang.Object(TreeList(EOC, o2365, java.lang.Object(TreeList(EOC, o2364, o2329))))) :|: TRUE
f7534_0_flatten_Load(EOS(STATIC_7534), o2302) -> f7537_0_flatten_NULL(EOS(STATIC_7537), o2302, o2302) :|: TRUE
f7578_0_flatten_NULL(EOS(STATIC_7578), java.lang.Object(TreeList(EOC, NULL, o2329)), NULL, NULL) -> f7584_0_flatten_Load(EOS(STATIC_7584), java.lang.Object(TreeList(EOC, NULL, o2329))) :|: TRUE
f7584_0_flatten_Load(EOS(STATIC_7584), java.lang.Object(TreeList(EOC, NULL, o2329))) -> f7591_0_flatten_FieldAccess(EOS(STATIC_7591), java.lang.Object(TreeList(EOC, NULL, o2329))) :|: TRUE
f7591_0_flatten_FieldAccess(EOS(STATIC_7591), java.lang.Object(TreeList(EOC, NULL, o2329))) -> f7598_0_flatten_Store(EOS(STATIC_7598), o2329) :|: TRUE
f7598_0_flatten_Store(EOS(STATIC_7598), o2329) -> f7605_0_flatten_JMP(EOS(STATIC_7605), o2329) :|: TRUE
f7605_0_flatten_JMP(EOS(STATIC_7605), o2329) -> f7612_0_flatten_Load(EOS(STATIC_7612), o2329) :|: TRUE
f7612_0_flatten_Load(EOS(STATIC_7612), o2329) -> f7534_0_flatten_Load(EOS(STATIC_7534), o2329) :|: TRUE
R rules:
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
f7537_0_flatten_NULL(EOS(STATIC_7537), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366:0, o2364:0, o2365:0)), o2329:0)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, o2366:0, o2364:0, o2365:0)), o2329:0))) -> f7537_0_flatten_NULL(EOS(STATIC_7537), java.lang.Object(TreeList(EOC, o2365:0, java.lang.Object(TreeList(EOC, o2364:0, o2329:0)))), java.lang.Object(TreeList(EOC, o2365:0, java.lang.Object(TreeList(EOC, o2364:0, o2329:0))))) :|: TRUE
f7537_0_flatten_NULL(EOS(STATIC_7537), java.lang.Object(TreeList(EOC, NULL, o2329:0)), java.lang.Object(TreeList(EOC, NULL, o2329:0))) -> f7537_0_flatten_NULL(EOS(STATIC_7537), o2329:0, o2329:0) :|: TRUE
R rules:
Filtered ground terms:
   f7537_0_flatten_NULL(x1, x2, x3) -> f7537_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:
   f7537_0_flatten_NULL(x1, x2) -> f7537_0_flatten_NULL(x2)
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(NULL, o2329:0:0))) -> F7537_0_FLATTEN_NULL(o2329:0:0) :|: TRUE
F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(o2364:0:0, o2365:0:0)), o2329:0:0))) -> F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(o2365:0:0, java.lang.Object(TreeList(o2364:0:0, o2329:0:0))))) :|: TRUE
R rules:

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

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

   F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(NULL, o2329:0:0))) -> F7537_0_FLATTEN_NULL(o2329:0:0)
   F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(o2364:0:0, o2365:0:0)), o2329:0:0))) -> F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(o2365:0:0, java.lang.Object(TreeList(o2364:0:0, o2329: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:

   F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(NULL, o2329:0:0))) -> F7537_0_FLATTEN_NULL(o2329:0:0)
   F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(o2364:0:0, o2365:0:0)), o2329:0:0))) -> F7537_0_FLATTEN_NULL(java.lang.Object(TreeList(o2365:0:0, java.lang.Object(TreeList(o2364:0:0, o2329:0:0)))))
No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

   POL(F7537_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)) = 2*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:
f6835_0_main_LE(EOS(STATIC_6835), java.lang.Object(ARRAY(i1488)), i1500, i1500) -> f6841_0_main_LE(EOS(STATIC_6841), java.lang.Object(ARRAY(i1488)), i1500, i1500) :|: TRUE
f6841_0_main_LE(EOS(STATIC_6841), java.lang.Object(ARRAY(i1488)), i1500, i1500) -> f6848_0_main_InvokeMethod(EOS(STATIC_6848), java.lang.Object(ARRAY(i1488)), i1500) :|: i1500 > 0
f6848_0_main_InvokeMethod(EOS(STATIC_6848), java.lang.Object(ARRAY(i1488)), i1500) -> f6855_0_createTree_InvokeMethod(EOS(STATIC_6855), java.lang.Object(ARRAY(i1488))) :|: i1500 >= 1
f6848_0_main_InvokeMethod(EOS(STATIC_6848), java.lang.Object(ARRAY(i1488)), i1500) -> f6855_1_createTree_InvokeMethod(EOS(STATIC_6855), java.lang.Object(ARRAY(i1488)), i1500) :|: i1500 >= 1
f6855_0_createTree_InvokeMethod(EOS(STATIC_6855), java.lang.Object(ARRAY(i1488))) -> f8907_0_createTree_InvokeMethod(EOS(STATIC_8907), java.lang.Object(ARRAY(i1488))) :|: TRUE
f7014_0_createTree_Return(EOS(STATIC_7014), java.lang.Object(ARRAY(i1539)), i1500) -> f7020_0_main_Store(EOS(STATIC_7020), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7020_0_main_Store(EOS(STATIC_7020), java.lang.Object(ARRAY(i1539)), i1500) -> f7025_0_main_New(EOS(STATIC_7025), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7025_0_main_New(EOS(STATIC_7025), java.lang.Object(ARRAY(i1539)), i1500) -> f7031_0_main_Duplicate(EOS(STATIC_7031), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7031_0_main_Duplicate(EOS(STATIC_7031), java.lang.Object(ARRAY(i1539)), i1500) -> f7037_0_main_Load(EOS(STATIC_7037), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7037_0_main_Load(EOS(STATIC_7037), java.lang.Object(ARRAY(i1539)), i1500) -> f7042_0_main_Load(EOS(STATIC_7042), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7042_0_main_Load(EOS(STATIC_7042), java.lang.Object(ARRAY(i1539)), i1500) -> f7048_0_main_InvokeMethod(EOS(STATIC_7048), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7048_0_main_InvokeMethod(EOS(STATIC_7048), java.lang.Object(ARRAY(i1539)), i1500) -> f7052_0__init__Load(EOS(STATIC_7052), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7052_0__init__Load(EOS(STATIC_7052), java.lang.Object(ARRAY(i1539)), i1500) -> f7062_0__init__InvokeMethod(EOS(STATIC_7062), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7062_0__init__InvokeMethod(EOS(STATIC_7062), java.lang.Object(ARRAY(i1539)), i1500) -> f7067_0__init__Load(EOS(STATIC_7067), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7067_0__init__Load(EOS(STATIC_7067), java.lang.Object(ARRAY(i1539)), i1500) -> f7070_0__init__Load(EOS(STATIC_7070), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7070_0__init__Load(EOS(STATIC_7070), java.lang.Object(ARRAY(i1539)), i1500) -> f7075_0__init__FieldAccess(EOS(STATIC_7075), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7075_0__init__FieldAccess(EOS(STATIC_7075), java.lang.Object(ARRAY(i1539)), i1500) -> f7079_0__init__Load(EOS(STATIC_7079), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7079_0__init__Load(EOS(STATIC_7079), java.lang.Object(ARRAY(i1539)), i1500) -> f7083_0__init__Load(EOS(STATIC_7083), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7083_0__init__Load(EOS(STATIC_7083), java.lang.Object(ARRAY(i1539)), i1500) -> f7086_0__init__FieldAccess(EOS(STATIC_7086), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7086_0__init__FieldAccess(EOS(STATIC_7086), java.lang.Object(ARRAY(i1539)), i1500) -> f7089_0__init__Return(EOS(STATIC_7089), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7089_0__init__Return(EOS(STATIC_7089), java.lang.Object(ARRAY(i1539)), i1500) -> f7092_0_main_Store(EOS(STATIC_7092), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7092_0_main_Store(EOS(STATIC_7092), java.lang.Object(ARRAY(i1539)), i1500) -> f7095_0_main_Inc(EOS(STATIC_7095), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f7095_0_main_Inc(EOS(STATIC_7095), java.lang.Object(ARRAY(i1539)), i1500) -> f7098_0_main_JMP(EOS(STATIC_7098), java.lang.Object(ARRAY(i1539)), i1500 + -1) :|: TRUE
f7098_0_main_JMP(EOS(STATIC_7098), java.lang.Object(ARRAY(i1539)), i1576) -> f7100_0_main_Load(EOS(STATIC_7100), java.lang.Object(ARRAY(i1539)), i1576) :|: TRUE
f7100_0_main_Load(EOS(STATIC_7100), java.lang.Object(ARRAY(i1539)), i1576) -> f6830_0_main_Load(EOS(STATIC_6830), java.lang.Object(ARRAY(i1539)), i1576) :|: TRUE
f6830_0_main_Load(EOS(STATIC_6830), java.lang.Object(ARRAY(i1488)), i1490) -> f6835_0_main_LE(EOS(STATIC_6835), java.lang.Object(ARRAY(i1488)), i1490, i1490) :|: TRUE
f8327_0_createTree_Return(EOS(STATIC_8327), java.lang.Object(ARRAY(i2776)), i1500, java.lang.Object(Tree(EOC))) -> f8328_0_createTree_Return(EOS(STATIC_8328), java.lang.Object(ARRAY(i2776)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8328_0_createTree_Return(EOS(STATIC_8328), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8330_0_main_Store(EOS(STATIC_8330), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8330_0_main_Store(EOS(STATIC_8330), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8333_0_main_New(EOS(STATIC_8333), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8333_0_main_New(EOS(STATIC_8333), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8337_0_main_Duplicate(EOS(STATIC_8337), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8337_0_main_Duplicate(EOS(STATIC_8337), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8340_0_main_Load(EOS(STATIC_8340), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8340_0_main_Load(EOS(STATIC_8340), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8343_0_main_Load(EOS(STATIC_8343), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8343_0_main_Load(EOS(STATIC_8343), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8347_0_main_InvokeMethod(EOS(STATIC_8347), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8347_0_main_InvokeMethod(EOS(STATIC_8347), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8350_0__init__Load(EOS(STATIC_8350), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8350_0__init__Load(EOS(STATIC_8350), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8356_0__init__InvokeMethod(EOS(STATIC_8356), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8356_0__init__InvokeMethod(EOS(STATIC_8356), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8359_0__init__Load(EOS(STATIC_8359), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8359_0__init__Load(EOS(STATIC_8359), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8363_0__init__Load(EOS(STATIC_8363), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8363_0__init__Load(EOS(STATIC_8363), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8368_0__init__FieldAccess(EOS(STATIC_8368), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
f8368_0__init__FieldAccess(EOS(STATIC_8368), java.lang.Object(ARRAY(i2779)), i1500, java.lang.Object(Tree(EOC))) -> f8371_0__init__Load(EOS(STATIC_8371), java.lang.Object(ARRAY(i2779)), i1500) :|: TRUE
f8371_0__init__Load(EOS(STATIC_8371), java.lang.Object(ARRAY(i2779)), i1500) -> f8374_0__init__Load(EOS(STATIC_8374), java.lang.Object(ARRAY(i2779)), i1500) :|: TRUE
f8374_0__init__Load(EOS(STATIC_8374), java.lang.Object(ARRAY(i2779)), i1500) -> f8379_0__init__FieldAccess(EOS(STATIC_8379), java.lang.Object(ARRAY(i2779)), i1500) :|: TRUE
f8379_0__init__FieldAccess(EOS(STATIC_8379), java.lang.Object(ARRAY(i2779)), i1500) -> f8382_0__init__Return(EOS(STATIC_8382), java.lang.Object(ARRAY(i2779)), i1500) :|: TRUE
f8382_0__init__Return(EOS(STATIC_8382), java.lang.Object(ARRAY(i2779)), i1500) -> f8386_0_main_Store(EOS(STATIC_8386), java.lang.Object(ARRAY(i2779)), i1500) :|: TRUE
f8386_0_main_Store(EOS(STATIC_8386), java.lang.Object(ARRAY(i2779)), i1500) -> f8391_0_main_Inc(EOS(STATIC_8391), java.lang.Object(ARRAY(i2779)), i1500) :|: TRUE
f8391_0_main_Inc(EOS(STATIC_8391), java.lang.Object(ARRAY(i2779)), i1500) -> f8395_0_main_JMP(EOS(STATIC_8395), java.lang.Object(ARRAY(i2779)), i1500 + -1) :|: TRUE
f8395_0_main_JMP(EOS(STATIC_8395), java.lang.Object(ARRAY(i2779)), i2902) -> f8400_0_main_Load(EOS(STATIC_8400), java.lang.Object(ARRAY(i2779)), i2902) :|: TRUE
f8400_0_main_Load(EOS(STATIC_8400), java.lang.Object(ARRAY(i2779)), i2902) -> f6830_0_main_Load(EOS(STATIC_6830), java.lang.Object(ARRAY(i2779)), i2902) :|: TRUE
f6855_1_createTree_InvokeMethod(EOS(STATIC_6855), java.lang.Object(ARRAY(i1539)), i1500) -> f7014_0_createTree_Return(EOS(STATIC_7014), java.lang.Object(ARRAY(i1539)), i1500) :|: TRUE
f6855_1_createTree_InvokeMethod(EOS(STATIC_6855), java.lang.Object(ARRAY(i2776)), i1500) -> f8327_0_createTree_Return(EOS(STATIC_8327), java.lang.Object(ARRAY(i2776)), i1500, java.lang.Object(Tree(EOC))) :|: TRUE
Combined rules. Obtained 2 IRulesP rules:
f6835_0_main_LE(EOS(STATIC_6835), java.lang.Object(ARRAY(i1488:0)), i1500:0, i1500:0) -> f6835_0_main_LE(EOS(STATIC_6835), java.lang.Object(ARRAY(i1488:0)), i1500:0 - 1, i1500:0 - 1) :|: i1500:0 > 0
Removed following non-SCC rules:
f6835_0_main_LE(EOS(STATIC_6835), java.lang.Object(ARRAY(i1488:0)), i1500:0, i1500:0) -> f8907_0_createTree_InvokeMethod(EOS(STATIC_8907), java.lang.Object(ARRAY(i1488:0))) :|: i1500:0 > 0
Filtered constant ground arguments:
   f6835_0_main_LE(x1, x2, x3, x4) -> f6835_0_main_LE(x2, x3, x4)
   EOS(x1) -> EOS
Filtered duplicate arguments:
   f6835_0_main_LE(x1, x2, x3) -> f6835_0_main_LE(x1, x3)
Filtered unneeded arguments:
   f6835_0_main_LE(x1, x2) -> f6835_0_main_LE(x2)
Finished conversion. Obtained 1 rules.P rules:
f6835_0_main_LE(i1500:0) -> f6835_0_main_LE(i1500:0 - 1) :|: i1500:0 > 0

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

(29)
Obligation:
Rules:
f6835_0_main_LE(i1500:0) -> f6835_0_main_LE(i1500:0 - 1) :|: i1500:0 > 0

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

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

(31)
Obligation:
Rules:
f6835_0_main_LE(i1500:0) -> f6835_0_main_LE(arith) :|: i1500:0 > 0 && arith = i1500:0 - 1

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

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

Arcs:
(1) -> (1)

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

(33)
Obligation:

Termination digraph:
Nodes:
(1) f6835_0_main_LE(i1500:0) -> f6835_0_main_LE(arith) :|: i1500:0 > 0 && arith = i1500:0 - 1

Arcs:
(1) -> (1)

This digraph is fully evaluated!

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

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

(35)
Obligation:
Rules:
f6835_0_main_LE(i1500:0:0) -> f6835_0_main_LE(i1500:0:0 - 1) :|: i1500:0:0 > 0

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

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

(37)
Obligation:
Rules:
f6835_0_main_LE(i1500:0:0) -> f6835_0_main_LE(c) :|: c = i1500:0:0 - 1 && i1500:0:0 > 0

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

(38) RankingReductionPairProof (EQUIVALENT)
Interpretation:
[ f6835_0_main_LE ] = f6835_0_main_LE_1

The following rules are decreasing:
f6835_0_main_LE(i1500:0:0) -> f6835_0_main_LE(c) :|: c = i1500:0:0 - 1 && i1500:0:0 > 0

The following rules are bounded:
f6835_0_main_LE(i1500:0:0) -> f6835_0_main_LE(c) :|: c = i1500:0:0 - 1 && i1500:0:0 > 0


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

(39)
YES