Termination of the given JBC could be proven:

0 JBC
↳1 JBCToGraph (⇒, 2258 ms)
↳2 JBCTerminationGraph
↳3 TerminationGraphToSCCProof (⇒, 0 ms)
↳4 AND
    ↳5 JBCTerminationSCC
        ↳6 SCCToIntTRSProof (⇒, 220 ms)
        ↳7 intTRS
        ↳8 LinearRankingProcessor (⇔, 101 ms)
        ↳9 YES
    ↳10 JBCTerminationSCC
        ↳11 SCCToIntTRSProof (⇒, 1985 ms)
        ↳12 intTRS
        ↳13 PolynomialOrderProcessor (⇒, 194 ms)
        ↳14 intTRS
        ↳15 TerminationGraphProcessor (⇔, 0 ms)
        ↳16 YES

(0) Obligation:

JBC Problem based on JBC Program:
package MirrorBinTreeRec;

/**
 * Mirror a binary tree
 * @author cotto
 */
public class MirrorBinTreeRec {
    public static void main(final String[] args) {
        Random.args = args;
        final Tree tree = Tree.createTree();
        mirror(tree);
    }

    public static void mirror(final Tree tree) {
        if (tree == null) {
            return;
        }
        final Tree temp = tree.right;
        tree.right = tree.left;
        tree.left = temp;
        mirror(tree.left);
        mirror(tree.right);
    }
}


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

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


package MirrorBinTreeRec;

public class Tree {
    Tree left;
    Tree right;
    int value;

    public Tree(final Tree l, final Tree r) {
        this.left = l;
        this.right = r;
    }

    public Tree() {
    }

    public static Tree createNode() {
        final Tree result = new Tree();
        result.value = Random.random();
        return result;
    }

    public static Tree createTree() {
        int counter = Random.random();
        if (counter == 0) {
            return null;
        }
        final Tree result = createNode();
        Tree t = result;

        while (counter > 0) {
            final 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(final String[] args) {
        Random.args = args;
        createTree();
    }
}


(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

Termination Graph based on JBC Program:
MirrorBinTreeRec.MirrorBinTreeRec.main([Ljava/lang/String;)V: Graph of 98 nodes with 0 SCCs.

MirrorBinTreeRec.Tree.createTree()LMirrorBinTreeRec/Tree;: Graph of 355 nodes with 1 SCC.

MirrorBinTreeRec.MirrorBinTreeRec.mirror(LMirrorBinTreeRec/Tree;)V: Graph of 61 nodes with 0 SCCs.

MirrorBinTreeRec.Tree.createNode()LMirrorBinTreeRec/Tree;: Graph of 99 nodes with 0 SCCs.


(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 2 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: MirrorBinTreeRec.MirrorBinTreeRec.mirror(LMirrorBinTreeRec/Tree;)V
SCC calls the following helper methods: MirrorBinTreeRec.MirrorBinTreeRec.mirror(LMirrorBinTreeRec/Tree;)V
Performed SCC analyses:
  • Used field analysis yielded the following read fields:
    • MirrorBinTreeRec.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 44 IRules

P rules:
f3481_0_mirror_NONNULL(EOS, java.lang.Object(o1262sub), java.lang.Object(o1262sub), java.lang.Object(o1262sub)) → f3488_0_mirror_NONNULL(EOS, java.lang.Object(o1262sub), java.lang.Object(o1262sub), java.lang.Object(o1262sub))
f3488_0_mirror_NONNULL(EOS, java.lang.Object(o1262sub), java.lang.Object(o1262sub), java.lang.Object(o1262sub)) → f3506_0_mirror_Load(EOS, java.lang.Object(o1262sub), java.lang.Object(o1262sub))
f3506_0_mirror_Load(EOS, java.lang.Object(o1262sub), java.lang.Object(o1262sub)) → f3523_0_mirror_FieldAccess(EOS, java.lang.Object(o1262sub), java.lang.Object(o1262sub), java.lang.Object(o1262sub))
f3523_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276))) → f3538_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)))
f3538_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276))) → f3578_0_mirror_Store(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277)
f3578_0_mirror_Store(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277) → f3583_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277)
f3583_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277) → f3590_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)))
f3590_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276))) → f3595_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)))
f3595_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276))) → f3604_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1276)
f3604_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1277, o1276)), o1276) → f3610_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), o1277)
f3610_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), o1277) → f3620_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)))
f3620_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), o1277, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276))) → f3626_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), o1277)
f3626_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1276)), o1277) → f3637_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)))
f3637_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277))) → f3652_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)))
f3652_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277))) → f3658_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277)
f3658_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277) → f3678_0_mirror_Load(EOS, o1277, o1277)
f3658_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277) → f3678_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277, o1277)
f3678_0_mirror_Load(EOS, o1277, o1277) → f3685_0_mirror_Load(EOS, o1277, o1277)
f3685_0_mirror_Load(EOS, o1277, o1277) → f3472_0_mirror_Load(EOS, o1277, o1277)
f3472_0_mirror_Load(EOS, o1257, o1257) → f3481_0_mirror_NONNULL(EOS, o1257, o1257, o1257)
f3712_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), NULL, NULL) → f3726_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)))
f3726_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL))) → f3730_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)))
f3730_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL))) → f3736_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), o1276)
f3736_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), o1276) → f3738_0_mirror_Load(EOS, o1276, o1276)
f3736_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), o1276) → f3738_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), o1276, o1276)
f3738_0_mirror_Load(EOS, o1276, o1276) → f3742_0_mirror_Load(EOS, o1276, o1276)
f3742_0_mirror_Load(EOS, o1276, o1276) → f3472_0_mirror_Load(EOS, o1276, o1276)
f3850_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f4019_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f4019_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1419, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1418, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1419, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1418, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1418, NULL))) → f4759_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1419, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1418, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1419, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1418, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1418, NULL)))
f4759_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699))) → f4835_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))))
f4835_0_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699))))) → f4851_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))))
f4851_0_mirror_FieldAccess(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699))))) → f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), o1701)
f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), o1701) → f4997_0_mirror_Load(EOS, o1701, o1701)
f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), o1701) → f4997_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), o1701, o1701)
f4997_0_mirror_Load(EOS, o1701, o1701) → f5031_0_mirror_Load(EOS, o1701, o1701)
f5031_0_mirror_Load(EOS, o1701, o1701) → f3472_0_mirror_Load(EOS, o1701, o1701)
f5015_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL))) → f4759_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))
f5475_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963))))) → f4759_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))
f5762_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174))))) → f4759_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))
f3678_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), NULL, NULL) → f3712_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, NULL)), NULL, NULL)
f3678_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277, o1277) → f3850_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f3678_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277, o1277) → f5015_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1793, o1792)), NULL)))
f3678_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277, o1277) → f5475_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1964, o1963)))))
f3678_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, o1277)), o1277, o1277) → f5762_0_mirror_Return(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1276, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2177, o2176)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o2175, o2174)))))

Combined rules. Obtained 9 IRules

P rules:
f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), o1701) → f4997_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1701, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o1700, o1699)))), o1701, o1701)
f3481_0_mirror_NONNULL(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1))) → f3481_0_mirror_NONNULL(EOS, x0, x0, x0)
f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)))), x0) → f3481_0_mirror_NONNULL(EOS, x0, x0, x0)
f3481_0_mirror_NONNULL(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x0)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x0)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x0))) → f3738_1_mirror_Load(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, NULL)), x0, x0)
f3481_0_mirror_NONNULL(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x0)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x0)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x0))) → f3481_0_mirror_NONNULL(EOS, x0, x0, x0)
f3481_0_mirror_NONNULL(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1))) → f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), x1)
f3481_0_mirror_NONNULL(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1))) → f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, x3)), NULL)))), x1)
f3481_0_mirror_NONNULL(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1))) → f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, x3)))))), x1)
f3481_0_mirror_NONNULL(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x0, x1))) → f4877_0_mirror_InvokeMethod(EOS, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, x3)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x4, x5)))))), x1)

Filtered ground terms:


f4877_0_mirror_InvokeMethod(x1, x2, x3) → f4877_0_mirror_InvokeMethod(x2, x3)
f4997_1_mirror_Load(x1, x2, x3, x4) → f4997_1_mirror_Load(x2, x3, x4)
f3481_0_mirror_NONNULL(x1, x2, x3, x4) → f3481_0_mirror_NONNULL(x2, x3, x4)
f3738_1_mirror_Load(x1, x2, x3, x4) → f3738_1_mirror_Load(x2, x3, x4)
MirrorBinTreeRec.Tree(x1, x2, x3) → MirrorBinTreeRec.Tree(x2, x3)

Filtered duplicate terms:


f4877_0_mirror_InvokeMethod(x1, x2) → f4877_0_mirror_InvokeMethod(x1)
f4997_1_mirror_Load(x1, x2, x3) → f4997_1_mirror_Load(x1)
f3481_0_mirror_NONNULL(x1, x2, x3) → f3481_0_mirror_NONNULL(x3)
f3738_1_mirror_Load(x1, x2, x3) → f3738_1_mirror_Load(x1)

Prepared 9 rules for path length conversion:

P rules:
f4877_0_mirror_InvokeMethod(java.lang.Object(MirrorBinTreeRec.Tree(o1701, java.lang.Object(MirrorBinTreeRec.Tree(o1700, o1699)))), o1701) → f4997_1_mirror_Load(java.lang.Object(MirrorBinTreeRec.Tree(o1701, java.lang.Object(MirrorBinTreeRec.Tree(o1700, o1699)))))
f3481_0_mirror_NONNULL(java.lang.Object(MirrorBinTreeRec.Tree(x0, x1))) → f3481_0_mirror_NONNULL(x0)
f4877_0_mirror_InvokeMethod(java.lang.Object(MirrorBinTreeRec.Tree(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)))), x0) → f3481_0_mirror_NONNULL(x0)
f3481_0_mirror_NONNULL(java.lang.Object(MirrorBinTreeRec.Tree(NULL, x0))) → f3738_1_mirror_Load(java.lang.Object(MirrorBinTreeRec.Tree(x0, NULL)))
f3481_0_mirror_NONNULL(java.lang.Object(MirrorBinTreeRec.Tree(NULL, x0))) → f3481_0_mirror_NONNULL(x0)
f3481_0_mirror_NONNULL(java.lang.Object(MirrorBinTreeRec.Tree(x0, x1))) → f4877_0_mirror_InvokeMethod(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)))), x1)
f3481_0_mirror_NONNULL(java.lang.Object(MirrorBinTreeRec.Tree(x0, x1))) → f4877_0_mirror_InvokeMethod(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x2, x3)), NULL)))), x1)
f3481_0_mirror_NONNULL(java.lang.Object(MirrorBinTreeRec.Tree(x0, x1))) → f4877_0_mirror_InvokeMethod(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, java.lang.Object(MirrorBinTreeRec.Tree(x2, x3)))))), x1)
f3481_0_mirror_NONNULL(java.lang.Object(MirrorBinTreeRec.Tree(x0, x1))) → f4877_0_mirror_InvokeMethod(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x2, x3)), java.lang.Object(MirrorBinTreeRec.Tree(x4, x5)))))), x1)

Finished conversion. Obtained 7 rules.

P rules:
f3481_0_mirror_NONNULL(v29) → f3481_0_mirror_NONNULL(v30) | &&(&&(>(+(v30, 1), 0), <=(+(v30, 1), v29)), >(+(v29, 1), 1))
f4877_0_mirror_InvokeMethod(v31, v32) → f3481_0_mirror_NONNULL(v33) | &&(&&(&&(&&(>(+(v33, 1), 0), <=(v33, v32)), <=(+(v33, 2), v31)), >(+(v32, 1), 0)), >(+(v31, 1), 3))
f3481_0_mirror_NONNULL(v34) → f3481_0_mirror_NONNULL(v35) | &&(&&(>(+(v35, 1), 0), <=(+(v35, 2), v34)), >(+(v34, 1), 2))
f3481_0_mirror_NONNULL(v36) → f4877_0_mirror_InvokeMethod(v37, v38) | &&(&&(&&(&&(>(+(v38, 1), 0), <=(+(v38, 1), v36)), >(+(v37, 1), 4)), <=(-(v37, 3), v36)), >(+(v36, 1), 1))
f3481_0_mirror_NONNULL(v39) → f4877_0_mirror_InvokeMethod(v40, v41) | &&(&&(&&(>(+(v41, 1), 0), <=(+(v41, 1), v39)), >(+(v40, 1), 5)), >(+(v39, 1), 1))
f3481_0_mirror_NONNULL(v42) → f4877_0_mirror_InvokeMethod(v43, v44) | &&(&&(&&(>(+(v44, 1), 0), <=(+(v44, 1), v42)), >(+(v43, 1), 5)), >(+(v42, 1), 1))
f3481_0_mirror_NONNULL(v45) → f4877_0_mirror_InvokeMethod(v46, v47) | &&(&&(&&(>(+(v47, 1), 0), <=(+(v47, 1), v45)), >(+(v46, 1), 5)), >(+(v45, 1), 1))

(7) Obligation:

Rules:
f3481_0_mirror_NONNULL(v29) → f3481_0_mirror_NONNULL(v30) | &&(&&(>(+(v30, 1), 0), <=(+(v30, 1), v29)), >(+(v29, 1), 1))
f4877_0_mirror_InvokeMethod(v31, v32) → f3481_0_mirror_NONNULL(v33) | &&(&&(&&(&&(>(+(v33, 1), 0), <=(v33, v32)), <=(+(v33, 2), v31)), >(+(v32, 1), 0)), >(+(v31, 1), 3))
f3481_0_mirror_NONNULL(v34) → f3481_0_mirror_NONNULL(v35) | &&(&&(>(+(v35, 1), 0), <=(+(v35, 2), v34)), >(+(v34, 1), 2))
f3481_0_mirror_NONNULL(v36) → f4877_0_mirror_InvokeMethod(v37, v38) | &&(&&(&&(&&(>(+(v38, 1), 0), <=(+(v38, 1), v36)), >(+(v37, 1), 4)), <=(-(v37, 3), v36)), >(+(v36, 1), 1))
f3481_0_mirror_NONNULL(v39) → f4877_0_mirror_InvokeMethod(v40, v41) | &&(&&(&&(>(+(v41, 1), 0), <=(+(v41, 1), v39)), >(+(v40, 1), 5)), >(+(v39, 1), 1))
f3481_0_mirror_NONNULL(v42) → f4877_0_mirror_InvokeMethod(v43, v44) | &&(&&(&&(>(+(v44, 1), 0), <=(+(v44, 1), v42)), >(+(v43, 1), 5)), >(+(v42, 1), 1))
f3481_0_mirror_NONNULL(v45) → f4877_0_mirror_InvokeMethod(v46, v47) | &&(&&(&&(>(+(v47, 1), 0), <=(+(v47, 1), v45)), >(+(v46, 1), 5)), >(+(v45, 1), 1))

(8) LinearRankingProcessor (EQUIVALENT transformation)

Linear ranking:


[f3481_0_mirror_NONNULL(x)] = 2·x1
[f4877_0_mirror_InvokeMethod(x)] = 1 + 2·x2

where x = (x1, ... ,xn).



Therefore the following rule(s) have been dropped:


f3481_0_mirror_NONNULL(x0) → f3481_0_mirror_NONNULL(x1) | &&(&&(>(+(x1, 1), 0), <=(+(x1, 1), x0)), >(+(x0, 1), 1))
f4877_0_mirror_InvokeMethod(x2, x3) → f3481_0_mirror_NONNULL(x4) | &&(&&(&&(&&(>(+(x4, 1), 0), <=(x4, x3)), <=(+(x4, 2), x2)), >(+(x3, 1), 0)), >(+(x2, 1), 3))
f3481_0_mirror_NONNULL(x5) → f3481_0_mirror_NONNULL(x6) | &&(&&(>(+(x6, 1), 0), <=(+(x6, 2), x5)), >(+(x5, 1), 2))
f3481_0_mirror_NONNULL(x7) → f4877_0_mirror_InvokeMethod(x8, x9) | &&(&&(&&(&&(>(+(x9, 1), 0), <=(+(x9, 1), x7)), >(+(x8, 1), 4)), <=(-(x8, 3), x7)), >(+(x7, 1), 1))
f3481_0_mirror_NONNULL(x10) → f4877_0_mirror_InvokeMethod(x11, x12) | &&(&&(&&(>(+(x12, 1), 0), <=(+(x12, 1), x10)), >(+(x11, 1), 5)), >(+(x10, 1), 1))
f3481_0_mirror_NONNULL(x13) → f4877_0_mirror_InvokeMethod(x14, x15) | &&(&&(&&(>(+(x15, 1), 0), <=(+(x15, 1), x13)), >(+(x14, 1), 5)), >(+(x13, 1), 1))
f3481_0_mirror_NONNULL(x16) → f4877_0_mirror_InvokeMethod(x17, x18) | &&(&&(&&(>(+(x18, 1), 0), <=(+(x18, 1), x16)), >(+(x17, 1), 5)), >(+(x16, 1), 1))

(9) YES

(10) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: MirrorBinTreeRec.Tree.createTree()LMirrorBinTreeRec/Tree;
SCC calls the following helper methods: MirrorBinTreeRec.Tree.createNode()LMirrorBinTreeRec/Tree;
Performed SCC analyses:
  • Used field analysis yielded the following read fields:
    • java.lang.String: [count]
    • MirrorBinTreeRec.Tree: [right, left]
  • Marker field analysis yielded the following relations that could be markers:

(11) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 238 IRules

P rules:
f7919_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2936) → f7922_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2936)
f7922_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2936) → f7927_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) | >(i2936, 0)
f7927_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f7931_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub))
f7931_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f7946_0_random_ArrayLength(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)))
f7946_0_random_ArrayLength(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740))) → f7954_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740) | >=(i2740, 0)
f7954_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740) → f7959_0_random_GT(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740, i2741)
f7959_0_random_GT(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740, i2741) → f7961_0_random_GT(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740, i2741)
f7959_0_random_GT(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740, i2741) → f7962_0_random_GT(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740, i2741)
f7961_0_random_GT(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740, i2741) → f7966_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) | >(i2740, i2741)
f7966_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f7972_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)))
f7972_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740))) → f7981_0_random_ArrayAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)), i2741)
f7981_0_random_ArrayAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)), i2957) → f7987_0_random_ArrayAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)), i2957)
f7987_0_random_ArrayAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)), i2957) → f7993_0_random_ArrayAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)), i2957)
f7993_0_random_ArrayAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(ARRAY(i2740)), i2957) → f8000_0_random_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355) | <(i2957, i2740)
f8000_0_random_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355) → f8010_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355)
f8010_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355) → f8019_0_random_ConstantStackPush(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355, i2957)
f8019_0_random_ConstantStackPush(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355, i2957) → f8037_0_random_IntArithmetic(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355, i2957, 1)
f8037_0_random_IntArithmetic(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355, i2957, matching1) → f8060_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355, +(i2957, 1)) | &&(>=(i2957, 0), =(matching1, 1))
f8060_0_random_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355, i2974) → f8080_0_random_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355)
f8080_0_random_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355) → f8112_0_random_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), o3355, o3355)
f8112_0_random_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub), java.lang.Object(o3454sub)) → f8142_0_random_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub), java.lang.Object(o3454sub))
f8112_0_random_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), NULL, NULL) → f8144_0_random_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), NULL, NULL)
f8142_0_random_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub), java.lang.Object(o3454sub)) → f8173_0_random_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub))
f8173_0_random_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub)) → f8219_0_random_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub))
f8219_0_random_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub)) → f8263_0_length_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub), java.lang.Object(o3454sub))
f8263_0_length_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub), java.lang.Object(o3454sub)) → f8378_0_length_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3454sub), java.lang.Object(o3454sub))
f8378_0_length_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(java.lang.String(o3701sub, i3130)), java.lang.Object(java.lang.String(o3701sub, i3130))) → f8518_0_length_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(java.lang.String(o3701sub, i3130)), java.lang.Object(java.lang.String(o3701sub, i3130))) | >=(i3130, 0)
f8518_0_length_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(java.lang.String(o3701sub, i3130)), java.lang.Object(java.lang.String(o3701sub, i3130))) → f8708_0_length_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(java.lang.String(o3701sub, i3130)), i3130)
f8708_0_length_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(java.lang.String(o3701sub, i3130)), i3130) → f8828_0_random_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3130)
f8828_0_random_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3130) → f8925_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3130)
f8925_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3130) → f9014_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3130)
f9014_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3130) → f9050_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3130)
f9050_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), matching1) → f9064_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), 0) | =(matching1, 0)
f9050_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3376) → f9065_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3376)
f9064_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), matching1) → f9077_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) | &&(<=(0, 0), =(matching1, 0))
f9077_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f9099_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f9099_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub)) → f8013_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f8013_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub)) → f8031_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f8013_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o3366sub))), java.lang.Object(o3366sub), java.lang.Object(o3366sub)) → f8032_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o3366sub))), java.lang.Object(o3366sub), java.lang.Object(o3366sub))
f8031_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub)) → f8050_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f8031_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3372sub), o3319)), java.lang.Object(o3372sub), java.lang.Object(o3372sub)) → f8051_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3372sub), o3319)), java.lang.Object(o3372sub), java.lang.Object(o3372sub))
f8050_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub)) → f8069_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f8050_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319))) → f8070_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)))
f8069_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3392, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3392, o3391))) → f8085_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3392, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3392, o3391)))
f8085_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3392, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3392, o3391))) → f8128_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3392, o3391)), o3392)
f8128_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3456sub), o3391)), java.lang.Object(o3456sub)) → f8146_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3456sub), o3391)), java.lang.Object(o3456sub))
f8128_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), NULL) → f8147_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), NULL)
f8146_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3456sub), o3391)), java.lang.Object(o3456sub)) → f8186_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3456sub), o3391)))
f8186_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3456sub), o3391))) → f8232_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3456sub), o3391)))
f8232_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3456sub), o3391))) → f8286_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub))
f8286_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub)) → f8306_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub))
f8306_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub)) → f8385_0_createTree_JMP(EOS, +(i2936, -1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub)) | >(i2936, 0)
f8385_0_createTree_JMP(EOS, i3052, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub)) → f8526_0_createTree_Load(EOS, i3052, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub))
f8526_0_createTree_Load(EOS, i3052, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub)) → f7909_0_createTree_Load(EOS, i3052, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3456sub))
f7909_0_createTree_Load(EOS, i2925, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f7919_0_createTree_LE(EOS, i2925, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2925)
f8147_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), NULL) → f8194_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)))
f8194_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391))) → f8240_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)))
f8240_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391))) → f8289_0_createNode_New(EOS)
f8240_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391))) → f8289_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)))
f8289_0_createNode_New(EOS) → f8307_0_createNode_New(EOS)
f8719_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8746_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8746_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3819)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8850_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3819)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8850_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3819)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8952_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817put, o3816put)))
f8952_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816))) → f9019_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)))
f9019_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816))) → f9057_0_createTree_JMP(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)))
f9057_0_createTree_JMP(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816))) → f9071_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)))
f9071_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816))) → f9088_0_createTree_JMP(EOS, +(i2936, -1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816))) | >(i2936, 0)
f9088_0_createTree_JMP(EOS, i3384, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816))) → f9111_0_createTree_Load(EOS, i3384, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)))
f9111_0_createTree_Load(EOS, i3384, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816))) → f7909_0_createTree_Load(EOS, i3384, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3817, o3816)))
f8745_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8746_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8070_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319))) → f8091_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), o3320)
f8091_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(o3452sub)) → f8130_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(o3452sub))
f8091_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), NULL) → f8131_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), NULL)
f8130_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(o3452sub)) → f8148_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)))
f8148_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319))) → f8197_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)))
f8197_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319))) → f8244_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(o3452sub))
f8244_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(o3452sub)) → f8286_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3452sub), o3319)), java.lang.Object(o3452sub))
f8131_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), NULL) → f8152_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)))
f8152_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319))) → f8200_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)))
f8200_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319))) → f8246_0_createNode_New(EOS)
f8200_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319))) → f8246_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)))
f8246_0_createNode_New(EOS) → f8292_0_createNode_New(EOS)
f8621_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8637_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8637_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3735)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3735)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8793_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3735)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3735)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8793_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3735)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3735)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8866_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3735)))
f8866_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3735))) → f8952_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3735)))
f8636_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8637_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8051_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382))) → f8072_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)))
f8072_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382))) → f8102_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3383, o3382)), o3383)
f8102_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), java.lang.Object(o3453sub)) → f8133_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), java.lang.Object(o3453sub))
f8102_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), NULL) → f8134_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), NULL)
f8133_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), java.lang.Object(o3453sub)) → f8159_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)))
f8159_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382))) → f8204_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)))
f8204_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382))) → f8253_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(o3453sub))
f8253_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(o3453sub)) → f8286_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3453sub), o3382)), o3319)), java.lang.Object(o3453sub))
f8134_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), NULL) → f8164_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)))
f8164_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382))) → f8210_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)))
f8210_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382))) → f8255_0_createNode_New(EOS)
f8210_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382))) → f8255_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)))
f8255_0_createNode_New(EOS) → f8294_0_createNode_New(EOS)
f8658_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8674_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8674_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3766)), o3764)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3766)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8810_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3766)), o3764)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3766)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8810_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3766)), o3764)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3766)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8875_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3766)), o3764)))
f8875_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3766)), o3764))) → f8952_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3766)), o3764)))
f8673_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8674_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8032_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374))) → f8054_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)))
f8054_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374))) → f8075_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3375, o3374)), o3375)
f8075_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)), java.lang.Object(o3419sub)) → f8105_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)), java.lang.Object(o3419sub))
f8075_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), NULL) → f8106_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), NULL)
f8105_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)), java.lang.Object(o3419sub)) → f8136_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))
f8136_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374))) → f8166_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))
f8166_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374))) → f8212_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(o3419sub))
f8212_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(o3419sub)) → f8286_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o3419sub), o3374)))), java.lang.Object(o3419sub))
f8106_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), NULL) → f8138_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))
f8138_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374))) → f8168_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))
f8168_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374))) → f8214_0_createNode_New(EOS)
f8168_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374))) → f8214_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))
f8214_0_createNode_New(EOS) → f8259_0_createNode_New(EOS)
f8482_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8496_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8496_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3684, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3683)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3683)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8699_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3684, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3683)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3683)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8699_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3684, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3683)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3683)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8820_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3684, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3683)))))
f8820_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3684, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3683))))) → f8952_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3684, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), o3683)))))
f8495_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f8496_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9065_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i3376) → f9079_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) | >(i3376, 0)
f9079_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f9100_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f9100_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub)) → f9120_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f9100_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4118sub))), java.lang.Object(o4118sub), java.lang.Object(o4118sub)) → f9121_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4118sub))), java.lang.Object(o4118sub), java.lang.Object(o4118sub))
f9120_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub)) → f9132_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f9120_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o4122sub), o3319)), java.lang.Object(o4122sub), java.lang.Object(o4122sub)) → f9133_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(o4122sub), o3319)), java.lang.Object(o4122sub), java.lang.Object(o4122sub))
f9132_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub)) → f9145_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f9132_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319))) → f9146_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)))
f9145_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, o4136)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, o4136))) → f9158_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, o4136)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, o4136)))
f9158_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, o4136)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, o4136))) → f9192_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, o4136)), o4136)
f9192_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, java.lang.Object(o4201sub))), java.lang.Object(o4201sub)) → f9211_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, java.lang.Object(o4201sub))), java.lang.Object(o4201sub))
f9192_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), NULL) → f9212_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), NULL)
f9211_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, java.lang.Object(o4201sub))), java.lang.Object(o4201sub)) → f9258_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, java.lang.Object(o4201sub))))
f9258_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, java.lang.Object(o4201sub)))) → f9323_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, java.lang.Object(o4201sub))))
f9323_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, java.lang.Object(o4201sub)))) → f9369_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub))
f9369_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub)) → f9389_0_createTree_JMP(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub))
f9389_0_createTree_JMP(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub)) → f9435_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub))
f9435_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub)) → f9532_0_createTree_JMP(EOS, +(i2936, -1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub)) | >(i2936, 0)
f9532_0_createTree_JMP(EOS, i3549, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub)) → f9624_0_createTree_Load(EOS, i3549, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub))
f9624_0_createTree_Load(EOS, i3549, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub)) → f7909_0_createTree_Load(EOS, i3549, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o4201sub))
f9212_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), NULL) → f9289_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)))
f9289_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL))) → f9327_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)))
f9327_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL))) → f9382_0_createNode_New(EOS)
f9327_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL))) → f9382_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)))
f9382_0_createNode_New(EOS) → f9391_0_createNode_New(EOS)
f9625_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9648_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9648_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4529, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9691_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4529, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9691_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4529, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9742_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527put, o4526put)))
f9742_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526))) → f9813_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)))
f9813_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526))) → f9829_0_createTree_JMP(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)))
f9829_0_createTree_JMP(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526))) → f9842_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)))
f9842_0_createTree_Inc(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526))) → f9847_0_createTree_JMP(EOS, +(i2936, -1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526))) | >(i2936, 0)
f9847_0_createTree_JMP(EOS, i3751, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526))) → f9853_0_createTree_Load(EOS, i3751, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)))
f9853_0_createTree_Load(EOS, i3751, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526))) → f7909_0_createTree_Load(EOS, i3751, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4527, o4526)))
f9647_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9648_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9146_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319))) → f9159_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), o3319)
f9159_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(o4195sub)) → f9194_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(o4195sub))
f9159_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), NULL) → f9195_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), NULL)
f9194_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(o4195sub)) → f9215_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))))
f9215_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub)))) → f9300_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))))
f9300_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub)))) → f9330_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(o4195sub))
f9330_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(o4195sub)) → f9369_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(o4195sub))), java.lang.Object(o4195sub))
f9195_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), NULL) → f9218_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)))
f9218_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL))) → f9304_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)))
f9304_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL))) → f9332_0_createNode_New(EOS)
f9304_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL))) → f9332_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)))
f9332_0_createNode_New(EOS) → f9385_0_createNode_New(EOS)
f9576_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9591_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9591_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9656_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9656_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9703_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))))
f9703_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))))) → f9742_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4482, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))))
f9590_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9591_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9133_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131))) → f9148_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)))
f9148_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131))) → f9170_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, o4131)), o4131)
f9170_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), java.lang.Object(o4197sub)) → f9198_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), java.lang.Object(o4197sub))
f9170_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), NULL) → f9199_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), NULL)
f9198_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), java.lang.Object(o4197sub)) → f9223_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))))
f9223_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub)))) → f9310_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))))
f9310_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub)))) → f9338_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(o4197sub))
f9338_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(o4197sub)) → f9369_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, java.lang.Object(o4197sub))), o3319)), java.lang.Object(o4197sub))
f9199_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), NULL) → f9228_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)))
f9228_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL))) → f9313_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)))
f9313_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL))) → f9339_0_createNode_New(EOS)
f9313_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL))) → f9339_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)))
f9339_0_createNode_New(EOS) → f9388_0_createNode_New(EOS)
f9595_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9611_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9611_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, NULL)), o4497)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9667_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, NULL)), o4497)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9667_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, NULL)), o4497)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9711_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), o4497)))
f9711_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), o4497))) → f9742_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4499, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), o4497)))
f9610_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9611_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9121_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124))) → f9135_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)))
f9135_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124))) → f9151_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, o4124)), o4124)
f9151_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))), java.lang.Object(o4165sub)) → f9172_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))), java.lang.Object(o4165sub))
f9151_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), NULL) → f9173_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), NULL)
f9172_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))), java.lang.Object(o4165sub)) → f9200_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))
f9200_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub)))) → f9230_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))
f9230_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub)))) → f9315_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(o4165sub))
f9315_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(o4165sub)) → f9369_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, java.lang.Object(o4165sub))))), java.lang.Object(o4165sub))
f9173_0_createTree_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), NULL) → f9202_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))
f9202_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL))) → f9232_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))
f9232_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL))) → f9316_0_createNode_New(EOS)
f9232_0_createTree_InvokeMethod(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL))) → f9316_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))
f9316_0_createNode_New(EOS) → f9343_0_createNode_New(EOS)
f9511_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9525_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9525_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4450, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9616_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4450, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9616_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4450, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9675_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4450, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))))))
f9675_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4450, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))))))) → f9742_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4450, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4449, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))))))
f9524_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL))) → f9525_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8144_0_random_NONNULL(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), NULL, NULL) → f8176_0_random_ConstantStackPush(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), NULL)
f8176_0_random_ConstantStackPush(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), NULL) → f8222_0_random_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), NULL, 0)
f8222_0_random_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), NULL, matching1) → f8266_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), 0) | =(matching1, 0)
f8266_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), matching1) → f8925_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), 0) | =(matching1, 0)
f7962_0_random_GT(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), i2740, i2741) → f7969_0_random_ConstantStackPush(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) | <=(i2740, i2741)
f7969_0_random_ConstantStackPush(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f7975_0_random_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), 0)
f7975_0_random_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), matching1) → f7983_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), 0) | =(matching1, 0)
f7983_0_createTree_Store(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), matching1) → f7989_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), 0) | =(matching1, 0)
f7989_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), matching1) → f7996_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), 0) | =(matching1, 0)
f7996_0_createTree_LE(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), matching1) → f8004_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) | &&(<=(0, 0), =(matching1, 0))
f8004_0_createTree_Load(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub)) → f8013_0_createTree_FieldAccess(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(o3321sub), java.lang.Object(o3321sub))
f8289_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391))) → f8719_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8289_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391))) → f8745_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3391)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8246_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319))) → f8621_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8246_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319))) → f8636_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8255_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382))) → f8658_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8255_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382))) → f8673_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3382)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8214_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374))) → f8482_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f8214_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374))) → f8495_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, o3374)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9382_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL))) → f9625_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9382_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL))) → f9647_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4137, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9332_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL))) → f9576_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9332_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL))) → f9590_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9339_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL))) → f9595_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9339_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL))) → f9610_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), o3319)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4132, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9316_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL))) → f9511_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))
f9316_1_createNode_New(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL))) → f9524_0_createNode_Return(EOS, i2936, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o3320, java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, o4125, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))

Combined rules. Obtained 28 IRules

P rules:
f7919_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), x0) → f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), x4) | &&(>(x0, 0), >(+(x4, 1), 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), 0) → f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), java.lang.Object(x3))
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x3), x4)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x3), x4))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x3)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x3))) → f8307_0_createNode_New(EOS)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1))) → f8292_0_createNode_New(EOS)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1))) → f8294_0_createNode_New(EOS)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x2), x3)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x2), x3))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x2)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x2))) → f8259_0_createNode_New(EOS)
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x3, java.lang.Object(x4))), x5) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x4), -(x0, 1)) | &&(>(x0, 0), >(x5, 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x3, NULL)), x4) → f9391_0_createNode_New(EOS) | >(x4, 0)
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(x2))), x3) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), x2) → f9385_0_createNode_New(EOS) | >(x2, 0)
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(x2))), x4) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), x3) → f9388_0_createNode_New(EOS) | >(x3, 0)
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, java.lang.Object(x3))), x4) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(x3), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, NULL)), x3) → f9343_0_createNode_New(EOS) | >(x3, 0)
f7919_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), x0) → f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), 0) | >(x0, 0)
f7919_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), x0) → f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(x3), java.lang.Object(x3)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x3)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x3))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x4, x5)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x4, x5)), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), x1)), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x1))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), x1)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), x1)), x2)), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x2)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, x2))) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), x2)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)), x2)))), -(x0, 1)) | >(x0, 0)
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x3, NULL)), x4) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x5, x6)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x5, x6)), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), x2) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), -(x0, 1)) | &&(>(x0, 0), >(x2, 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, NULL)), x3) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), x2)), java.lang.Object(MirrorBinTreeRec.Tree(EOC, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))), x2)), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f9050_0_createTree_LE(EOS, x0, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, NULL)), x3) → f7919_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))))), java.lang.Object(MirrorBinTreeRec.Tree(EOC, x1, java.lang.Object(MirrorBinTreeRec.Tree(EOC, x2, java.lang.Object(MirrorBinTreeRec.Tree(EOC, NULL, NULL)))))), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))

Filtered ground terms:


f7919_0_createTree_LE(x1, x2, x3, x4, x5) → f7919_0_createTree_LE(x2, x3, x4, x5)
Cond_f7919_0_createTree_LE(x1, x2, x3, x4, x5, x6, x7) → Cond_f7919_0_createTree_LE(x1, x3, x4, x5, x6, x7)
f9050_0_createTree_LE(x1, x2, x3, x4, x5) → f9050_0_createTree_LE(x2, x3, x4, x5)
f8013_0_createTree_FieldAccess(x1, x2, x3, x4, x5) → f8013_0_createTree_FieldAccess(x2, x3, x4, x5)
Cond_f8013_0_createTree_FieldAccess(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess(x1, x3, x4, x5, x6)
f8307_0_createNode_New(x1) → f8307_0_createNode_New
Cond_f8013_0_createTree_FieldAccess1(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess1(x1, x3, x4, x5, x6)
f8292_0_createNode_New(x1) → f8292_0_createNode_New
Cond_f8013_0_createTree_FieldAccess2(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess2(x1, x3, x4, x5, x6)
f8294_0_createNode_New(x1) → f8294_0_createNode_New
Cond_f8013_0_createTree_FieldAccess3(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess3(x1, x3, x4, x5, x6)
f8259_0_createNode_New(x1) → f8259_0_createNode_New
Cond_f9050_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE(x1, x3, x4, x5, x6)
Cond_f9050_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE1(x1, x3, x4, x5, x6)
f9391_0_createNode_New(x1) → f9391_0_createNode_New
Cond_f9050_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_f9050_0_createTree_LE3(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE3(x1, x3, x4, x5, x6)
f9385_0_createNode_New(x1) → f9385_0_createNode_New
Cond_f9050_0_createTree_LE4(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE4(x1, x3, x4, x5, x6)
Cond_f9050_0_createTree_LE5(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE5(x1, x3, x4, x5, x6)
f9388_0_createNode_New(x1) → f9388_0_createNode_New
Cond_f9050_0_createTree_LE6(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE6(x1, x3, x4, x5, x6)
Cond_f9050_0_createTree_LE7(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE7(x1, x3, x4, x5, x6)
f9343_0_createNode_New(x1) → f9343_0_createNode_New
Cond_f7919_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_f7919_0_createTree_LE1(x1, x3, x4, x5, x6)
Cond_f7919_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_f7919_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_f8013_0_createTree_FieldAccess4(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f8013_0_createTree_FieldAccess4(x1, x3, x4, x5, x6, x7, x8)
Cond_f8013_0_createTree_FieldAccess5(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess5(x1, x3, x4, x5, x6)
Cond_f8013_0_createTree_FieldAccess6(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess6(x1, x3, x4, x5, x6)
Cond_f8013_0_createTree_FieldAccess7(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess7(x1, x3, x4, x5, x6)
Cond_f9050_0_createTree_LE8(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f9050_0_createTree_LE8(x1, x3, x4, x5, x6, x7, x8)
Cond_f9050_0_createTree_LE9(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE9(x1, x3, x4, x5, x6)
Cond_f9050_0_createTree_LE10(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE10(x1, x3, x4, x5, x6)
Cond_f9050_0_createTree_LE11(x1, x2, x3, x4, x5, x6) → Cond_f9050_0_createTree_LE11(x1, x3, x4, x5, x6)
MirrorBinTreeRec.Tree(x1, x2, x3) → MirrorBinTreeRec.Tree(x2, x3)

Filtered duplicate terms:


f7919_0_createTree_LE(x1, x2, x3, x4) → f7919_0_createTree_LE(x2, x3, x4)
Cond_f7919_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_f7919_0_createTree_LE(x1, x3, x4, x5, x6)
f8013_0_createTree_FieldAccess(x1, x2, x3, x4) → f8013_0_createTree_FieldAccess(x1, x2, x4)
Cond_f8013_0_createTree_FieldAccess(x1, x2, x3, x4, x5) → Cond_f8013_0_createTree_FieldAccess(x1, x2, x3, x5)
Cond_f8013_0_createTree_FieldAccess1(x1, x2, x3, x4, x5) → Cond_f8013_0_createTree_FieldAccess1(x1, x2, x5)
Cond_f8013_0_createTree_FieldAccess2(x1, x2, x3, x4, x5) → Cond_f8013_0_createTree_FieldAccess2(x1, x2, x3)
Cond_f8013_0_createTree_FieldAccess3(x1, x2, x3, x4, x5) → Cond_f8013_0_createTree_FieldAccess3(x1, x2, x3)
Cond_f9050_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE2(x1, x2, x4, x5)
Cond_f9050_0_createTree_LE3(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE3(x1, x2, x4, x5)
Cond_f9050_0_createTree_LE4(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE4(x1, x2, x3, x5)
Cond_f9050_0_createTree_LE5(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE5(x1, x2, x3, x5)
Cond_f9050_0_createTree_LE6(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE6(x1, x2, x3, x5)
Cond_f9050_0_createTree_LE7(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE7(x1, x2, x3, x5)
Cond_f7919_0_createTree_LE1(x1, x2, x3, x4, x5) → Cond_f7919_0_createTree_LE1(x1, x3, x4, x5)
Cond_f7919_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_f7919_0_createTree_LE2(x1, x3, x4, x5)
Cond_f8013_0_createTree_FieldAccess4(x1, x2, x3, x4, x5, x6, x7) → Cond_f8013_0_createTree_FieldAccess4(x1, x2, x3, x5, x6, x7)
Cond_f8013_0_createTree_FieldAccess5(x1, x2, x3, x4, x5) → Cond_f8013_0_createTree_FieldAccess5(x1, x2, x5)
Cond_f8013_0_createTree_FieldAccess6(x1, x2, x3, x4, x5) → Cond_f8013_0_createTree_FieldAccess6(x1, x2, x3)
Cond_f8013_0_createTree_FieldAccess7(x1, x2, x3, x4, x5) → Cond_f8013_0_createTree_FieldAccess7(x1, x2, x3)
Cond_f9050_0_createTree_LE9(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE9(x1, x2, x4, x5)
Cond_f9050_0_createTree_LE10(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE10(x1, x2, x3, x5)
Cond_f9050_0_createTree_LE11(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE11(x1, x2, x3, x5)

Filtered unneeded terms:


Cond_f9050_0_createTree_LE(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE(x1, x2, x3, x4)
Cond_f9050_0_createTree_LE1(x1, x2, x3, x4, x5) → Cond_f9050_0_createTree_LE1(x1)
Cond_f9050_0_createTree_LE2(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE2(x1, x2, x3)
Cond_f9050_0_createTree_LE3(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE3(x1)
Cond_f9050_0_createTree_LE4(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE4(x1, x2, x3)
Cond_f9050_0_createTree_LE5(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE5(x1)
Cond_f9050_0_createTree_LE6(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE6(x1, x2, x3)
Cond_f9050_0_createTree_LE7(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE7(x1)
Cond_f8013_0_createTree_FieldAccess4(x1, x2, x3, x4, x5, x6) → Cond_f8013_0_createTree_FieldAccess4(x1, x2, x5, x6)
Cond_f9050_0_createTree_LE8(x1, x2, x3, x4, x5, x6, x7) → Cond_f9050_0_createTree_LE8(x1, x2, x6, x7)
Cond_f9050_0_createTree_LE9(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE9(x1, x2, x3)
Cond_f9050_0_createTree_LE10(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE10(x1, x2, x3)
Cond_f9050_0_createTree_LE11(x1, x2, x3, x4) → Cond_f9050_0_createTree_LE11(x1, x2, x3)

Prepared 28 rules for path length conversion:

P rules:
f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3), x0) → f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3), x4) | &&(>(x0, 0), >(+(x4, 1), 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3), 0) → f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3))
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x3), x4))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x3))) → f8307_0_createNode_New
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x1), x2)), java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x1), x2))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x1), x2)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1))) → f8292_0_createNode_New
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x1), x2)), x3)), java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x1), x2))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x1), x2)), x3)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1))) → f8294_0_createNode_New
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x2), x3)))), java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x2), x3))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(x2), x3)))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, x2)))), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x2))) → f8259_0_createNode_New
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(x3, java.lang.Object(x4))), x5) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x4), -(x0, 1)) | &&(>(x0, 0), >(x5, 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(x3, NULL)), x4) → f9391_0_createNode_New | >(x4, 0)
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(x2))), java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(x2))), x3) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(x2))), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), x2) → f9385_0_createNode_New | >(x2, 0)
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(x2))), x3)), java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(x2))), x4) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(x2))), x3)), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), x3) → f9388_0_createNode_New | >(x3, 0)
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(x2, java.lang.Object(x3))))), java.lang.Object(MirrorBinTreeRec.Tree(x2, java.lang.Object(x3))), x4) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(x2, java.lang.Object(x3))))), java.lang.Object(x3), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(x2, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(x2, NULL)), x3) → f9343_0_createNode_New | >(x3, 0)
f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3), x0) → f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3), 0) | >(x0, 0)
f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3), x0) → f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(x3)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x3))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x4, x5)), java.lang.Object(MirrorBinTreeRec.Tree(x4, x5)), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1)), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)), x1)), java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)), x1)), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x1))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)), x1)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)), x1)), x2)), -(x0, 1)) | >(x0, 0)
f8013_0_createTree_FieldAccess(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, x2)))), java.lang.Object(MirrorBinTreeRec.Tree(NULL, x2))) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)), x2)))), java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)), x2)))), -(x0, 1)) | >(x0, 0)
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, x2)), java.lang.Object(MirrorBinTreeRec.Tree(x3, NULL)), x4) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x5, x6)), java.lang.Object(MirrorBinTreeRec.Tree(x5, x6)), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), x2) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)))), -(x0, 1)) | &&(>(x0, 0), >(x2, 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), x2)), java.lang.Object(MirrorBinTreeRec.Tree(x1, NULL)), x3) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)))), x2)), java.lang.Object(MirrorBinTreeRec.Tree(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)))), x2)), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f9050_0_createTree_LE(x0, java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(x2, NULL)))), java.lang.Object(MirrorBinTreeRec.Tree(x2, NULL)), x3) → f7919_0_createTree_LE(java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(x2, java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)))))), java.lang.Object(MirrorBinTreeRec.Tree(x1, java.lang.Object(MirrorBinTreeRec.Tree(x2, java.lang.Object(MirrorBinTreeRec.Tree(NULL, NULL)))))), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))

Finished conversion. Obtained 20 rules.

P rules:
f7919_0_createTree_LE(v123, v124, x3) → f9050_0_createTree_LE(x3, v125, v126, x4) | &&(&&(&&(&&(&&(&&(&&(>(x4, -1), >(x3, 0)), >(+(v126, 1), 1)), <=(v126, v124)), >(+(v125, 1), 1)), <=(v125, v123)), >(+(v124, 1), 1)), >(+(v123, 1), 1))
f9050_0_createTree_LE(x5, v127, v128, c0) → f8013_0_createTree_FieldAccess(x5, v129, v130) | &&(&&(&&(&&(&&(&&(>(+(v130, 1), 1), <=(v130, v128)), >(+(v129, 1), 1)), <=(v129, v127)), >(+(v128, 1), 1)), >(+(v127, 1), 1)), =(0, c0))
f8013_0_createTree_FieldAccess(x9, v131, v132) → f7919_0_createTree_LE(v133, v134, -(x9, 1)) | &&(&&(&&(&&(&&(&&(>(x9, 0), >(+(v134, 1), 1)), <=(+(v134, 2), v132)), >(+(v133, 1), 1)), <=(v133, v131)), >(+(v132, 1), 3)), >(+(v131, 1), 1))
f8013_0_createTree_FieldAccess(x18, v135, v136) → f7919_0_createTree_LE(v137, v138, -(x18, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x18, 0), >(+(v138, 1), 1)), <=(+(v138, 2), v136)), <=(+(v138, 2), v135)), >(+(v137, 1), 3)), <=(v137, v136)), <=(v137, v135)), >(+(v136, 1), 3)), >(+(v135, 1), 3))
f8013_0_createTree_FieldAccess(x23, v139, v140) → f7919_0_createTree_LE(v141, v142, -(x23, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x23, 0), >(+(v142, 1), 1)), <=(+(v142, 4), v139)), <=(+(v142, 2), v140)), >(+(v141, 1), 5)), <=(v141, v139)), >(+(v140, 1), 3)), >(+(v139, 1), 5))
f8013_0_createTree_FieldAccess(x30, v143, v144) → f7919_0_createTree_LE(v145, v146, -(x30, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x30, 0), >(+(v146, 1), 1)), <=(+(v146, 4), v143)), <=(+(v146, 2), v144)), >(+(v145, 1), 5)), <=(v145, v143)), >(+(v144, 1), 3)), >(+(v143, 1), 5))
f9050_0_createTree_LE(x37, v147, v148, x42) → f7919_0_createTree_LE(v149, v150, -(x37, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x42, 0), >(x37, 0)), >(+(v150, 1), 1)), <=(+(v150, 2), v148)), >(+(v149, 1), 1)), <=(v149, v147)), >(+(v148, 1), 3)), >(+(v147, 1), 1))
f9050_0_createTree_LE(x48, v151, v152, x51) → f7919_0_createTree_LE(v153, v154, -(x48, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(&&(>(x51, 0), >(x48, 0)), >(+(v154, 1), 1)), <=(+(v154, 2), v152)), <=(+(v154, 2), v151)), >(+(v153, 1), 3)), <=(v153, v152)), <=(v153, v151)), >(+(v152, 1), 3)), >(+(v151, 1), 3))
f9050_0_createTree_LE(x55, v155, v156, x59) → f7919_0_createTree_LE(v157, v158, -(x55, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x59, 0), >(x55, 0)), >(+(v158, 1), 1)), <=(+(v158, 4), v155)), <=(+(v158, 2), v156)), >(+(v157, 1), 5)), <=(v157, v155)), >(+(v156, 1), 3)), >(+(v155, 1), 5))
f9050_0_createTree_LE(x64, v159, v160, x68) → f7919_0_createTree_LE(v161, v162, -(x64, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x68, 0), >(x64, 0)), >(+(v162, 1), 1)), <=(+(v162, 4), v159)), <=(+(v162, 2), v160)), >(+(v161, 1), 5)), <=(v161, v159)), >(+(v160, 1), 3)), >(+(v159, 1), 5))
f7919_0_createTree_LE(v163, v164, x76) → f9050_0_createTree_LE(x76, v165, v166, 0) | &&(&&(&&(&&(&&(&&(>(x76, 0), >(+(v166, 1), 1)), <=(v166, v164)), >(+(v165, 1), 1)), <=(v165, v163)), >(+(v164, 1), 1)), >(+(v163, 1), 1))
f7919_0_createTree_LE(v167, v168, x80) → f8013_0_createTree_FieldAccess(x80, v169, v170) | &&(&&(&&(&&(&&(&&(>(x80, 0), >(+(v170, 1), 1)), <=(v170, v168)), >(+(v169, 1), 1)), <=(v169, v167)), >(+(v168, 1), 1)), >(+(v167, 1), 1))
f8013_0_createTree_FieldAccess(x81, v171, v172) → f7919_0_createTree_LE(v173, v174, -(x81, 1)) | &&(&&(&&(&&(>(x81, 0), >(+(v174, 1), 1)), >(+(v173, 1), 1)), >(+(v172, 1), 2)), >(+(v171, 1), 1))
f8013_0_createTree_FieldAccess(x87, v175, v176) → f7919_0_createTree_LE(v177, v178, -(x87, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x87, 0), >(+(v178, 1), 4)), <=(-(v178, 2), v176)), <=(-(v178, 2), v175)), >(+(v177, 1), 4)), <=(-(v177, 2), v176)), <=(-(v177, 2), v175)), >(+(v176, 1), 2)), >(+(v175, 1), 2))
f8013_0_createTree_FieldAccess(x89, v179, v180) → f7919_0_createTree_LE(v181, v182, -(x89, 1)) | &&(&&(&&(&&(&&(&&(>(x89, 0), >(+(v182, 1), 6)), <=(-(v182, 2), v179)), >(+(v181, 1), 6)), <=(-(v181, 2), v179)), >(+(v180, 1), 2)), >(+(v179, 1), 4))
f8013_0_createTree_FieldAccess(x92, v183, v184) → f7919_0_createTree_LE(v185, v186, -(x92, 1)) | &&(&&(&&(&&(&&(&&(>(x92, 0), >(+(v186, 1), 6)), <=(-(v186, 2), v183)), >(+(v185, 1), 6)), <=(-(v185, 2), v183)), >(+(v184, 1), 2)), >(+(v183, 1), 4))
f9050_0_createTree_LE(x95, v187, v188, x99) → f7919_0_createTree_LE(v189, v190, -(x95, 1)) | &&(&&(&&(&&(&&(>(x99, 0), >(x95, 0)), >(+(v190, 1), 1)), >(+(v189, 1), 1)), >(+(v188, 1), 2)), >(+(v187, 1), 1))
f9050_0_createTree_LE(x102, v191, v192, x104) → f7919_0_createTree_LE(v193, v194, -(x102, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(&&(>(x104, 0), >(x102, 0)), >(+(v194, 1), 4)), <=(-(v194, 2), v192)), <=(-(v194, 2), v191)), >(+(v193, 1), 4)), <=(-(v193, 2), v192)), <=(-(v193, 2), v191)), >(+(v192, 1), 2)), >(+(v191, 1), 2))
f9050_0_createTree_LE(x105, v195, v196, x108) → f7919_0_createTree_LE(v197, v198, -(x105, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x108, 0), >(x105, 0)), >(+(v198, 1), 6)), <=(-(v198, 2), v195)), >(+(v197, 1), 6)), <=(-(v197, 2), v195)), >(+(v196, 1), 2)), >(+(v195, 1), 4))
f9050_0_createTree_LE(x109, v199, v200, x112) → f7919_0_createTree_LE(v201, v202, -(x109, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x112, 0), >(x109, 0)), >(+(v202, 1), 6)), <=(-(v202, 2), v199)), >(+(v201, 1), 6)), <=(-(v201, 2), v199)), >(+(v200, 1), 2)), >(+(v199, 1), 4))

(12) Obligation:

Rules:
f7919_0_createTree_LE(v123, v124, x3) → f9050_0_createTree_LE(x3, v125, v126, x4) | &&(&&(&&(&&(&&(&&(&&(>(x4, -1), >(x3, 0)), >(+(v126, 1), 1)), <=(v126, v124)), >(+(v125, 1), 1)), <=(v125, v123)), >(+(v124, 1), 1)), >(+(v123, 1), 1))
f9050_0_createTree_LE(x5, v127, v128, c0) → f8013_0_createTree_FieldAccess(x5, v129, v130) | &&(&&(&&(&&(&&(&&(>(+(v130, 1), 1), <=(v130, v128)), >(+(v129, 1), 1)), <=(v129, v127)), >(+(v128, 1), 1)), >(+(v127, 1), 1)), =(0, c0))
f8013_0_createTree_FieldAccess(x9, v131, v132) → f7919_0_createTree_LE(v133, v134, -(x9, 1)) | &&(&&(&&(&&(&&(&&(>(x9, 0), >(+(v134, 1), 1)), <=(+(v134, 2), v132)), >(+(v133, 1), 1)), <=(v133, v131)), >(+(v132, 1), 3)), >(+(v131, 1), 1))
f8013_0_createTree_FieldAccess(x18, v135, v136) → f7919_0_createTree_LE(v137, v138, -(x18, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x18, 0), >(+(v138, 1), 1)), <=(+(v138, 2), v136)), <=(+(v138, 2), v135)), >(+(v137, 1), 3)), <=(v137, v136)), <=(v137, v135)), >(+(v136, 1), 3)), >(+(v135, 1), 3))
f8013_0_createTree_FieldAccess(x23, v139, v140) → f7919_0_createTree_LE(v141, v142, -(x23, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x23, 0), >(+(v142, 1), 1)), <=(+(v142, 4), v139)), <=(+(v142, 2), v140)), >(+(v141, 1), 5)), <=(v141, v139)), >(+(v140, 1), 3)), >(+(v139, 1), 5))
f8013_0_createTree_FieldAccess(x30, v143, v144) → f7919_0_createTree_LE(v145, v146, -(x30, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x30, 0), >(+(v146, 1), 1)), <=(+(v146, 4), v143)), <=(+(v146, 2), v144)), >(+(v145, 1), 5)), <=(v145, v143)), >(+(v144, 1), 3)), >(+(v143, 1), 5))
f9050_0_createTree_LE(x37, v147, v148, x42) → f7919_0_createTree_LE(v149, v150, -(x37, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x42, 0), >(x37, 0)), >(+(v150, 1), 1)), <=(+(v150, 2), v148)), >(+(v149, 1), 1)), <=(v149, v147)), >(+(v148, 1), 3)), >(+(v147, 1), 1))
f9050_0_createTree_LE(x48, v151, v152, x51) → f7919_0_createTree_LE(v153, v154, -(x48, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(&&(>(x51, 0), >(x48, 0)), >(+(v154, 1), 1)), <=(+(v154, 2), v152)), <=(+(v154, 2), v151)), >(+(v153, 1), 3)), <=(v153, v152)), <=(v153, v151)), >(+(v152, 1), 3)), >(+(v151, 1), 3))
f9050_0_createTree_LE(x55, v155, v156, x59) → f7919_0_createTree_LE(v157, v158, -(x55, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x59, 0), >(x55, 0)), >(+(v158, 1), 1)), <=(+(v158, 4), v155)), <=(+(v158, 2), v156)), >(+(v157, 1), 5)), <=(v157, v155)), >(+(v156, 1), 3)), >(+(v155, 1), 5))
f9050_0_createTree_LE(x64, v159, v160, x68) → f7919_0_createTree_LE(v161, v162, -(x64, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x68, 0), >(x64, 0)), >(+(v162, 1), 1)), <=(+(v162, 4), v159)), <=(+(v162, 2), v160)), >(+(v161, 1), 5)), <=(v161, v159)), >(+(v160, 1), 3)), >(+(v159, 1), 5))
f7919_0_createTree_LE(v163, v164, x76) → f9050_0_createTree_LE(x76, v165, v166, 0) | &&(&&(&&(&&(&&(&&(>(x76, 0), >(+(v166, 1), 1)), <=(v166, v164)), >(+(v165, 1), 1)), <=(v165, v163)), >(+(v164, 1), 1)), >(+(v163, 1), 1))
f7919_0_createTree_LE(v167, v168, x80) → f8013_0_createTree_FieldAccess(x80, v169, v170) | &&(&&(&&(&&(&&(&&(>(x80, 0), >(+(v170, 1), 1)), <=(v170, v168)), >(+(v169, 1), 1)), <=(v169, v167)), >(+(v168, 1), 1)), >(+(v167, 1), 1))
f8013_0_createTree_FieldAccess(x81, v171, v172) → f7919_0_createTree_LE(v173, v174, -(x81, 1)) | &&(&&(&&(&&(>(x81, 0), >(+(v174, 1), 1)), >(+(v173, 1), 1)), >(+(v172, 1), 2)), >(+(v171, 1), 1))
f8013_0_createTree_FieldAccess(x87, v175, v176) → f7919_0_createTree_LE(v177, v178, -(x87, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x87, 0), >(+(v178, 1), 4)), <=(-(v178, 2), v176)), <=(-(v178, 2), v175)), >(+(v177, 1), 4)), <=(-(v177, 2), v176)), <=(-(v177, 2), v175)), >(+(v176, 1), 2)), >(+(v175, 1), 2))
f8013_0_createTree_FieldAccess(x89, v179, v180) → f7919_0_createTree_LE(v181, v182, -(x89, 1)) | &&(&&(&&(&&(&&(&&(>(x89, 0), >(+(v182, 1), 6)), <=(-(v182, 2), v179)), >(+(v181, 1), 6)), <=(-(v181, 2), v179)), >(+(v180, 1), 2)), >(+(v179, 1), 4))
f8013_0_createTree_FieldAccess(x92, v183, v184) → f7919_0_createTree_LE(v185, v186, -(x92, 1)) | &&(&&(&&(&&(&&(&&(>(x92, 0), >(+(v186, 1), 6)), <=(-(v186, 2), v183)), >(+(v185, 1), 6)), <=(-(v185, 2), v183)), >(+(v184, 1), 2)), >(+(v183, 1), 4))
f9050_0_createTree_LE(x95, v187, v188, x99) → f7919_0_createTree_LE(v189, v190, -(x95, 1)) | &&(&&(&&(&&(&&(>(x99, 0), >(x95, 0)), >(+(v190, 1), 1)), >(+(v189, 1), 1)), >(+(v188, 1), 2)), >(+(v187, 1), 1))
f9050_0_createTree_LE(x102, v191, v192, x104) → f7919_0_createTree_LE(v193, v194, -(x102, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(&&(>(x104, 0), >(x102, 0)), >(+(v194, 1), 4)), <=(-(v194, 2), v192)), <=(-(v194, 2), v191)), >(+(v193, 1), 4)), <=(-(v193, 2), v192)), <=(-(v193, 2), v191)), >(+(v192, 1), 2)), >(+(v191, 1), 2))
f9050_0_createTree_LE(x105, v195, v196, x108) → f7919_0_createTree_LE(v197, v198, -(x105, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x108, 0), >(x105, 0)), >(+(v198, 1), 6)), <=(-(v198, 2), v195)), >(+(v197, 1), 6)), <=(-(v197, 2), v195)), >(+(v196, 1), 2)), >(+(v195, 1), 4))
f9050_0_createTree_LE(x109, v199, v200, x112) → f7919_0_createTree_LE(v201, v202, -(x109, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x112, 0), >(x109, 0)), >(+(v202, 1), 6)), <=(-(v202, 2), v199)), >(+(v201, 1), 6)), <=(-(v201, 2), v199)), >(+(v200, 1), 2)), >(+(v199, 1), 4))

(13) PolynomialOrderProcessor (SOUND transformation)

Found the following polynomial interpretation:


[f7919_0_createTree_LE(x111, x113, x115)] = 2·x115
[f9050_0_createTree_LE(x118, x120, x122, x124)] = -1 + 2·x118
[f8013_0_createTree_FieldAccess(x127, x129, x131)] = -1 + 2·x127

Therefore the following rule(s) have been dropped:


f7919_0_createTree_LE(x0, x1, x2) → f9050_0_createTree_LE(x2, x3, x4, x5) | &&(&&(&&(&&(&&(&&(&&(>(x5, -1), >(x2, 0)), >(+(x4, 1), 1)), <=(x4, x1)), >(+(x3, 1), 1)), <=(x3, x0)), >(+(x1, 1), 1)), >(+(x0, 1), 1))
f8013_0_createTree_FieldAccess(x12, x13, x14) → f7919_0_createTree_LE(x15, x16, -(x12, 1)) | &&(&&(&&(&&(&&(&&(>(x12, 0), >(+(x16, 1), 1)), <=(+(x16, 2), x14)), >(+(x15, 1), 1)), <=(x15, x13)), >(+(x14, 1), 3)), >(+(x13, 1), 1))
f8013_0_createTree_FieldAccess(x17, x18, x19) → f7919_0_createTree_LE(x20, x21, -(x17, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x17, 0), >(+(x21, 1), 1)), <=(+(x21, 2), x19)), <=(+(x21, 2), x18)), >(+(x20, 1), 3)), <=(x20, x19)), <=(x20, x18)), >(+(x19, 1), 3)), >(+(x18, 1), 3))
f8013_0_createTree_FieldAccess(x22, x23, x24) → f7919_0_createTree_LE(x25, x26, -(x22, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x22, 0), >(+(x26, 1), 1)), <=(+(x26, 4), x23)), <=(+(x26, 2), x24)), >(+(x25, 1), 5)), <=(x25, x23)), >(+(x24, 1), 3)), >(+(x23, 1), 5))
f8013_0_createTree_FieldAccess(x27, x28, x29) → f7919_0_createTree_LE(x30, x31, -(x27, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x27, 0), >(+(x31, 1), 1)), <=(+(x31, 4), x28)), <=(+(x31, 2), x29)), >(+(x30, 1), 5)), <=(x30, x28)), >(+(x29, 1), 3)), >(+(x28, 1), 5))
f9050_0_createTree_LE(x32, x33, x34, x35) → f7919_0_createTree_LE(x36, x37, -(x32, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x35, 0), >(x32, 0)), >(+(x37, 1), 1)), <=(+(x37, 2), x34)), >(+(x36, 1), 1)), <=(x36, x33)), >(+(x34, 1), 3)), >(+(x33, 1), 1))
f9050_0_createTree_LE(x38, x39, x40, x41) → f7919_0_createTree_LE(x42, x43, -(x38, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(&&(>(x41, 0), >(x38, 0)), >(+(x43, 1), 1)), <=(+(x43, 2), x40)), <=(+(x43, 2), x39)), >(+(x42, 1), 3)), <=(x42, x40)), <=(x42, x39)), >(+(x40, 1), 3)), >(+(x39, 1), 3))
f9050_0_createTree_LE(x44, x45, x46, x47) → f7919_0_createTree_LE(x48, x49, -(x44, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x47, 0), >(x44, 0)), >(+(x49, 1), 1)), <=(+(x49, 4), x45)), <=(+(x49, 2), x46)), >(+(x48, 1), 5)), <=(x48, x45)), >(+(x46, 1), 3)), >(+(x45, 1), 5))
f9050_0_createTree_LE(x50, x51, x52, x53) → f7919_0_createTree_LE(x54, x55, -(x50, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x53, 0), >(x50, 0)), >(+(x55, 1), 1)), <=(+(x55, 4), x51)), <=(+(x55, 2), x52)), >(+(x54, 1), 5)), <=(x54, x51)), >(+(x52, 1), 3)), >(+(x51, 1), 5))
f7919_0_createTree_LE(x56, x57, x58) → f9050_0_createTree_LE(x58, x59, x60, 0) | &&(&&(&&(&&(&&(&&(>(x58, 0), >(+(x60, 1), 1)), <=(x60, x57)), >(+(x59, 1), 1)), <=(x59, x56)), >(+(x57, 1), 1)), >(+(x56, 1), 1))
f7919_0_createTree_LE(x61, x62, x63) → f8013_0_createTree_FieldAccess(x63, x64, x65) | &&(&&(&&(&&(&&(&&(>(x63, 0), >(+(x65, 1), 1)), <=(x65, x62)), >(+(x64, 1), 1)), <=(x64, x61)), >(+(x62, 1), 1)), >(+(x61, 1), 1))
f8013_0_createTree_FieldAccess(x66, x67, x68) → f7919_0_createTree_LE(x69, x70, -(x66, 1)) | &&(&&(&&(&&(>(x66, 0), >(+(x70, 1), 1)), >(+(x69, 1), 1)), >(+(x68, 1), 2)), >(+(x67, 1), 1))
f8013_0_createTree_FieldAccess(x71, x72, x73) → f7919_0_createTree_LE(x74, x75, -(x71, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(>(x71, 0), >(+(x75, 1), 4)), <=(-(x75, 2), x73)), <=(-(x75, 2), x72)), >(+(x74, 1), 4)), <=(-(x74, 2), x73)), <=(-(x74, 2), x72)), >(+(x73, 1), 2)), >(+(x72, 1), 2))
f8013_0_createTree_FieldAccess(x76, x77, x78) → f7919_0_createTree_LE(x79, x80, -(x76, 1)) | &&(&&(&&(&&(&&(&&(>(x76, 0), >(+(x80, 1), 6)), <=(-(x80, 2), x77)), >(+(x79, 1), 6)), <=(-(x79, 2), x77)), >(+(x78, 1), 2)), >(+(x77, 1), 4))
f8013_0_createTree_FieldAccess(x81, x82, x83) → f7919_0_createTree_LE(x84, x85, -(x81, 1)) | &&(&&(&&(&&(&&(&&(>(x81, 0), >(+(x85, 1), 6)), <=(-(x85, 2), x82)), >(+(x84, 1), 6)), <=(-(x84, 2), x82)), >(+(x83, 1), 2)), >(+(x82, 1), 4))
f9050_0_createTree_LE(x86, x87, x88, x89) → f7919_0_createTree_LE(x90, x91, -(x86, 1)) | &&(&&(&&(&&(&&(>(x89, 0), >(x86, 0)), >(+(x91, 1), 1)), >(+(x90, 1), 1)), >(+(x88, 1), 2)), >(+(x87, 1), 1))
f9050_0_createTree_LE(x92, x93, x94, x95) → f7919_0_createTree_LE(x96, x97, -(x92, 1)) | &&(&&(&&(&&(&&(&&(&&(&&(&&(>(x95, 0), >(x92, 0)), >(+(x97, 1), 4)), <=(-(x97, 2), x94)), <=(-(x97, 2), x93)), >(+(x96, 1), 4)), <=(-(x96, 2), x94)), <=(-(x96, 2), x93)), >(+(x94, 1), 2)), >(+(x93, 1), 2))
f9050_0_createTree_LE(x98, x99, x100, x101) → f7919_0_createTree_LE(x102, x103, -(x98, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x101, 0), >(x98, 0)), >(+(x103, 1), 6)), <=(-(x103, 2), x99)), >(+(x102, 1), 6)), <=(-(x102, 2), x99)), >(+(x100, 1), 2)), >(+(x99, 1), 4))
f9050_0_createTree_LE(x104, x105, x106, x107) → f7919_0_createTree_LE(x108, x109, -(x104, 1)) | &&(&&(&&(&&(&&(&&(&&(>(x107, 0), >(x104, 0)), >(+(x109, 1), 6)), <=(-(x109, 2), x105)), >(+(x108, 1), 6)), <=(-(x108, 2), x105)), >(+(x106, 1), 2)), >(+(x105, 1), 4))

(14) Obligation:

Rules:
f9050_0_createTree_LE(x6, x7, x8, x9) → f8013_0_createTree_FieldAccess(x6, x10, x11) | &&(&&(&&(&&(&&(&&(>(+(x11, 1), 1), <=(x11, x8)), >(+(x10, 1), 1)), <=(x10, x7)), >(+(x8, 1), 1)), >(+(x7, 1), 1)), =(0, x9))

(15) TerminationGraphProcessor (EQUIVALENT transformation)

Constructed the termination graph and obtained no non-trivial SCC(s).


(16) YES