Termination proof of /tmp/tmpRe9cDB/FlattenRTA.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 2210 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 11 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIntTRSProof (⇒, 2056 ms)

        ↳7 intTRS

        ↳8 PolynomialOrderProcessor (⇔, 245 ms)

        ↳9 YES

    ↳10 JBCTerminationSCC

        ↳11 SCCToIDPv1Proof (⇒, 943 ms)

        ↳12 IDP

        ↳13 IDPtoQDPProof (⇒, 0 ms)

        ↳14 QDP

        ↳15 UsableRulesReductionPairsProof (⇔, 2 ms)

        ↳16 QDP

        ↳17 PisEmptyProof (⇔, 0 ms)

        ↳18 YES

    ↳19 JBCTerminationSCC

        ↳20 SCCToIntTRSProof (⇒, 1466 ms)

        ↳21 intTRS

        ↳22 PolynomialOrderProcessor (⇔, 0 ms)

        ↳23 YES

(0) Obligation:

JBC Problem based on JBC Program:

public class FlattenRTA {
  public static IntList flatten(TreeList list) {
    TreeList cur = list;
    IntList result = null;
    while (cur != null) {
      Tree tree = cur.value;
      if (tree != null) {
        IntList oldIntList = result;
        result = new IntList();
        result.value = tree.value;
        result.next = oldIntList;
        TreeList oldCur = cur;
        cur = new TreeList();
        cur.value = tree.left;
        cur.next = oldCur;
        oldCur.value = tree.right;
      } else cur = cur.next;
    }
    if (cur != list) {}
    return result;
  }

  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 class IntList {
  int value;
  IntList next;

  public IntList(int value, IntList next) {
    this.value = value;
    this.next = next;
  }

  public IntList() {
  }

  public static IntList createList() {
    IntList result = null;
    int length = Random.random();
    while (length > 0) {
      result = new IntList(Random.random(), 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;
  int 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 = Random.random();
    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;
  }

  public TreeList() {
  }
}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

Termination Graph based on JBC Program:
FlattenRTA.main([Ljava/lang/String;)V: Graph of 198 nodes with 1 SCC.

FlattenRTA.flatten(LTreeList;)LIntList;: Graph of 122 nodes with 1 SCC.

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

Tree.createNode()LTree;: Graph of 104 nodes with 0 SCCs.

(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 3 SCCss.

(4) Complex Obligation (AND)

(5) 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: Tree.createNode()LTree;
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:

(6) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 188 IRules

P rules:
f7707_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2170) → f7709_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2170)
f7709_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2170) → f7714_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) | >(i2170, 0)
f7714_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) → f7717_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub))
f7717_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) → f7737_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(ARRAY(i1688)))
f7737_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(ARRAY(i1688))) → f7751_0_random_ArrayAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(ARRAY(i1688)), i2163)
f7751_0_random_ArrayAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(ARRAY(i1688)), i2163) → f8038_0_random_ArrayAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(ARRAY(i1688)), i2163)
f8038_0_random_ArrayAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(ARRAY(i1688)), i2163) → f8104_0_random_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471)
f8104_0_random_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471) → f8107_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471)
f8107_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471) → f8110_0_random_ConstantStackPush(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471, i2163)
f8110_0_random_ConstantStackPush(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471, i2163) → f8118_0_random_IntArithmetic(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471, i2163, 1)
f8118_0_random_IntArithmetic(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471, i2163, matching1) → f8122_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471, +(i2163, 1)) | &&(>(i2163, 0), =(matching1, 1))
f8122_0_random_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471, i2224) → f8123_0_random_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471)
f8123_0_random_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471) → f8131_0_random_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), o3471)
f8131_0_random_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3495sub)) → f8136_0_random_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3495sub))
f8136_0_random_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3495sub)) → f8141_0_length_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3495sub), java.lang.Object(o3495sub))
f8141_0_length_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3495sub), java.lang.Object(o3495sub)) → f8160_0_length_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3495sub), java.lang.Object(o3495sub))
f8160_0_length_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(java.lang.String(o3505sub, i2260)), java.lang.Object(java.lang.String(o3505sub, i2260))) → f8163_0_length_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(java.lang.String(o3505sub, i2260)), java.lang.Object(java.lang.String(o3505sub, i2260))) | >=(i2260, 0)
f8163_0_length_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(java.lang.String(o3505sub, i2260)), java.lang.Object(java.lang.String(o3505sub, i2260))) → f8176_0_length_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(java.lang.String(o3505sub, i2260)), i2260)
f8176_0_length_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(java.lang.String(o3505sub, i2260)), i2260) → f8185_0_random_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2260)
f8185_0_random_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2260) → f8188_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2260)
f8188_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2260) → f8203_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2260)
f8203_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2260) → f8213_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2260)
f8213_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), matching1) → f8222_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), 0) | =(matching1, 0)
f8213_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2285) → f8224_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2285)
f8222_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), matching1) → f8239_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) | &&(<=(0, 0), =(matching1, 0))
f8239_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) → f8255_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8255_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub)) → f8276_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8255_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3548sub))), java.lang.Object(o3548sub), java.lang.Object(o3548sub)) → f8277_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3548sub))), java.lang.Object(o3548sub), java.lang.Object(o3548sub))
f8276_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub)) → f8309_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8276_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3563sub), o3398)), java.lang.Object(o3563sub), java.lang.Object(o3563sub)) → f8310_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3563sub), o3398)), java.lang.Object(o3563sub), java.lang.Object(o3563sub))
f8309_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub)) → f8355_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8309_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f8356_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f8355_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3610, o3609)), java.lang.Object(Tree(EOC, o3610, o3609))) → f8390_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3610, o3609)), java.lang.Object(Tree(EOC, o3610, o3609)))
f8390_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3610, o3609)), java.lang.Object(Tree(EOC, o3610, o3609))) → f8458_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3610, o3609)), o3610)
f8458_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3755sub), o3609)), java.lang.Object(o3755sub)) → f8512_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3755sub), o3609)), java.lang.Object(o3755sub))
f8458_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)), NULL) → f8513_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)), NULL)
f8512_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3755sub), o3609)), java.lang.Object(o3755sub)) → f8584_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3755sub), o3609)))
f8584_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3755sub), o3609))) → f8682_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3755sub), o3609)))
f8682_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3755sub), o3609))) → f8774_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3755sub))
f8774_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3755sub)) → f8821_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3755sub))
f8821_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3755sub)) → f9176_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3755sub))
f9176_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub)) → f9453_0_createTree_JMP(EOS, +(i2170, -1), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub)) | >(i2170, 0)
f9453_0_createTree_JMP(EOS, i2667, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub)) → f9689_0_createTree_Load(EOS, i2667, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub))
f9689_0_createTree_Load(EOS, i2667, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub)) → f7699_0_createTree_Load(EOS, i2667, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub))
f7699_0_createTree_Load(EOS, i2164, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) → f7707_0_createTree_LE(EOS, i2164, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2164)
f8513_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)), NULL) → f8592_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)))
f8592_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609))) → f8690_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)))
f8690_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609))) → f8777_0_createNode_New(EOS)
f8690_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609))) → f8777_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)))
f8777_0_createNode_New(EOS) → f8823_0_createNode_New(EOS)
f9603_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9791_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9791_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9996_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399put, o3398put)))
f9996_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398))) → f10158_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f10158_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f10233_0_createTree_JMP(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f10233_0_createTree_JMP(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f10252_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f10252_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f10261_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f10261_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f10270_0_createTree_JMP(EOS, +(i2170, -1), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) | >(i2170, 0)
f10270_0_createTree_JMP(EOS, i3035, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f10279_0_createTree_Load(EOS, i3035, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f10279_0_createTree_Load(EOS, i3035, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f7699_0_createTree_Load(EOS, i3035, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f8356_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f8399_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), o3399)
f8399_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(o3713sub)) → f8460_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(o3713sub))
f8399_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)), NULL) → f8461_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)), NULL)
f8460_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(o3713sub)) → f8517_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)))
f8517_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398))) → f8596_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)))
f8596_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398))) → f8694_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(o3713sub))
f8694_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(o3713sub)) → f8774_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3713sub), o3398)), java.lang.Object(o3713sub))
f8461_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)), NULL) → f8522_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)))
f8522_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398))) → f8599_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)))
f8599_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398))) → f8696_0_createNode_New(EOS)
f8599_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398))) → f8696_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)))
f8696_0_createNode_New(EOS) → f8779_0_createNode_New(EOS)
f9379_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9651_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9651_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9808_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3398)))
f9808_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3398))) → f9996_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3398)))
f8310_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3592, o3591)), o3398)), java.lang.Object(Tree(EOC, o3592, o3591)), java.lang.Object(Tree(EOC, o3592, o3591))) → f8358_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3592, o3591)), o3398)), java.lang.Object(Tree(EOC, o3592, o3591)), java.lang.Object(Tree(EOC, o3592, o3591)))
f8358_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3592, o3591)), o3398)), java.lang.Object(Tree(EOC, o3592, o3591)), java.lang.Object(Tree(EOC, o3592, o3591))) → f8409_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3592, o3591)), o3398)), java.lang.Object(Tree(EOC, o3592, o3591)), o3592)
f8409_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), java.lang.Object(o3715sub)) → f8464_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), java.lang.Object(o3715sub))
f8409_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)), NULL) → f8465_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)), NULL)
f8464_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), java.lang.Object(o3715sub)) → f8527_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)))
f8527_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591))) → f8603_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)))
f8603_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591))) → f8702_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(o3715sub))
f8702_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(o3715sub)) → f8774_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o3715sub), o3591)), o3398)), java.lang.Object(o3715sub))
f8465_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)), NULL) → f8533_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)))
f8533_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591))) → f8609_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)))
f8609_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591))) → f8704_0_createNode_New(EOS)
f8609_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591))) → f8704_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)))
f8704_0_createNode_New(EOS) → f8781_0_createNode_New(EOS)
f9411_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9665_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9665_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9820_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3591)), o3398)))
f9820_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3591)), o3398))) → f9996_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3591)), o3398)))
f8277_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3568, o3567)))), java.lang.Object(Tree(EOC, o3568, o3567)), java.lang.Object(Tree(EOC, o3568, o3567))) → f8313_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3568, o3567)))), java.lang.Object(Tree(EOC, o3568, o3567)), java.lang.Object(Tree(EOC, o3568, o3567)))
f8313_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3568, o3567)))), java.lang.Object(Tree(EOC, o3568, o3567)), java.lang.Object(Tree(EOC, o3568, o3567))) → f8361_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3568, o3567)))), java.lang.Object(Tree(EOC, o3568, o3567)), o3568)
f8361_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)), java.lang.Object(o3640sub)) → f8410_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)), java.lang.Object(o3640sub))
f8361_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)), NULL) → f8411_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)), NULL)
f8410_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)), java.lang.Object(o3640sub)) → f8466_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))
f8466_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567))) → f8535_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))
f8535_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567))) → f8611_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(o3640sub))
f8611_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(o3640sub)) → f8774_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(o3640sub), o3567)))), java.lang.Object(o3640sub))
f8411_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)), NULL) → f8468_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)))
f8468_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567))) → f8537_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)))
f8537_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567))) → f8612_0_createNode_New(EOS)
f8537_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567))) → f8612_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)))
f8612_0_createNode_New(EOS) → f8708_0_createNode_New(EOS)
f9131_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9447_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9447_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9678_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3567)))))
f9678_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3567))))) → f9996_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3567)))))
f8224_0_createTree_LE(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), i2285) → f8241_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) | >(i2285, 0)
f8241_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub)) → f8257_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8257_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub)) → f8287_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8257_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3552sub))), java.lang.Object(o3552sub), java.lang.Object(o3552sub)) → f8288_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3552sub))), java.lang.Object(o3552sub), java.lang.Object(o3552sub))
f8287_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub)) → f8323_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8287_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3572sub), o3398)), java.lang.Object(o3572sub), java.lang.Object(o3572sub)) → f8324_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(o3572sub), o3398)), java.lang.Object(o3572sub), java.lang.Object(o3572sub))
f8323_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub)) → f8370_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3400sub), java.lang.Object(o3400sub))
f8323_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f8371_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f8370_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, o3642)), java.lang.Object(Tree(EOC, o3643, o3642))) → f8414_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, o3642)), java.lang.Object(Tree(EOC, o3643, o3642)))
f8414_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, o3642)), java.lang.Object(Tree(EOC, o3643, o3642))) → f8485_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, o3642)), o3642)
f8485_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, java.lang.Object(o3779sub))), java.lang.Object(o3779sub)) → f8540_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, java.lang.Object(o3779sub))), java.lang.Object(o3779sub))
f8485_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)), NULL) → f8541_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)), NULL)
f8540_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, java.lang.Object(o3779sub))), java.lang.Object(o3779sub)) → f8620_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, java.lang.Object(o3779sub))))
f8620_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, java.lang.Object(o3779sub)))) → f8717_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, java.lang.Object(o3779sub))))
f8717_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, java.lang.Object(o3779sub)))) → f8802_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub))
f8802_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub)) → f8877_0_createTree_JMP(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub))
f8877_0_createTree_JMP(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub)) → f9176_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(o3779sub))
f8541_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)), NULL) → f8630_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)))
f8630_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL))) → f8727_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)))
f8727_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL))) → f8804_0_createNode_New(EOS)
f8727_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL))) → f8804_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)))
f8804_0_createNode_New(EOS) → f8880_0_createNode_New(EOS)
f9690_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9850_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9850_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f10083_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399put, o3398put)))
f10083_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398))) → f10195_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f10195_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f10247_0_createTree_JMP(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f10247_0_createTree_JMP(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f10261_0_createTree_Inc(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)))
f8371_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398))) → f8420_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3399, o3398)), o3398)
f8420_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(o3747sub)) → f8487_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(o3747sub))
f8420_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)), NULL) → f8488_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)), NULL)
f8487_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(o3747sub)) → f8545_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))))
f8545_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub)))) → f8633_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))))
f8633_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub)))) → f8732_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(o3747sub))
f8732_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(o3747sub)) → f8802_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(o3747sub))), java.lang.Object(o3747sub))
f8488_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)), NULL) → f8549_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)))
f8549_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL))) → f8637_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)))
f8637_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL))) → f8733_0_createNode_New(EOS)
f8637_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL))) → f8733_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)))
f8733_0_createNode_New(EOS) → f8807_0_createNode_New(EOS)
f9520_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9747_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9747_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9914_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, NULL)))))
f9914_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, NULL))))) → f10083_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, NULL)))))
f8324_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, o3598)), o3398)), java.lang.Object(Tree(EOC, o3599, o3598)), java.lang.Object(Tree(EOC, o3599, o3598))) → f8373_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, o3598)), o3398)), java.lang.Object(Tree(EOC, o3599, o3598)), java.lang.Object(Tree(EOC, o3599, o3598)))
f8373_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, o3598)), o3398)), java.lang.Object(Tree(EOC, o3599, o3598)), java.lang.Object(Tree(EOC, o3599, o3598))) → f8430_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, o3598)), o3398)), java.lang.Object(Tree(EOC, o3599, o3598)), o3598)
f8430_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), java.lang.Object(o3748sub)) → f8490_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), java.lang.Object(o3748sub))
f8430_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)), NULL) → f8492_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)), NULL)
f8490_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), java.lang.Object(o3748sub)) → f8555_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))))
f8555_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub)))) → f8643_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))))
f8643_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub)))) → f8740_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(o3748sub))
f8740_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(o3748sub)) → f8802_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(o3748sub))), o3398)), java.lang.Object(o3748sub))
f8492_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)), NULL) → f8561_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)))
f8561_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL))) → f8649_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)))
f8649_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL))) → f8742_0_createNode_New(EOS)
f8649_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL))) → f8742_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)))
f8742_0_createNode_New(EOS) → f8810_0_createNode_New(EOS)
f9557_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9760_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9760_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9924_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(Tree(EOC, NULL, NULL)))), o3398)))
f9924_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(Tree(EOC, NULL, NULL)))), o3398))) → f10083_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, java.lang.Object(Tree(EOC, NULL, NULL)))), o3398)))
f8288_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, o3574)))), java.lang.Object(Tree(EOC, o3575, o3574)), java.lang.Object(Tree(EOC, o3575, o3574))) → f8327_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, o3574)))), java.lang.Object(Tree(EOC, o3575, o3574)), java.lang.Object(Tree(EOC, o3575, o3574)))
f8327_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, o3574)))), java.lang.Object(Tree(EOC, o3575, o3574)), java.lang.Object(Tree(EOC, o3575, o3574))) → f8375_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, o3574)))), java.lang.Object(Tree(EOC, o3575, o3574)), o3574)
f8375_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))), java.lang.Object(o3672sub)) → f8432_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))), java.lang.Object(o3672sub))
f8375_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)), NULL) → f8433_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)), NULL)
f8432_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))), java.lang.Object(o3672sub)) → f8493_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))
f8493_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub)))) → f8563_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))
f8563_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub)))) → f8651_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(o3672sub))
f8651_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(o3672sub)) → f8802_0_createTree_Store(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(o3672sub))))), java.lang.Object(o3672sub))
f8433_0_createTree_NONNULL(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)), NULL) → f8495_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)))
f8495_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL))) → f8565_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)))
f8565_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL))) → f8653_0_createNode_New(EOS)
f8565_0_createTree_InvokeMethod(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL))) → f8653_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)))
f8653_0_createNode_New(EOS) → f8745_0_createNode_New(EOS)
f9293_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9595_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))
f9595_0_createTree_FieldAccess(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) → f9773_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(Tree(EOC, NULL, NULL)))))))
f9773_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(Tree(EOC, NULL, NULL))))))) → f10083_0_createTree_Load(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, java.lang.Object(Tree(EOC, NULL, NULL)))))))
f8777_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609))) → f9603_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, NULL, o3609)), java.lang.Object(Tree(EOC, NULL, NULL)))
f8696_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398))) → f9379_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, o3398)), java.lang.Object(Tree(EOC, NULL, NULL)))
f8704_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591))) → f9411_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, o3591)), o3398)), java.lang.Object(Tree(EOC, NULL, o3591)), java.lang.Object(Tree(EOC, NULL, NULL)))
f8612_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567))) → f9131_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, NULL, o3567)))), java.lang.Object(Tree(EOC, NULL, o3567)), java.lang.Object(Tree(EOC, NULL, NULL)))
f8804_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL))) → f9690_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, o3398)), java.lang.Object(Tree(EOC, o3643, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))
f8733_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL))) → f9520_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, o3399, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))
f8742_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL))) → f9557_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3599, NULL)), o3398)), java.lang.Object(Tree(EOC, o3599, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))
f8653_1_createNode_New(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL))) → f9293_0_createNode_Return(EOS, i2170, java.lang.Object(Tree(EOC, o3399, java.lang.Object(Tree(EOC, o3575, NULL)))), java.lang.Object(Tree(EOC, o3575, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)))

Combined rules. Obtained 24 IRules

P rules:
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(Tree(EOC, java.lang.Object(x3), x4)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(Tree(EOC, NULL, x3)), x0) → f8823_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(Tree(EOC, java.lang.Object(x1), x2)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, NULL, x1)), java.lang.Object(Tree(EOC, NULL, x1)), x0) → f8779_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(Tree(EOC, java.lang.Object(x1), x2)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, x1)), x2)), java.lang.Object(Tree(EOC, NULL, x1)), x0) → f8781_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(Tree(EOC, java.lang.Object(x2), x3)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, NULL, x2)))), java.lang.Object(Tree(EOC, NULL, x2)), x0) → f8708_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(Tree(EOC, x3, java.lang.Object(x4))), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(x4), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(Tree(EOC, x3, NULL)), x0) → f8880_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(Tree(EOC, x1, java.lang.Object(x2))), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, NULL)), java.lang.Object(Tree(EOC, x1, NULL)), x0) → f8807_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(Tree(EOC, x1, java.lang.Object(x2))), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, x1, NULL)), x2)), java.lang.Object(Tree(EOC, x1, NULL)), x0) → f8810_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(Tree(EOC, x2, java.lang.Object(x3))), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, x2, NULL)))), java.lang.Object(Tree(EOC, x2, NULL)), x0) → f8745_0_createNode_New(EOS) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(Tree(EOC, NULL, x3)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x4, x5)), java.lang.Object(Tree(EOC, x4, x5)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, NULL, x1)), java.lang.Object(Tree(EOC, NULL, x1)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), x1)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), x1)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, x1)), x2)), java.lang.Object(Tree(EOC, NULL, x1)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), x1)), x2)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), x1)), x2)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, NULL, x2)))), java.lang.Object(Tree(EOC, NULL, x2)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), x2)))), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), x2)))), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, x2)), java.lang.Object(Tree(EOC, x3, NULL)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x4, x5)), java.lang.Object(Tree(EOC, x4, x5)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, NULL)), java.lang.Object(Tree(EOC, x1, NULL)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, NULL, NULL)))), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, x1, NULL)), x2)), java.lang.Object(Tree(EOC, x1, NULL)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, NULL, NULL)))), x2)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, NULL, NULL)))), x2)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(EOS, x0, java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, x2, NULL)))), java.lang.Object(Tree(EOC, x2, NULL)), x0) → f7707_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, x2, java.lang.Object(Tree(EOC, NULL, NULL)))))), java.lang.Object(Tree(EOC, x1, java.lang.Object(Tree(EOC, x2, java.lang.Object(Tree(EOC, NULL, NULL)))))), -(x0, 1)) | >(x0, 0)

Filtered ground terms:

f7707_0_createTree_LE(x1, x2, x3, x4, x5) → f7707_0_createTree_LE(x2, x3, x4, x5)
Cond_f7707_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE1(x1, x3, x4, x5, x6)
f8823_0_createNode_New(x1) → f8823_0_createNode_New
Cond_f7707_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE3(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE3(x1, x3, x4, x5, x6)
f8779_0_createNode_New(x1) → f8779_0_createNode_New
Cond_f7707_0_createTree_LE4(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE4(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE5(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE5(x1, x3, x4, x5, x6)
f8781_0_createNode_New(x1) → f8781_0_createNode_New
Cond_f7707_0_createTree_LE6(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE6(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE7(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE7(x1, x3, x4, x5, x6)
f8708_0_createNode_New(x1) → f8708_0_createNode_New
Cond_f7707_0_createTree_LE8(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE8(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE9(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE9(x1, x3, x4, x5, x6)
f8880_0_createNode_New(x1) → f8880_0_createNode_New
Cond_f7707_0_createTree_LE10(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE10(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE11(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE11(x1, x3, x4, x5, x6)
f8807_0_createNode_New(x1) → f8807_0_createNode_New
Cond_f7707_0_createTree_LE12(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE12(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE13(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE13(x1, x3, x4, x5, x6)
f8810_0_createNode_New(x1) → f8810_0_createNode_New
Cond_f7707_0_createTree_LE14(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE14(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE15(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE15(x1, x3, x4, x5, x6)
f8745_0_createNode_New(x1) → f8745_0_createNode_New
Cond_f7707_0_createTree_LE16(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f7707_0_createTree_LE16(x1, x3, x4, x5, x6, x7, x8)
Cond_f7707_0_createTree_LE17(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE17(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE18(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE18(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE19(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE19(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE20(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f7707_0_createTree_LE20(x1, x3, x4, x5, x6, x7, x8)
Cond_f7707_0_createTree_LE21(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE21(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE22(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE22(x1, x3, x4, x5, x6)
Cond_f7707_0_createTree_LE23(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE23(x1, x3, x4, x5, x6)
Tree(x1, x2, x3) → Tree(x2, x3)

Filtered duplicate terms:

f7707_0_createTree_LE(x1, x2, x3, x4) → f7707_0_createTree_LE(x2, x3, x4)
Cond_f7707_0_createTree_LE(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE(x1, x3, x4, x5)
Cond_f7707_0_createTree_LE1(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE1(x1, x3, x4, x5)
Cond_f7707_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE2(x1, x4, x5)
Cond_f7707_0_createTree_LE3(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE3(x1, x4, x5)
Cond_f7707_0_createTree_LE4(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE4(x1, x3, x5)
Cond_f7707_0_createTree_LE5(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE5(x1, x3, x5)
Cond_f7707_0_createTree_LE6(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE6(x1, x3, x5)
Cond_f7707_0_createTree_LE7(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE7(x1, x3, x5)
Cond_f7707_0_createTree_LE8(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE8(x1, x3, x4, x5)
Cond_f7707_0_createTree_LE9(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE9(x1, x3, x4, x5)
Cond_f7707_0_createTree_LE10(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE10(x1, x4, x5)
Cond_f7707_0_createTree_LE11(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE11(x1, x4, x5)
Cond_f7707_0_createTree_LE12(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE12(x1, x3, x5)
Cond_f7707_0_createTree_LE13(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE13(x1, x3, x5)
Cond_f7707_0_createTree_LE14(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE14(x1, x3, x5)
Cond_f7707_0_createTree_LE15(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE15(x1, x3, x5)
Cond_f7707_0_createTree_LE16(x1, x2, x3, x4, x5, x6, x7) → Cond_f7707_0_createTree_LE16(x1, x3, x4, x5, x6, x7)
Cond_f7707_0_createTree_LE17(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE17(x1, x4, x5)
Cond_f7707_0_createTree_LE18(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE18(x1, x3, x5)
Cond_f7707_0_createTree_LE19(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE19(x1, x3, x5)
Cond_f7707_0_createTree_LE20(x1, x2, x3, x4, x5, x6, x7) → Cond_f7707_0_createTree_LE20(x1, x3, x4, x5, x6, x7)
Cond_f7707_0_createTree_LE21(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE21(x1, x4, x5)
Cond_f7707_0_createTree_LE22(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE22(x1, x3, x5)
Cond_f7707_0_createTree_LE23(x1, x2, x3, x4, x5) → Cond_f7707_0_createTree_LE23(x1, x3, x5)

Filtered unneeded terms:

Cond_f7707_0_createTree_LE1(x1, x2, x3, x4) → Cond_f7707_0_createTree_LE1(x1)
Cond_f7707_0_createTree_LE3(x1, x2, x3) → Cond_f7707_0_createTree_LE3(x1)
Cond_f7707_0_createTree_LE5(x1, x2, x3) → Cond_f7707_0_createTree_LE5(x1)
Cond_f7707_0_createTree_LE7(x1, x2, x3) → Cond_f7707_0_createTree_LE7(x1)
Cond_f7707_0_createTree_LE9(x1, x2, x3, x4) → Cond_f7707_0_createTree_LE9(x1)
Cond_f7707_0_createTree_LE11(x1, x2, x3) → Cond_f7707_0_createTree_LE11(x1)
Cond_f7707_0_createTree_LE13(x1, x2, x3) → Cond_f7707_0_createTree_LE13(x1)
Cond_f7707_0_createTree_LE15(x1, x2, x3) → Cond_f7707_0_createTree_LE15(x1)
Cond_f7707_0_createTree_LE16(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE16(x1, x4, x5, x6)
Cond_f7707_0_createTree_LE20(x1, x2, x3, x4, x5, x6) → Cond_f7707_0_createTree_LE20(x1, x4, x5, x6)

Prepared 24 rules for path length conversion:

P rules:
f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(Tree(java.lang.Object(x3), x4)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(Tree(NULL, x3)), x0) → f8823_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(x1), x2)), java.lang.Object(Tree(java.lang.Object(x1), x2)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(x1), x2)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(NULL, x1)), java.lang.Object(Tree(NULL, x1)), x0) → f8779_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(java.lang.Object(x1), x2)), x3)), java.lang.Object(Tree(java.lang.Object(x1), x2)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(java.lang.Object(x1), x2)), x3)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, x1)), x2)), java.lang.Object(Tree(NULL, x1)), x0) → f8781_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(java.lang.Object(x2), x3)))), java.lang.Object(Tree(java.lang.Object(x2), x3)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(java.lang.Object(x2), x3)))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(NULL, x2)))), java.lang.Object(Tree(NULL, x2)), x0) → f8708_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(Tree(x3, java.lang.Object(x4))), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(x4), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(Tree(x3, NULL)), x0) → f8880_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(x2))), java.lang.Object(Tree(x1, java.lang.Object(x2))), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(x2))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, NULL)), java.lang.Object(Tree(x1, NULL)), x0) → f8807_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(x1, java.lang.Object(x2))), x3)), java.lang.Object(Tree(x1, java.lang.Object(x2))), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(x1, java.lang.Object(x2))), x3)), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(x1, NULL)), x2)), java.lang.Object(Tree(x1, NULL)), x0) → f8810_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(x2, java.lang.Object(x3))))), java.lang.Object(Tree(x2, java.lang.Object(x3))), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(x2, java.lang.Object(x3))))), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(x2, NULL)))), java.lang.Object(Tree(x2, NULL)), x0) → f8745_0_createNode_New | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(Tree(NULL, x3)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x4, x5)), java.lang.Object(Tree(x4, x5)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(NULL, x1)), java.lang.Object(Tree(NULL, x1)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x1)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x1)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, x1)), x2)), java.lang.Object(Tree(NULL, x1)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x1)), x2)), java.lang.Object(Tree(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x1)), x2)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(NULL, x2)))), java.lang.Object(Tree(NULL, x2)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x2)))), java.lang.Object(Tree(x1, java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x2)))), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, x2)), java.lang.Object(Tree(x3, NULL)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x4, x5)), java.lang.Object(Tree(x4, x5)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, NULL)), java.lang.Object(Tree(x1, NULL)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x1, java.lang.Object(Tree(NULL, NULL)))), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(x1, NULL)), x2)), java.lang.Object(Tree(x1, NULL)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(x1, java.lang.Object(Tree(NULL, NULL)))), x2)), java.lang.Object(Tree(java.lang.Object(Tree(x1, java.lang.Object(Tree(NULL, NULL)))), x2)), -(x0, 1)) | >(x0, 0)
f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(x2, NULL)))), java.lang.Object(Tree(x2, NULL)), x0) → f7707_0_createTree_LE(java.lang.Object(Tree(x1, java.lang.Object(Tree(x2, java.lang.Object(Tree(NULL, NULL)))))), java.lang.Object(Tree(x1, java.lang.Object(Tree(x2, java.lang.Object(Tree(NULL, NULL)))))), -(x0, 1)) | >(x0, 0)

Finished conversion. Obtained 16 rules.

P rules:
f7707_0_createTree_LE(v87, v88, x4) → f7707_0_createTree_LE(v89, v90, -(x4, 1)) | &&(&&(&&(&&(&&(&&(>(x4, 0), >(+(v90, 1), 1)), <=(+(v90, 2), v88)), >(+(v89, 1), 1)), <=(v89, v87)), >(+(v88, 1), 3)), >(+(v87, 1), 1))
f7707_0_createTree_LE(v91, v92, x11) → f7707_0_createTree_LE(v93, v94, -(x11, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x11, 0), >(+(v94, 1), 1)), <=(+(v94, 2), v92)), <=(+(v94, 2), v91)), >(+(v93, 1), 3)), <=(v93, v92)), <=(v93, v91)), >(+(v92, 1), 3)), >(+(v91, 1), 3))
f7707_0_createTree_LE(v95, v96, x17) → f7707_0_createTree_LE(v97, v98, -(x17, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x17, 0), >(+(v98, 1), 1)), <=(+(v98, 4), v95)), <=(+(v98, 2), v96)), >(+(v97, 1), 5)), <=(v97, v95)), >(+(v96, 1), 3)), >(+(v95, 1), 5))
f7707_0_createTree_LE(v99, v100, x24) → f7707_0_createTree_LE(v101, v102, -(x24, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x24, 0), >=(v99, +(v102, 4))), >=(v99, v101)), >(+(v99, 1), 5)), >(+(v102, 1), 1)), <=(+(v102, 2), v100)), >(+(v101, 1), 5)), >(+(v100, 1), 3))
f7707_0_createTree_LE(v103, v104, x32) → f7707_0_createTree_LE(v105, v106, -(x32, 1)) | &&(&&(&&(&&(&&(&&(>(x32, 0), >(+(v106, 1), 1)), <=(+(v106, 2), v104)), >(+(v105, 1), 1)), <=(v105, v103)), >(+(v104, 1), 3)), >(+(v103, 1), 1))
f7707_0_createTree_LE(v107, v108, x39) → f7707_0_createTree_LE(v109, v110, -(x39, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x39, 0), >(+(v110, 1), 1)), <=(+(v110, 2), v108)), <=(+(v110, 2), v107)), >(+(v109, 1), 3)), <=(v109, v108)), <=(v109, v107)), >(+(v108, 1), 3)), >(+(v107, 1), 3))
f7707_0_createTree_LE(v111, v112, x45) → f7707_0_createTree_LE(v113, v114, -(x45, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x45, 0), >(+(v114, 1), 1)), <=(+(v114, 4), v111)), <=(+(v114, 2), v112)), >(+(v113, 1), 5)), <=(v113, v111)), >(+(v112, 1), 3)), >(+(v111, 1), 5))
f7707_0_createTree_LE(v115, v116, x52) → f7707_0_createTree_LE(v117, v118, -(x52, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x52, 0), >(+(v118, 1), 1)), <=(+(v118, 4), v115)), <=(+(v118, 2), v116)), >(+(v117, 1), 5)), <=(v117, v115)), >(+(v116, 1), 3)), >(+(v115, 1), 5))
f7707_0_createTree_LE(v119, v120, x59) → f7707_0_createTree_LE(v121, v122, -(x59, 1)) | &&(&&(&&(&&(>(x59, 0), >(+(v122, 1), 1)), >(+(v121, 1), 1)), >(+(v120, 1), 2)), >(+(v119, 1), 1))
f7707_0_createTree_LE(v123, v124, x63) → f7707_0_createTree_LE(v125, v126, -(x63, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x63, 0), >(+(v126, 1), 4)), <=(-(v126, 2), v124)), <=(-(v126, 2), v123)), >(+(v125, 1), 4)), <=(-(v125, 2), v124)), <=(-(v125, 2), v123)), >(+(v124, 1), 2)), >(+(v123, 1), 2))
f7707_0_createTree_LE(v127, v128, x66) → f7707_0_createTree_LE(v129, v130, -(x66, 1)) | &&(&&(&&(&&(&&(&&(>(x66, 0), >(+(v130, 1), 6)), <=(-(v130, 2), v127)), >(+(v129, 1), 6)), <=(-(v129, 2), v127)), >(+(v128, 1), 2)), >(+(v127, 1), 4))
f7707_0_createTree_LE(v131, v132, x69) → f7707_0_createTree_LE(v133, v134, -(x69, 1)) | &&(&&(&&(&&(&&(&&(>(x69, 0), >(+(v134, 1), 6)), <=(-(v134, 2), v131)), >(+(v133, 1), 6)), <=(-(v133, 2), v131)), >(+(v132, 1), 2)), >(+(v131, 1), 4))
f7707_0_createTree_LE(v135, v136, x73) → f7707_0_createTree_LE(v137, v138, -(x73, 1)) | &&(&&(&&(&&(>(x73, 0), >(+(v138, 1), 1)), >(+(v137, 1), 1)), >(+(v136, 1), 2)), >(+(v135, 1), 1))
f7707_0_createTree_LE(v139, v140, x77) → f7707_0_createTree_LE(v141, v142, -(x77, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x77, 0), >(+(v142, 1), 4)), <=(-(v142, 2), v140)), <=(-(v142, 2), v139)), >(+(v141, 1), 4)), <=(-(v141, 2), v140)), <=(-(v141, 2), v139)), >(+(v140, 1), 2)), >(+(v139, 1), 2))
f7707_0_createTree_LE(v143, v144, x80) → f7707_0_createTree_LE(v145, v146, -(x80, 1)) | &&(&&(&&(&&(&&(&&(>(x80, 0), >(+(v146, 1), 6)), <=(-(v146, 2), v143)), >(+(v145, 1), 6)), <=(-(v145, 2), v143)), >(+(v144, 1), 2)), >(+(v143, 1), 4))
f7707_0_createTree_LE(v147, v148, x83) → f7707_0_createTree_LE(v149, v150, -(x83, 1)) | &&(&&(&&(&&(&&(&&(>(x83, 0), >(+(v150, 1), 6)), <=(-(v150, 2), v147)), >(+(v149, 1), 6)), <=(-(v149, 2), v147)), >(+(v148, 1), 2)), >(+(v147, 1), 4))

(7) Obligation:

Rules:
f7707_0_createTree_LE(v87, v88, x4) → f7707_0_createTree_LE(v89, v90, -(x4, 1)) | &&(&&(&&(&&(&&(&&(>(x4, 0), >(+(v90, 1), 1)), <=(+(v90, 2), v88)), >(+(v89, 1), 1)), <=(v89, v87)), >(+(v88, 1), 3)), >(+(v87, 1), 1))
f7707_0_createTree_LE(v91, v92, x11) → f7707_0_createTree_LE(v93, v94, -(x11, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x11, 0), >(+(v94, 1), 1)), <=(+(v94, 2), v92)), <=(+(v94, 2), v91)), >(+(v93, 1), 3)), <=(v93, v92)), <=(v93, v91)), >(+(v92, 1), 3)), >(+(v91, 1), 3))
f7707_0_createTree_LE(v95, v96, x17) → f7707_0_createTree_LE(v97, v98, -(x17, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x17, 0), >(+(v98, 1), 1)), <=(+(v98, 4), v95)), <=(+(v98, 2), v96)), >(+(v97, 1), 5)), <=(v97, v95)), >(+(v96, 1), 3)), >(+(v95, 1), 5))
f7707_0_createTree_LE(v99, v100, x24) → f7707_0_createTree_LE(v101, v102, -(x24, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x24, 0), >=(v99, +(v102, 4))), >=(v99, v101)), >(+(v99, 1), 5)), >(+(v102, 1), 1)), <=(+(v102, 2), v100)), >(+(v101, 1), 5)), >(+(v100, 1), 3))
f7707_0_createTree_LE(v103, v104, x32) → f7707_0_createTree_LE(v105, v106, -(x32, 1)) | &&(&&(&&(&&(&&(&&(>(x32, 0), >(+(v106, 1), 1)), <=(+(v106, 2), v104)), >(+(v105, 1), 1)), <=(v105, v103)), >(+(v104, 1), 3)), >(+(v103, 1), 1))
f7707_0_createTree_LE(v107, v108, x39) → f7707_0_createTree_LE(v109, v110, -(x39, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x39, 0), >(+(v110, 1), 1)), <=(+(v110, 2), v108)), <=(+(v110, 2), v107)), >(+(v109, 1), 3)), <=(v109, v108)), <=(v109, v107)), >(+(v108, 1), 3)), >(+(v107, 1), 3))
f7707_0_createTree_LE(v111, v112, x45) → f7707_0_createTree_LE(v113, v114, -(x45, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x45, 0), >(+(v114, 1), 1)), <=(+(v114, 4), v111)), <=(+(v114, 2), v112)), >(+(v113, 1), 5)), <=(v113, v111)), >(+(v112, 1), 3)), >(+(v111, 1), 5))
f7707_0_createTree_LE(v115, v116, x52) → f7707_0_createTree_LE(v117, v118, -(x52, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x52, 0), >(+(v118, 1), 1)), <=(+(v118, 4), v115)), <=(+(v118, 2), v116)), >(+(v117, 1), 5)), <=(v117, v115)), >(+(v116, 1), 3)), >(+(v115, 1), 5))
f7707_0_createTree_LE(v119, v120, x59) → f7707_0_createTree_LE(v121, v122, -(x59, 1)) | &&(&&(&&(&&(>(x59, 0), >(+(v122, 1), 1)), >(+(v121, 1), 1)), >(+(v120, 1), 2)), >(+(v119, 1), 1))
f7707_0_createTree_LE(v123, v124, x63) → f7707_0_createTree_LE(v125, v126, -(x63, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x63, 0), >(+(v126, 1), 4)), <=(-(v126, 2), v124)), <=(-(v126, 2), v123)), >(+(v125, 1), 4)), <=(-(v125, 2), v124)), <=(-(v125, 2), v123)), >(+(v124, 1), 2)), >(+(v123, 1), 2))
f7707_0_createTree_LE(v127, v128, x66) → f7707_0_createTree_LE(v129, v130, -(x66, 1)) | &&(&&(&&(&&(&&(&&(>(x66, 0), >(+(v130, 1), 6)), <=(-(v130, 2), v127)), >(+(v129, 1), 6)), <=(-(v129, 2), v127)), >(+(v128, 1), 2)), >(+(v127, 1), 4))
f7707_0_createTree_LE(v131, v132, x69) → f7707_0_createTree_LE(v133, v134, -(x69, 1)) | &&(&&(&&(&&(&&(&&(>(x69, 0), >(+(v134, 1), 6)), <=(-(v134, 2), v131)), >(+(v133, 1), 6)), <=(-(v133, 2), v131)), >(+(v132, 1), 2)), >(+(v131, 1), 4))
f7707_0_createTree_LE(v135, v136, x73) → f7707_0_createTree_LE(v137, v138, -(x73, 1)) | &&(&&(&&(&&(>(x73, 0), >(+(v138, 1), 1)), >(+(v137, 1), 1)), >(+(v136, 1), 2)), >(+(v135, 1), 1))
f7707_0_createTree_LE(v139, v140, x77) → f7707_0_createTree_LE(v141, v142, -(x77, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x77, 0), >(+(v142, 1), 4)), <=(-(v142, 2), v140)), <=(-(v142, 2), v139)), >(+(v141, 1), 4)), <=(-(v141, 2), v140)), <=(-(v141, 2), v139)), >(+(v140, 1), 2)), >(+(v139, 1), 2))
f7707_0_createTree_LE(v143, v144, x80) → f7707_0_createTree_LE(v145, v146, -(x80, 1)) | &&(&&(&&(&&(&&(&&(>(x80, 0), >(+(v146, 1), 6)), <=(-(v146, 2), v143)), >(+(v145, 1), 6)), <=(-(v145, 2), v143)), >(+(v144, 1), 2)), >(+(v143, 1), 4))
f7707_0_createTree_LE(v147, v148, x83) → f7707_0_createTree_LE(v149, v150, -(x83, 1)) | &&(&&(&&(&&(&&(&&(>(x83, 0), >(+(v150, 1), 6)), <=(-(v150, 2), v147)), >(+(v149, 1), 6)), <=(-(v149, 2), v147)), >(+(v148, 1), 2)), >(+(v147, 1), 4))

(8) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f7707_0_createTree_LE(x81, x83, x85)] = x85

Therefore the following rule(s) have been dropped:

f7707_0_createTree_LE(x0, x1, x2) → f7707_0_createTree_LE(x3, x4, -(x2, 1)) | &&(&&(&&(&&(&&(&&(>(x2, 0), >(+(x4, 1), 1)), <=(+(x4, 2), x1)), >(+(x3, 1), 1)), <=(x3, x0)), >(+(x1, 1), 3)), >(+(x0, 1), 1))
f7707_0_createTree_LE(x5, x6, x7) → f7707_0_createTree_LE(x8, x9, -(x7, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x7, 0), >(+(x9, 1), 1)), <=(+(x9, 2), x6)), <=(+(x9, 2), x5)), >(+(x8, 1), 3)), <=(x8, x6)), <=(x8, x5)), >(+(x6, 1), 3)), >(+(x5, 1), 3))
f7707_0_createTree_LE(x10, x11, x12) → f7707_0_createTree_LE(x13, x14, -(x12, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x12, 0), >(+(x14, 1), 1)), <=(+(x14, 4), x10)), <=(+(x14, 2), x11)), >(+(x13, 1), 5)), <=(x13, x10)), >(+(x11, 1), 3)), >(+(x10, 1), 5))
f7707_0_createTree_LE(x15, x16, x17) → f7707_0_createTree_LE(x18, x19, -(x17, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x17, 0), >=(x15, +(x19, 4))), >=(x15, x18)), >(+(x15, 1), 5)), >(+(x19, 1), 1)), <=(+(x19, 2), x16)), >(+(x18, 1), 5)), >(+(x16, 1), 3))
f7707_0_createTree_LE(x20, x21, x22) → f7707_0_createTree_LE(x23, x24, -(x22, 1)) | &&(&&(&&(&&(&&(&&(>(x22, 0), >(+(x24, 1), 1)), <=(+(x24, 2), x21)), >(+(x23, 1), 1)), <=(x23, x20)), >(+(x21, 1), 3)), >(+(x20, 1), 1))
f7707_0_createTree_LE(x25, x26, x27) → f7707_0_createTree_LE(x28, x29, -(x27, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x27, 0), >(+(x29, 1), 1)), <=(+(x29, 2), x26)), <=(+(x29, 2), x25)), >(+(x28, 1), 3)), <=(x28, x26)), <=(x28, x25)), >(+(x26, 1), 3)), >(+(x25, 1), 3))
f7707_0_createTree_LE(x30, x31, x32) → f7707_0_createTree_LE(x33, x34, -(x32, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x32, 0), >(+(x34, 1), 1)), <=(+(x34, 4), x30)), <=(+(x34, 2), x31)), >(+(x33, 1), 5)), <=(x33, x30)), >(+(x31, 1), 3)), >(+(x30, 1), 5))
f7707_0_createTree_LE(x35, x36, x37) → f7707_0_createTree_LE(x38, x39, -(x37, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x37, 0), >(+(x39, 1), 1)), <=(+(x39, 4), x35)), <=(+(x39, 2), x36)), >(+(x38, 1), 5)), <=(x38, x35)), >(+(x36, 1), 3)), >(+(x35, 1), 5))
f7707_0_createTree_LE(x40, x41, x42) → f7707_0_createTree_LE(x43, x44, -(x42, 1)) | &&(&&(&&(&&(>(x42, 0), >(+(x44, 1), 1)), >(+(x43, 1), 1)), >(+(x41, 1), 2)), >(+(x40, 1), 1))
f7707_0_createTree_LE(x45, x46, x47) → f7707_0_createTree_LE(x48, x49, -(x47, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x47, 0), >(+(x49, 1), 4)), <=(-(x49, 2), x46)), <=(-(x49, 2), x45)), >(+(x48, 1), 4)), <=(-(x48, 2), x46)), <=(-(x48, 2), x45)), >(+(x46, 1), 2)), >(+(x45, 1), 2))
f7707_0_createTree_LE(x50, x51, x52) → f7707_0_createTree_LE(x53, x54, -(x52, 1)) | &&(&&(&&(&&(&&(&&(>(x52, 0), >(+(x54, 1), 6)), <=(-(x54, 2), x50)), >(+(x53, 1), 6)), <=(-(x53, 2), x50)), >(+(x51, 1), 2)), >(+(x50, 1), 4))
f7707_0_createTree_LE(x55, x56, x57) → f7707_0_createTree_LE(x58, x59, -(x57, 1)) | &&(&&(&&(&&(&&(&&(>(x57, 0), >(+(x59, 1), 6)), <=(-(x59, 2), x55)), >(+(x58, 1), 6)), <=(-(x58, 2), x55)), >(+(x56, 1), 2)), >(+(x55, 1), 4))
f7707_0_createTree_LE(x60, x61, x62) → f7707_0_createTree_LE(x63, x64, -(x62, 1)) | &&(&&(&&(&&(>(x62, 0), >(+(x64, 1), 1)), >(+(x63, 1), 1)), >(+(x61, 1), 2)), >(+(x60, 1), 1))
f7707_0_createTree_LE(x65, x66, x67) → f7707_0_createTree_LE(x68, x69, -(x67, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x67, 0), >(+(x69, 1), 4)), <=(-(x69, 2), x66)), <=(-(x69, 2), x65)), >(+(x68, 1), 4)), <=(-(x68, 2), x66)), <=(-(x68, 2), x65)), >(+(x66, 1), 2)), >(+(x65, 1), 2))
f7707_0_createTree_LE(x70, x71, x72) → f7707_0_createTree_LE(x73, x74, -(x72, 1)) | &&(&&(&&(&&(&&(&&(>(x72, 0), >(+(x74, 1), 6)), <=(-(x74, 2), x70)), >(+(x73, 1), 6)), <=(-(x73, 2), x70)), >(+(x71, 1), 2)), >(+(x70, 1), 4))
f7707_0_createTree_LE(x75, x76, x77) → f7707_0_createTree_LE(x78, x79, -(x77, 1)) | &&(&&(&&(&&(&&(&&(>(x77, 0), >(+(x79, 1), 6)), <=(-(x79, 2), x75)), >(+(x78, 1), 6)), <=(-(x78, 2), x75)), >(+(x76, 1), 2)), >(+(x75, 1), 4))

(9) YES

(10) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: FlattenRTA.flatten(LTreeList;)LIntList;
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:

(11) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 112 rules for P and 0 rules for R.

P rules:
f3231_0_flatten_NULL(EOS(STATIC_3231), o954, o954, java.lang.Object(o975sub), java.lang.Object(o975sub)) → f3235_0_flatten_NULL(EOS(STATIC_3235), o954, o954, java.lang.Object(o975sub), java.lang.Object(o975sub))
f3235_0_flatten_NULL(EOS(STATIC_3235), o954, o954, java.lang.Object(o975sub), java.lang.Object(o975sub)) → f3241_0_flatten_Load(EOS(STATIC_3241), o954, o954, java.lang.Object(o975sub))
f3241_0_flatten_Load(EOS(STATIC_3241), o954, o954, java.lang.Object(o975sub)) → f3246_0_flatten_FieldAccess(EOS(STATIC_3246), o954, o954, java.lang.Object(o975sub), java.lang.Object(o975sub))
f3246_0_flatten_FieldAccess(EOS(STATIC_3246), o954, o954, java.lang.Object(o975sub), java.lang.Object(o975sub)) → f3261_0_flatten_FieldAccess(EOS(STATIC_3261), o954, o954, java.lang.Object(o975sub), java.lang.Object(o975sub))
f3246_0_flatten_FieldAccess(EOS(STATIC_3246), java.lang.Object(o984sub), java.lang.Object(o984sub), java.lang.Object(o984sub), java.lang.Object(o984sub)) → f3262_0_flatten_FieldAccess(EOS(STATIC_3262), java.lang.Object(o984sub), java.lang.Object(o984sub), java.lang.Object(o984sub), java.lang.Object(o984sub))
f3261_0_flatten_FieldAccess(EOS(STATIC_3261), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), java.lang.Object(TreeList(EOC, o987, o988))) → f3267_0_flatten_FieldAccess(EOS(STATIC_3267), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), java.lang.Object(TreeList(EOC, o987, o988)))
f3267_0_flatten_FieldAccess(EOS(STATIC_3267), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), java.lang.Object(TreeList(EOC, o987, o988))) → f3279_0_flatten_Store(EOS(STATIC_3279), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), o987)
f3279_0_flatten_Store(EOS(STATIC_3279), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), o987) → f3289_0_flatten_Load(EOS(STATIC_3289), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), o987)
f3289_0_flatten_Load(EOS(STATIC_3289), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), o987) → f3303_0_flatten_NULL(EOS(STATIC_3303), o954, o954, java.lang.Object(TreeList(EOC, o987, o988)), o987, o987)
f3303_0_flatten_NULL(EOS(STATIC_3303), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub), java.lang.Object(o1024sub)) → f3322_0_flatten_NULL(EOS(STATIC_3322), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub), java.lang.Object(o1024sub))
f3303_0_flatten_NULL(EOS(STATIC_3303), o954, o954, java.lang.Object(TreeList(EOC, NULL, o988)), NULL, NULL) → f3323_0_flatten_NULL(EOS(STATIC_3323), o954, o954, java.lang.Object(TreeList(EOC, NULL, o988)), NULL, NULL)
f3322_0_flatten_NULL(EOS(STATIC_3322), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub), java.lang.Object(o1024sub)) → f3343_0_flatten_Load(EOS(STATIC_3343), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3343_0_flatten_Load(EOS(STATIC_3343), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3366_0_flatten_Store(EOS(STATIC_3366), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3366_0_flatten_Store(EOS(STATIC_3366), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3384_0_flatten_New(EOS(STATIC_3384), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3384_0_flatten_New(EOS(STATIC_3384), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3408_0_flatten_Duplicate(EOS(STATIC_3408), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3408_0_flatten_Duplicate(EOS(STATIC_3408), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3430_0_flatten_InvokeMethod(EOS(STATIC_3430), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3430_0_flatten_InvokeMethod(EOS(STATIC_3430), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3456_0__init__Load(EOS(STATIC_3456), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3456_0__init__Load(EOS(STATIC_3456), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3471_0__init__InvokeMethod(EOS(STATIC_3471), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3471_0__init__InvokeMethod(EOS(STATIC_3471), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3479_0__init__Return(EOS(STATIC_3479), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3479_0__init__Return(EOS(STATIC_3479), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3490_0_flatten_Store(EOS(STATIC_3490), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3490_0_flatten_Store(EOS(STATIC_3490), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3497_0_flatten_Load(EOS(STATIC_3497), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3497_0_flatten_Load(EOS(STATIC_3497), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3508_0_flatten_Load(EOS(STATIC_3508), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub))
f3508_0_flatten_Load(EOS(STATIC_3508), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub)) → f3519_0_flatten_FieldAccess(EOS(STATIC_3519), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(o1024sub), o988)), java.lang.Object(o1024sub), java.lang.Object(o1024sub))
f3519_0_flatten_FieldAccess(EOS(STATIC_3519), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3535_0_flatten_FieldAccess(EOS(STATIC_3535), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3535_0_flatten_FieldAccess(EOS(STATIC_3535), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3549_0_flatten_FieldAccess(EOS(STATIC_3549), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3549_0_flatten_FieldAccess(EOS(STATIC_3549), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3558_0_flatten_Load(EOS(STATIC_3558), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3558_0_flatten_Load(EOS(STATIC_3558), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3570_0_flatten_Load(EOS(STATIC_3570), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3570_0_flatten_Load(EOS(STATIC_3570), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3628_0_flatten_FieldAccess(EOS(STATIC_3628), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3628_0_flatten_FieldAccess(EOS(STATIC_3628), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3689_0_flatten_Load(EOS(STATIC_3689), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3689_0_flatten_Load(EOS(STATIC_3689), o954, o954, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3704_0_flatten_Store(EOS(STATIC_3704), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))
f3704_0_flatten_Store(EOS(STATIC_3704), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988))) → f3712_0_flatten_New(EOS(STATIC_3712), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))
f3712_0_flatten_New(EOS(STATIC_3712), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988))) → f3734_0_flatten_Duplicate(EOS(STATIC_3734), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3734_0_flatten_Duplicate(EOS(STATIC_3734), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3741_0_flatten_InvokeMethod(EOS(STATIC_3741), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3741_0_flatten_InvokeMethod(EOS(STATIC_3741), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3768_0__init__Load(EOS(STATIC_3768), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3768_0__init__Load(EOS(STATIC_3768), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3773_0__init__InvokeMethod(EOS(STATIC_3773), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3773_0__init__InvokeMethod(EOS(STATIC_3773), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3780_0__init__Return(EOS(STATIC_3780), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3780_0__init__Return(EOS(STATIC_3780), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3786_0_flatten_Store(EOS(STATIC_3786), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3786_0_flatten_Store(EOS(STATIC_3786), o954, o954, java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3794_0_flatten_Load(EOS(STATIC_3794), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))
f3794_0_flatten_Load(EOS(STATIC_3794), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988))) → f3804_0_flatten_Load(EOS(STATIC_3804), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3804_0_flatten_Load(EOS(STATIC_3804), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3816_0_flatten_FieldAccess(EOS(STATIC_3816), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3816_0_flatten_FieldAccess(EOS(STATIC_3816), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3841_0_flatten_FieldAccess(EOS(STATIC_3841), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), o1150)
f3841_0_flatten_FieldAccess(EOS(STATIC_3841), o954, o954, java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, NULL, NULL)), o1150) → f3869_0_flatten_Load(EOS(STATIC_3869), o954, o954, java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))
f3869_0_flatten_Load(EOS(STATIC_3869), o954, o954, java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988))) → f3895_0_flatten_Load(EOS(STATIC_3895), o954, o954, java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, o1150, NULL)))
f3895_0_flatten_Load(EOS(STATIC_3895), o954, o954, java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, o1150, NULL))) → f3907_0_flatten_FieldAccess(EOS(STATIC_3907), o954, o954, java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))
f3907_0_flatten_FieldAccess(EOS(STATIC_3907), o954, o954, java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(TreeList(EOC, o1150, NULL)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988))) → f3930_0_flatten_Load(EOS(STATIC_3930), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))
f3930_0_flatten_Load(EOS(STATIC_3930), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988))) → f3941_0_flatten_Load(EOS(STATIC_3941), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))
f3941_0_flatten_Load(EOS(STATIC_3941), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(Tree(EOC, i614, o1150, o1151)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988))) → f3949_0_flatten_FieldAccess(EOS(STATIC_3949), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151)))
f3949_0_flatten_FieldAccess(EOS(STATIC_3949), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), java.lang.Object(Tree(EOC, i614, o1150, o1151))) → f3980_0_flatten_FieldAccess(EOS(STATIC_3980), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), o1151)
f3980_0_flatten_FieldAccess(EOS(STATIC_3980), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i614, o1150, o1151)), o988)), o1151) → f3987_0_flatten_JMP(EOS(STATIC_3987), o954put, o954put, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, o1151, o988)))))
f3987_0_flatten_JMP(EOS(STATIC_3987), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, o1151, o988))))) → f4002_0_flatten_JMP(EOS(STATIC_4002), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, o1151, o988)))))
f4002_0_flatten_JMP(EOS(STATIC_4002), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, o1151, o988))))) → f4018_0_flatten_Load(EOS(STATIC_4018), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, o1151, o988)))))
f4018_0_flatten_Load(EOS(STATIC_4018), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, o1151, o988))))) → f3212_0_flatten_Load(EOS(STATIC_3212), o954, o954, java.lang.Object(TreeList(EOC, o1150, java.lang.Object(TreeList(EOC, o1151, o988)))))
f3212_0_flatten_Load(EOS(STATIC_3212), o954, o954, o955) → f3231_0_flatten_NULL(EOS(STATIC_3231), o954, o954, o955, o955)
f3323_0_flatten_NULL(EOS(STATIC_3323), o954, o954, java.lang.Object(TreeList(EOC, NULL, o988)), NULL, NULL) → f3350_0_flatten_Load(EOS(STATIC_3350), o954, o954, java.lang.Object(TreeList(EOC, NULL, o988)))
f3350_0_flatten_Load(EOS(STATIC_3350), o954, o954, java.lang.Object(TreeList(EOC, NULL, o988))) → f3371_0_flatten_FieldAccess(EOS(STATIC_3371), o954, o954, java.lang.Object(TreeList(EOC, NULL, o988)))
f3371_0_flatten_FieldAccess(EOS(STATIC_3371), o954, o954, java.lang.Object(TreeList(EOC, NULL, o988))) → f3390_0_flatten_Store(EOS(STATIC_3390), o954, o954, o988)
f3390_0_flatten_Store(EOS(STATIC_3390), o954, o954, o988) → f3412_0_flatten_JMP(EOS(STATIC_3412), o954, o954, o988)
f3412_0_flatten_JMP(EOS(STATIC_3412), o954, o954, o988) → f3437_0_flatten_Load(EOS(STATIC_3437), o954, o954, o988)
f3437_0_flatten_Load(EOS(STATIC_3437), o954, o954, o988) → f3212_0_flatten_Load(EOS(STATIC_3212), o954, o954, o988)
f3262_0_flatten_FieldAccess(EOS(STATIC_3262), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992))) → f3270_0_flatten_FieldAccess(EOS(STATIC_3270), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)))
f3270_0_flatten_FieldAccess(EOS(STATIC_3270), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992))) → f3281_0_flatten_Store(EOS(STATIC_3281), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), o991)
f3281_0_flatten_Store(EOS(STATIC_3281), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), o991) → f3296_0_flatten_Load(EOS(STATIC_3296), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), o991)
f3296_0_flatten_Load(EOS(STATIC_3296), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), o991) → f3309_0_flatten_NULL(EOS(STATIC_3309), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), java.lang.Object(TreeList(EOC, o991, o992)), o991, o991)
f3309_0_flatten_NULL(EOS(STATIC_3309), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub), java.lang.Object(o1034sub)) → f3339_0_flatten_NULL(EOS(STATIC_3339), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub), java.lang.Object(o1034sub))
f3309_0_flatten_NULL(EOS(STATIC_3309), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), NULL, NULL) → f3340_0_flatten_NULL(EOS(STATIC_3340), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), NULL, NULL)
f3339_0_flatten_NULL(EOS(STATIC_3339), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub), java.lang.Object(o1034sub)) → f3358_0_flatten_Load(EOS(STATIC_3358), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3358_0_flatten_Load(EOS(STATIC_3358), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3376_0_flatten_Store(EOS(STATIC_3376), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3376_0_flatten_Store(EOS(STATIC_3376), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3397_0_flatten_New(EOS(STATIC_3397), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3397_0_flatten_New(EOS(STATIC_3397), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3416_0_flatten_Duplicate(EOS(STATIC_3416), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3416_0_flatten_Duplicate(EOS(STATIC_3416), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3440_0_flatten_InvokeMethod(EOS(STATIC_3440), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3440_0_flatten_InvokeMethod(EOS(STATIC_3440), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3458_0__init__Load(EOS(STATIC_3458), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3458_0__init__Load(EOS(STATIC_3458), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3475_0__init__InvokeMethod(EOS(STATIC_3475), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3475_0__init__InvokeMethod(EOS(STATIC_3475), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3487_0__init__Return(EOS(STATIC_3487), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3487_0__init__Return(EOS(STATIC_3487), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3493_0_flatten_Store(EOS(STATIC_3493), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3493_0_flatten_Store(EOS(STATIC_3493), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3505_0_flatten_Load(EOS(STATIC_3505), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3505_0_flatten_Load(EOS(STATIC_3505), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3512_0_flatten_Load(EOS(STATIC_3512), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub))
f3512_0_flatten_Load(EOS(STATIC_3512), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub)) → f3530_0_flatten_FieldAccess(EOS(STATIC_3530), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(o1034sub), o992)), java.lang.Object(o1034sub), java.lang.Object(o1034sub))
f3530_0_flatten_FieldAccess(EOS(STATIC_3530), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3539_0_flatten_FieldAccess(EOS(STATIC_3539), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3539_0_flatten_FieldAccess(EOS(STATIC_3539), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3555_0_flatten_FieldAccess(EOS(STATIC_3555), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3555_0_flatten_FieldAccess(EOS(STATIC_3555), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3562_0_flatten_Load(EOS(STATIC_3562), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3562_0_flatten_Load(EOS(STATIC_3562), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3576_0_flatten_Load(EOS(STATIC_3576), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3576_0_flatten_Load(EOS(STATIC_3576), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3678_0_flatten_FieldAccess(EOS(STATIC_3678), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3678_0_flatten_FieldAccess(EOS(STATIC_3678), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3700_0_flatten_Load(EOS(STATIC_3700), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3700_0_flatten_Load(EOS(STATIC_3700), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3708_0_flatten_Store(EOS(STATIC_3708), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))
f3708_0_flatten_Store(EOS(STATIC_3708), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992))) → f3731_0_flatten_New(EOS(STATIC_3731), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))
f3731_0_flatten_New(EOS(STATIC_3731), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992))) → f3737_0_flatten_Duplicate(EOS(STATIC_3737), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3737_0_flatten_Duplicate(EOS(STATIC_3737), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3762_0_flatten_InvokeMethod(EOS(STATIC_3762), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3762_0_flatten_InvokeMethod(EOS(STATIC_3762), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3770_0__init__Load(EOS(STATIC_3770), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3770_0__init__Load(EOS(STATIC_3770), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3776_0__init__InvokeMethod(EOS(STATIC_3776), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3776_0__init__InvokeMethod(EOS(STATIC_3776), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3784_0__init__Return(EOS(STATIC_3784), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3784_0__init__Return(EOS(STATIC_3784), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3789_0_flatten_Store(EOS(STATIC_3789), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3789_0_flatten_Store(EOS(STATIC_3789), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3799_0_flatten_Load(EOS(STATIC_3799), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))
f3799_0_flatten_Load(EOS(STATIC_3799), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992))) → f3809_0_flatten_Load(EOS(STATIC_3809), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)))
f3809_0_flatten_Load(EOS(STATIC_3809), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL))) → f3836_0_flatten_FieldAccess(EOS(STATIC_3836), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3836_0_flatten_FieldAccess(EOS(STATIC_3836), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3863_0_flatten_FieldAccess(EOS(STATIC_3863), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), o1153)
f3863_0_flatten_FieldAccess(EOS(STATIC_3863), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, NULL, NULL)), o1153) → f3887_0_flatten_Load(EOS(STATIC_3887), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))
f3887_0_flatten_Load(EOS(STATIC_3887), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992))) → f3900_0_flatten_Load(EOS(STATIC_3900), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)))
f3900_0_flatten_Load(EOS(STATIC_3900), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL))) → f3922_0_flatten_FieldAccess(EOS(STATIC_3922), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))
f3922_0_flatten_FieldAccess(EOS(STATIC_3922), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, NULL)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992))) → f3937_0_flatten_Load(EOS(STATIC_3937), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))
f3937_0_flatten_Load(EOS(STATIC_3937), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992))) → f3946_0_flatten_Load(EOS(STATIC_3946), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))
f3946_0_flatten_Load(EOS(STATIC_3946), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(Tree(EOC, i615, o1153, o1154)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992))) → f3951_0_flatten_FieldAccess(EOS(STATIC_3951), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154)))
f3951_0_flatten_FieldAccess(EOS(STATIC_3951), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(Tree(EOC, i615, o1153, o1154))) → f3982_0_flatten_FieldAccess(EOS(STATIC_3982), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), o1154)
f3982_0_flatten_FieldAccess(EOS(STATIC_3982), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)))), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, i615, o1153, o1154)), o992)), o1154) → f3995_0_flatten_JMP(EOS(STATIC_3995), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, o1154, o992)))))
f3995_0_flatten_JMP(EOS(STATIC_3995), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, o1154, o992))))) → f4008_0_flatten_JMP(EOS(STATIC_4008), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, o1154, o992)))))
f4008_0_flatten_JMP(EOS(STATIC_4008), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, o1154, o992))))) → f4026_0_flatten_Load(EOS(STATIC_4026), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, o1154, o992)))))
f4026_0_flatten_Load(EOS(STATIC_4026), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, o1154, o992))))) → f3212_0_flatten_Load(EOS(STATIC_3212), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1154, o992)), java.lang.Object(TreeList(EOC, o1153, java.lang.Object(TreeList(EOC, o1154, o992)))))
f3340_0_flatten_NULL(EOS(STATIC_3340), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), NULL, NULL) → f3362_0_flatten_Load(EOS(STATIC_3362), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)))
f3362_0_flatten_Load(EOS(STATIC_3362), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992))) → f3379_0_flatten_FieldAccess(EOS(STATIC_3379), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)))
f3379_0_flatten_FieldAccess(EOS(STATIC_3379), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992))) → f3404_0_flatten_Store(EOS(STATIC_3404), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), o992)
f3404_0_flatten_Store(EOS(STATIC_3404), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), o992) → f3426_0_flatten_JMP(EOS(STATIC_3426), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), o992)
f3426_0_flatten_JMP(EOS(STATIC_3426), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), o992) → f3451_0_flatten_Load(EOS(STATIC_3451), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), o992)
f3451_0_flatten_Load(EOS(STATIC_3451), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), o992) → f3212_0_flatten_Load(EOS(STATIC_3212), java.lang.Object(TreeList(EOC, NULL, o992)), java.lang.Object(TreeList(EOC, NULL, o992)), o992)
R rules:

Combined rules. Obtained 4 conditional rules for P and 0 conditional rules for R.

P rules:
f3231_0_flatten_NULL(EOS(STATIC_3231), x0, x0, java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, x1, x2, x3)), x4)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, x1, x2, x3)), x4))) → f3231_0_flatten_NULL(EOS(STATIC_3231), x5, x5, java.lang.Object(TreeList(EOC, x2, java.lang.Object(TreeList(EOC, x3, x4)))), java.lang.Object(TreeList(EOC, x2, java.lang.Object(TreeList(EOC, x3, x4)))))
f3231_0_flatten_NULL(EOS(STATIC_3231), x0, x0, java.lang.Object(TreeList(EOC, NULL, x1)), java.lang.Object(TreeList(EOC, NULL, x1))) → f3231_0_flatten_NULL(EOS(STATIC_3231), x0, x0, x1, x1)
f3231_0_flatten_NULL(EOS(STATIC_3231), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, x0, x1, x2)), x3)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, x0, x1, x2)), x3)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, x0, x1, x2)), x3)), java.lang.Object(TreeList(EOC, java.lang.Object(Tree(EOC, x0, x1, x2)), x3))) → f3231_0_flatten_NULL(EOS(STATIC_3231), java.lang.Object(TreeList(EOC, x2, x3)), java.lang.Object(TreeList(EOC, x2, x3)), java.lang.Object(TreeList(EOC, x1, java.lang.Object(TreeList(EOC, x2, x3)))), java.lang.Object(TreeList(EOC, x1, java.lang.Object(TreeList(EOC, x2, x3)))))
f3231_0_flatten_NULL(EOS(STATIC_3231), java.lang.Object(TreeList(EOC, NULL, x0)), java.lang.Object(TreeList(EOC, NULL, x0)), java.lang.Object(TreeList(EOC, NULL, x0)), java.lang.Object(TreeList(EOC, NULL, x0))) → f3231_0_flatten_NULL(EOS(STATIC_3231), java.lang.Object(TreeList(EOC, NULL, x0)), java.lang.Object(TreeList(EOC, NULL, x0)), x0, x0)
R rules:

Filtered ground terms:

f3231_0_flatten_NULL(x1, x2, x3, x4, x5) → f3231_0_flatten_NULL(x2, x3, x4, x5)
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 all free variables in P and R:

f3231_0_flatten_NULL(x1, x2, x3, x4) → f3231_0_flatten_NULL(x3, x4)

Current set of rules:

P rules:
f3231_0_flatten_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(x2, x3)), x4)), java.lang.Object(TreeList(java.lang.Object(Tree(x2, x3)), x4))) → f3231_0_flatten_NULL(java.lang.Object(TreeList(x2, java.lang.Object(TreeList(x3, x4)))), java.lang.Object(TreeList(x2, java.lang.Object(TreeList(x3, x4)))))
f3231_0_flatten_NULL(java.lang.Object(TreeList(NULL, x1)), java.lang.Object(TreeList(NULL, x1))) → f3231_0_flatten_NULL(x1, x1)
R rules:

Filtered duplicate args:

f3231_0_flatten_NULL(x1, x2) → f3231_0_flatten_NULL(x2)

Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.

P rules:
F3231_0_FLATTEN_NULL(java.lang.Object(TreeList(java.lang.Object(Tree(x2, x3)), x4))) → F3231_0_FLATTEN_NULL(java.lang.Object(TreeList(x2, java.lang.Object(TreeList(x3, x4)))))
F3231_0_FLATTEN_NULL(java.lang.Object(TreeList(NULL, x1))) → F3231_0_FLATTEN_NULL(x1)
R rules:

Finished conversion. Obtained 2 rules for P and 0 rules for R. System has no predefined symbols.

P rules:
F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(java.lang.Object(Tree(x2, x3)), x4))) → F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(x2, java.lang.Object(TreeList(x3, x4)))))
F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(NULL, x1))) → F3231_0_FLATTEN_NULL'(x1)
R rules:

(12) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:
none

R is empty.

The integer pair graph contains the following rules and edges:
(0): F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(java.lang.Object(Tree(x2[0], x3[0])), x4[0]))) → F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(x2[0], java.lang.Object(TreeList(x3[0], x4[0])))))
(1): F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(NULL, x1[1]))) → F3231_0_FLATTEN_NULL'(x1[1])

(0) -> (0), if (java.lang.Object(TreeList(x2[0], java.lang.Object(TreeList(x3[0], x4[0])))) →^* java.lang.Object(TreeList(java.lang.Object(Tree(x2[0]', x3[0]')), x4[0]')))

(0) -> (1), if (java.lang.Object(TreeList(x2[0], java.lang.Object(TreeList(x3[0], x4[0])))) →^* java.lang.Object(TreeList(NULL, x1[1])))

(1) -> (0), if (x1[1] →^* java.lang.Object(TreeList(java.lang.Object(Tree(x2[0], x3[0])), x4[0])))

(1) -> (1), if (x1[1] →^* java.lang.Object(TreeList(NULL, x1[1]')))

The set Q is empty.

(13) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(14) Obligation:

Q DP problem:
The TRS P consists of the following rules:

F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(java.lang.Object(Tree(x2[0], x3[0])), x4[0]))) → F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(x2[0], java.lang.Object(TreeList(x3[0], x4[0])))))
F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(NULL, x1[1]))) → F3231_0_FLATTEN_NULL'(x1[1])

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

(15) UsableRulesReductionPairsProof (EQUIVALENT transformation)

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:

F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(java.lang.Object(Tree(x2[0], x3[0])), x4[0]))) → F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(x2[0], java.lang.Object(TreeList(x3[0], x4[0])))))
F3231_0_FLATTEN_NULL'(java.lang.Object(TreeList(NULL, x1[1]))) → F3231_0_FLATTEN_NULL'(x1[1])

No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

POL(F3231_0_FLATTEN_NULL'(x₁)) = 2·x₁
POL(NULL) = 0
POL(Tree(x₁, x₂)) = 2 + 2·x₁ + x₂
POL(TreeList(x₁, x₂)) = 2·x₁ + x₂
POL(java.lang.Object(x₁)) = 2 + x₁

(16) Obligation:

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

(17) PisEmptyProof (EQUIVALENT transformation)

The TRS P is empty. Hence, there is no (P,Q,R) chain.

(18) YES

(19) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: FlattenRTA.main([Ljava/lang/String;)V
SCC calls the following helper methods: Tree.createTree()LTree;, Tree.createNode()LTree;
Performed SCC analyses:

Used field analysis yielded the following read fields:
Marker field analysis yielded the following relations that could be markers:

(20) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 49 IRules

P rules:
f2090_0_main_LE(EOS, java.lang.Object(ARRAY(i283)), i294, i294) → f2097_0_main_LE(EOS, java.lang.Object(ARRAY(i283)), i294, i294)
f2097_0_main_LE(EOS, java.lang.Object(ARRAY(i283)), i294, i294) → f2113_0_main_InvokeMethod(EOS, java.lang.Object(ARRAY(i283)), i294) | >(i294, 0)
f2113_0_main_InvokeMethod(EOS, java.lang.Object(ARRAY(i283)), i294) → f2126_0_createTree_InvokeMethod(EOS)
f2113_0_main_InvokeMethod(EOS, java.lang.Object(ARRAY(i283)), i294) → f2126_1_createTree_InvokeMethod(EOS, java.lang.Object(ARRAY(i283)), i294)
f2126_0_createTree_InvokeMethod(EOS) → f2139_0_createTree_InvokeMethod(EOS)
f2754_0_createTree_Return(EOS, java.lang.Object(ARRAY(i374)), i294, matching1) → f2760_0_main_Store(EOS, java.lang.Object(ARRAY(i374)), i294) | =(matching1, 0)
f2760_0_main_Store(EOS, java.lang.Object(ARRAY(i374)), i294) → f2764_0_main_New(EOS, java.lang.Object(ARRAY(i374)), i294)
f2764_0_main_New(EOS, java.lang.Object(ARRAY(i374)), i294) → f2807_0_main_Duplicate(EOS, java.lang.Object(ARRAY(i374)), i294)
f2807_0_main_Duplicate(EOS, java.lang.Object(ARRAY(i374)), i294) → f2813_0_main_Load(EOS, java.lang.Object(ARRAY(i374)), i294)
f2813_0_main_Load(EOS, java.lang.Object(ARRAY(i374)), i294) → f2818_0_main_Load(EOS, java.lang.Object(ARRAY(i374)), i294)
f2818_0_main_Load(EOS, java.lang.Object(ARRAY(i374)), i294) → f2825_0_main_InvokeMethod(EOS, java.lang.Object(ARRAY(i374)), i294)
f2825_0_main_InvokeMethod(EOS, java.lang.Object(ARRAY(i374)), i294) → f2829_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294)
f2829_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294) → f2838_0__init__InvokeMethod(EOS, java.lang.Object(ARRAY(i374)), i294)
f2838_0__init__InvokeMethod(EOS, java.lang.Object(ARRAY(i374)), i294) → f2856_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294)
f2856_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294) → f2862_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294)
f2862_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294) → f2869_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i374)), i294)
f2869_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i374)), i294) → f2875_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294)
f2875_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294) → f2880_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294)
f2880_0__init__Load(EOS, java.lang.Object(ARRAY(i374)), i294) → f2885_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i374)), i294)
f2885_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i374)), i294) → f2893_0__init__Return(EOS, java.lang.Object(ARRAY(i374)), i294)
f2893_0__init__Return(EOS, java.lang.Object(ARRAY(i374)), i294) → f2903_0_main_Store(EOS, java.lang.Object(ARRAY(i374)), i294)
f2903_0_main_Store(EOS, java.lang.Object(ARRAY(i374)), i294) → f2910_0_main_Inc(EOS, java.lang.Object(ARRAY(i374)), i294)
f2910_0_main_Inc(EOS, java.lang.Object(ARRAY(i374)), i294) → f2915_0_main_JMP(EOS, java.lang.Object(ARRAY(i374)), +(i294, -1)) | >(i294, 0)
f2915_0_main_JMP(EOS, java.lang.Object(ARRAY(i374)), i419) → f2924_0_main_Load(EOS, java.lang.Object(ARRAY(i374)), i419)
f2924_0_main_Load(EOS, java.lang.Object(ARRAY(i374)), i419) → f2079_0_main_Load(EOS, java.lang.Object(ARRAY(i374)), i419)
f2079_0_main_Load(EOS, java.lang.Object(ARRAY(i283)), i285) → f2090_0_main_LE(EOS, java.lang.Object(ARRAY(i283)), i285, i285)
f7745_0_createTree_Return(EOS, java.lang.Object(ARRAY(i2175)), i294, java.lang.Object(Tree(EOC))) → f6319_0_createTree_Return(EOS, java.lang.Object(ARRAY(i2175)), i294, java.lang.Object(Tree(EOC)))
f6319_0_createTree_Return(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6328_0_main_Store(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6328_0_main_Store(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6335_0_main_New(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6335_0_main_New(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6340_0_main_Duplicate(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6340_0_main_Duplicate(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6344_0_main_Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6344_0_main_Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6351_0_main_Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6351_0_main_Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6355_0_main_InvokeMethod(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6355_0_main_InvokeMethod(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6360_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)))
f6360_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) → f6372_0__init__InvokeMethod(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)))
f6372_0__init__InvokeMethod(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) → f6379_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)))
f6379_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) → f6386_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)))
f6386_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) → f6390_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)))
f6390_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) → f6400_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6400_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6409_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6409_0__init__Load(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6423_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6423_0__init__FieldAccess(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6431_0__init__Return(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC)))
f6431_0__init__Return(EOS, java.lang.Object(ARRAY(i1705)), i294, java.lang.Object(Tree(EOC))) → f6439_0_main_Store(EOS, java.lang.Object(ARRAY(i1705)), i294)
f6439_0_main_Store(EOS, java.lang.Object(ARRAY(i1705)), i294) → f6443_0_main_Inc(EOS, java.lang.Object(ARRAY(i1705)), i294)
f6443_0_main_Inc(EOS, java.lang.Object(ARRAY(i1705)), i294) → f6450_0_main_JMP(EOS, java.lang.Object(ARRAY(i1705)), +(i294, -1)) | >(i294, 0)
f6450_0_main_JMP(EOS, java.lang.Object(ARRAY(i1705)), i1770) → f6461_0_main_Load(EOS, java.lang.Object(ARRAY(i1705)), i1770)
f6461_0_main_Load(EOS, java.lang.Object(ARRAY(i1705)), i1770) → f2079_0_main_Load(EOS, java.lang.Object(ARRAY(i1705)), i1770)
f2126_1_createTree_InvokeMethod(EOS, java.lang.Object(ARRAY(i374)), i294) → f2754_0_createTree_Return(EOS, java.lang.Object(ARRAY(i374)), i294, 0)
f2126_1_createTree_InvokeMethod(EOS, java.lang.Object(ARRAY(i2175)), i294) → f7745_0_createTree_Return(EOS, java.lang.Object(ARRAY(i2175)), i294, java.lang.Object(Tree(EOC)))

Combined rules. Obtained 2 IRules

P rules:
f2090_0_main_LE(EOS, java.lang.Object(ARRAY(x0)), x1, x1) → f2139_0_createTree_InvokeMethod(EOS) | >(x1, 0)
f2090_0_main_LE(EOS, java.lang.Object(ARRAY(x0)), x1, x1) → f2090_0_main_LE(EOS, java.lang.Object(ARRAY(x0)), -(x1, 1), -(x1, 1)) | >(x1, 0)

Filtered ground terms:

f2090_0_main_LE(x1, x2, x3, x4) → f2090_0_main_LE(x2, x3, x4)
Cond_f2090_0_main_LE(x1, x2, x3, x4, x5) → Cond_f2090_0_main_LE(x1, x3, x4, x5)
f2139_0_createTree_InvokeMethod(x1) → f2139_0_createTree_InvokeMethod
Cond_f2090_0_main_LE1(x1, x2, x3, x4, x5) → Cond_f2090_0_main_LE1(x1, x3, x4, x5)

Filtered duplicate terms:

f2090_0_main_LE(x1, x2, x3) → f2090_0_main_LE(x1, x3)
Cond_f2090_0_main_LE(x1, x2, x3, x4) → Cond_f2090_0_main_LE(x1, x2, x4)
Cond_f2090_0_main_LE1(x1, x2, x3, x4) → Cond_f2090_0_main_LE1(x1, x2, x4)

Filtered unneeded terms:

Cond_f2090_0_main_LE(x1, x2, x3) → Cond_f2090_0_main_LE(x1)
Cond_f2090_0_main_LE1(x1, x2, x3) → Cond_f2090_0_main_LE1(x1, x3)
f2090_0_main_LE(x1, x2) → f2090_0_main_LE(x2)

Prepared 2 rules for path length conversion:

P rules:
f2090_0_main_LE(x1) → f2139_0_createTree_InvokeMethod | >(x1, 0)
f2090_0_main_LE(x1) → f2090_0_main_LE(-(x1, 1)) | >(x1, 0)

Finished conversion. Obtained 1 rules.

P rules:
f2090_0_main_LE(x1) → f2090_0_main_LE(-(x1, 1)) | >(x1, 0)

(21) Obligation:

Rules:
f2090_0_main_LE(x1) → f2090_0_main_LE(-(x1, 1)) | >(x1, 0)

(22) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f2090_0_main_LE(x2)] = x2

Therefore the following rule(s) have been dropped:

f2090_0_main_LE(x0) → f2090_0_main_LE(-(x0, 1)) | >(x0, 0)

(0) Obligation:

(1) JBCToGraph (SOUND transformation)

(2) Obligation:

(3) TerminationGraphToSCCProof (SOUND transformation)

(4) Complex Obligation (AND)

(5) Obligation:

(6) SCCToIntTRSProof (SOUND transformation)

(7) Obligation:

(8) PolynomialOrderProcessor (EQUIVALENT transformation)

(9) YES

(10) Obligation:

(11) SCCToIDPv1Proof (SOUND transformation)

(12) Obligation:

(13) IDPtoQDPProof (SOUND transformation)

(14) Obligation:

(15) UsableRulesReductionPairsProof (EQUIVALENT transformation)

(16) Obligation:

(17) PisEmptyProof (EQUIVALENT transformation)

(18) YES

(19) Obligation:

(20) SCCToIntTRSProof (SOUND transformation)

(21) Obligation:

(22) PolynomialOrderProcessor (EQUIVALENT transformation)

(23) YES