Termination proof of /tmp/tmpcbN

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 2816 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIntTRSProof (⇒, 241 ms)

        ↳7 intTRS

        ↳8 PolynomialOrderProcessor (⇔, 0 ms)

        ↳9 YES

    ↳10 JBCTerminationSCC

        ↳11 SCCToIntTRSProof (⇒, 447 ms)

        ↳12 intTRS

        ↳13 PolynomialOrderProcessor (⇔, 55 ms)

        ↳14 YES

    ↳15 JBCTerminationSCC

        ↳16 SCCToIntTRSProof (⇒, 2109 ms)

        ↳17 intTRS

        ↳18 PolynomialOrderProcessor (⇒, 244 ms)

        ↳19 intTRS

        ↳20 TerminationGraphProcessor (⇔, 0 ms)

        ↳21 YES

(0) Obligation:

JBC Problem based on JBC Program:

package Alternate;

public class Alternate {

    public static Tree alternate(final Tree t, final Tree s) {
        // from (Dershowitz & Jouannaud 90, p. 253)

        if (t == null) {
            return Tree.copy(s);
        } else {
            return new Tree(Tree.copy(t.left), alternate(s, t.right));
        }

    }

    public static void main(final String[] args) {
      Random.args = args;
      final Tree t = Tree.createTree();
      final Tree s = Tree.createTree();

      alternate(t, s);
    }
}


package Alternate;
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 Alternate;


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

    public static Tree copy(final Tree s) {
        if (s == null) {
            return null;
        }
        final Tree result = new Tree();
        result.left = copy(s.left);
        result.right = copy(s.right);
        return result;
    }
}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

Alternate.Tree.createTree()LAlternate/Tree;: Graph of 368 nodes with 1 SCC.

Alternate.Alternate.alternate(LAlternate/Tree;LAlternate/Tree;)LAlternate/Tree;: Graph of 112 nodes with 0 SCCs.

Alternate.Tree.copy(LAlternate/Tree;)LAlternate/Tree;: Graph of 72 nodes with 0 SCCs.

Alternate.Tree.createNode()LAlternate/Tree;: Graph of 99 nodes with 0 SCCs.

(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 3 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Alternate.Tree.copy(LAlternate/Tree;)LAlternate/Tree;
SCC calls the following helper methods: Alternate.Tree.copy(LAlternate/Tree;)LAlternate/Tree;
Performed SCC analyses:

Used field analysis yielded the following read fields:
- Alternate.Tree: [left, right]
Marker field analysis yielded the following relations that could be markers:

(6) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 46 IRules

P rules:
f2727_0_copy_NONNULL(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2732_0_copy_NONNULL(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub), java.lang.Object(o668sub))
f2732_0_copy_NONNULL(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2739_0_copy_New(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2739_0_copy_New(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2750_0_copy_Duplicate(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2750_0_copy_Duplicate(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2757_0_copy_InvokeMethod(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2757_0_copy_InvokeMethod(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2775_0__init__Load(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2775_0__init__Load(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2786_0__init__InvokeMethod(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2786_0__init__InvokeMethod(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2792_0__init__Return(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2792_0__init__Return(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2798_0_copy_Store(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2798_0_copy_Store(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2802_0_copy_Load(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2802_0_copy_Load(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2806_0_copy_Load(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub))
f2806_0_copy_Load(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub)) → f2810_0_copy_FieldAccess(EOS, java.lang.Object(o668sub), java.lang.Object(o668sub), java.lang.Object(o668sub))
f2810_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698))) → f2816_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)))
f2816_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698))) → f2821_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)), o697)
f2821_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)), o697) → f2825_0_copy_Load(EOS, o697, o697)
f2821_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)), o697) → f2825_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, o697, o698)), java.lang.Object(Alternate.Tree(EOC, o697, o698)), o697, o697)
f2825_0_copy_Load(EOS, o697, o697) → f2846_0_copy_Load(EOS, o697, o697)
f2846_0_copy_Load(EOS, o697, o697) → f2719_0_copy_Load(EOS, o697, o697)
f2719_0_copy_Load(EOS, o659, o659) → f2727_0_copy_NONNULL(EOS, o659, o659, o659)
f2875_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)), NULL, NULL, NULL) → f2878_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)), NULL)
f2878_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)), NULL) → f2883_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)))
f2883_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698))) → f2889_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)))
f2889_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698))) → f2892_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)))
f2892_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698))) → f2897_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), o698)
f2897_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), o698) → f2914_0_copy_Load(EOS, o698, o698)
f2897_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), o698) → f2914_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), o698, o698)
f2914_0_copy_Load(EOS, o698, o698) → f2924_0_copy_Load(EOS, o698, o698)
f2924_0_copy_Load(EOS, o698, o698) → f2719_0_copy_Load(EOS, o698, o698)
f3094_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f3419_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f3419_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o959)), o960)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o959)), o960)), java.lang.Object(Alternate.Tree(EOC, NULL, o959))) → f4880_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o959)), o960)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o959)), o960)), java.lang.Object(Alternate.Tree(EOC, NULL, o959)))
f4880_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, o1693, o1694))) → f5059_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)))
f5059_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695))) → f5105_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)))
f5105_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695))) → f5125_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)))
f5125_0_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695))) → f5176_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)))
f5176_0_copy_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695))) → f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), o1695)
f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), o1695) → f5516_0_copy_Load(EOS, o1695, o1695)
f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), o1695) → f5516_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), o1695, o1695)
f5516_0_copy_Load(EOS, o1695, o1695) → f5608_0_copy_Load(EOS, o1695, o1695)
f5608_0_copy_Load(EOS, o1695, o1695) → f2719_0_copy_Load(EOS, o1695, o1695)
f5543_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031))))) → f4880_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))))
f6703_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL))) → f4880_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)))
f7484_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995))))) → f4880_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))))
f2825_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)), NULL, NULL) → f2875_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o698)), java.lang.Object(Alternate.Tree(EOC, NULL, o698)), NULL, NULL, NULL)
f2825_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f3094_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f2825_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031))))) → f5543_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))), o698)), java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2030, o2031)))))
f2825_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL))) → f6703_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2451, o2452)), NULL)))
f2825_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995))))) → f7484_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))), o698)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2992, o2993)), java.lang.Object(Alternate.Tree(EOC, o2994, o2995)))))

Combined rules. Obtained 9 IRules

P rules:
f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), o1695) → f5516_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1693, o1694)), o1695)), o1695, o1695)
f2727_0_copy_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x0, x1))) → f2727_0_copy_NONNULL(EOS, x0, x0, x0)
f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), x2)), x2) → f2727_0_copy_NONNULL(EOS, x2, x2, x2)
f2727_0_copy_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), java.lang.Object(Alternate.Tree(EOC, NULL, x0)), java.lang.Object(Alternate.Tree(EOC, NULL, x0))) → f2914_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), x0, x0)
f2727_0_copy_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), java.lang.Object(Alternate.Tree(EOC, NULL, x0)), java.lang.Object(Alternate.Tree(EOC, NULL, x0))) → f2727_0_copy_NONNULL(EOS, x0, x0, x0)
f2727_0_copy_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0))) → f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0)), x0)
f2727_0_copy_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2))) → f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2)), x2)
f2727_0_copy_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2))) → f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2)), x2)
f2727_0_copy_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4))) → f5313_0_copy_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4)), x4)

Filtered ground terms:

f5313_0_copy_InvokeMethod(x1, x2, x3) → f5313_0_copy_InvokeMethod(x2, x3)
f5516_1_copy_Load(x1, x2, x3, x4) → f5516_1_copy_Load(x2, x3, x4)
f2727_0_copy_NONNULL(x1, x2, x3, x4) → f2727_0_copy_NONNULL(x2, x3, x4)
f2914_1_copy_Load(x1, x2, x3, x4) → f2914_1_copy_Load(x2, x3, x4)
Alternate.Tree(x1, x2, x3) → Alternate.Tree(x2, x3)

Filtered duplicate terms:

f5313_0_copy_InvokeMethod(x1, x2) → f5313_0_copy_InvokeMethod(x1)
f5516_1_copy_Load(x1, x2, x3) → f5516_1_copy_Load(x1)
f2727_0_copy_NONNULL(x1, x2, x3) → f2727_0_copy_NONNULL(x3)
f2914_1_copy_Load(x1, x2, x3) → f2914_1_copy_Load(x1)

Prepared 9 rules for path length conversion:

P rules:
f5313_0_copy_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(o1693, o1694)), o1695)), o1695) → f5516_1_copy_Load(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(o1693, o1694)), o1695)))
f2727_0_copy_NONNULL(java.lang.Object(Alternate.Tree(x0, x1))) → f2727_0_copy_NONNULL(x0)
f5313_0_copy_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), x2)), x2) → f2727_0_copy_NONNULL(x2)
f2727_0_copy_NONNULL(java.lang.Object(Alternate.Tree(NULL, x0))) → f2914_1_copy_Load(java.lang.Object(Alternate.Tree(NULL, x0)))
f2727_0_copy_NONNULL(java.lang.Object(Alternate.Tree(NULL, x0))) → f2727_0_copy_NONNULL(x0)
f2727_0_copy_NONNULL(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x0))) → f5313_0_copy_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x0)), x0)
f2727_0_copy_NONNULL(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, java.lang.Object(Alternate.Tree(x0, x1)))), x2))) → f5313_0_copy_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, java.lang.Object(Alternate.Tree(x0, x1)))), x2)), x2)
f2727_0_copy_NONNULL(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), NULL)), x2))) → f5313_0_copy_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), NULL)), x2)), x2)
f2727_0_copy_NONNULL(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), java.lang.Object(Alternate.Tree(x2, x3)))), x4))) → f5313_0_copy_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), java.lang.Object(Alternate.Tree(x2, x3)))), x4)), x4)

Finished conversion. Obtained 7 rules.

P rules:
f2727_0_copy_NONNULL(v25) → f2727_0_copy_NONNULL(v26) | &&(&&(>(+(v26, 1), 0), <=(+(v26, 1), v25)), >(+(v25, 1), 1))
f5313_0_copy_InvokeMethod(v27, v28) → f2727_0_copy_NONNULL(v29) | &&(&&(&&(&&(>(+(v29, 1), 0), <=(v29, v28)), <=(+(v29, 2), v27)), >(+(v28, 1), 0)), >(+(v27, 1), 3))
f2727_0_copy_NONNULL(v30) → f2727_0_copy_NONNULL(v31) | &&(&&(>(+(v31, 1), 0), <=(+(v31, 2), v30)), >(+(v30, 1), 2))
f2727_0_copy_NONNULL(v32) → f5313_0_copy_InvokeMethod(v33, v34) | &&(&&(&&(&&(>(+(v34, 1), 0), <=(+(v34, 2), v32)), >(+(v33, 1), 4)), <=(v33, v32)), >(+(v32, 1), 4))
f2727_0_copy_NONNULL(v35) → f5313_0_copy_InvokeMethod(v36, v37) | &&(&&(&&(&&(>(+(v37, 1), 0), <=(+(v37, 2), v35)), >(+(v36, 1), 5)), <=(v36, v35)), >(+(v35, 1), 5))
f2727_0_copy_NONNULL(v38) → f5313_0_copy_InvokeMethod(v39, v40) | &&(&&(&&(&&(>(+(v40, 1), 0), <=(+(v40, 2), v38)), >(+(v39, 1), 5)), <=(v39, v38)), >(+(v38, 1), 5))
f2727_0_copy_NONNULL(v41) → f5313_0_copy_InvokeMethod(v42, v43) | &&(&&(&&(&&(>(+(v43, 1), 0), <=(+(v43, 2), v41)), >(+(v42, 1), 5)), <=(v42, v41)), >(+(v41, 1), 5))

(7) Obligation:

Rules:
f2727_0_copy_NONNULL(v25) → f2727_0_copy_NONNULL(v26) | &&(&&(>(+(v26, 1), 0), <=(+(v26, 1), v25)), >(+(v25, 1), 1))
f5313_0_copy_InvokeMethod(v27, v28) → f2727_0_copy_NONNULL(v29) | &&(&&(&&(&&(>(+(v29, 1), 0), <=(v29, v28)), <=(+(v29, 2), v27)), >(+(v28, 1), 0)), >(+(v27, 1), 3))
f2727_0_copy_NONNULL(v30) → f2727_0_copy_NONNULL(v31) | &&(&&(>(+(v31, 1), 0), <=(+(v31, 2), v30)), >(+(v30, 1), 2))
f2727_0_copy_NONNULL(v32) → f5313_0_copy_InvokeMethod(v33, v34) | &&(&&(&&(&&(>(+(v34, 1), 0), <=(+(v34, 2), v32)), >(+(v33, 1), 4)), <=(v33, v32)), >(+(v32, 1), 4))
f2727_0_copy_NONNULL(v35) → f5313_0_copy_InvokeMethod(v36, v37) | &&(&&(&&(&&(>(+(v37, 1), 0), <=(+(v37, 2), v35)), >(+(v36, 1), 5)), <=(v36, v35)), >(+(v35, 1), 5))
f2727_0_copy_NONNULL(v38) → f5313_0_copy_InvokeMethod(v39, v40) | &&(&&(&&(&&(>(+(v40, 1), 0), <=(+(v40, 2), v38)), >(+(v39, 1), 5)), <=(v39, v38)), >(+(v38, 1), 5))
f2727_0_copy_NONNULL(v41) → f5313_0_copy_InvokeMethod(v42, v43) | &&(&&(&&(&&(>(+(v43, 1), 0), <=(+(v43, 2), v41)), >(+(v42, 1), 5)), <=(v42, v41)), >(+(v41, 1), 5))

(8) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f2727_0_copy_NONNULL(x20)] = x20
[f5313_0_copy_InvokeMethod(x23, x25)] = -1 + x23

Therefore the following rule(s) have been dropped:

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

(9) YES

(10) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Alternate.Alternate.alternate(LAlternate/Tree;LAlternate/Tree;)LAlternate/Tree;
SCC calls the following helper methods: Alternate.Tree.copy(LAlternate/Tree;)LAlternate/Tree;, Alternate.Alternate.alternate(LAlternate/Tree;LAlternate/Tree;)LAlternate/Tree;
Performed SCC analyses:

Used field analysis yielded the following read fields:
- Alternate.Tree: [left, right]
Marker field analysis yielded the following relations that could be markers:

(11) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 37 IRules

P rules:
f2774_0_alternate_NONNULL(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675, java.lang.Object(o682sub)) → f2779_0_alternate_NONNULL(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675, java.lang.Object(o682sub))
f2779_0_alternate_NONNULL(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675, java.lang.Object(o682sub)) → f2785_0_alternate_New(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675)
f2785_0_alternate_New(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675) → f2796_0_alternate_Duplicate(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675)
f2796_0_alternate_Duplicate(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675) → f2805_0_alternate_Load(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675)
f2805_0_alternate_Load(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675) → f2814_0_alternate_FieldAccess(EOS, java.lang.Object(o682sub), o675, java.lang.Object(o682sub), o675, java.lang.Object(o682sub))
f2814_0_alternate_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702))) → f2823_0_alternate_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)))
f2823_0_alternate_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702))) → f2848_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, o701)
f2848_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, o701) → f2873_0_copy_Load(EOS, o701, o701)
f2848_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, o701) → f2873_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, java.lang.Object(Alternate.Tree(EOC, o701, o702)), o675, o701, o701)
f2873_0_copy_Load(EOS, o701, o701) → f2882_0_copy_Load(EOS, o701, o701)
f2983_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, NULL, NULL) → f3001_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL)
f3001_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL) → f3007_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), NULL, o675)
f3007_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), NULL, o675) → f3017_0_alternate_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)))
f3017_0_alternate_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702))) → f3028_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, o675, o702)
f3028_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, o675, o702) → f3043_0_alternate_Load(EOS, o675, o702, o675, o702)
f3028_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, o675, o702) → f3043_1_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, o675, o702, o675, o702)
f3043_0_alternate_Load(EOS, o675, o702, o675, o702) → f3075_0_alternate_Load(EOS, o675, o702, o675, o702)
f3075_0_alternate_Load(EOS, o675, o702, o675, o702) → f2763_0_alternate_Load(EOS, o675, o702, o675, o702)
f2763_0_alternate_Load(EOS, o674, o675, o674, o675) → f2774_0_alternate_NONNULL(EOS, o674, o675, o674, o675, o674)
f3097_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f3507_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f3507_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o997)), o998)), o999, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o997)), o998)), o999, java.lang.Object(Alternate.Tree(EOC, NULL, o997))) → f4630_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o997)), o998)), o999, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o997)), o998)), o999, java.lang.Object(Alternate.Tree(EOC, NULL, o997)))
f4630_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, java.lang.Object(Alternate.Tree(EOC, o1573, o1574))) → f5052_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576)
f5052_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576) → f5122_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576)
f5122_0_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576) → f5420_0_alternate_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)))
f5420_0_alternate_FieldAccess(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575))) → f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, o1575)
f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, o1575) → f5612_0_alternate_Load(EOS, o1576, o1575, o1576, o1575)
f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, o1575) → f5612_1_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, o1575, o1576, o1575)
f5612_0_alternate_Load(EOS, o1576, o1575, o1576, o1575) → f5722_0_alternate_Load(EOS, o1576, o1575, o1576, o1575)
f5722_0_alternate_Load(EOS, o1576, o1575, o1576, o1575) → f2763_0_alternate_Load(EOS, o1576, o1575, o1576, o1575)
f5604_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052))))) → f4630_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))))
f6528_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL))) → f4630_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)))
f7655_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039))))) → f4630_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))))
f2873_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, NULL) → f2983_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, o702)), o675, NULL, NULL, NULL)
f2873_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f3097_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f2873_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052))))) → f5604_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, o2051, o2052)))))
f2873_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL))) → f6528_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o2480, o2481)), NULL)))
f2873_1_copy_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039))))) → f7655_0_copy_Return(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))), o702)), o675, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o3036, o3037)), java.lang.Object(Alternate.Tree(EOC, o3038, o3039)))))

Combined rules. Obtained 9 IRules

P rules:
f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, o1575) → f5612_1_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o1573, o1574)), o1575)), o1576, o1576, o1575, o1576, o1575)
f2774_0_alternate_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, x0, x1)), x2, java.lang.Object(Alternate.Tree(EOC, x0, x1)), x2, java.lang.Object(Alternate.Tree(EOC, x0, x1))) → f2882_0_copy_Load(EOS, x0, x0)
f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), x2)), x3, x3, x2) → f2774_0_alternate_NONNULL(EOS, x3, x2, x3, x2, x3)
f2774_0_alternate_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), x1, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), x1, java.lang.Object(Alternate.Tree(EOC, NULL, x0))) → f3043_1_alternate_Load(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), x1, NULL, x1, x0, x1, x0)
f2774_0_alternate_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), x1, java.lang.Object(Alternate.Tree(EOC, NULL, x0)), x1, java.lang.Object(Alternate.Tree(EOC, NULL, x0))) → f2774_0_alternate_NONNULL(EOS, x1, x0, x1, x0, x1)
f2774_0_alternate_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0)), x1, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0)), x1, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0))) → f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x0)), x1, x1, x0)
f2774_0_alternate_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2)), x3, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2)), x3, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2))) → f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, java.lang.Object(Alternate.Tree(EOC, x0, x1)))), x2)), x3, x3, x2)
f2774_0_alternate_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2)), x3, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2)), x3, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2))) → f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), NULL)), x2)), x3, x3, x2)
f2774_0_alternate_NONNULL(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4)), x5, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4)), x5, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4))) → f5548_0_alternate_InvokeMethod(EOS, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x0, x1)), java.lang.Object(Alternate.Tree(EOC, x2, x3)))), x4)), x5, x5, x4)

Filtered ground terms:

f5548_0_alternate_InvokeMethod(x1, x2, x3, x4, x5) → f5548_0_alternate_InvokeMethod(x2, x3, x4, x5)
f5612_1_alternate_Load(x1, x2, x3, x4, x5, x6, x7) → f5612_1_alternate_Load(x2, x3, x4, x5, x6, x7)
f2774_0_alternate_NONNULL(x1, x2, x3, x4, x5, x6) → f2774_0_alternate_NONNULL(x2, x3, x4, x5, x6)
f2882_0_copy_Load(x1, x2, x3) → f2882_0_copy_Load(x2, x3)
f3043_1_alternate_Load(x1, x2, x3, x4, x5, x6, x7, x8) → f3043_1_alternate_Load(x2, x3, x5, x6, x7, x8)
Alternate.Tree(x1, x2, x3) → Alternate.Tree(x2, x3)

Filtered duplicate terms:

f5548_0_alternate_InvokeMethod(x1, x2, x3, x4) → f5548_0_alternate_InvokeMethod(x1, x3)
f5612_1_alternate_Load(x1, x2, x3, x4, x5, x6) → f5612_1_alternate_Load(x1, x5)
f2774_0_alternate_NONNULL(x1, x2, x3, x4, x5) → f2774_0_alternate_NONNULL(x4, x5)
f2882_0_copy_Load(x1, x2) → f2882_0_copy_Load(x2)
f3043_1_alternate_Load(x1, x2, x3, x4, x5, x6) → f3043_1_alternate_Load(x1, x5)

Prepared 9 rules for path length conversion:

P rules:
f5548_0_alternate_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(o1573, o1574)), o1575)), o1576, o1575) → f5612_1_alternate_Load(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(o1573, o1574)), o1575)), o1576)
f2774_0_alternate_NONNULL(x2, java.lang.Object(Alternate.Tree(x0, x1))) → f2882_0_copy_Load(x0)
f5548_0_alternate_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), x2)), x3, x2) → f2774_0_alternate_NONNULL(x2, x3)
f2774_0_alternate_NONNULL(x1, java.lang.Object(Alternate.Tree(NULL, x0))) → f3043_1_alternate_Load(java.lang.Object(Alternate.Tree(NULL, x0)), x1)
f2774_0_alternate_NONNULL(x1, java.lang.Object(Alternate.Tree(NULL, x0))) → f2774_0_alternate_NONNULL(x0, x1)
f2774_0_alternate_NONNULL(x1, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x0))) → f5548_0_alternate_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x0)), x1, x0)
f2774_0_alternate_NONNULL(x3, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, java.lang.Object(Alternate.Tree(x0, x1)))), x2))) → f5548_0_alternate_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, java.lang.Object(Alternate.Tree(x0, x1)))), x2)), x3, x2)
f2774_0_alternate_NONNULL(x3, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), NULL)), x2))) → f5548_0_alternate_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), NULL)), x2)), x3, x2)
f2774_0_alternate_NONNULL(x5, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), java.lang.Object(Alternate.Tree(x2, x3)))), x4))) → f5548_0_alternate_InvokeMethod(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x0, x1)), java.lang.Object(Alternate.Tree(x2, x3)))), x4)), x5, x4)

Finished conversion. Obtained 6 rules.

P rules:
f5548_0_alternate_InvokeMethod(v36, v37, v38) → f2774_0_alternate_NONNULL(v39, v40) | &&(&&(&&(&&(&&(&&(&&(>(+(v40, 1), 0), <=(v40, v37)), >(+(v39, 1), 0)), <=(v39, v38)), <=(+(v39, 2), v36)), >(+(v38, 1), 0)), >(+(v37, 1), 0)), >(+(v36, 1), 3))
f2774_0_alternate_NONNULL(v41, v42) → f2774_0_alternate_NONNULL(v43, v44) | &&(&&(&&(&&(&&(>(+(v44, 1), 0), <=(v44, v41)), >(+(v43, 1), 0)), <=(+(v43, 2), v42)), >(+(v42, 1), 2)), >(+(v41, 1), 0))
f2774_0_alternate_NONNULL(v45, v46) → f5548_0_alternate_InvokeMethod(v47, v48, v49) | &&(&&(&&(&&(&&(&&(&&(>(+(v49, 1), 0), <=(+(v49, 2), v46)), >(+(v48, 1), 0)), <=(v48, v45)), >(+(v47, 1), 4)), <=(v47, v46)), >(+(v46, 1), 4)), >(+(v45, 1), 0))
f2774_0_alternate_NONNULL(v50, v51) → f5548_0_alternate_InvokeMethod(v52, v53, v54) | &&(&&(&&(&&(&&(&&(&&(>(+(v54, 1), 0), <=(+(v54, 2), v51)), >(+(v53, 1), 0)), <=(v53, v50)), >(+(v52, 1), 5)), <=(v52, v51)), >(+(v51, 1), 5)), >(+(v50, 1), 0))
f2774_0_alternate_NONNULL(v55, v56) → f5548_0_alternate_InvokeMethod(v57, v58, v59) | &&(&&(&&(&&(&&(&&(&&(>(+(v59, 1), 0), <=(+(v59, 2), v56)), >(+(v58, 1), 0)), <=(v58, v55)), >(+(v57, 1), 5)), <=(v57, v56)), >(+(v56, 1), 5)), >(+(v55, 1), 0))
f2774_0_alternate_NONNULL(v60, v61) → f5548_0_alternate_InvokeMethod(v62, v63, v64) | &&(&&(&&(&&(&&(&&(&&(>(+(v64, 1), 0), <=(+(v64, 2), v61)), >(+(v63, 1), 0)), <=(v63, v60)), >(+(v62, 1), 5)), <=(v62, v61)), >(+(v61, 1), 5)), >(+(v60, 1), 0))

(12) Obligation:

Rules:
f5548_0_alternate_InvokeMethod(v36, v37, v38) → f2774_0_alternate_NONNULL(v39, v40) | &&(&&(&&(&&(&&(&&(&&(>(+(v40, 1), 0), <=(v40, v37)), >(+(v39, 1), 0)), <=(v39, v38)), <=(+(v39, 2), v36)), >(+(v38, 1), 0)), >(+(v37, 1), 0)), >(+(v36, 1), 3))
f2774_0_alternate_NONNULL(v41, v42) → f2774_0_alternate_NONNULL(v43, v44) | &&(&&(&&(&&(&&(>(+(v44, 1), 0), <=(v44, v41)), >(+(v43, 1), 0)), <=(+(v43, 2), v42)), >(+(v42, 1), 2)), >(+(v41, 1), 0))
f2774_0_alternate_NONNULL(v45, v46) → f5548_0_alternate_InvokeMethod(v47, v48, v49) | &&(&&(&&(&&(&&(&&(&&(>(+(v49, 1), 0), <=(+(v49, 2), v46)), >(+(v48, 1), 0)), <=(v48, v45)), >(+(v47, 1), 4)), <=(v47, v46)), >(+(v46, 1), 4)), >(+(v45, 1), 0))
f2774_0_alternate_NONNULL(v50, v51) → f5548_0_alternate_InvokeMethod(v52, v53, v54) | &&(&&(&&(&&(&&(&&(&&(>(+(v54, 1), 0), <=(+(v54, 2), v51)), >(+(v53, 1), 0)), <=(v53, v50)), >(+(v52, 1), 5)), <=(v52, v51)), >(+(v51, 1), 5)), >(+(v50, 1), 0))
f2774_0_alternate_NONNULL(v55, v56) → f5548_0_alternate_InvokeMethod(v57, v58, v59) | &&(&&(&&(&&(&&(&&(&&(>(+(v59, 1), 0), <=(+(v59, 2), v56)), >(+(v58, 1), 0)), <=(v58, v55)), >(+(v57, 1), 5)), <=(v57, v56)), >(+(v56, 1), 5)), >(+(v55, 1), 0))
f2774_0_alternate_NONNULL(v60, v61) → f5548_0_alternate_InvokeMethod(v62, v63, v64) | &&(&&(&&(&&(&&(&&(&&(>(+(v64, 1), 0), <=(+(v64, 2), v61)), >(+(v63, 1), 0)), <=(v63, v60)), >(+(v62, 1), 5)), <=(v62, v61)), >(+(v61, 1), 5)), >(+(v60, 1), 0))

(13) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f5548_0_alternate_InvokeMethod(x30, x32, x34)] = -1 + x30 + x32
[f2774_0_alternate_NONNULL(x37, x39)] = x37 + x39

Therefore the following rule(s) have been dropped:

f5548_0_alternate_InvokeMethod(x0, x1, x2) → f2774_0_alternate_NONNULL(x3, x4) | &&(&&(&&(&&(&&(&&(&&(>(+(x4, 1), 0), <=(x4, x1)), >(+(x3, 1), 0)), <=(x3, x2)), <=(+(x3, 2), x0)), >(+(x2, 1), 0)), >(+(x1, 1), 0)), >(+(x0, 1), 3))
f2774_0_alternate_NONNULL(x5, x6) → f2774_0_alternate_NONNULL(x7, x8) | &&(&&(&&(&&(&&(>(+(x8, 1), 0), <=(x8, x5)), >(+(x7, 1), 0)), <=(+(x7, 2), x6)), >(+(x6, 1), 2)), >(+(x5, 1), 0))
f2774_0_alternate_NONNULL(x9, x10) → f5548_0_alternate_InvokeMethod(x11, x12, x13) | &&(&&(&&(&&(&&(&&(&&(>(+(x13, 1), 0), <=(+(x13, 2), x10)), >(+(x12, 1), 0)), <=(x12, x9)), >(+(x11, 1), 4)), <=(x11, x10)), >(+(x10, 1), 4)), >(+(x9, 1), 0))
f2774_0_alternate_NONNULL(x14, x15) → f5548_0_alternate_InvokeMethod(x16, x17, x18) | &&(&&(&&(&&(&&(&&(&&(>(+(x18, 1), 0), <=(+(x18, 2), x15)), >(+(x17, 1), 0)), <=(x17, x14)), >(+(x16, 1), 5)), <=(x16, x15)), >(+(x15, 1), 5)), >(+(x14, 1), 0))
f2774_0_alternate_NONNULL(x19, x20) → f5548_0_alternate_InvokeMethod(x21, x22, x23) | &&(&&(&&(&&(&&(&&(&&(>(+(x23, 1), 0), <=(+(x23, 2), x20)), >(+(x22, 1), 0)), <=(x22, x19)), >(+(x21, 1), 5)), <=(x21, x20)), >(+(x20, 1), 5)), >(+(x19, 1), 0))
f2774_0_alternate_NONNULL(x24, x25) → f5548_0_alternate_InvokeMethod(x26, x27, x28) | &&(&&(&&(&&(&&(&&(&&(>(+(x28, 1), 0), <=(+(x28, 2), x25)), >(+(x27, 1), 0)), <=(x27, x24)), >(+(x26, 1), 5)), <=(x26, x25)), >(+(x25, 1), 5)), >(+(x24, 1), 0))

(14) YES

(15) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Alternate.Tree.createTree()LAlternate/Tree;
SCC calls the following helper methods: Alternate.Tree.createNode()LAlternate/Tree;
Performed SCC analyses:

Used field analysis yielded the following read fields:
- java.lang.String: [count]
- Alternate.Tree: [right, left]
Marker field analysis yielded the following relations that could be markers:

(16) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 235 IRules

P rules:
f11052_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4267) → f11057_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4267)
f11057_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4267) → f11062_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) | >(i4267, 0)
f11062_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f11066_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub))
f11066_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f11130_0_random_ArrayLength(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771)))
f11130_0_random_ArrayLength(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771))) → f11139_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771) | >=(i3771, 0)
f11139_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771) → f11144_0_random_GT(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771, i3772)
f11144_0_random_GT(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771, i3772) → f11146_0_random_GT(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771, i3772)
f11144_0_random_GT(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771, i3772) → f11147_0_random_GT(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771, i3772)
f11146_0_random_GT(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771, i3772) → f11150_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) | >(i3771, i3772)
f11150_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f11156_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771)))
f11156_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771))) → f11163_0_random_ArrayAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771)), i3772)
f11163_0_random_ArrayAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771)), i3772) → f11168_0_random_ArrayAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771)), i3772)
f11168_0_random_ArrayAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(ARRAY(i3771)), i3772) → f11174_0_random_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792) | <(i3772, i3771)
f11174_0_random_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792) → f11183_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792)
f11183_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792) → f11189_0_random_ConstantStackPush(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792, i3772)
f11189_0_random_ConstantStackPush(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792, i3772) → f11200_0_random_IntArithmetic(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792, i3772, 1)
f11200_0_random_IntArithmetic(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792, i3772, matching1) → f11215_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792, +(i3772, 1)) | &&(>(i3772, 0), =(matching1, 1))
f11215_0_random_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792, i4314) → f11231_0_random_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792)
f11231_0_random_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792) → f11259_0_random_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), o5792, o5792)
f11259_0_random_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub), java.lang.Object(o5858sub)) → f11286_0_random_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub), java.lang.Object(o5858sub))
f11259_0_random_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), NULL, NULL) → f11287_0_random_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), NULL, NULL)
f11286_0_random_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub), java.lang.Object(o5858sub)) → f11317_0_random_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub))
f11317_0_random_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub)) → f11360_0_random_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub))
f11360_0_random_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub)) → f11407_0_length_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub), java.lang.Object(o5858sub))
f11407_0_length_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub), java.lang.Object(o5858sub)) → f11485_0_length_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5858sub), java.lang.Object(o5858sub))
f11485_0_length_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(java.lang.String(o6072sub, i4376)), java.lang.Object(java.lang.String(o6072sub, i4376))) → f11547_0_length_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(java.lang.String(o6072sub, i4376)), java.lang.Object(java.lang.String(o6072sub, i4376))) | >=(i4376, 0)
f11547_0_length_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(java.lang.String(o6072sub, i4376)), java.lang.Object(java.lang.String(o6072sub, i4376))) → f11669_0_length_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(java.lang.String(o6072sub, i4376)), i4376)
f11669_0_length_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(java.lang.String(o6072sub, i4376)), i4376) → f11801_0_random_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4376)
f11801_0_random_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4376) → f11884_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4376)
f11884_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4376) → f12078_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4376)
f12078_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4376) → f12325_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4376)
f12325_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), matching1) → f12467_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), 0) | =(matching1, 0)
f12325_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4826) → f12468_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4826)
f12467_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), matching1) → f12487_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) | &&(<=(0, 0), =(matching1, 0))
f12487_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f12508_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f12508_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub)) → f11196_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f11196_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub)) → f11211_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f11196_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o5802sub))), java.lang.Object(o5802sub), java.lang.Object(o5802sub)) → f11212_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o5802sub))), java.lang.Object(o5802sub), java.lang.Object(o5802sub))
f11211_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub)) → f11225_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f11211_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5806sub), o5730)), java.lang.Object(o5806sub), java.lang.Object(o5806sub)) → f11226_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5806sub), o5730)), java.lang.Object(o5806sub), java.lang.Object(o5806sub))
f11225_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub)) → f11249_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f11225_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730))) → f11250_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)))
f11249_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5829, o5828)), java.lang.Object(Alternate.Tree(EOC, o5829, o5828))) → f11263_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5829, o5828)), java.lang.Object(Alternate.Tree(EOC, o5829, o5828)))
f11263_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5829, o5828)), java.lang.Object(Alternate.Tree(EOC, o5829, o5828))) → f11305_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5829, o5828)), o5829)
f11305_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5894sub), o5828)), java.lang.Object(o5894sub)) → f11329_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5894sub), o5828)), java.lang.Object(o5894sub))
f11305_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), NULL) → f11330_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), NULL)
f11329_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5894sub), o5828)), java.lang.Object(o5894sub)) → f11373_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5894sub), o5828)))
f11373_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5894sub), o5828))) → f11419_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5894sub), o5828)))
f11419_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5894sub), o5828))) → f11470_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub))
f11470_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub)) → f11492_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub))
f11492_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub)) → f11552_0_createTree_JMP(EOS, +(i4267, -1), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub)) | >(i4267, 0)
f11552_0_createTree_JMP(EOS, i4378, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub)) → f11693_0_createTree_Load(EOS, i4378, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub))
f11693_0_createTree_Load(EOS, i4378, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub)) → f11044_0_createTree_Load(EOS, i4378, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5894sub))
f11044_0_createTree_Load(EOS, i4263, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f11052_0_createTree_LE(EOS, i4263, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4263)
f11330_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), NULL) → f11380_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)))
f11380_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828))) → f11428_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)))
f11428_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828))) → f11471_0_createNode_New(EOS)
f11428_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828))) → f11471_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)))
f11471_0_createNode_New(EOS) → f11494_0_createNode_New(EOS)
f11806_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11838_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11838_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, NULL, o6208)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11915_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, NULL, o6208)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11915_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, NULL, o6208)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f12112_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206put, o6205put)))
f12112_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205))) → f12378_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, o6206, o6205)))
f12378_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, o6206, o6205))) → f12484_0_createTree_JMP(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, o6206, o6205)))
f12484_0_createTree_JMP(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, o6206, o6205))) → f12498_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, o6206, o6205)))
f12498_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, o6206, o6205))) → f13684_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6206, o6205)), java.lang.Object(Alternate.Tree(EOC, o6206, o6205)))
f13684_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173))) → f13708_0_createTree_JMP(EOS, +(i4267, -1), java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173))) | >(i4267, 0)
f13708_0_createTree_JMP(EOS, i5387, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173))) → f13725_0_createTree_Load(EOS, i5387, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173)))
f13725_0_createTree_Load(EOS, i5387, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173))) → f11044_0_createTree_Load(EOS, i5387, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173)))
f11837_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11838_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11250_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730))) → f11270_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), o5731)
f11270_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(o5888sub)) → f11307_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(o5888sub))
f11270_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), NULL) → f11308_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), NULL)
f11307_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(o5888sub)) → f11334_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)))
f11334_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730))) → f11385_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)))
f11385_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730))) → f11432_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(o5888sub))
f11432_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(o5888sub)) → f11470_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5888sub), o5730)), java.lang.Object(o5888sub))
f11308_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), NULL) → f11338_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)))
f11338_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730))) → f11389_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)))
f11389_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730))) → f11434_0_createNode_New(EOS)
f11389_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730))) → f11434_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)))
f11434_0_createNode_New(EOS) → f11474_0_createNode_New(EOS)
f11747_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11765_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11765_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o6169)), java.lang.Object(Alternate.Tree(EOC, NULL, o6169)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11848_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o6169)), java.lang.Object(Alternate.Tree(EOC, NULL, o6169)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11848_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o6169)), java.lang.Object(Alternate.Tree(EOC, NULL, o6169)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11932_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6169)))
f11932_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6169))) → f12112_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6169)))
f11764_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11765_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11226_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), java.lang.Object(Alternate.Tree(EOC, o5821, o5820))) → f11252_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), java.lang.Object(Alternate.Tree(EOC, o5821, o5820)))
f11252_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), java.lang.Object(Alternate.Tree(EOC, o5821, o5820))) → f11281_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, o5821, o5820)), o5821)
f11281_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), java.lang.Object(o5889sub)) → f11310_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), java.lang.Object(o5889sub))
f11281_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), NULL) → f11311_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), NULL)
f11310_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), java.lang.Object(o5889sub)) → f11344_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)))
f11344_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820))) → f11395_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)))
f11395_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820))) → f11441_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(o5889sub))
f11441_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(o5889sub)) → f11470_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5889sub), o5820)), o5730)), java.lang.Object(o5889sub))
f11311_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), NULL) → f11351_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)))
f11351_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820))) → f11400_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)))
f11400_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820))) → f11442_0_createNode_New(EOS)
f11400_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820))) → f11442_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)))
f11442_0_createNode_New(EOS) → f11477_0_createNode_New(EOS)
f11769_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11790_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11790_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o6184)), o6182)), java.lang.Object(Alternate.Tree(EOC, NULL, o6184)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11864_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o6184)), o6182)), java.lang.Object(Alternate.Tree(EOC, NULL, o6184)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11864_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o6184)), o6182)), java.lang.Object(Alternate.Tree(EOC, NULL, o6184)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11943_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6184)), o6182)))
f11943_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6184)), o6182))) → f12112_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6184)), o6182)))
f11789_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11790_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11212_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o5810, o5809)))), java.lang.Object(Alternate.Tree(EOC, o5810, o5809)), java.lang.Object(Alternate.Tree(EOC, o5810, o5809))) → f11228_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o5810, o5809)))), java.lang.Object(Alternate.Tree(EOC, o5810, o5809)), java.lang.Object(Alternate.Tree(EOC, o5810, o5809)))
f11228_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o5810, o5809)))), java.lang.Object(Alternate.Tree(EOC, o5810, o5809)), java.lang.Object(Alternate.Tree(EOC, o5810, o5809))) → f11254_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o5810, o5809)))), java.lang.Object(Alternate.Tree(EOC, o5810, o5809)), o5810)
f11254_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)), java.lang.Object(o5857sub)) → f11283_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)), java.lang.Object(o5857sub))
f11254_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), NULL) → f11284_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), NULL)
f11283_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)), java.lang.Object(o5857sub)) → f11313_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))
f11313_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809))) → f11353_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))
f11353_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809))) → f11402_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(o5857sub))
f11402_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(o5857sub)) → f11470_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o5857sub), o5809)))), java.lang.Object(o5857sub))
f11284_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), NULL) → f11315_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))
f11315_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809))) → f11355_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))
f11355_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809))) → f11404_0_createNode_New(EOS)
f11355_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809))) → f11404_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))
f11404_0_createNode_New(EOS) → f11446_0_createNode_New(EOS)
f11644_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11664_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11664_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6123, java.lang.Object(Alternate.Tree(EOC, NULL, o6122)))), java.lang.Object(Alternate.Tree(EOC, NULL, o6122)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11795_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6123, java.lang.Object(Alternate.Tree(EOC, NULL, o6122)))), java.lang.Object(Alternate.Tree(EOC, NULL, o6122)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11795_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6123, java.lang.Object(Alternate.Tree(EOC, NULL, o6122)))), java.lang.Object(Alternate.Tree(EOC, NULL, o6122)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11875_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6123, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6122)))))
f11875_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6123, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6122))))) → f12112_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o6123, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), o6122)))))
f11663_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f11664_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12468_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i4826) → f12489_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) | >(i4826, 0)
f12489_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f12510_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f12510_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub)) → f12528_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f12510_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6696sub))), java.lang.Object(o6696sub), java.lang.Object(o6696sub)) → f12529_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6696sub))), java.lang.Object(o6696sub), java.lang.Object(o6696sub))
f12528_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub)) → f12549_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f12528_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o6706sub), o5730)), java.lang.Object(o6706sub), java.lang.Object(o6706sub)) → f12550_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(o6706sub), o5730)), java.lang.Object(o6706sub), java.lang.Object(o6706sub))
f12549_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub)) → f12564_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f12549_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730))) → f12565_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)))
f12564_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, o6724)), java.lang.Object(Alternate.Tree(EOC, o6725, o6724))) → f12576_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, o6724)), java.lang.Object(Alternate.Tree(EOC, o6725, o6724)))
f12576_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, o6724)), java.lang.Object(Alternate.Tree(EOC, o6725, o6724))) → f12616_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, o6724)), o6724)
f12616_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, java.lang.Object(o6793sub))), java.lang.Object(o6793sub)) → f12638_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, java.lang.Object(o6793sub))), java.lang.Object(o6793sub))
f12616_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), NULL) → f12639_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), NULL)
f12638_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, java.lang.Object(o6793sub))), java.lang.Object(o6793sub)) → f12675_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, java.lang.Object(o6793sub))))
f12675_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, java.lang.Object(o6793sub)))) → f12719_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, java.lang.Object(o6793sub))))
f12719_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, java.lang.Object(o6793sub)))) → f12848_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub))
f12848_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub)) → f12911_0_createTree_JMP(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub))
f12911_0_createTree_JMP(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub)) → f12980_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub))
f12980_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub)) → f13084_0_createTree_JMP(EOS, +(i4267, -1), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub)) | >(i4267, 0)
f13084_0_createTree_JMP(EOS, i5021, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub)) → f13198_0_createTree_Load(EOS, i5021, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub))
f13198_0_createTree_Load(EOS, i5021, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub)) → f11044_0_createTree_Load(EOS, i5021, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o6793sub))
f12639_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), NULL) → f12684_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)))
f12684_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL))) → f12727_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)))
f12727_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL))) → f12865_0_createNode_New(EOS)
f12727_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL))) → f12865_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)))
f12865_0_createNode_New(EOS) → f12913_0_createNode_New(EOS)
f13199_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13233_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13233_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7176, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13274_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7176, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13274_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7176, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13403_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174put, o7173put)))
f13403_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173))) → f13559_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173)))
f13559_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173))) → f13670_0_createTree_JMP(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173)))
f13670_0_createTree_JMP(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173))) → f13684_0_createTree_Inc(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7174, o7173)), java.lang.Object(Alternate.Tree(EOC, o7174, o7173)))
f13232_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13233_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12565_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730))) → f12583_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), o5730)
f12583_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(o6785sub)) → f12618_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(o6785sub))
f12583_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), NULL) → f12620_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), NULL)
f12618_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(o6785sub)) → f12643_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))))
f12643_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub)))) → f12688_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))))
f12688_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub)))) → f12731_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(o6785sub))
f12731_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(o6785sub)) → f12848_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(o6785sub))), java.lang.Object(o6785sub))
f12620_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), NULL) → f12647_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)))
f12647_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL))) → f12691_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)))
f12691_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL))) → f12732_0_createNode_New(EOS)
f12691_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL))) → f12732_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)))
f12732_0_createNode_New(EOS) → f12884_0_createNode_New(EOS)
f13129_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13153_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13153_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7119, NULL)), java.lang.Object(Alternate.Tree(EOC, o7119, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13240_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7119, NULL)), java.lang.Object(Alternate.Tree(EOC, o7119, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13240_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7119, NULL)), java.lang.Object(Alternate.Tree(EOC, o7119, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13286_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7119, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))))
f13286_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7119, java.lang.Object(Alternate.Tree(EOC, NULL, NULL))))) → f13403_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7119, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))))
f13152_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13153_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12550_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), java.lang.Object(Alternate.Tree(EOC, o6718, o6717))) → f12567_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), java.lang.Object(Alternate.Tree(EOC, o6718, o6717)))
f12567_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), java.lang.Object(Alternate.Tree(EOC, o6718, o6717))) → f12593_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, o6717)), o6717)
f12593_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), java.lang.Object(o6786sub)) → f12621_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), java.lang.Object(o6786sub))
f12593_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), NULL) → f12622_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), NULL)
f12621_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), java.lang.Object(o6786sub)) → f12653_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))))
f12653_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub)))) → f12698_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))))
f12698_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub)))) → f12738_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(o6786sub))
f12738_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(o6786sub)) → f12848_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, java.lang.Object(o6786sub))), o5730)), java.lang.Object(o6786sub))
f12622_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), NULL) → f12661_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)))
f12661_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL))) → f12704_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)))
f12704_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL))) → f12740_0_createNode_New(EOS)
f12704_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL))) → f12740_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)))
f12740_0_createNode_New(EOS) → f12906_0_createNode_New(EOS)
f13157_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13185_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13185_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o7140, NULL)), o7138)), java.lang.Object(Alternate.Tree(EOC, o7140, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13253_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o7140, NULL)), o7138)), java.lang.Object(Alternate.Tree(EOC, o7140, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13253_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o7140, NULL)), o7138)), java.lang.Object(Alternate.Tree(EOC, o7140, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13293_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o7140, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))), o7138)))
f13293_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o7140, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))), o7138))) → f13403_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o7140, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))), o7138)))
f13184_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13185_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12529_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, o6709)))), java.lang.Object(Alternate.Tree(EOC, o6710, o6709)), java.lang.Object(Alternate.Tree(EOC, o6710, o6709))) → f12552_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, o6709)))), java.lang.Object(Alternate.Tree(EOC, o6710, o6709)), java.lang.Object(Alternate.Tree(EOC, o6710, o6709)))
f12552_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, o6709)))), java.lang.Object(Alternate.Tree(EOC, o6710, o6709)), java.lang.Object(Alternate.Tree(EOC, o6710, o6709))) → f12570_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, o6709)))), java.lang.Object(Alternate.Tree(EOC, o6710, o6709)), o6709)
f12570_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))), java.lang.Object(o6752sub)) → f12594_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))), java.lang.Object(o6752sub))
f12570_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), NULL) → f12595_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), NULL)
f12594_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))), java.lang.Object(o6752sub)) → f12624_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))
f12624_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub)))) → f12663_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))
f12663_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub)))) → f12706_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(o6752sub))
f12706_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(o6752sub)) → f12848_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, java.lang.Object(o6752sub))))), java.lang.Object(o6752sub))
f12595_0_createTree_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), NULL) → f12626_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))
f12626_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL))) → f12664_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))
f12664_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL))) → f12707_0_createNode_New(EOS)
f12664_0_createTree_InvokeMethod(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL))) → f12707_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))
f12707_0_createNode_New(EOS) → f12744_0_createNode_New(EOS)
f13057_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13078_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13078_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7078, java.lang.Object(Alternate.Tree(EOC, o7077, NULL)))), java.lang.Object(Alternate.Tree(EOC, o7077, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13190_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7078, java.lang.Object(Alternate.Tree(EOC, o7077, NULL)))), java.lang.Object(Alternate.Tree(EOC, o7077, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f13190_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7078, java.lang.Object(Alternate.Tree(EOC, o7077, NULL)))), java.lang.Object(Alternate.Tree(EOC, o7077, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13260_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7078, java.lang.Object(Alternate.Tree(EOC, o7077, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))))))
f13260_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7078, java.lang.Object(Alternate.Tree(EOC, o7077, java.lang.Object(Alternate.Tree(EOC, NULL, NULL))))))) → f13403_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o7078, java.lang.Object(Alternate.Tree(EOC, o7077, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))))))
f13077_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL))) → f13078_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11287_0_random_NONNULL(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), NULL, NULL) → f11321_0_random_ConstantStackPush(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), NULL)
f11321_0_random_ConstantStackPush(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), NULL) → f11363_0_random_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), NULL, 0)
f11363_0_random_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), NULL, matching1) → f11410_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), 0) | =(matching1, 0)
f11410_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), matching1) → f11884_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), 0) | =(matching1, 0)
f11147_0_random_GT(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), i3771, i3772) → f11153_0_random_ConstantStackPush(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) | <=(i3771, i3772)
f11153_0_random_ConstantStackPush(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f11158_0_random_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), 0)
f11158_0_random_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), matching1) → f11165_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), 0) | =(matching1, 0)
f11165_0_createTree_Store(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), matching1) → f11171_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), 0) | =(matching1, 0)
f11171_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), matching1) → f11179_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), 0) | =(matching1, 0)
f11179_0_createTree_LE(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), matching1) → f11185_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) | &&(<=(0, 0), =(matching1, 0))
f11185_0_createTree_Load(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub)) → f11196_0_createTree_FieldAccess(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(o5732sub), java.lang.Object(o5732sub))
f11471_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828))) → f11806_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11471_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828))) → f11837_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5828)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11434_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730))) → f11747_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11434_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730))) → f11764_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11442_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820))) → f11769_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11442_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820))) → f11789_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), o5730)), java.lang.Object(Alternate.Tree(EOC, NULL, o5820)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11404_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809))) → f11644_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f11404_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809))) → f11663_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, NULL, o5809)))), java.lang.Object(Alternate.Tree(EOC, NULL, o5809)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12865_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL))) → f13199_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12865_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL))) → f13232_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, o5730)), java.lang.Object(Alternate.Tree(EOC, o6725, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12732_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL))) → f13129_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12732_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL))) → f13152_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, o5731, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12740_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL))) → f13157_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12740_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL))) → f13184_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), o5730)), java.lang.Object(Alternate.Tree(EOC, o6718, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12707_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL))) → f13057_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))
f12707_1_createNode_New(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL))) → f13077_0_createNode_Return(EOS, i4267, java.lang.Object(Alternate.Tree(EOC, o5731, java.lang.Object(Alternate.Tree(EOC, o6710, NULL)))), java.lang.Object(Alternate.Tree(EOC, o6710, NULL)), java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))

Combined rules. Obtained 28 IRules

P rules:
f11052_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), x0) → f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), x4) | &&(>(x0, 0), >(+(x4, 1), 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), 0) → f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), java.lang.Object(x3))
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x3), x4)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x3), x4))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(Alternate.Tree(EOC, NULL, x3)), java.lang.Object(Alternate.Tree(EOC, NULL, x3))) → f11494_0_createNode_New(EOS)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, NULL, x1)), java.lang.Object(Alternate.Tree(EOC, NULL, x1)), java.lang.Object(Alternate.Tree(EOC, NULL, x1))) → f11474_0_createNode_New(EOS)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x1), x2)), x3)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, x1)), x2)), java.lang.Object(Alternate.Tree(EOC, NULL, x1)), java.lang.Object(Alternate.Tree(EOC, NULL, x1))) → f11477_0_createNode_New(EOS)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x2), x3)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x2), x3))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(x2), x3)))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, NULL, x2)))), java.lang.Object(Alternate.Tree(EOC, NULL, x2)), java.lang.Object(Alternate.Tree(EOC, NULL, x2))) → f11446_0_createNode_New(EOS)
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(Alternate.Tree(EOC, x3, java.lang.Object(x4))), x5) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x4), -(x0, 1)) | &&(>(x0, 0), >(x5, 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(Alternate.Tree(EOC, x3, NULL)), x4) → f12913_0_createNode_New(EOS) | >(x4, 0)
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(x2))), x3) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(x2))), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, NULL)), java.lang.Object(Alternate.Tree(EOC, x1, NULL)), x2) → f12884_0_createNode_New(EOS) | >(x2, 0)
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(x2))), x4) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(x2))), x3)), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x1, NULL)), x2)), java.lang.Object(Alternate.Tree(EOC, x1, NULL)), x3) → f12906_0_createNode_New(EOS) | >(x3, 0)
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(Alternate.Tree(EOC, x2, java.lang.Object(x3))), x4) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, x2, java.lang.Object(x3))))), java.lang.Object(x3), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, x2, NULL)))), java.lang.Object(Alternate.Tree(EOC, x2, NULL)), x3) → f12744_0_createNode_New(EOS) | >(x3, 0)
f11052_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), x0) → f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), 0) | >(x0, 0)
f11052_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), x0) → f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(x3), java.lang.Object(x3)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(Alternate.Tree(EOC, NULL, x3)), java.lang.Object(Alternate.Tree(EOC, NULL, x3))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x4, x5)), java.lang.Object(Alternate.Tree(EOC, x4, x5)), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, NULL, x1)), java.lang.Object(Alternate.Tree(EOC, NULL, x1)), java.lang.Object(Alternate.Tree(EOC, NULL, x1))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x1)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x1)), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, x1)), x2)), java.lang.Object(Alternate.Tree(EOC, NULL, x1)), java.lang.Object(Alternate.Tree(EOC, NULL, x1))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x1)), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x1)), x2)), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, NULL, x2)))), java.lang.Object(Alternate.Tree(EOC, NULL, x2)), java.lang.Object(Alternate.Tree(EOC, NULL, x2))) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x2)))), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)), x2)))), -(x0, 1)) | >(x0, 0)
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, x2)), java.lang.Object(Alternate.Tree(EOC, x3, NULL)), x4) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x5, x6)), java.lang.Object(Alternate.Tree(EOC, x5, x6)), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, NULL)), java.lang.Object(Alternate.Tree(EOC, x1, NULL)), x2) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))), -(x0, 1)) | &&(>(x0, 0), >(x2, 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x1, NULL)), x2)), java.lang.Object(Alternate.Tree(EOC, x1, NULL)), x3) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))), x2)), java.lang.Object(Alternate.Tree(EOC, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))), x2)), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f12325_0_createTree_LE(EOS, x0, java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, x2, NULL)))), java.lang.Object(Alternate.Tree(EOC, x2, NULL)), x3) → f11052_0_createTree_LE(EOS, -(x0, 1), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, x2, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))))), java.lang.Object(Alternate.Tree(EOC, x1, java.lang.Object(Alternate.Tree(EOC, x2, java.lang.Object(Alternate.Tree(EOC, NULL, NULL)))))), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))

Filtered ground terms:

f11052_0_createTree_LE(x1, x2, x3, x4, x5) → f11052_0_createTree_LE(x2, x3, x4, x5)
Cond_f11052_0_createTree_LE(x1, x2, x3, x4, x5, x6, x7) → Cond_f11052_0_createTree_LE(x1, x3, x4, x5, x6, x7)
f12325_0_createTree_LE(x1, x2, x3, x4, x5) → f12325_0_createTree_LE(x2, x3, x4, x5)
f11196_0_createTree_FieldAccess(x1, x2, x3, x4, x5) → f11196_0_createTree_FieldAccess(x2, x3, x4, x5)
Cond_f11196_0_createTree_FieldAccess(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess(x1, x3, x4, x5, x6)
f11494_0_createNode_New(x1) → f11494_0_createNode_New
Cond_f11196_0_createTree_FieldAccess1(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess1(x1, x3, x4, x5, x6)
f11474_0_createNode_New(x1) → f11474_0_createNode_New
Cond_f11196_0_createTree_FieldAccess2(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess2(x1, x3, x4, x5, x6)
f11477_0_createNode_New(x1) → f11477_0_createNode_New
Cond_f11196_0_createTree_FieldAccess3(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess3(x1, x3, x4, x5, x6)
f11446_0_createNode_New(x1) → f11446_0_createNode_New
Cond_f12325_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE(x1, x3, x4, x5, x6)
Cond_f12325_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE1(x1, x3, x4, x5, x6)
f12913_0_createNode_New(x1) → f12913_0_createNode_New
Cond_f12325_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_f12325_0_createTree_LE3(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE3(x1, x3, x4, x5, x6)
f12884_0_createNode_New(x1) → f12884_0_createNode_New
Cond_f12325_0_createTree_LE4(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE4(x1, x3, x4, x5, x6)
Cond_f12325_0_createTree_LE5(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE5(x1, x3, x4, x5, x6)
f12906_0_createNode_New(x1) → f12906_0_createNode_New
Cond_f12325_0_createTree_LE6(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE6(x1, x3, x4, x5, x6)
Cond_f12325_0_createTree_LE7(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE7(x1, x3, x4, x5, x6)
f12744_0_createNode_New(x1) → f12744_0_createNode_New
Cond_f11052_0_createTree_LE1(x1, x2, x3, x4, x5, x6) → Cond_f11052_0_createTree_LE1(x1, x3, x4, x5, x6)
Cond_f11052_0_createTree_LE2(x1, x2, x3, x4, x5, x6) → Cond_f11052_0_createTree_LE2(x1, x3, x4, x5, x6)
Cond_f11196_0_createTree_FieldAccess4(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f11196_0_createTree_FieldAccess4(x1, x3, x4, x5, x6, x7, x8)
Cond_f11196_0_createTree_FieldAccess5(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess5(x1, x3, x4, x5, x6)
Cond_f11196_0_createTree_FieldAccess6(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess6(x1, x3, x4, x5, x6)
Cond_f11196_0_createTree_FieldAccess7(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess7(x1, x3, x4, x5, x6)
Cond_f12325_0_createTree_LE8(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f12325_0_createTree_LE8(x1, x3, x4, x5, x6, x7, x8)
Cond_f12325_0_createTree_LE9(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE9(x1, x3, x4, x5, x6)
Cond_f12325_0_createTree_LE10(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE10(x1, x3, x4, x5, x6)
Cond_f12325_0_createTree_LE11(x1, x2, x3, x4, x5, x6) → Cond_f12325_0_createTree_LE11(x1, x3, x4, x5, x6)
Alternate.Tree(x1, x2, x3) → Alternate.Tree(x2, x3)

Filtered duplicate terms:

f11052_0_createTree_LE(x1, x2, x3, x4) → f11052_0_createTree_LE(x2, x3, x4)
Cond_f11052_0_createTree_LE(x1, x2, x3, x4, x5, x6) → Cond_f11052_0_createTree_LE(x1, x3, x4, x5, x6)
f11196_0_createTree_FieldAccess(x1, x2, x3, x4) → f11196_0_createTree_FieldAccess(x1, x2, x4)
Cond_f11196_0_createTree_FieldAccess(x1, x2, x3, x4, x5) → Cond_f11196_0_createTree_FieldAccess(x1, x2, x3, x5)
Cond_f11196_0_createTree_FieldAccess1(x1, x2, x3, x4, x5) → Cond_f11196_0_createTree_FieldAccess1(x1, x2, x5)
Cond_f11196_0_createTree_FieldAccess2(x1, x2, x3, x4, x5) → Cond_f11196_0_createTree_FieldAccess2(x1, x2, x3)
Cond_f11196_0_createTree_FieldAccess3(x1, x2, x3, x4, x5) → Cond_f11196_0_createTree_FieldAccess3(x1, x2, x3)
Cond_f12325_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE2(x1, x2, x4, x5)
Cond_f12325_0_createTree_LE3(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE3(x1, x2, x4, x5)
Cond_f12325_0_createTree_LE4(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE4(x1, x2, x3, x5)
Cond_f12325_0_createTree_LE5(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE5(x1, x2, x3, x5)
Cond_f12325_0_createTree_LE6(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE6(x1, x2, x3, x5)
Cond_f12325_0_createTree_LE7(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE7(x1, x2, x3, x5)
Cond_f11052_0_createTree_LE1(x1, x2, x3, x4, x5) → Cond_f11052_0_createTree_LE1(x1, x3, x4, x5)
Cond_f11052_0_createTree_LE2(x1, x2, x3, x4, x5) → Cond_f11052_0_createTree_LE2(x1, x3, x4, x5)
Cond_f11196_0_createTree_FieldAccess4(x1, x2, x3, x4, x5, x6, x7) → Cond_f11196_0_createTree_FieldAccess4(x1, x2, x3, x5, x6, x7)
Cond_f11196_0_createTree_FieldAccess5(x1, x2, x3, x4, x5) → Cond_f11196_0_createTree_FieldAccess5(x1, x2, x5)
Cond_f11196_0_createTree_FieldAccess6(x1, x2, x3, x4, x5) → Cond_f11196_0_createTree_FieldAccess6(x1, x2, x3)
Cond_f11196_0_createTree_FieldAccess7(x1, x2, x3, x4, x5) → Cond_f11196_0_createTree_FieldAccess7(x1, x2, x3)
Cond_f12325_0_createTree_LE9(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE9(x1, x2, x4, x5)
Cond_f12325_0_createTree_LE10(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE10(x1, x2, x3, x5)
Cond_f12325_0_createTree_LE11(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE11(x1, x2, x3, x5)

Filtered unneeded terms:

Cond_f12325_0_createTree_LE(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE(x1, x2, x3, x4)
Cond_f12325_0_createTree_LE1(x1, x2, x3, x4, x5) → Cond_f12325_0_createTree_LE1(x1)
Cond_f12325_0_createTree_LE2(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE2(x1, x2, x3)
Cond_f12325_0_createTree_LE3(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE3(x1)
Cond_f12325_0_createTree_LE4(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE4(x1, x2, x3)
Cond_f12325_0_createTree_LE5(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE5(x1)
Cond_f12325_0_createTree_LE6(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE6(x1, x2, x3)
Cond_f12325_0_createTree_LE7(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE7(x1)
Cond_f11196_0_createTree_FieldAccess4(x1, x2, x3, x4, x5, x6) → Cond_f11196_0_createTree_FieldAccess4(x1, x2, x5, x6)
Cond_f12325_0_createTree_LE8(x1, x2, x3, x4, x5, x6, x7) → Cond_f12325_0_createTree_LE8(x1, x2, x6, x7)
Cond_f12325_0_createTree_LE9(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE9(x1, x2, x3)
Cond_f12325_0_createTree_LE10(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE10(x1, x2, x3)
Cond_f12325_0_createTree_LE11(x1, x2, x3, x4) → Cond_f12325_0_createTree_LE11(x1, x2, x3)

Prepared 28 rules for path length conversion:

P rules:
f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3), x0) → f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3), x4) | &&(>(x0, 0), >(+(x4, 1), 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3), 0) → f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3))
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(Alternate.Tree(java.lang.Object(x3), x4))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(Alternate.Tree(NULL, x3))) → f11494_0_createNode_New
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(java.lang.Object(x1), x2)), java.lang.Object(Alternate.Tree(java.lang.Object(x1), x2))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(java.lang.Object(x1), x2)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(NULL, x1)), java.lang.Object(Alternate.Tree(NULL, x1))) → f11474_0_createNode_New
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(x1), x2)), x3)), java.lang.Object(Alternate.Tree(java.lang.Object(x1), x2))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(x1), x2)), x3)), java.lang.Object(x1), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, x1)), x2)), java.lang.Object(Alternate.Tree(NULL, x1))) → f11477_0_createNode_New
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(java.lang.Object(x2), x3)))), java.lang.Object(Alternate.Tree(java.lang.Object(x2), x3))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(java.lang.Object(x2), x3)))), java.lang.Object(x2), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(NULL, x2)))), java.lang.Object(Alternate.Tree(NULL, x2))) → f11446_0_createNode_New
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(Alternate.Tree(x3, java.lang.Object(x4))), x5) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x4), -(x0, 1)) | &&(>(x0, 0), >(x5, 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(Alternate.Tree(x3, NULL)), x4) → f12913_0_createNode_New | >(x4, 0)
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, java.lang.Object(x2))), java.lang.Object(Alternate.Tree(x1, java.lang.Object(x2))), x3) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, java.lang.Object(x2))), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, NULL)), java.lang.Object(Alternate.Tree(x1, NULL)), x2) → f12884_0_createNode_New | >(x2, 0)
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x1, java.lang.Object(x2))), x3)), java.lang.Object(Alternate.Tree(x1, java.lang.Object(x2))), x4) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x1, java.lang.Object(x2))), x3)), java.lang.Object(x2), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x1, NULL)), x2)), java.lang.Object(Alternate.Tree(x1, NULL)), x3) → f12906_0_createNode_New | >(x3, 0)
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(x2, java.lang.Object(x3))))), java.lang.Object(Alternate.Tree(x2, java.lang.Object(x3))), x4) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(x2, java.lang.Object(x3))))), java.lang.Object(x3), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(x2, NULL)))), java.lang.Object(Alternate.Tree(x2, NULL)), x3) → f12744_0_createNode_New | >(x3, 0)
f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3), x0) → f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3), 0) | >(x0, 0)
f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3), x0) → f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(x3)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(Alternate.Tree(NULL, x3))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x4, x5)), java.lang.Object(Alternate.Tree(x4, x5)), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(NULL, x1)), java.lang.Object(Alternate.Tree(NULL, x1))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x1)), java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x1)), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, x1)), x2)), java.lang.Object(Alternate.Tree(NULL, x1))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x1)), x2)), java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x1)), x2)), -(x0, 1)) | >(x0, 0)
f11196_0_createTree_FieldAccess(x0, java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(NULL, x2)))), java.lang.Object(Alternate.Tree(NULL, x2))) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x2)))), java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(NULL, NULL)), x2)))), -(x0, 1)) | >(x0, 0)
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, x2)), java.lang.Object(Alternate.Tree(x3, NULL)), x4) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x5, x6)), java.lang.Object(Alternate.Tree(x5, x6)), -(x0, 1)) | &&(>(x0, 0), >(x4, 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, NULL)), java.lang.Object(Alternate.Tree(x1, NULL)), x2) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(NULL, NULL)))), java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(NULL, NULL)))), -(x0, 1)) | &&(>(x0, 0), >(x2, 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x1, NULL)), x2)), java.lang.Object(Alternate.Tree(x1, NULL)), x3) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(NULL, NULL)))), x2)), java.lang.Object(Alternate.Tree(java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(NULL, NULL)))), x2)), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))
f12325_0_createTree_LE(x0, java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(x2, NULL)))), java.lang.Object(Alternate.Tree(x2, NULL)), x3) → f11052_0_createTree_LE(java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(x2, java.lang.Object(Alternate.Tree(NULL, NULL)))))), java.lang.Object(Alternate.Tree(x1, java.lang.Object(Alternate.Tree(x2, java.lang.Object(Alternate.Tree(NULL, NULL)))))), -(x0, 1)) | &&(>(x0, 0), >(x3, 0))

Finished conversion. Obtained 20 rules.

P rules:
f11052_0_createTree_LE(v123, v124, x3) → f12325_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))
f12325_0_createTree_LE(x5, v127, v128, c0) → f11196_0_createTree_FieldAccess(x5, v129, v130) | &&(&&(&&(&&(&&(&&(>(+(v130, 1), 1), <=(v130, v128)), >(+(v129, 1), 1)), <=(v129, v127)), >(+(v128, 1), 1)), >(+(v127, 1), 1)), =(0, c0))
f11196_0_createTree_FieldAccess(x9, v131, v132) → f11052_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))
f11196_0_createTree_FieldAccess(x18, v135, v136) → f11052_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))
f11196_0_createTree_FieldAccess(x23, v139, v140) → f11052_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))
f11196_0_createTree_FieldAccess(x30, v143, v144) → f11052_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))
f12325_0_createTree_LE(x37, v147, v148, x42) → f11052_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))
f12325_0_createTree_LE(x48, v151, v152, x51) → f11052_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))
f12325_0_createTree_LE(x55, v155, v156, x59) → f11052_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))
f12325_0_createTree_LE(x64, v159, v160, x68) → f11052_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))
f11052_0_createTree_LE(v163, v164, x76) → f12325_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))
f11052_0_createTree_LE(v167, v168, x80) → f11196_0_createTree_FieldAccess(x80, v169, v170) | &&(&&(&&(&&(&&(&&(>(x80, 0), >(+(v170, 1), 1)), <=(v170, v168)), >(+(v169, 1), 1)), <=(v169, v167)), >(+(v168, 1), 1)), >(+(v167, 1), 1))
f11196_0_createTree_FieldAccess(x81, v171, v172) → f11052_0_createTree_LE(v173, v174, -(x81, 1)) | &&(&&(&&(&&(>(x81, 0), >(+(v174, 1), 1)), >(+(v173, 1), 1)), >(+(v172, 1), 2)), >(+(v171, 1), 1))
f11196_0_createTree_FieldAccess(x87, v175, v176) → f11052_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))
f11196_0_createTree_FieldAccess(x89, v179, v180) → f11052_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))
f11196_0_createTree_FieldAccess(x92, v183, v184) → f11052_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))
f12325_0_createTree_LE(x95, v187, v188, x99) → f11052_0_createTree_LE(v189, v190, -(x95, 1)) | &&(&&(&&(&&(&&(>(x99, 0), >(x95, 0)), >(+(v190, 1), 1)), >(+(v189, 1), 1)), >(+(v188, 1), 2)), >(+(v187, 1), 1))
f12325_0_createTree_LE(x102, v191, v192, x104) → f11052_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))
f12325_0_createTree_LE(x105, v195, v196, x108) → f11052_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))
f12325_0_createTree_LE(x109, v199, v200, x112) → f11052_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))

(17) Obligation:

Rules:
f11052_0_createTree_LE(v123, v124, x3) → f12325_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))
f12325_0_createTree_LE(x5, v127, v128, c0) → f11196_0_createTree_FieldAccess(x5, v129, v130) | &&(&&(&&(&&(&&(&&(>(+(v130, 1), 1), <=(v130, v128)), >(+(v129, 1), 1)), <=(v129, v127)), >(+(v128, 1), 1)), >(+(v127, 1), 1)), =(0, c0))
f11196_0_createTree_FieldAccess(x9, v131, v132) → f11052_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))
f11196_0_createTree_FieldAccess(x18, v135, v136) → f11052_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))
f11196_0_createTree_FieldAccess(x23, v139, v140) → f11052_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))
f11196_0_createTree_FieldAccess(x30, v143, v144) → f11052_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))
f12325_0_createTree_LE(x37, v147, v148, x42) → f11052_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))
f12325_0_createTree_LE(x48, v151, v152, x51) → f11052_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))
f12325_0_createTree_LE(x55, v155, v156, x59) → f11052_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))
f12325_0_createTree_LE(x64, v159, v160, x68) → f11052_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))
f11052_0_createTree_LE(v163, v164, x76) → f12325_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))
f11052_0_createTree_LE(v167, v168, x80) → f11196_0_createTree_FieldAccess(x80, v169, v170) | &&(&&(&&(&&(&&(&&(>(x80, 0), >(+(v170, 1), 1)), <=(v170, v168)), >(+(v169, 1), 1)), <=(v169, v167)), >(+(v168, 1), 1)), >(+(v167, 1), 1))
f11196_0_createTree_FieldAccess(x81, v171, v172) → f11052_0_createTree_LE(v173, v174, -(x81, 1)) | &&(&&(&&(&&(>(x81, 0), >(+(v174, 1), 1)), >(+(v173, 1), 1)), >(+(v172, 1), 2)), >(+(v171, 1), 1))
f11196_0_createTree_FieldAccess(x87, v175, v176) → f11052_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))
f11196_0_createTree_FieldAccess(x89, v179, v180) → f11052_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))
f11196_0_createTree_FieldAccess(x92, v183, v184) → f11052_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))
f12325_0_createTree_LE(x95, v187, v188, x99) → f11052_0_createTree_LE(v189, v190, -(x95, 1)) | &&(&&(&&(&&(&&(>(x99, 0), >(x95, 0)), >(+(v190, 1), 1)), >(+(v189, 1), 1)), >(+(v188, 1), 2)), >(+(v187, 1), 1))
f12325_0_createTree_LE(x102, v191, v192, x104) → f11052_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))
f12325_0_createTree_LE(x105, v195, v196, x108) → f11052_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))
f12325_0_createTree_LE(x109, v199, v200, x112) → f11052_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))

(18) PolynomialOrderProcessor (SOUND transformation)

Found the following polynomial interpretation:

[f11052_0_createTree_LE(x111, x113, x115)] = 2·x115
[f12325_0_createTree_LE(x118, x120, x122, x124)] = -1 + 2·x118
[f11196_0_createTree_FieldAccess(x127, x129, x131)] = -1 + 2·x127

Therefore the following rule(s) have been dropped:

f11052_0_createTree_LE(x0, x1, x2) → f12325_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))
f11196_0_createTree_FieldAccess(x12, x13, x14) → f11052_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))
f11196_0_createTree_FieldAccess(x17, x18, x19) → f11052_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))
f11196_0_createTree_FieldAccess(x22, x23, x24) → f11052_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))
f11196_0_createTree_FieldAccess(x27, x28, x29) → f11052_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))
f12325_0_createTree_LE(x32, x33, x34, x35) → f11052_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))
f12325_0_createTree_LE(x38, x39, x40, x41) → f11052_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))
f12325_0_createTree_LE(x44, x45, x46, x47) → f11052_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))
f12325_0_createTree_LE(x50, x51, x52, x53) → f11052_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))
f11052_0_createTree_LE(x56, x57, x58) → f12325_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))
f11052_0_createTree_LE(x61, x62, x63) → f11196_0_createTree_FieldAccess(x63, x64, x65) | &&(&&(&&(&&(&&(&&(>(x63, 0), >(+(x65, 1), 1)), <=(x65, x62)), >(+(x64, 1), 1)), <=(x64, x61)), >(+(x62, 1), 1)), >(+(x61, 1), 1))
f11196_0_createTree_FieldAccess(x66, x67, x68) → f11052_0_createTree_LE(x69, x70, -(x66, 1)) | &&(&&(&&(&&(>(x66, 0), >(+(x70, 1), 1)), >(+(x69, 1), 1)), >(+(x68, 1), 2)), >(+(x67, 1), 1))
f11196_0_createTree_FieldAccess(x71, x72, x73) → f11052_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))
f11196_0_createTree_FieldAccess(x76, x77, x78) → f11052_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))
f11196_0_createTree_FieldAccess(x81, x82, x83) → f11052_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))
f12325_0_createTree_LE(x86, x87, x88, x89) → f11052_0_createTree_LE(x90, x91, -(x86, 1)) | &&(&&(&&(&&(&&(>(x89, 0), >(x86, 0)), >(+(x91, 1), 1)), >(+(x90, 1), 1)), >(+(x88, 1), 2)), >(+(x87, 1), 1))
f12325_0_createTree_LE(x92, x93, x94, x95) → f11052_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))
f12325_0_createTree_LE(x98, x99, x100, x101) → f11052_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))
f12325_0_createTree_LE(x104, x105, x106, x107) → f11052_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))

(19) Obligation:

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

(20) TerminationGraphProcessor (EQUIVALENT transformation)

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

(0) Obligation:

(1) JBCToGraph (SOUND transformation)

(2) Obligation:

(3) TerminationGraphToSCCProof (SOUND transformation)

(4) Complex Obligation (AND)

(5) Obligation:

(6) SCCToIntTRSProof (SOUND transformation)

(7) Obligation:

(8) PolynomialOrderProcessor (EQUIVALENT transformation)

(9) YES

(10) Obligation:

(11) SCCToIntTRSProof (SOUND transformation)

(12) Obligation:

(13) PolynomialOrderProcessor (EQUIVALENT transformation)

(14) YES

(15) Obligation:

(16) SCCToIntTRSProof (SOUND transformation)

(17) Obligation:

(18) PolynomialOrderProcessor (SOUND transformation)

(19) Obligation:

(20) TerminationGraphProcessor (EQUIVALENT transformation)

(21) YES