Termination proof of /tmp/tmpC82YrJ/RotateTree.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 3411 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIntTRSProof (⇒, 119 ms)

        ↳7 intTRS

        ↳8 PolynomialOrderProcessor (⇔, 0 ms)

        ↳9 YES

    ↳10 JBCTerminationSCC

        ↳11 SCCToIntTRSProof (⇒, 1026 ms)

        ↳12 intTRS

        ↳13 LinearRankingProcessor (⇔, 70 ms)

        ↳14 YES

    ↳15 JBCTerminationSCC

        ↳16 SCCToIntTRSProof (⇒, 141 ms)

        ↳17 intTRS

        ↳18 LinearRankingProcessor (⇔, 16 ms)

        ↳19 YES

(0) Obligation:

JBC Problem based on JBC Program:

package RotateTree;

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

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


package RotateTree;

public class RotateTree {
	public static void main(String args[]){
		Random.args = args;
		Tree t = Tree.createTree(Random.random());

		Tree.rotateEachNode(t);
	}
}


package RotateTree;

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

	public static Tree createTree(final int numElements) {
		final Tree t = new Tree(Random.random());

		for (int i = 0; i < numElements; i++) {
			t.insert(Random.random());
		}

		return t;
	}

	public void insert(final int v) {
		if (v <= this.value) {
			if (this.left == null) {
				this.left = new Tree(v);
			} else {
				this.left.insert(v);
			}
		} else {
			if (this.right == null) {
				this.right = new Tree(v);
			} else {
				this.right.insert(v);
			}
		}
	}

	public Tree(final int val) {
		this.value = val;
	}

	public static Tree rotateEachNode(Tree t) {
		Tree left = t.left;
		if (left == null) {
			return t;
		}
		Tree leftRight = left.right;
		left.right = t;
		t.left = leftRight;
		t.left = rotateEachNode(t.left);
		t.right = rotateEachNode(t.right);
		return t;
	}
}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

RotateTree.Tree.createTree(I)LRotateTree/Tree;: Graph of 194 nodes with 1 SCC.

RotateTree.Tree.rotateEachNode(LRotateTree/Tree;)LRotateTree/Tree;: Graph of 158 nodes with 0 SCCs.

RotateTree.Tree.insert(I)V: Graph of 72 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: RotateTree.Tree.insert(I)V
SCC calls the following helper methods: RotateTree.Tree.insert(I)V
Performed SCC analyses:

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

(6) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 30 IRules

P rules:
f8655_0_insert_Load(EOS, java.lang.Object(o3652sub), i2790, java.lang.Object(o3652sub), i2790, i2790) → f8667_0_insert_FieldAccess(EOS, java.lang.Object(o3652sub), i2790, java.lang.Object(o3652sub), i2790, i2790, java.lang.Object(o3652sub))
f8667_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662))) → f8676_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)))
f8676_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662))) → f8679_0_insert_GT(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, i2795)
f8679_0_insert_GT(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, i2795) → f8686_0_insert_GT(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, i2795)
f8679_0_insert_GT(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, i2795) → f8687_0_insert_GT(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, i2795)
f8686_0_insert_GT(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, i2795) → f8693_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790) | >(i2790, i2795)
f8693_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790) → f8736_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)))
f8736_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662))) → f8757_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, o3663)
f8757_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(o3699sub)) → f8775_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(o3699sub))
f8775_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(o3699sub)) → f8803_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790)
f8803_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790) → f8876_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)))
f8876_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662))) → f8992_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, i2790, java.lang.Object(o3699sub))
f8992_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, i2790, java.lang.Object(o3699sub)) → f9030_0_insert_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(o3699sub), i2790)
f9030_0_insert_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(o3699sub), i2790) → f9153_0_insert_Load(EOS, java.lang.Object(o3699sub), i2790, java.lang.Object(o3699sub), i2790)
f9030_0_insert_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(o3699sub), i2790) → f9153_1_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, java.lang.Object(o3699sub), o3662)), i2790, java.lang.Object(o3699sub), i2790, java.lang.Object(o3699sub), i2790)
f9153_0_insert_Load(EOS, java.lang.Object(o3699sub), i2790, java.lang.Object(o3699sub), i2790) → f9283_0_insert_Load(EOS, java.lang.Object(o3699sub), i2790, java.lang.Object(o3699sub), i2790)
f9283_0_insert_Load(EOS, java.lang.Object(o3699sub), i2790, java.lang.Object(o3699sub), i2790) → f8652_0_insert_Load(EOS, java.lang.Object(o3699sub), i2790, java.lang.Object(o3699sub), i2790)
f8652_0_insert_Load(EOS, java.lang.Object(o3652sub), i2790, java.lang.Object(o3652sub), i2790) → f8655_0_insert_Load(EOS, java.lang.Object(o3652sub), i2790, java.lang.Object(o3652sub), i2790, i2790)
f8687_0_insert_GT(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, i2790, i2795) → f8708_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790) | <=(i2790, i2795)
f8708_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790) → f8744_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)))
f8744_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662))) → f8767_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, o3662)), i2790, o3662)
f8767_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(o3705sub)) → f8791_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(o3705sub))
f8791_0_insert_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(o3705sub)) → f8835_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790)
f8835_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790) → f8895_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))))
f8895_0_insert_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, i2790, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub)))) → f9006_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, i2790, java.lang.Object(o3705sub))
f9006_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, i2790, java.lang.Object(o3705sub)) → f9101_0_insert_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(o3705sub), i2790)
f9101_0_insert_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(o3705sub), i2790) → f9197_0_insert_Load(EOS, java.lang.Object(o3705sub), i2790, java.lang.Object(o3705sub), i2790)
f9101_0_insert_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(o3705sub), i2790) → f9197_1_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, i2795, o3663, java.lang.Object(o3705sub))), i2790, java.lang.Object(o3705sub), i2790, java.lang.Object(o3705sub), i2790)
f9197_0_insert_Load(EOS, java.lang.Object(o3705sub), i2790, java.lang.Object(o3705sub), i2790) → f9324_0_insert_Load(EOS, java.lang.Object(o3705sub), i2790, java.lang.Object(o3705sub), i2790)
f9324_0_insert_Load(EOS, java.lang.Object(o3705sub), i2790, java.lang.Object(o3705sub), i2790) → f8652_0_insert_Load(EOS, java.lang.Object(o3705sub), i2790, java.lang.Object(o3705sub), i2790)

Combined rules. Obtained 4 IRules

P rules:
f8655_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, x3) → f9153_1_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, java.lang.Object(x1), x3, java.lang.Object(x1), x3) | >(x3, x0)
f8655_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, x3) → f8655_0_insert_Load(EOS, java.lang.Object(x1), x3, java.lang.Object(x1), x3, x3) | >(x3, x0)
f8655_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, java.lang.Object(RotateTree.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, x3) → f9197_1_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, java.lang.Object(x2), x3, java.lang.Object(x2), x3) | <=(x3, x0)
f8655_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, java.lang.Object(RotateTree.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, x3) → f8655_0_insert_Load(EOS, java.lang.Object(x2), x3, java.lang.Object(x2), x3, x3) | <=(x3, x0)

Filtered ground terms:

f8655_0_insert_Load(x1, x2, x3, x4, x5, x6) → f8655_0_insert_Load(x2, x3, x4, x5, x6)
Cond_f8655_0_insert_Load(x1, x2, x3, x4, x5, x6, x7) → Cond_f8655_0_insert_Load(x1, x3, x4, x5, x6, x7)
f9153_1_insert_Load(x1, x2, x3, x4, x5, x6, x7) → f9153_1_insert_Load(x2, x3, x4, x5, x6, x7)
Cond_f8655_0_insert_Load1(x1, x2, x3, x4, x5, x6, x7) → Cond_f8655_0_insert_Load1(x1, x3, x4, x5, x6, x7)
Cond_f8655_0_insert_Load2(x1, x2, x3, x4, x5, x6, x7) → Cond_f8655_0_insert_Load2(x1, x3, x4, x5, x6, x7)
f9197_1_insert_Load(x1, x2, x3, x4, x5, x6, x7) → f9197_1_insert_Load(x2, x3, x4, x5, x6, x7)
Cond_f8655_0_insert_Load3(x1, x2, x3, x4, x5, x6, x7) → Cond_f8655_0_insert_Load3(x1, x3, x4, x5, x6, x7)
RotateTree.Tree(x1, x2, x3, x4) → RotateTree.Tree(x2, x3, x4)

Filtered duplicate terms:

f8655_0_insert_Load(x1, x2, x3, x4, x5) → f8655_0_insert_Load(x3, x5)
Cond_f8655_0_insert_Load(x1, x2, x3, x4, x5, x6) → Cond_f8655_0_insert_Load(x1, x4, x6)
f9153_1_insert_Load(x1, x2, x3, x4, x5, x6) → f9153_1_insert_Load(x1, x6)
Cond_f8655_0_insert_Load1(x1, x2, x3, x4, x5, x6) → Cond_f8655_0_insert_Load1(x1, x4, x6)
Cond_f8655_0_insert_Load2(x1, x2, x3, x4, x5, x6) → Cond_f8655_0_insert_Load2(x1, x4, x6)
f9197_1_insert_Load(x1, x2, x3, x4, x5, x6) → f9197_1_insert_Load(x1, x6)
Cond_f8655_0_insert_Load3(x1, x2, x3, x4, x5, x6) → Cond_f8655_0_insert_Load3(x1, x4, x6)

Filtered unneeded terms:

Cond_f8655_0_insert_Load(x1, x2, x3) → Cond_f8655_0_insert_Load(x1)
Cond_f8655_0_insert_Load2(x1, x2, x3) → Cond_f8655_0_insert_Load2(x1)

Prepared 4 rules for path length conversion:

P rules:
f8655_0_insert_Load(java.lang.Object(RotateTree.Tree(x0, java.lang.Object(x1), x2)), x3) → f9153_1_insert_Load(java.lang.Object(RotateTree.Tree(x0, java.lang.Object(x1), x2)), x3) | >(x3, x0)
f8655_0_insert_Load(java.lang.Object(RotateTree.Tree(x0, java.lang.Object(x1), x2)), x3) → f8655_0_insert_Load(java.lang.Object(x1), x3) | >(x3, x0)
f8655_0_insert_Load(java.lang.Object(RotateTree.Tree(x0, x1, java.lang.Object(x2))), x3) → f9197_1_insert_Load(java.lang.Object(RotateTree.Tree(x0, x1, java.lang.Object(x2))), x3) | <=(x3, x0)
f8655_0_insert_Load(java.lang.Object(RotateTree.Tree(x0, x1, java.lang.Object(x2))), x3) → f8655_0_insert_Load(java.lang.Object(x2), x3) | <=(x3, x0)

Finished conversion. Obtained 2 rules.

P rules:
f8655_0_insert_Load(v18, x7) → f8655_0_insert_Load(v19, x7) | &&(&&(&&(>(x7, x4), >(+(v19, 1), 1)), <=(+(v19, 2), v18)), >(+(v18, 1), 3))
f8655_0_insert_Load(v20, x15) → f8655_0_insert_Load(v21, x15) | &&(&&(&&(<=(x15, x12), >(+(v21, 1), 1)), <=(+(v21, 2), v20)), >(+(v20, 1), 3))

(7) Obligation:

Rules:
f8655_0_insert_Load(v18, x7) → f8655_0_insert_Load(v19, x7) | &&(&&(&&(>(x7, x4), >(+(v19, 1), 1)), <=(+(v19, 2), v18)), >(+(v18, 1), 3))
f8655_0_insert_Load(v20, x15) → f8655_0_insert_Load(v21, x15) | &&(&&(&&(<=(x15, x12), >(+(v21, 1), 1)), <=(+(v21, 2), v20)), >(+(v20, 1), 3))

(8) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f8655_0_insert_Load(x9, x11)] = x9

Therefore the following rule(s) have been dropped:

f8655_0_insert_Load(x0, x1) → f8655_0_insert_Load(x2, x1) | &&(&&(&&(>(x1, x3), >(+(x2, 1), 1)), <=(+(x2, 2), x0)), >(+(x0, 1), 3))
f8655_0_insert_Load(x4, x5) → f8655_0_insert_Load(x6, x5) | &&(&&(&&(<=(x5, x7), >(+(x6, 1), 1)), <=(+(x6, 2), x4)), >(+(x4, 1), 3))

(9) YES

(10) Obligation:

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

Used field analysis yielded the following read fields:
- RotateTree.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 53 IRules

P rules:
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(o3552sub), java.lang.Object(o3552sub), java.lang.Object(o3552sub)) → f8375_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(o3552sub), java.lang.Object(o3552sub), java.lang.Object(o3552sub))
f8375_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557))) → f8383_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)))
f8383_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557))) → f8391_0_rotateEachNode_Store(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), o3556)
f8391_0_rotateEachNode_Store(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), o3556) → f8406_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), o3556)
f8406_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), o3556) → f8418_0_rotateEachNode_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3556, o3557)), o3556, o3556)
f8418_0_rotateEachNode_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(o3572sub), java.lang.Object(o3572sub)) → f8424_0_rotateEachNode_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(o3572sub), java.lang.Object(o3572sub))
f8424_0_rotateEachNode_NONNULL(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(o3572sub), java.lang.Object(o3572sub)) → f8435_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(o3572sub))
f8435_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(o3572sub)) → f8447_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(o3572sub), o3557)), java.lang.Object(o3572sub), java.lang.Object(o3572sub))
f8447_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585))) → f8462_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)))
f8462_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585))) → f8476_0_rotateEachNode_Store(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3585)
f8476_0_rotateEachNode_Store(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3585) → f8501_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3585)
f8501_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3585) → f8512_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), o3585, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)))
f8512_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), o3585, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585))) → f8522_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), o3585, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)))
f8522_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557)), o3585, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, o3585)), o3557))) → f8531_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), o3585)
f8531_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), o3585) → f8538_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), o3585, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)))
f8538_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), o3585, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557))) → f8544_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), o3585)
f8544_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o3584, java.lang.Object(EOR))), o3557)), o3585) → f8561_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)))
f8561_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557))) → f8572_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)))
f8572_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557))) → f8583_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)))
f8583_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557))) → f8596_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585)
f8596_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585) → f8602_0_rotateEachNode_Load(EOS, o3585, o3585)
f8596_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585) → f8602_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585, o3585)
f8602_0_rotateEachNode_Load(EOS, o3585, o3585) → f8612_0_rotateEachNode_Load(EOS, o3585, o3585)
f8612_0_rotateEachNode_Load(EOS, o3585, o3585) → f8338_0_rotateEachNode_Load(EOS, o3585, o3585)
f8338_0_rotateEachNode_Load(EOS, o3537, o3537) → f8372_0_rotateEachNode_FieldAccess(EOS, o3537, o3537, o3537)
f8656_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), NULL, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646))) → f8677_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)))
f8677_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646))) → f8689_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)))
f8689_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557))) → f8737_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)))
f8737_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557))) → f8759_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)))
f8759_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557))) → f8778_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), o3557)
f8778_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), o3557) → f8805_0_rotateEachNode_Load(EOS, o3557, o3557)
f8778_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), o3557) → f8805_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), o3557, o3557)
f8805_0_rotateEachNode_Load(EOS, o3557, o3557) → f8869_0_rotateEachNode_Load(EOS, o3557, o3557)
f8869_0_rotateEachNode_Load(EOS, o3557, o3557) → f8338_0_rotateEachNode_Load(EOS, o3557, o3557)
f9985_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158))))) → f10894_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))))
f10894_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), o4710)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), o4710)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), o4710)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708))))) → f12697_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), o4710)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), o4710)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), o4710)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4705)), java.lang.Object(RotateTree.Tree(EOC, o4707, o4708)))))
f12697_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063))))) → f12789_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))))
f12789_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063))))) → f12975_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)))
f12975_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065))) → f13059_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)))
f13059_0_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065))) → f13073_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)))
f13073_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065))) → f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), o6065)
f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), o6065) → f13167_0_rotateEachNode_Load(EOS, o6065, o6065)
f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), o6065) → f13167_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), o6065, o6065)
f13167_0_rotateEachNode_Load(EOS, o6065, o6065) → f13203_0_rotateEachNode_Load(EOS, o6065, o6065)
f13203_0_rotateEachNode_Load(EOS, o6065, o6065) → f8338_0_rotateEachNode_Load(EOS, o6065, o6065)
f13181_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371))))))) → f12697_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))))
f14917_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257))))) → f12697_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))))
f15533_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781))))))) → f12697_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))))
f8602_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646))) → f8656_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), o3557)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)), NULL, java.lang.Object(RotateTree.Tree(EOC, NULL, o3646)))
f8602_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585, o3585) → f9985_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o4157)), java.lang.Object(RotateTree.Tree(EOC, NULL, o4158)))))
f8602_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585, o3585) → f13181_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, o6364)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6368, o6369)), java.lang.Object(RotateTree.Tree(EOC, o6370, o6371)))))))
f8602_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585, o3585) → f14917_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7258, o7259)), java.lang.Object(RotateTree.Tree(EOC, o7260, o7261)))), java.lang.Object(RotateTree.Tree(EOC, NULL, o7257)))))
f8602_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), java.lang.Object(RotateTree.Tree(EOC, o3585, o3557)), o3585, o3585) → f15533_0_rotateEachNode_Return(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), o3557)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7774, o7775)), java.lang.Object(RotateTree.Tree(EOC, o7776, o7777)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o7778, o7779)), java.lang.Object(RotateTree.Tree(EOC, o7780, o7781)))))))

Combined rules. Obtained 9 IRules

P rules:
f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), o6065) → f13167_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, o6059, o6060)), java.lang.Object(RotateTree.Tree(EOC, o6062, o6063)))), o6065)), o6065, o6065)
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2))) → f8372_0_rotateEachNode_FieldAccess(EOS, x1, x1, x1)
f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), java.lang.Object(RotateTree.Tree(EOC, x2, x3)))), x4)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), java.lang.Object(RotateTree.Tree(EOC, x2, x3)))), x4)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), java.lang.Object(RotateTree.Tree(EOC, x2, x3)))), x4)), x4) → f8372_0_rotateEachNode_FieldAccess(EOS, x4, x4, x4)
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)))), x2))) → f8805_1_rotateEachNode_Load(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)), x2)), x2, x2)
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, java.lang.Object(RotateTree.Tree(EOC, NULL, x1)))), x2))) → f8372_0_rotateEachNode_FieldAccess(EOS, x2, x2, x2)
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x3)), java.lang.Object(RotateTree.Tree(EOC, NULL, x4)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x3)), java.lang.Object(RotateTree.Tree(EOC, NULL, x4)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x3)), java.lang.Object(RotateTree.Tree(EOC, NULL, x4)))), x2)), x2)
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x3)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x4, x5)), java.lang.Object(RotateTree.Tree(EOC, x6, x7)))))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x3)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x4, x5)), java.lang.Object(RotateTree.Tree(EOC, x6, x7)))))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, NULL, x3)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x4, x5)), java.lang.Object(RotateTree.Tree(EOC, x6, x7)))))), x2)), x2)
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x3, x4)), java.lang.Object(RotateTree.Tree(EOC, x5, x6)))), java.lang.Object(RotateTree.Tree(EOC, NULL, x7)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x3, x4)), java.lang.Object(RotateTree.Tree(EOC, x5, x6)))), java.lang.Object(RotateTree.Tree(EOC, NULL, x7)))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x3, x4)), java.lang.Object(RotateTree.Tree(EOC, x5, x6)))), java.lang.Object(RotateTree.Tree(EOC, NULL, x7)))), x2)), x2)
f8372_0_rotateEachNode_FieldAccess(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(EOS, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x3, x4)), java.lang.Object(RotateTree.Tree(EOC, x5, x6)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x7, x8)), java.lang.Object(RotateTree.Tree(EOC, x9, x10)))))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x3, x4)), java.lang.Object(RotateTree.Tree(EOC, x5, x6)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x7, x8)), java.lang.Object(RotateTree.Tree(EOC, x9, x10)))))), x2)), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x3, x4)), java.lang.Object(RotateTree.Tree(EOC, x5, x6)))), java.lang.Object(RotateTree.Tree(EOC, java.lang.Object(RotateTree.Tree(EOC, x7, x8)), java.lang.Object(RotateTree.Tree(EOC, x9, x10)))))), x2)), x2)

Filtered ground terms:

f13078_0_rotateEachNode_InvokeMethod(x1, x2, x3, x4, x5) → f13078_0_rotateEachNode_InvokeMethod(x2, x3, x4, x5)
f13167_1_rotateEachNode_Load(x1, x2, x3, x4, x5, x6) → f13167_1_rotateEachNode_Load(x2, x3, x4, x5, x6)
f8372_0_rotateEachNode_FieldAccess(x1, x2, x3, x4) → f8372_0_rotateEachNode_FieldAccess(x2, x3, x4)
f8805_1_rotateEachNode_Load(x1, x2, x3, x4, x5, x6) → f8805_1_rotateEachNode_Load(x2, x3, x4, x5, x6)
RotateTree.Tree(x1, x2, x3) → RotateTree.Tree(x2, x3)

Filtered duplicate terms:

f13078_0_rotateEachNode_InvokeMethod(x1, x2, x3, x4) → f13078_0_rotateEachNode_InvokeMethod(x3)
f13167_1_rotateEachNode_Load(x1, x2, x3, x4, x5) → f13167_1_rotateEachNode_Load(x3)
f8372_0_rotateEachNode_FieldAccess(x1, x2, x3) → f8372_0_rotateEachNode_FieldAccess(x3)
f8805_1_rotateEachNode_Load(x1, x2, x3, x4, x5) → f8805_1_rotateEachNode_Load(x3)

Prepared 9 rules for path length conversion:

P rules:
f13078_0_rotateEachNode_InvokeMethod(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(o6059, o6060)), java.lang.Object(RotateTree.Tree(o6062, o6063)))), o6065)), o6065) → f13167_1_rotateEachNode_Load(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(o6059, o6060)), java.lang.Object(RotateTree.Tree(o6062, o6063)))), o6065)))
f8372_0_rotateEachNode_FieldAccess(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, x1)), x2))) → f8372_0_rotateEachNode_FieldAccess(x1)
f13078_0_rotateEachNode_InvokeMethod(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, x1)), java.lang.Object(RotateTree.Tree(x2, x3)))), x4)), x4) → f8372_0_rotateEachNode_FieldAccess(x4)
f8372_0_rotateEachNode_FieldAccess(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, java.lang.Object(RotateTree.Tree(NULL, x1)))), x2))) → f8805_1_rotateEachNode_Load(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(NULL, x1)), x2)))
f8372_0_rotateEachNode_FieldAccess(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, java.lang.Object(RotateTree.Tree(NULL, x1)))), x2))) → f8372_0_rotateEachNode_FieldAccess(x2)
f8372_0_rotateEachNode_FieldAccess(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(NULL, x3)), java.lang.Object(RotateTree.Tree(NULL, x4)))), x2)), x2)
f8372_0_rotateEachNode_FieldAccess(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(NULL, x3)), java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x4, x5)), java.lang.Object(RotateTree.Tree(x6, x7)))))), x2)), x2)
f8372_0_rotateEachNode_FieldAccess(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x3, x4)), java.lang.Object(RotateTree.Tree(x5, x6)))), java.lang.Object(RotateTree.Tree(NULL, x7)))), x2)), x2)
f8372_0_rotateEachNode_FieldAccess(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x0, x1)), x2))) → f13078_0_rotateEachNode_InvokeMethod(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x3, x4)), java.lang.Object(RotateTree.Tree(x5, x6)))), java.lang.Object(RotateTree.Tree(java.lang.Object(RotateTree.Tree(x7, x8)), java.lang.Object(RotateTree.Tree(x9, x10)))))), x2)), x2)

Finished conversion. Obtained 7 rules.

P rules:
f8372_0_rotateEachNode_FieldAccess(v54) → f8372_0_rotateEachNode_FieldAccess(v55) | &&(&&(>(+(v55, 1), 0), <=(+(v55, 3), v54)), >(+(v54, 1), 3))
f13078_0_rotateEachNode_InvokeMethod(v56, v57) → f8372_0_rotateEachNode_FieldAccess(v58) | &&(&&(&&(&&(>(+(v58, 1), 0), <=(v58, v57)), <=(+(v58, 2), v56)), >(+(v57, 1), 0)), >(+(v56, 1), 5))
f8372_0_rotateEachNode_FieldAccess(v59) → f8372_0_rotateEachNode_FieldAccess(v60) | &&(&&(>(+(v60, 1), 0), <=(+(v60, 2), v59)), >(+(v59, 1), 6))
f8372_0_rotateEachNode_FieldAccess(v61) → f13078_0_rotateEachNode_InvokeMethod(v62, v63) | &&(&&(&&(>(+(v63, 1), 0), <=(+(v63, 2), v61)), >(+(v62, 1), 6)), >(+(v61, 1), 3))
f8372_0_rotateEachNode_FieldAccess(v64) → f13078_0_rotateEachNode_InvokeMethod(v65, v66) | &&(&&(&&(>(+(v66, 1), 0), <=(+(v66, 2), v64)), >(+(v65, 1), 7)), >(+(v64, 1), 3))
f8372_0_rotateEachNode_FieldAccess(v67) → f13078_0_rotateEachNode_InvokeMethod(v68, v69) | &&(&&(&&(>(+(v69, 1), 0), <=(+(v69, 2), v67)), >(+(v68, 1), 7)), >(+(v67, 1), 3))
f8372_0_rotateEachNode_FieldAccess(v70) → f13078_0_rotateEachNode_InvokeMethod(v71, v72) | &&(&&(&&(>(+(v72, 1), 0), <=(+(v72, 2), v70)), >(+(v71, 1), 7)), >(+(v70, 1), 3))

(12) Obligation:

Rules:
f8372_0_rotateEachNode_FieldAccess(v54) → f8372_0_rotateEachNode_FieldAccess(v55) | &&(&&(>(+(v55, 1), 0), <=(+(v55, 3), v54)), >(+(v54, 1), 3))
f13078_0_rotateEachNode_InvokeMethod(v56, v57) → f8372_0_rotateEachNode_FieldAccess(v58) | &&(&&(&&(&&(>(+(v58, 1), 0), <=(v58, v57)), <=(+(v58, 2), v56)), >(+(v57, 1), 0)), >(+(v56, 1), 5))
f8372_0_rotateEachNode_FieldAccess(v59) → f8372_0_rotateEachNode_FieldAccess(v60) | &&(&&(>(+(v60, 1), 0), <=(+(v60, 2), v59)), >(+(v59, 1), 6))
f8372_0_rotateEachNode_FieldAccess(v61) → f13078_0_rotateEachNode_InvokeMethod(v62, v63) | &&(&&(&&(>(+(v63, 1), 0), <=(+(v63, 2), v61)), >(+(v62, 1), 6)), >(+(v61, 1), 3))
f8372_0_rotateEachNode_FieldAccess(v64) → f13078_0_rotateEachNode_InvokeMethod(v65, v66) | &&(&&(&&(>(+(v66, 1), 0), <=(+(v66, 2), v64)), >(+(v65, 1), 7)), >(+(v64, 1), 3))
f8372_0_rotateEachNode_FieldAccess(v67) → f13078_0_rotateEachNode_InvokeMethod(v68, v69) | &&(&&(&&(>(+(v69, 1), 0), <=(+(v69, 2), v67)), >(+(v68, 1), 7)), >(+(v67, 1), 3))
f8372_0_rotateEachNode_FieldAccess(v70) → f13078_0_rotateEachNode_InvokeMethod(v71, v72) | &&(&&(&&(>(+(v72, 1), 0), <=(+(v72, 2), v70)), >(+(v71, 1), 7)), >(+(v70, 1), 3))

(13) LinearRankingProcessor (EQUIVALENT transformation)

Linear ranking:

[f8372_0_rotateEachNode_FieldAccess(x)] = 1·x₁
[f13078_0_rotateEachNode_InvokeMethod(x)] = 1 + 1·x₂

where x = (x₁, ... ,x_n).

Therefore the following rule(s) have been dropped:

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

(14) YES

(15) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: RotateTree.Tree.createTree(I)LRotateTree/Tree;
SCC calls the following helper methods: RotateTree.Tree.insert(I)V
Performed SCC analyses:

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

(16) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 39 IRules

P rules:
f7309_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, i2362) → f7345_0_createTree_GE(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, i2362, i140)
f7345_0_createTree_GE(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, i2362, i140) → f7408_0_createTree_GE(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, i2362, i140)
f7408_0_createTree_GE(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, i2362, i140) → f7506_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362) | <(i2362, i140)
f7506_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362) → f7621_0_createTree_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)))
f7621_0_createTree_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC))) → f7735_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)))
f7735_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC))) → f7942_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359)))
f7942_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359))) → f8004_0_random_ArrayAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359)), i2360)
f8004_0_random_ArrayAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359)), i2596) → f8021_0_random_ArrayAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359)), i2596)
f8021_0_random_ArrayAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359)), i2596) → f8094_0_random_ArrayAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359)), i2596)
f8094_0_random_ArrayAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(ARRAY(i2359)), i2596) → f8297_0_random_Store(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524) | <(i2596, i2359)
f8297_0_random_Store(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524) → f8348_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524)
f8348_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524) → f8352_0_random_ConstantStackPush(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524, i2596)
f8352_0_random_ConstantStackPush(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524, i2596) → f8360_0_random_IntArithmetic(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524, i2596, 1)
f8360_0_random_IntArithmetic(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524, i2596, matching1) → f8369_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524, +(i2596, 1)) | &&(>=(i2596, 0), =(matching1, 1))
f8369_0_random_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524, i2710) → f8380_0_random_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524)
f8380_0_random_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524) → f8400_0_random_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), o3524)
f8400_0_random_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(o3570sub)) → f8414_0_random_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(o3570sub))
f8414_0_random_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(o3570sub)) → f8429_0_length_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(o3570sub), java.lang.Object(o3570sub))
f8429_0_length_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(o3570sub), java.lang.Object(o3570sub)) → f8467_0_length_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(o3570sub), java.lang.Object(o3570sub))
f8467_0_length_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(java.lang.String(o3599sub, i2749)), java.lang.Object(java.lang.String(o3599sub, i2749))) → f8494_0_length_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(java.lang.String(o3599sub, i2749)), java.lang.Object(java.lang.String(o3599sub, i2749))) | >=(i2749, 0)
f8494_0_length_FieldAccess(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(java.lang.String(o3599sub, i2749)), java.lang.Object(java.lang.String(o3599sub, i2749))) → f8518_0_length_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(java.lang.String(o3599sub, i2749)), i2749)
f8518_0_length_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), java.lang.Object(java.lang.String(o3599sub, i2749)), i2749) → f8535_0_random_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i2749)
f8535_0_random_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i2749) → f8546_0_createTree_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i2749)
f8546_0_createTree_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i2749) → f8574_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC)), i2749, java.lang.Object(RotateTree.Tree(EOC)), i2749)
f8546_0_createTree_InvokeMethod(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i2749) → f8574_1_insert_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i2749, java.lang.Object(RotateTree.Tree(EOC)), i2749)
f8574_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC)), i2749, java.lang.Object(RotateTree.Tree(EOC)), i2749) → f8598_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC)), i2749, java.lang.Object(RotateTree.Tree(EOC)), i2749)
f9984_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3194) → f10057_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3194)
f10057_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3256) → f10097_0_createTree_Inc(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362)
f10097_0_createTree_Inc(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362) → f10110_0_createTree_JMP(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), +(i2362, 1)) | >=(i2362, 0)
f10110_0_createTree_JMP(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i3283) → f10136_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i3283)
f10136_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i3283) → f7290_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i3283)
f7290_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362) → f7309_0_createTree_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, i2362)
f10055_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3241) → f10057_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3241)
f10394_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3388) → f10057_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3388)
f10648_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3484) → f10057_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3484)
f8574_1_insert_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3194, java.lang.Object(RotateTree.Tree(EOC)), i3194) → f9984_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3194)
f8574_1_insert_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3241, java.lang.Object(RotateTree.Tree(EOC)), i3241) → f10055_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3241)
f8574_1_insert_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3388, java.lang.Object(RotateTree.Tree(EOC)), i3388) → f10394_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3388)
f8574_1_insert_Load(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3484, java.lang.Object(RotateTree.Tree(EOC)), i3484) → f10648_0_insert_Return(EOS, i140, i140, java.lang.Object(RotateTree.Tree(EOC)), i2362, java.lang.Object(RotateTree.Tree(EOC)), i3484)

Combined rules. Obtained 2 IRules

P rules:
f7309_0_createTree_Load(EOS, x0, x0, java.lang.Object(RotateTree.Tree(EOC)), x1, x1) → f8598_0_insert_Load(EOS, java.lang.Object(RotateTree.Tree(EOC)), x2, java.lang.Object(RotateTree.Tree(EOC)), x2) | &&(<(x1, x0), >(+(x2, 1), 0))
f7309_0_createTree_Load(EOS, x0, x0, java.lang.Object(RotateTree.Tree(EOC)), x1, x1) → f7309_0_createTree_Load(EOS, x0, x0, java.lang.Object(RotateTree.Tree(EOC)), +(x1, 1), +(x1, 1)) | &&(<(x1, x0), >(+(x1, 1), 0))

Filtered ground terms:

f7309_0_createTree_Load(x1, x2, x3, x4, x5, x6) → f7309_0_createTree_Load(x2, x3, x5, x6)
Cond_f7309_0_createTree_Load(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f7309_0_createTree_Load(x1, x3, x4, x6, x7, x8)
f8598_0_insert_Load(x1, x2, x3, x4, x5) → f8598_0_insert_Load(x3, x5)
Cond_f7309_0_createTree_Load1(x1, x2, x3, x4, x5, x6, x7) → Cond_f7309_0_createTree_Load1(x1, x3, x4, x6, x7)
java.lang.Object(x1) → java.lang.Object
RotateTree.Tree(x1) → RotateTree.Tree

Filtered duplicate terms:

f7309_0_createTree_Load(x1, x2, x3, x4) → f7309_0_createTree_Load(x2, x4)
Cond_f7309_0_createTree_Load(x1, x2, x3, x4, x5, x6) → Cond_f7309_0_createTree_Load(x1, x3, x5, x6)
f8598_0_insert_Load(x1, x2) → f8598_0_insert_Load(x2)
Cond_f7309_0_createTree_Load1(x1, x2, x3, x4, x5) → Cond_f7309_0_createTree_Load1(x1, x3, x5)

Filtered unneeded terms:

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

Prepared 2 rules for path length conversion:

P rules:
f7309_0_createTree_Load(x0, x1) → f8598_0_insert_Load(x2) | &&(<(x1, x0), >(+(x2, 1), 0))
f7309_0_createTree_Load(x0, x1) → f7309_0_createTree_Load(x0, +(x1, 1)) | &&(<(x1, x0), >(+(x1, 1), 0))

Finished conversion. Obtained 1 rules.

P rules:
f7309_0_createTree_Load(x3, x4) → f7309_0_createTree_Load(x3, +(x4, 1)) | &&(<(x4, x3), >(x4, -1))

(17) Obligation:

Rules:
f7309_0_createTree_Load(x3, x4) → f7309_0_createTree_Load(x3, +(x4, 1)) | &&(<(x4, x3), >(x4, -1))

(18) LinearRankingProcessor (EQUIVALENT transformation)

Linear ranking:

[f7309_0_createTree_Load(x)] = 1·x₁ + (-1)·x₂

where x = (x₁, ... ,x_n).

Therefore the following rule(s) have been dropped:

f7309_0_createTree_Load(x0, x1) → f7309_0_createTree_Load(x0, +(x1, 1)) | &&(<(x1, x0), >(x1, -1))

(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) LinearRankingProcessor (EQUIVALENT transformation)

(14) YES

(15) Obligation:

(16) SCCToIntTRSProof (SOUND transformation)

(17) Obligation:

(18) LinearRankingProcessor (EQUIVALENT transformation)

(19) YES