/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, 94 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1095 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 287 ms]
        (9) QDP
        (10) UsableRulesReductionPairsProof [EQUIVALENT, 24 ms]
        (11) QDP
        (12) PisEmptyProof [EQUIVALENT, 0 ms]
        (13) YES
    (14) JBCTerminationSCC
        (15) SCCToIRSProof [SOUND, 307 ms]
        (16) IRSwT
        (17) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (18) IRSwT
        (19) IRSwTTerminationDigraphProof [EQUIVALENT, 148 ms]
        (20) IRSwT
        (21) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (22) IRSwT
        (23) TempFilterProof [SOUND, 25 ms]
        (24) IntTRS
        (25) PolynomialOrderProcessor [EQUIVALENT, 9 ms]
        (26) YES


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

(0)
Obligation:
need to prove termination of the following program:
public class FlattenTree {
  public static void main(String[] args) {
    Random.args = args;
    Tree tree = Tree.createTree();
    flatten(tree);
  }

  public static Tree flatten(Tree start) {
    Tree result = null;
    Tree s,t,u;

    while (start != null) {

      if (start.left == null) {

        result = new Tree(null,result);
        start = start.right;
      }
      else {
        s = start.left.left;
        t = start.left.right;
        u = start.right;
        start = new Tree(s, new Tree(t,u));
      }
    }

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



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

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

(2)
Obligation:
need to prove termination of the following program:
public class FlattenTree {
  public static void main(String[] args) {
    Random.args = args;
    Tree tree = Tree.createTree();
    flatten(tree);
  }

  public static Tree flatten(Tree start) {
    Tree result = null;
    Tree s,t,u;

    while (start != null) {

      if (start.left == null) {

        result = new Tree(null,result);
        start = start.right;
      }
      else {
        s = start.left.left;
        t = start.left.right;
        u = start.right;
        start = new Tree(s, new Tree(t,u));
      }
    }

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



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

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

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



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



FlattenTree.flatten(LTree;)LTree;: Graph of 80 nodes with 1 SCC.





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

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

(6)
Complex Obligation (AND)

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

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

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

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 72 rules for P and 0 rules for R.P rules:
f7691_0_flatten_NULL(EOS(STATIC_7691), java.lang.Object(o3577sub), java.lang.Object(o3577sub)) -> f7694_0_flatten_NULL(EOS(STATIC_7694), java.lang.Object(o3577sub), java.lang.Object(o3577sub)) :|: TRUE
f7694_0_flatten_NULL(EOS(STATIC_7694), java.lang.Object(o3577sub), java.lang.Object(o3577sub)) -> f7698_0_flatten_Load(EOS(STATIC_7698), java.lang.Object(o3577sub)) :|: TRUE
f7698_0_flatten_Load(EOS(STATIC_7698), java.lang.Object(o3577sub)) -> f7704_0_flatten_FieldAccess(EOS(STATIC_7704), java.lang.Object(o3577sub), java.lang.Object(o3577sub)) :|: TRUE
f7704_0_flatten_FieldAccess(EOS(STATIC_7704), java.lang.Object(Tree(EOC, o3589, o3590)), java.lang.Object(Tree(EOC, o3589, o3590))) -> f7708_0_flatten_FieldAccess(EOS(STATIC_7708), java.lang.Object(Tree(EOC, o3589, o3590)), java.lang.Object(Tree(EOC, o3589, o3590))) :|: TRUE
f7708_0_flatten_FieldAccess(EOS(STATIC_7708), java.lang.Object(Tree(EOC, o3589, o3590)), java.lang.Object(Tree(EOC, o3589, o3590))) -> f7713_0_flatten_NONNULL(EOS(STATIC_7713), java.lang.Object(Tree(EOC, o3589, o3590)), o3589) :|: TRUE
f7713_0_flatten_NONNULL(EOS(STATIC_7713), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590)), java.lang.Object(o3604sub)) -> f7718_0_flatten_NONNULL(EOS(STATIC_7718), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590)), java.lang.Object(o3604sub)) :|: TRUE
f7713_0_flatten_NONNULL(EOS(STATIC_7713), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7719_0_flatten_NONNULL(EOS(STATIC_7719), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7718_0_flatten_NONNULL(EOS(STATIC_7718), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590)), java.lang.Object(o3604sub)) -> f7726_0_flatten_Load(EOS(STATIC_7726), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590))) :|: TRUE
f7726_0_flatten_Load(EOS(STATIC_7726), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590))) -> f7733_0_flatten_FieldAccess(EOS(STATIC_7733), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590)), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590))) :|: TRUE
f7733_0_flatten_FieldAccess(EOS(STATIC_7733), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590)), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590))) -> f7740_0_flatten_FieldAccess(EOS(STATIC_7740), java.lang.Object(Tree(EOC, java.lang.Object(o3604sub), o3590)), java.lang.Object(o3604sub)) :|: TRUE
f7740_0_flatten_FieldAccess(EOS(STATIC_7740), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), java.lang.Object(Tree(EOC, o3621, o3622))) -> f7747_0_flatten_FieldAccess(EOS(STATIC_7747), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), java.lang.Object(Tree(EOC, o3621, o3622))) :|: TRUE
f7747_0_flatten_FieldAccess(EOS(STATIC_7747), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), java.lang.Object(Tree(EOC, o3621, o3622))) -> f7754_0_flatten_Store(EOS(STATIC_7754), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621) :|: TRUE
f7754_0_flatten_Store(EOS(STATIC_7754), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621) -> f7761_0_flatten_Load(EOS(STATIC_7761), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621) :|: TRUE
f7761_0_flatten_Load(EOS(STATIC_7761), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621) -> f7768_0_flatten_FieldAccess(EOS(STATIC_7768), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590))) :|: TRUE
f7768_0_flatten_FieldAccess(EOS(STATIC_7768), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590))) -> f7774_0_flatten_FieldAccess(EOS(STATIC_7774), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, java.lang.Object(Tree(EOC, o3621, o3622))) :|: TRUE
f7774_0_flatten_FieldAccess(EOS(STATIC_7774), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, java.lang.Object(Tree(EOC, o3621, o3622))) -> f7783_0_flatten_Store(EOS(STATIC_7783), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, o3622) :|: TRUE
f7783_0_flatten_Store(EOS(STATIC_7783), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, o3622) -> f7792_0_flatten_Load(EOS(STATIC_7792), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, o3622) :|: TRUE
f7792_0_flatten_Load(EOS(STATIC_7792), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590)), o3621, o3622) -> f7801_0_flatten_FieldAccess(EOS(STATIC_7801), o3621, o3622, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590))) :|: TRUE
f7801_0_flatten_FieldAccess(EOS(STATIC_7801), o3621, o3622, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621, o3622)), o3590))) -> f7810_0_flatten_Store(EOS(STATIC_7810), o3621, o3622, o3590) :|: TRUE
f7810_0_flatten_Store(EOS(STATIC_7810), o3621, o3622, o3590) -> f7817_0_flatten_New(EOS(STATIC_7817), o3621, o3622, o3590) :|: TRUE
f7817_0_flatten_New(EOS(STATIC_7817), o3621, o3622, o3590) -> f7825_0_flatten_Duplicate(EOS(STATIC_7825), o3621, o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7825_0_flatten_Duplicate(EOS(STATIC_7825), o3621, o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7833_0_flatten_Load(EOS(STATIC_7833), o3621, o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7833_0_flatten_Load(EOS(STATIC_7833), o3621, o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7840_0_flatten_New(EOS(STATIC_7840), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621) :|: TRUE
f7840_0_flatten_New(EOS(STATIC_7840), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621) -> f7843_0_flatten_Duplicate(EOS(STATIC_7843), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7843_0_flatten_Duplicate(EOS(STATIC_7843), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7848_0_flatten_Load(EOS(STATIC_7848), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7848_0_flatten_Load(EOS(STATIC_7848), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7852_0_flatten_Load(EOS(STATIC_7852), o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622) :|: TRUE
f7852_0_flatten_Load(EOS(STATIC_7852), o3590, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622) -> f7857_0_flatten_InvokeMethod(EOS(STATIC_7857), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590) :|: TRUE
f7857_0_flatten_InvokeMethod(EOS(STATIC_7857), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590) -> f7861_0__init__Load(EOS(STATIC_7861), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590) :|: TRUE
f7861_0__init__Load(EOS(STATIC_7861), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590) -> f7867_0__init__InvokeMethod(EOS(STATIC_7867), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7867_0__init__InvokeMethod(EOS(STATIC_7867), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7870_0__init__Load(EOS(STATIC_7870), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590) :|: TRUE
f7870_0__init__Load(EOS(STATIC_7870), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590) -> f7873_0__init__Load(EOS(STATIC_7873), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7873_0__init__Load(EOS(STATIC_7873), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3622, o3590, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7876_0__init__FieldAccess(EOS(STATIC_7876), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3590, java.lang.Object(Tree(EOC, NULL, NULL)), o3622) :|: TRUE
f7876_0__init__FieldAccess(EOS(STATIC_7876), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3590, java.lang.Object(Tree(EOC, NULL, NULL)), o3622) -> f7879_0__init__Load(EOS(STATIC_7879), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, NULL)), java.lang.Object(Tree(EOC, o3622, NULL)), o3590) :|: TRUE
f7879_0__init__Load(EOS(STATIC_7879), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, NULL)), java.lang.Object(Tree(EOC, o3622, NULL)), o3590) -> f7882_0__init__Load(EOS(STATIC_7882), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, NULL)), o3590, java.lang.Object(Tree(EOC, o3622, NULL))) :|: TRUE
f7882_0__init__Load(EOS(STATIC_7882), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, NULL)), o3590, java.lang.Object(Tree(EOC, o3622, NULL))) -> f7887_0__init__FieldAccess(EOS(STATIC_7887), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, NULL)), java.lang.Object(Tree(EOC, o3622, NULL)), o3590) :|: TRUE
f7887_0__init__FieldAccess(EOS(STATIC_7887), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, NULL)), java.lang.Object(Tree(EOC, o3622, NULL)), o3590) -> f7892_0__init__Return(EOS(STATIC_7892), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) :|: TRUE
f7892_0__init__Return(EOS(STATIC_7892), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) -> f7897_0_flatten_InvokeMethod(EOS(STATIC_7897), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) :|: TRUE
f7897_0_flatten_InvokeMethod(EOS(STATIC_7897), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) -> f7902_0__init__Load(EOS(STATIC_7902), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) :|: TRUE
f7902_0__init__Load(EOS(STATIC_7902), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) -> f7909_0__init__InvokeMethod(EOS(STATIC_7909), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7909_0__init__InvokeMethod(EOS(STATIC_7909), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7912_0__init__Load(EOS(STATIC_7912), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) :|: TRUE
f7912_0__init__Load(EOS(STATIC_7912), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590))) -> f7913_0__init__Load(EOS(STATIC_7913), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7913_0__init__Load(EOS(STATIC_7913), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621, java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7914_0__init__FieldAccess(EOS(STATIC_7914), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621) :|: TRUE
f7914_0__init__FieldAccess(EOS(STATIC_7914), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, NULL, NULL)), o3621) -> f7915_0__init__Load(EOS(STATIC_7915), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3622, o3590))) :|: TRUE
f7915_0__init__Load(EOS(STATIC_7915), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3622, o3590))) -> f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, o3621, NULL))) :|: TRUE
f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3622, o3590)), java.lang.Object(Tree(EOC, o3621, NULL))) -> f7917_0__init__FieldAccess(EOS(STATIC_7917), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3622, o3590))) :|: TRUE
f7917_0__init__FieldAccess(EOS(STATIC_7917), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3621, NULL)), java.lang.Object(Tree(EOC, o3622, o3590))) -> f7918_0__init__Return(EOS(STATIC_7918), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) :|: TRUE
f7918_0__init__Return(EOS(STATIC_7918), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) -> f7919_0_flatten_Store(EOS(STATIC_7919), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) :|: TRUE
f7919_0_flatten_Store(EOS(STATIC_7919), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) -> f7920_0_flatten_JMP(EOS(STATIC_7920), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) :|: TRUE
f7920_0_flatten_JMP(EOS(STATIC_7920), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) -> f7921_0_flatten_Load(EOS(STATIC_7921), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) :|: TRUE
f7921_0_flatten_Load(EOS(STATIC_7921), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) -> f7686_0_flatten_Load(EOS(STATIC_7686), java.lang.Object(Tree(EOC, o3621, java.lang.Object(Tree(EOC, o3622, o3590))))) :|: TRUE
f7686_0_flatten_Load(EOS(STATIC_7686), o3551) -> f7691_0_flatten_NULL(EOS(STATIC_7691), o3551, o3551) :|: TRUE
f7719_0_flatten_NONNULL(EOS(STATIC_7719), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7727_0_flatten_New(EOS(STATIC_7727), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7727_0_flatten_New(EOS(STATIC_7727), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7734_0_flatten_Duplicate(EOS(STATIC_7734), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7734_0_flatten_Duplicate(EOS(STATIC_7734), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7741_0_flatten_ConstantStackPush(EOS(STATIC_7741), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7741_0_flatten_ConstantStackPush(EOS(STATIC_7741), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7748_0_flatten_Load(EOS(STATIC_7748), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7748_0_flatten_Load(EOS(STATIC_7748), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7755_0_flatten_InvokeMethod(EOS(STATIC_7755), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7755_0_flatten_InvokeMethod(EOS(STATIC_7755), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7762_0__init__Load(EOS(STATIC_7762), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7762_0__init__Load(EOS(STATIC_7762), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7775_0__init__InvokeMethod(EOS(STATIC_7775), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7775_0__init__InvokeMethod(EOS(STATIC_7775), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7784_0__init__Load(EOS(STATIC_7784), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7784_0__init__Load(EOS(STATIC_7784), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7793_0__init__Load(EOS(STATIC_7793), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7793_0__init__Load(EOS(STATIC_7793), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7802_0__init__FieldAccess(EOS(STATIC_7802), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) :|: TRUE
f7802_0__init__FieldAccess(EOS(STATIC_7802), java.lang.Object(Tree(EOC, NULL, o3590)), NULL) -> f7811_0__init__Load(EOS(STATIC_7811), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7811_0__init__Load(EOS(STATIC_7811), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7818_0__init__Load(EOS(STATIC_7818), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7818_0__init__Load(EOS(STATIC_7818), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7826_0__init__FieldAccess(EOS(STATIC_7826), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7826_0__init__FieldAccess(EOS(STATIC_7826), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7834_0__init__Return(EOS(STATIC_7834), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7834_0__init__Return(EOS(STATIC_7834), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7841_0_flatten_Store(EOS(STATIC_7841), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7841_0_flatten_Store(EOS(STATIC_7841), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7844_0_flatten_Load(EOS(STATIC_7844), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7844_0_flatten_Load(EOS(STATIC_7844), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7849_0_flatten_FieldAccess(EOS(STATIC_7849), java.lang.Object(Tree(EOC, NULL, o3590))) :|: TRUE
f7849_0_flatten_FieldAccess(EOS(STATIC_7849), java.lang.Object(Tree(EOC, NULL, o3590))) -> f7853_0_flatten_Store(EOS(STATIC_7853), o3590) :|: TRUE
f7853_0_flatten_Store(EOS(STATIC_7853), o3590) -> f7858_0_flatten_JMP(EOS(STATIC_7858), o3590) :|: TRUE
f7858_0_flatten_JMP(EOS(STATIC_7858), o3590) -> f7862_0_flatten_Load(EOS(STATIC_7862), o3590) :|: TRUE
f7862_0_flatten_Load(EOS(STATIC_7862), o3590) -> f7686_0_flatten_Load(EOS(STATIC_7686), o3590) :|: TRUE
R rules:
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
f7691_0_flatten_NULL(EOS(STATIC_7691), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621:0, o3622:0)), o3590:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3621:0, o3622:0)), o3590:0))) -> f7691_0_flatten_NULL(EOS(STATIC_7691), java.lang.Object(Tree(EOC, o3621:0, java.lang.Object(Tree(EOC, o3622:0, o3590:0)))), java.lang.Object(Tree(EOC, o3621:0, java.lang.Object(Tree(EOC, o3622:0, o3590:0))))) :|: TRUE
f7691_0_flatten_NULL(EOS(STATIC_7691), java.lang.Object(Tree(EOC, NULL, o3590:0)), java.lang.Object(Tree(EOC, NULL, o3590:0))) -> f7691_0_flatten_NULL(EOS(STATIC_7691), o3590:0, o3590:0) :|: TRUE
R rules:
Filtered ground terms:
   f7691_0_flatten_NULL(x1, x2, x3) -> f7691_0_flatten_NULL(x2, x3)
   EOS(x1) -> EOS
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f7691_0_flatten_NULL(x1, x2) -> f7691_0_flatten_NULL(x2)
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
F7691_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3590:0:0))) -> F7691_0_FLATTEN_NULL(o3590:0:0) :|: TRUE
F7691_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3621:0:0, o3622:0:0)), o3590:0:0))) -> F7691_0_FLATTEN_NULL(java.lang.Object(Tree(o3621:0:0, java.lang.Object(Tree(o3622:0:0, o3590:0:0))))) :|: TRUE
R rules:

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

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

   F7691_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3590:0:0))) -> F7691_0_FLATTEN_NULL(o3590:0:0)
   F7691_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3621:0:0, o3622:0:0)), o3590:0:0))) -> F7691_0_FLATTEN_NULL(java.lang.Object(Tree(o3621:0:0, java.lang.Object(Tree(o3622:0:0, o3590:0:0)))))

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

(10) 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:

   F7691_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3590:0:0))) -> F7691_0_FLATTEN_NULL(o3590:0:0)
   F7691_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3621:0:0, o3622:0:0)), o3590:0:0))) -> F7691_0_FLATTEN_NULL(java.lang.Object(Tree(o3621:0:0, java.lang.Object(Tree(o3622:0:0, o3590:0:0)))))
No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

   POL(F7691_0_FLATTEN_NULL(x_1)) = 2*x_1
   POL(NULL) = 0
   POL(Tree(x_1, x_2)) = 2*x_1 + x_2
   POL(java.lang.Object(x_1)) = 1 + x_1


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

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

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

(13)
YES

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

(14)
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:

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

(15) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 114 IRulesP rules:
f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1176) -> f7599_0_createTree_LE(EOS(STATIC_7599(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1176) :|: TRUE
f7599_0_createTree_LE(EOS(STATIC_7599(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1176) -> f7604_0_createTree_InvokeMethod(EOS(STATIC_7604(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: i1176 > 0
f7604_0_createTree_InvokeMethod(EOS(STATIC_7604(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7608_0_random_FieldAccess(EOS(STATIC_7608(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: TRUE
f7608_0_random_FieldAccess(EOS(STATIC_7608(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7616_0_random_FieldAccess(EOS(STATIC_7616(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7616_0_random_FieldAccess(EOS(STATIC_7616(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7622_0_random_ArrayAccess(EOS(STATIC_7622(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7622_0_random_ArrayAccess(EOS(STATIC_7622(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7628_0_random_ArrayAccess(EOS(STATIC_7628(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7628_0_random_ArrayAccess(EOS(STATIC_7628(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7634_0_random_ArrayAccess(EOS(STATIC_7634(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7634_0_random_ArrayAccess(EOS(STATIC_7634(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7640_0_random_Store(EOS(STATIC_7640(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
f7640_0_random_Store(EOS(STATIC_7640(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7647_0_random_FieldAccess(EOS(STATIC_7647(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
f7647_0_random_FieldAccess(EOS(STATIC_7647(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7653_0_random_ConstantStackPush(EOS(STATIC_7653(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
f7653_0_random_ConstantStackPush(EOS(STATIC_7653(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7659_0_random_IntArithmetic(EOS(STATIC_7659(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
f7659_0_random_IntArithmetic(EOS(STATIC_7659(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7665_0_random_FieldAccess(EOS(STATIC_7665(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
f7665_0_random_FieldAccess(EOS(STATIC_7665(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7669_0_random_Load(EOS(STATIC_7669(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
f7669_0_random_Load(EOS(STATIC_7669(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7677_0_random_InvokeMethod(EOS(STATIC_7677(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
f7677_0_random_InvokeMethod(EOS(STATIC_7677(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3536sub)) -> f7682_0_random_InvokeMethod(EOS(STATIC_7682(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3536sub)) :|: TRUE
f7682_0_random_InvokeMethod(EOS(STATIC_7682(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3574sub)) -> f7688_0_random_InvokeMethod(EOS(STATIC_7688(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3574sub)) :|: TRUE
f7688_0_random_InvokeMethod(EOS(STATIC_7688(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3574sub)) -> f7692_0_length_Load(EOS(STATIC_7692(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3574sub)) :|: TRUE
f7692_0_length_Load(EOS(STATIC_7692(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3574sub)) -> f7701_0_length_FieldAccess(EOS(STATIC_7701(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3574sub)) :|: TRUE
f7701_0_length_FieldAccess(EOS(STATIC_7701(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(java.lang.String(EOC, i1245))) -> f7706_0_length_FieldAccess(EOS(STATIC_7706(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(java.lang.String(EOC, i1245))) :|: i1245 >= 0
f7706_0_length_FieldAccess(EOS(STATIC_7706(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(java.lang.String(EOC, i1245))) -> f7711_0_length_Return(EOS(STATIC_7711(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
f7711_0_length_Return(EOS(STATIC_7711(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7715_0_random_Return(EOS(STATIC_7715(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
f7715_0_random_Return(EOS(STATIC_7715(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7724_0_createTree_Store(EOS(STATIC_7724(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
f7724_0_createTree_Store(EOS(STATIC_7724(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7730_0_createTree_Load(EOS(STATIC_7730(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
f7730_0_createTree_Load(EOS(STATIC_7730(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7737_0_createTree_LE(EOS(STATIC_7737(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
f7737_0_createTree_LE(EOS(STATIC_7737(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), matching1) -> f7744_0_createTree_LE(EOS(STATIC_7744(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), 0) :|: TRUE && matching1 = 0
f7737_0_createTree_LE(EOS(STATIC_7737(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1283) -> f7745_0_createTree_LE(EOS(STATIC_7745(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1283) :|: TRUE
f7744_0_createTree_LE(EOS(STATIC_7744(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), matching1) -> f7750_0_createTree_Load(EOS(STATIC_7750(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: 0 <= 0 && matching1 = 0
f7750_0_createTree_Load(EOS(STATIC_7750(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7757_0_createTree_FieldAccess(EOS(STATIC_7757(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3174sub)) :|: TRUE
f7757_0_createTree_FieldAccess(EOS(STATIC_7757(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3633, o3632)), java.lang.Object(Tree(EOC, o3633, o3632))) -> f7764_0_createTree_FieldAccess(EOS(STATIC_7764(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3633, o3632)), java.lang.Object(Tree(EOC, o3633, o3632))) :|: TRUE
f7764_0_createTree_FieldAccess(EOS(STATIC_7764(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3633, o3632)), java.lang.Object(Tree(EOC, o3633, o3632))) -> f7770_0_createTree_NONNULL(EOS(STATIC_7770(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3633, o3632)), o3633) :|: TRUE
f7770_0_createTree_NONNULL(EOS(STATIC_7770(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub), o3632)), java.lang.Object(o3645sub)) -> f7777_0_createTree_NONNULL(EOS(STATIC_7777(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub), o3632)), java.lang.Object(o3645sub)) :|: TRUE
f7770_0_createTree_NONNULL(EOS(STATIC_7770(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), NULL) -> f7778_0_createTree_NONNULL(EOS(STATIC_7778(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), NULL) :|: TRUE
f7777_0_createTree_NONNULL(EOS(STATIC_7777(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub), o3632)), java.lang.Object(o3645sub)) -> f7786_0_createTree_Load(EOS(STATIC_7786(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub), o3632))) :|: TRUE
f7786_0_createTree_Load(EOS(STATIC_7786(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub), o3632))) -> f7795_0_createTree_FieldAccess(EOS(STATIC_7795(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub), o3632))) :|: TRUE
f7795_0_createTree_FieldAccess(EOS(STATIC_7795(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub), o3632))) -> f7804_0_createTree_Store(EOS(STATIC_7804(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) :|: TRUE
f7804_0_createTree_Store(EOS(STATIC_7804(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) -> f7813_0_createTree_Inc(EOS(STATIC_7813(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) :|: TRUE
f7813_0_createTree_Inc(EOS(STATIC_7813(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) -> f7819_0_createTree_JMP(EOS(STATIC_7819(java.lang.Object(ARRAY(i6)))), i1176 + -1, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) :|: TRUE
f7819_0_createTree_JMP(EOS(STATIC_7819(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) -> f7829_0_createTree_Load(EOS(STATIC_7829(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) :|: TRUE
f7829_0_createTree_Load(EOS(STATIC_7829(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) -> f7591_0_createTree_Load(EOS(STATIC_7591(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3645sub)) :|: TRUE
f7591_0_createTree_Load(EOS(STATIC_7591(java.lang.Object(ARRAY(i6)))), i1171, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6)))), i1171, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1171) :|: TRUE
f7778_0_createTree_NONNULL(EOS(STATIC_7778(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), NULL) -> f7787_0_createTree_Load(EOS(STATIC_7787(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632))) :|: TRUE
f7787_0_createTree_Load(EOS(STATIC_7787(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632))) -> f7796_0_createTree_InvokeMethod(EOS(STATIC_7796(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632))) :|: TRUE
f7796_0_createTree_InvokeMethod(EOS(STATIC_7796(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632))) -> f7805_0_createNode_New(EOS(STATIC_7805(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632))) :|: TRUE
f7805_0_createNode_New(EOS(STATIC_7805(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632))) -> f7820_0_createNode_Duplicate(EOS(STATIC_7820(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7820_0_createNode_Duplicate(EOS(STATIC_7820(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7830_0_createNode_InvokeMethod(EOS(STATIC_7830(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7830_0_createNode_InvokeMethod(EOS(STATIC_7830(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7836_0__init__Load(EOS(STATIC_7836(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7836_0__init__Load(EOS(STATIC_7836(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7845_0__init__InvokeMethod(EOS(STATIC_7845(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7845_0__init__InvokeMethod(EOS(STATIC_7845(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7850_0__init__Return(EOS(STATIC_7850(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7850_0__init__Return(EOS(STATIC_7850(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7854_0_createNode_Store(EOS(STATIC_7854(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7854_0_createNode_Store(EOS(STATIC_7854(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7859_0_createNode_Load(EOS(STATIC_7859(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7859_0_createNode_Load(EOS(STATIC_7859(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7863_0_createNode_New(EOS(STATIC_7863(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7863_0_createNode_New(EOS(STATIC_7863(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7865_0_createNode_Duplicate(EOS(STATIC_7865(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7865_0_createNode_Duplicate(EOS(STATIC_7865(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7868_0_createNode_InvokeMethod(EOS(STATIC_7868(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7868_0_createNode_InvokeMethod(EOS(STATIC_7868(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7871_0_createNode_FieldAccess(EOS(STATIC_7871(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7871_0_createNode_FieldAccess(EOS(STATIC_7871(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7874_0_createNode_Load(EOS(STATIC_7874(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7874_0_createNode_Load(EOS(STATIC_7874(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7877_0_createNode_Return(EOS(STATIC_7877(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7877_0_createNode_Return(EOS(STATIC_7877(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7880_0_createTree_FieldAccess(EOS(STATIC_7880(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7880_0_createTree_FieldAccess(EOS(STATIC_7880(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7883_0_createTree_FieldAccess(EOS(STATIC_7883(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7880_0_createTree_FieldAccess(EOS(STATIC_7880(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, NULL, o3823)), java.lang.Object(Tree(EOC, NULL, o3823)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7884_0_createTree_FieldAccess(EOS(STATIC_7884(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, NULL, o3823)), java.lang.Object(Tree(EOC, NULL, o3823)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7883_0_createTree_FieldAccess(EOS(STATIC_7883(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3632)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7888_0_createTree_Load(EOS(STATIC_7888(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172put, o3171put))) :|: TRUE
f7888_0_createTree_Load(EOS(STATIC_7888(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171))) -> f7893_0_createTree_Store(EOS(STATIC_7893(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7893_0_createTree_Store(EOS(STATIC_7893(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7898_0_createTree_JMP(EOS(STATIC_7898(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7898_0_createTree_JMP(EOS(STATIC_7898(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7903_0_createTree_Inc(EOS(STATIC_7903(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7903_0_createTree_Inc(EOS(STATIC_7903(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7907_0_createTree_JMP(EOS(STATIC_7907(java.lang.Object(ARRAY(i6)))), i1176 + -1, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7907_0_createTree_JMP(EOS(STATIC_7907(java.lang.Object(ARRAY(i6)))), i1374, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7910_0_createTree_Load(EOS(STATIC_7910(java.lang.Object(ARRAY(i6)))), i1374, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7910_0_createTree_Load(EOS(STATIC_7910(java.lang.Object(ARRAY(i6)))), i1374, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7591_0_createTree_Load(EOS(STATIC_7591(java.lang.Object(ARRAY(i6)))), i1374, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7884_0_createTree_FieldAccess(EOS(STATIC_7884(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, NULL, o3823)), java.lang.Object(Tree(EOC, NULL, o3823)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7889_0_createTree_Load(EOS(STATIC_7889(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) :|: TRUE
f7889_0_createTree_Load(EOS(STATIC_7889(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) -> f7894_0_createTree_Store(EOS(STATIC_7894(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) :|: TRUE
f7894_0_createTree_Store(EOS(STATIC_7894(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) -> f7899_0_createTree_JMP(EOS(STATIC_7899(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) :|: TRUE
f7899_0_createTree_JMP(EOS(STATIC_7899(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) -> f7904_0_createTree_Inc(EOS(STATIC_7904(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) :|: TRUE
f7904_0_createTree_Inc(EOS(STATIC_7904(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) -> f7905_0_createTree_Inc(EOS(STATIC_7905(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3823))) :|: TRUE
f7905_0_createTree_Inc(EOS(STATIC_7905(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7903_0_createTree_Inc(EOS(STATIC_7903(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7745_0_createTree_LE(EOS(STATIC_7745(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1283) -> f7751_0_createTree_Load(EOS(STATIC_7751(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: i1283 > 0
f7751_0_createTree_Load(EOS(STATIC_7751(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7758_0_createTree_FieldAccess(EOS(STATIC_7758(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3174sub)) :|: TRUE
f7758_0_createTree_FieldAccess(EOS(STATIC_7758(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, o3636)), java.lang.Object(Tree(EOC, o3637, o3636))) -> f7765_0_createTree_FieldAccess(EOS(STATIC_7765(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, o3636)), java.lang.Object(Tree(EOC, o3637, o3636))) :|: TRUE
f7765_0_createTree_FieldAccess(EOS(STATIC_7765(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, o3636)), java.lang.Object(Tree(EOC, o3637, o3636))) -> f7771_0_createTree_NONNULL(EOS(STATIC_7771(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, o3636)), o3636) :|: TRUE
f7771_0_createTree_NONNULL(EOS(STATIC_7771(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, java.lang.Object(o3646sub))), java.lang.Object(o3646sub)) -> f7779_0_createTree_NONNULL(EOS(STATIC_7779(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, java.lang.Object(o3646sub))), java.lang.Object(o3646sub)) :|: TRUE
f7771_0_createTree_NONNULL(EOS(STATIC_7771(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), NULL) -> f7780_0_createTree_NONNULL(EOS(STATIC_7780(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), NULL) :|: TRUE
f7779_0_createTree_NONNULL(EOS(STATIC_7779(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, java.lang.Object(o3646sub))), java.lang.Object(o3646sub)) -> f7788_0_createTree_Load(EOS(STATIC_7788(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, java.lang.Object(o3646sub)))) :|: TRUE
f7788_0_createTree_Load(EOS(STATIC_7788(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, java.lang.Object(o3646sub)))) -> f7797_0_createTree_FieldAccess(EOS(STATIC_7797(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, java.lang.Object(o3646sub)))) :|: TRUE
f7797_0_createTree_FieldAccess(EOS(STATIC_7797(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, java.lang.Object(o3646sub)))) -> f7806_0_createTree_Store(EOS(STATIC_7806(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3646sub)) :|: TRUE
f7806_0_createTree_Store(EOS(STATIC_7806(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3646sub)) -> f7814_0_createTree_JMP(EOS(STATIC_7814(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3646sub)) :|: TRUE
f7814_0_createTree_JMP(EOS(STATIC_7814(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3646sub)) -> f7821_0_createTree_Inc(EOS(STATIC_7821(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3646sub)) :|: TRUE
f7821_0_createTree_Inc(EOS(STATIC_7821(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3646sub)) -> f7813_0_createTree_Inc(EOS(STATIC_7813(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3646sub)) :|: TRUE
f7780_0_createTree_NONNULL(EOS(STATIC_7780(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), NULL) -> f7789_0_createTree_Load(EOS(STATIC_7789(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL))) :|: TRUE
f7789_0_createTree_Load(EOS(STATIC_7789(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL))) -> f7798_0_createTree_InvokeMethod(EOS(STATIC_7798(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL))) :|: TRUE
f7798_0_createTree_InvokeMethod(EOS(STATIC_7798(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL))) -> f7807_0_createNode_New(EOS(STATIC_7807(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL))) :|: TRUE
f7807_0_createNode_New(EOS(STATIC_7807(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL))) -> f7822_0_createNode_Duplicate(EOS(STATIC_7822(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7822_0_createNode_Duplicate(EOS(STATIC_7822(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7831_0_createNode_InvokeMethod(EOS(STATIC_7831(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7831_0_createNode_InvokeMethod(EOS(STATIC_7831(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7837_0__init__Load(EOS(STATIC_7837(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7837_0__init__Load(EOS(STATIC_7837(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7846_0__init__InvokeMethod(EOS(STATIC_7846(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7846_0__init__InvokeMethod(EOS(STATIC_7846(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7851_0__init__Return(EOS(STATIC_7851(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7851_0__init__Return(EOS(STATIC_7851(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7855_0_createNode_Store(EOS(STATIC_7855(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7855_0_createNode_Store(EOS(STATIC_7855(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7860_0_createNode_Load(EOS(STATIC_7860(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7860_0_createNode_Load(EOS(STATIC_7860(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7864_0_createNode_New(EOS(STATIC_7864(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7864_0_createNode_New(EOS(STATIC_7864(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7866_0_createNode_Duplicate(EOS(STATIC_7866(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7866_0_createNode_Duplicate(EOS(STATIC_7866(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7869_0_createNode_InvokeMethod(EOS(STATIC_7869(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7869_0_createNode_InvokeMethod(EOS(STATIC_7869(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7872_0_createNode_FieldAccess(EOS(STATIC_7872(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7872_0_createNode_FieldAccess(EOS(STATIC_7872(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7875_0_createNode_Load(EOS(STATIC_7875(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7875_0_createNode_Load(EOS(STATIC_7875(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7878_0_createNode_Return(EOS(STATIC_7878(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7878_0_createNode_Return(EOS(STATIC_7878(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7881_0_createTree_FieldAccess(EOS(STATIC_7881(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7881_0_createTree_FieldAccess(EOS(STATIC_7881(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7885_0_createTree_FieldAccess(EOS(STATIC_7885(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7881_0_createTree_FieldAccess(EOS(STATIC_7881(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, NULL)), java.lang.Object(Tree(EOC, o3832, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7886_0_createTree_FieldAccess(EOS(STATIC_7886(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, NULL)), java.lang.Object(Tree(EOC, o3832, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7885_0_createTree_FieldAccess(EOS(STATIC_7885(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3637, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7890_0_createTree_Load(EOS(STATIC_7890(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172put, o3171put))) :|: TRUE
f7890_0_createTree_Load(EOS(STATIC_7890(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171))) -> f7895_0_createTree_Store(EOS(STATIC_7895(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7895_0_createTree_Store(EOS(STATIC_7895(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7900_0_createTree_JMP(EOS(STATIC_7900(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7900_0_createTree_JMP(EOS(STATIC_7900(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7905_0_createTree_Inc(EOS(STATIC_7905(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
f7886_0_createTree_FieldAccess(EOS(STATIC_7886(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, NULL)), java.lang.Object(Tree(EOC, o3832, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7891_0_createTree_Load(EOS(STATIC_7891(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7891_0_createTree_Load(EOS(STATIC_7891(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7896_0_createTree_Store(EOS(STATIC_7896(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7896_0_createTree_Store(EOS(STATIC_7896(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7901_0_createTree_JMP(EOS(STATIC_7901(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7901_0_createTree_JMP(EOS(STATIC_7901(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7906_0_createTree_Inc(EOS(STATIC_7906(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7906_0_createTree_Inc(EOS(STATIC_7906(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7908_0_createTree_JMP(EOS(STATIC_7908(java.lang.Object(ARRAY(i6)))), i1176 + -1, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7908_0_createTree_JMP(EOS(STATIC_7908(java.lang.Object(ARRAY(i6)))), i1376, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7911_0_createTree_Load(EOS(STATIC_7911(java.lang.Object(ARRAY(i6)))), i1376, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7911_0_createTree_Load(EOS(STATIC_7911(java.lang.Object(ARRAY(i6)))), i1376, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7591_0_createTree_Load(EOS(STATIC_7591(java.lang.Object(ARRAY(i6)))), i1376, java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3832, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, NULL, o3632:0)), i1176:0) -> f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0
f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, NULL)), java.lang.Object(Tree(EOC, o3172:0, NULL)), i1176:0) -> f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3172:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, o3637:0, java.lang.Object(o3646sub:0))), i1176:0) -> f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(o3646sub:0), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, java.lang.Object(o3645sub:0), o3632:0)), i1176:0) -> f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(o3645sub:0), i1176:0 - 1) :|: i1176:0 > 0
f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, NULL, o3171:0)), java.lang.Object(Tree(EOC, NULL, o3171:0)), i1176:0) -> f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3171:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3171:0)), i1176:0 - 1) :|: i1176:0 > 0
f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, o3637:0, NULL)), i1176:0) -> f7595_0_createTree_LE(EOS(STATIC_7595(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f7595_0_createTree_LE(x1, x2, x3, x4, x5) -> f7595_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f7595_0_createTree_LE(x1, x2, x3, x4) -> f7595_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(NULL, o3632:0)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, NULL)), java.lang.Object(Tree(o3172:0, NULL)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o3172:0, java.lang.Object(Tree(NULL, NULL)))), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3637:0, java.lang.Object(o3646sub:0))), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(o3646sub:0), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(java.lang.Object(o3645sub:0), o3632:0)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(o3645sub:0), i1176:0 - 1) :|: i1176:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(NULL, o3171:0)), java.lang.Object(Tree(NULL, o3171:0)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3171:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3171:0)), i1176:0 - 1) :|: i1176:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3637:0, NULL)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0

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

(16)
Obligation:
Rules:
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(NULL, o3632:0)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(x, NULL)), java.lang.Object(Tree(x, NULL)), x1) -> f7595_0_createTree_LE(java.lang.Object(Tree(x, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x, java.lang.Object(Tree(NULL, NULL)))), x1 - 1) :|: x1 > 0 && x2 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(x3, x4)), java.lang.Object(Tree(x5, java.lang.Object(x6))), x7) -> f7595_0_createTree_LE(java.lang.Object(Tree(x3, x4)), java.lang.Object(x6), x7 - 1) :|: x7 > 0 && x8 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(x9, x10)), java.lang.Object(Tree(java.lang.Object(x11), x12)), x13) -> f7595_0_createTree_LE(java.lang.Object(Tree(x9, x10)), java.lang.Object(x11), x13 - 1) :|: x13 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(NULL, x14)), java.lang.Object(Tree(NULL, x14)), x15) -> f7595_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x14)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x14)), x15 - 1) :|: x15 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(x16, x17)), java.lang.Object(Tree(x18, NULL)), x19) -> f7595_0_createTree_LE(java.lang.Object(Tree(x20, x21)), java.lang.Object(Tree(x20, x21)), x19 - 1) :|: x19 > 0 && x22 > 0

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

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

(18)
Obligation:
Rules:
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(NULL, o3632:0)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), arith) :|: i1176:0 > 0 && arith = i1176:0 - 1
f7595_0_createTree_LE(java.lang.Object(Tree(x23, NULL)), java.lang.Object(Tree(x23, NULL)), x24) -> f7595_0_createTree_LE(java.lang.Object(Tree(x23, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x23, java.lang.Object(Tree(NULL, NULL)))), x25) :|: x24 > 0 && x26 > 0 && x25 = x24 - 1
f7595_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x29, java.lang.Object(x30))), x31) -> f7595_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x30), x32) :|: x31 > 0 && x33 > 0 && x32 = x31 - 1
f7595_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(java.lang.Object(x36), x37)), x38) -> f7595_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(x36), x39) :|: x38 > 0 && x39 = x38 - 1
f7595_0_createTree_LE(java.lang.Object(Tree(NULL, x40)), java.lang.Object(Tree(NULL, x40)), x41) -> f7595_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40)), x42) :|: x41 > 0 && x42 = x41 - 1
f7595_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(x45, NULL)), x46) -> f7595_0_createTree_LE(java.lang.Object(Tree(x47, x48)), java.lang.Object(Tree(x47, x48)), x49) :|: x46 > 0 && x50 > 0 && x49 = x46 - 1

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

(19) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(NULL, o3632:0)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), arith) :|: i1176:0 > 0 && arith = i1176:0 - 1
(2) f7595_0_createTree_LE(java.lang.Object(Tree(x23, NULL)), java.lang.Object(Tree(x23, NULL)), x24) -> f7595_0_createTree_LE(java.lang.Object(Tree(x23, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x23, java.lang.Object(Tree(NULL, NULL)))), x25) :|: x24 > 0 && x26 > 0 && x25 = x24 - 1
(3) f7595_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x29, java.lang.Object(x30))), x31) -> f7595_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x30), x32) :|: x31 > 0 && x33 > 0 && x32 = x31 - 1
(4) f7595_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(java.lang.Object(x36), x37)), x38) -> f7595_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(x36), x39) :|: x38 > 0 && x39 = x38 - 1
(5) f7595_0_createTree_LE(java.lang.Object(Tree(NULL, x40)), java.lang.Object(Tree(NULL, x40)), x41) -> f7595_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40)), x42) :|: x41 > 0 && x42 = x41 - 1
(6) f7595_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(x45, NULL)), x46) -> f7595_0_createTree_LE(java.lang.Object(Tree(x47, x48)), java.lang.Object(Tree(x47, x48)), x49) :|: x46 > 0 && x50 > 0 && x49 = x46 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (3), (4), (5)
(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!
----------------------------------------

(20)
Obligation:

Termination digraph:
Nodes:
(1) f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(NULL, o3632:0)), i1176:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), arith) :|: i1176:0 > 0 && arith = i1176:0 - 1
(2) f7595_0_createTree_LE(java.lang.Object(Tree(x23, NULL)), java.lang.Object(Tree(x23, NULL)), x24) -> f7595_0_createTree_LE(java.lang.Object(Tree(x23, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x23, java.lang.Object(Tree(NULL, NULL)))), x25) :|: x24 > 0 && x26 > 0 && x25 = x24 - 1
(3) f7595_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(x29, java.lang.Object(x30))), x31) -> f7595_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(x30), x32) :|: x31 > 0 && x33 > 0 && x32 = x31 - 1
(4) f7595_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(java.lang.Object(x36), x37)), x38) -> f7595_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(x36), x39) :|: x38 > 0 && x39 = x38 - 1
(5) f7595_0_createTree_LE(java.lang.Object(Tree(NULL, x40)), java.lang.Object(Tree(NULL, x40)), x41) -> f7595_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40)), x42) :|: x41 > 0 && x42 = x41 - 1
(6) f7595_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(x45, NULL)), x46) -> f7595_0_createTree_LE(java.lang.Object(Tree(x47, x48)), java.lang.Object(Tree(x47, x48)), x49) :|: x46 > 0 && x50 > 0 && x49 = x46 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (3), (4), (5)
(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!

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

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

(22)
Obligation:
Rules:
f7595_0_createTree_LE(java.lang.Object(Tree(x23:0, NULL)), java.lang.Object(Tree(x23:0, NULL)), x24:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(x23:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x23:0, java.lang.Object(Tree(NULL, NULL)))), x24:0 - 1) :|: x24:0 > 0 && x26:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(o3172:0:0, o3171:0:0)), java.lang.Object(Tree(NULL, o3632:0:0)), i1176:0:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(o3172put:0:0, o3171put:0:0)), java.lang.Object(Tree(o3172put:0:0, o3171put:0:0)), i1176:0:0 - 1) :|: i1176:0:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(NULL, x40:0)), java.lang.Object(Tree(NULL, x40:0)), x41:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x40:0)), x41:0 - 1) :|: x41:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(x34:0, x35:0)), java.lang.Object(Tree(java.lang.Object(x36:0), x37:0)), x38:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(x34:0, x35:0)), java.lang.Object(x36:0), x38:0 - 1) :|: x38:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(Tree(x29:0, java.lang.Object(x30:0))), x31:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(x30:0), x31:0 - 1) :|: x31:0 > 0 && x33:0 > 0
f7595_0_createTree_LE(java.lang.Object(Tree(x43:0, x44:0)), java.lang.Object(Tree(x45:0, NULL)), x46:0) -> f7595_0_createTree_LE(java.lang.Object(Tree(x47:0, x48:0)), java.lang.Object(Tree(x47:0, x48:0)), x46:0 - 1) :|: x46:0 > 0 && x50:0 > 0

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

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

(24)
Obligation:
Rules:
f7595_0_createTree_LE(c, c1, x24:0) -> f7595_0_createTree_LE(c2, c3, c4) :|: c4 = x24:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x24:0 > 0 && x26:0 > 0)
f7595_0_createTree_LE(c5, c6, i1176:0:0) -> f7595_0_createTree_LE(c7, c8, c9) :|: c9 = i1176:0:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && i1176:0:0 > 0

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

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

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

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

(26)
YES