Termination proof of /tmp/tmpA1diJo/Gopher.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 2206 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIntTRSProof (⇒, 209 ms)

        ↳7 intTRS

        ↳8 PolynomialOrderProcessor (⇔, 0 ms)

        ↳9 YES

    ↳10 JBCTerminationSCC

        ↳11 SCCToIntTRSProof (⇒, 577 ms)

        ↳12 intTRS

        ↳13 PolynomialOrderProcessor (⇔, 0 ms)

        ↳14 YES

    ↳15 JBCTerminationSCC

        ↳16 SCCToIntTRSProof (⇒, 294 ms)

        ↳17 intTRS

        ↳18 PolynomialOrderProcessor (⇔, 0 ms)

        ↳19 YES

(0) Obligation:

JBC Problem based on JBC Program:

package Gopher;
public class Gopher {
    // by Boyer & Moore (1979)

  public static Tree gopher(Tree x) {
    if (x == null) return null;
    if (x.left == null) return x;
    else return gopher(new Tree(x.left.left, new Tree(x.left.right, x.right)));
  }

  public static void main(String[] args) {
    Random.args = args;
    Tree x = Tree.createTree(Random.random());
    Tree y = gopher(x);
  }
}


package Gopher;

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

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


package Gopher;

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 Tree(final Tree l, final Tree r) {
        this.left = l;
        this.right = r;
    }

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

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

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

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

Gopher.Gopher.gopher(LGopher/Tree;)LGopher/Tree;: Graph of 58 nodes with 0 SCCs.

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

Used field analysis yielded the following read fields:
- Gopher.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:
f4937_0_insert_Load(EOS, java.lang.Object(o2849sub), i1370, java.lang.Object(o2849sub), i1370, i1370) → f4959_0_insert_FieldAccess(EOS, java.lang.Object(o2849sub), i1370, java.lang.Object(o2849sub), i1370, i1370, java.lang.Object(o2849sub))
f4959_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892))) → f4967_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)))
f4967_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892))) → f4974_0_insert_GT(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, i1376)
f4974_0_insert_GT(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, i1376) → f4985_0_insert_GT(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, i1376)
f4974_0_insert_GT(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, i1376) → f4986_0_insert_GT(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, i1376)
f4985_0_insert_GT(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, i1376) → f4995_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370) | >(i1370, i1376)
f4995_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370) → f5023_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)))
f5023_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892))) → f5042_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, o2893)
f5042_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(o3020sub)) → f5061_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(o3020sub))
f5061_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(o3020sub)) → f5086_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370)
f5086_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370) → f5117_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, i1370, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)))
f5117_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, i1370, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892))) → f5188_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, i1370, java.lang.Object(o3020sub))
f5188_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, i1370, java.lang.Object(o3020sub)) → f5245_0_insert_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(o3020sub), i1370)
f5245_0_insert_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(o3020sub), i1370) → f5284_0_insert_Load(EOS, java.lang.Object(o3020sub), i1370, java.lang.Object(o3020sub), i1370)
f5245_0_insert_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(o3020sub), i1370) → f5284_1_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, java.lang.Object(o3020sub), o2892)), i1370, java.lang.Object(o3020sub), i1370, java.lang.Object(o3020sub), i1370)
f5284_0_insert_Load(EOS, java.lang.Object(o3020sub), i1370, java.lang.Object(o3020sub), i1370) → f5352_0_insert_Load(EOS, java.lang.Object(o3020sub), i1370, java.lang.Object(o3020sub), i1370)
f5352_0_insert_Load(EOS, java.lang.Object(o3020sub), i1370, java.lang.Object(o3020sub), i1370) → f4932_0_insert_Load(EOS, java.lang.Object(o3020sub), i1370, java.lang.Object(o3020sub), i1370)
f4932_0_insert_Load(EOS, java.lang.Object(o2849sub), i1370, java.lang.Object(o2849sub), i1370) → f4937_0_insert_Load(EOS, java.lang.Object(o2849sub), i1370, java.lang.Object(o2849sub), i1370, i1370)
f4986_0_insert_GT(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, i1370, i1376) → f5008_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370) | <=(i1370, i1376)
f5008_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370) → f5030_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)))
f5030_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892))) → f5052_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, o2892)), i1370, o2892)
f5052_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(o3028sub)) → f5073_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(o3028sub))
f5073_0_insert_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(o3028sub)) → f5103_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370)
f5103_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370) → f5153_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))))
f5153_0_insert_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, i1370, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub)))) → f5211_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, i1370, java.lang.Object(o3028sub))
f5211_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, i1370, java.lang.Object(o3028sub)) → f5258_0_insert_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(o3028sub), i1370)
f5258_0_insert_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(o3028sub), i1370) → f5326_0_insert_Load(EOS, java.lang.Object(o3028sub), i1370, java.lang.Object(o3028sub), i1370)
f5258_0_insert_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(o3028sub), i1370) → f5326_1_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, i1376, o2893, java.lang.Object(o3028sub))), i1370, java.lang.Object(o3028sub), i1370, java.lang.Object(o3028sub), i1370)
f5326_0_insert_Load(EOS, java.lang.Object(o3028sub), i1370, java.lang.Object(o3028sub), i1370) → f5390_0_insert_Load(EOS, java.lang.Object(o3028sub), i1370, java.lang.Object(o3028sub), i1370)
f5390_0_insert_Load(EOS, java.lang.Object(o3028sub), i1370, java.lang.Object(o3028sub), i1370) → f4932_0_insert_Load(EOS, java.lang.Object(o3028sub), i1370, java.lang.Object(o3028sub), i1370)

Combined rules. Obtained 4 IRules

P rules:
f4937_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, x3) → f5284_1_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, java.lang.Object(x1), x3, java.lang.Object(x1), x3) | >(x3, x0)
f4937_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(x1), x2)), x3, x3) → f4937_0_insert_Load(EOS, java.lang.Object(x1), x3, java.lang.Object(x1), x3, x3) | >(x3, x0)
f4937_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, java.lang.Object(Gopher.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, x3) → f5326_1_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, java.lang.Object(x2), x3, java.lang.Object(x2), x3) | <=(x3, x0)
f4937_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, java.lang.Object(Gopher.Tree(EOC, x0, x1, java.lang.Object(x2))), x3, x3) → f4937_0_insert_Load(EOS, java.lang.Object(x2), x3, java.lang.Object(x2), x3, x3) | <=(x3, x0)

Filtered ground terms:

f4937_0_insert_Load(x1, x2, x3, x4, x5, x6) → f4937_0_insert_Load(x2, x3, x4, x5, x6)
Cond_f4937_0_insert_Load(x1, x2, x3, x4, x5, x6, x7) → Cond_f4937_0_insert_Load(x1, x3, x4, x5, x6, x7)
f5284_1_insert_Load(x1, x2, x3, x4, x5, x6, x7) → f5284_1_insert_Load(x2, x3, x4, x5, x6, x7)
Cond_f4937_0_insert_Load1(x1, x2, x3, x4, x5, x6, x7) → Cond_f4937_0_insert_Load1(x1, x3, x4, x5, x6, x7)
Cond_f4937_0_insert_Load2(x1, x2, x3, x4, x5, x6, x7) → Cond_f4937_0_insert_Load2(x1, x3, x4, x5, x6, x7)
f5326_1_insert_Load(x1, x2, x3, x4, x5, x6, x7) → f5326_1_insert_Load(x2, x3, x4, x5, x6, x7)
Cond_f4937_0_insert_Load3(x1, x2, x3, x4, x5, x6, x7) → Cond_f4937_0_insert_Load3(x1, x3, x4, x5, x6, x7)
Gopher.Tree(x1, x2, x3, x4) → Gopher.Tree(x2, x3, x4)

Filtered duplicate terms:

f4937_0_insert_Load(x1, x2, x3, x4, x5) → f4937_0_insert_Load(x3, x5)
Cond_f4937_0_insert_Load(x1, x2, x3, x4, x5, x6) → Cond_f4937_0_insert_Load(x1, x4, x6)
f5284_1_insert_Load(x1, x2, x3, x4, x5, x6) → f5284_1_insert_Load(x1, x6)
Cond_f4937_0_insert_Load1(x1, x2, x3, x4, x5, x6) → Cond_f4937_0_insert_Load1(x1, x4, x6)
Cond_f4937_0_insert_Load2(x1, x2, x3, x4, x5, x6) → Cond_f4937_0_insert_Load2(x1, x4, x6)
f5326_1_insert_Load(x1, x2, x3, x4, x5, x6) → f5326_1_insert_Load(x1, x6)
Cond_f4937_0_insert_Load3(x1, x2, x3, x4, x5, x6) → Cond_f4937_0_insert_Load3(x1, x4, x6)

Filtered unneeded terms:

Cond_f4937_0_insert_Load(x1, x2, x3) → Cond_f4937_0_insert_Load(x1)
Cond_f4937_0_insert_Load2(x1, x2, x3) → Cond_f4937_0_insert_Load2(x1)

Prepared 4 rules for path length conversion:

P rules:
f4937_0_insert_Load(java.lang.Object(Gopher.Tree(x0, java.lang.Object(x1), x2)), x3) → f5284_1_insert_Load(java.lang.Object(Gopher.Tree(x0, java.lang.Object(x1), x2)), x3) | >(x3, x0)
f4937_0_insert_Load(java.lang.Object(Gopher.Tree(x0, java.lang.Object(x1), x2)), x3) → f4937_0_insert_Load(java.lang.Object(x1), x3) | >(x3, x0)
f4937_0_insert_Load(java.lang.Object(Gopher.Tree(x0, x1, java.lang.Object(x2))), x3) → f5326_1_insert_Load(java.lang.Object(Gopher.Tree(x0, x1, java.lang.Object(x2))), x3) | <=(x3, x0)
f4937_0_insert_Load(java.lang.Object(Gopher.Tree(x0, x1, java.lang.Object(x2))), x3) → f4937_0_insert_Load(java.lang.Object(x2), x3) | <=(x3, x0)

Finished conversion. Obtained 2 rules.

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

(7) Obligation:

Rules:
f4937_0_insert_Load(v18, x7) → f4937_0_insert_Load(v19, x7) | &&(&&(&&(>(x7, x4), >(+(v19, 1), 1)), <=(+(v19, 2), v18)), >(+(v18, 1), 3))
f4937_0_insert_Load(v20, x15) → f4937_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:

[f4937_0_insert_Load(x9, x11)] = x9

Therefore the following rule(s) have been dropped:

f4937_0_insert_Load(x0, x1) → f4937_0_insert_Load(x2, x1) | &&(&&(&&(>(x1, x3), >(+(x2, 1), 1)), <=(+(x2, 2), x0)), >(+(x0, 1), 3))
f4937_0_insert_Load(x4, x5) → f4937_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: Gopher.Gopher.gopher(LGopher/Tree;)LGopher/Tree;
SCC calls the following helper methods: Gopher.Gopher.gopher(LGopher/Tree;)LGopher/Tree;
Performed SCC analyses:

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

P rules:
f7677_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), java.lang.Object(Gopher.Tree(EOC, o4551, o4552))) → f7679_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)))
f7679_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552))) → f7682_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), java.lang.Object(Gopher.Tree(EOC, o4551, o4552)))
f7682_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), java.lang.Object(Gopher.Tree(EOC, o4551, o4552))) → f7685_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4551)
f7685_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(o4559sub)) → f7687_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(o4559sub))
f7687_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(o4559sub)) → f7690_0_gopher_New(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)))
f7690_0_gopher_New(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552))) → f7695_0_gopher_Duplicate(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7695_0_gopher_Duplicate(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7698_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7698_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7702_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)))
f7702_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552))) → f7719_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(o4559sub), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(o4559sub))
f7719_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, o4578))) → f7730_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, o4578)))
f7730_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, o4578))) → f7731_0_gopher_New(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577)
f7731_0_gopher_New(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577) → f7732_0_gopher_Duplicate(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7732_0_gopher_Duplicate(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7735_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7735_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7737_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)))
f7737_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552))) → f7739_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, o4578)))
f7739_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, o4578))) → f7743_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578)
f7743_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578) → f7746_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)))
f7746_0_gopher_FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552))) → f7750_0_gopher_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552)
f7750_0_gopher_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552) → f7753_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552)
f7753_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552) → f7755_0__init__InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7755_0__init__InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7760_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552)
f7760_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552) → f7762_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7762_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7763_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578)
f7763_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4552, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4578) → f7768_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4552)
f7768_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4552) → f7771_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4578, o4552, o4552, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)))
f7771_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4578, o4552, o4552, java.lang.Object(Gopher.Tree(EOC, o4578, NULL))) → f7774_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4552)
f7774_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4578, o4552, java.lang.Object(Gopher.Tree(EOC, o4578, NULL)), o4552) → f7784_0__init__Return(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), o4578, o4552)
f7784_0__init__Return(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), o4578, o4552) → f7786_0_gopher_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))
f7786_0_gopher_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))) → f7788_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))
f7788_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))) → f7794_0__init__InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7794_0__init__InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7798_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))
f7798_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))) → f7803_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)))
f7803_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL))) → f7808_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577)
f7808_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, NULL, NULL)), o4577) → f7821_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))
f7821_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552))) → f7824_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)))
f7824_0__init__Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL))) → f7827_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))
f7827_0__init__FieldAccess(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, NULL)), java.lang.Object(Gopher.Tree(EOC, o4578, o4552))) → f7835_0__init__Return(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))
f7835_0__init__Return(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))) → f7839_0_gopher_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))))
f7839_0_gopher_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))))) → f7844_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4577, o4578, o4552, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))))
f7839_0_gopher_InvokeMethod(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))))) → f7844_1_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))))
f7844_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4577, o4578, o4552, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))))) → f7855_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4577, o4578, o4552, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))))
f7855_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4577, o4578, o4552, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552))))) → f7905_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4577, o4578, o4552, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, o4577, o4578)), o4552)), java.lang.Object(Gopher.Tree(EOC, o4577, java.lang.Object(Gopher.Tree(EOC, o4578, o4552)))))
f7905_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611)))), o4613, o4615, o4616, o4617, o4608, o4610, o4611, o4618, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611))))) → f7919_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611)))), o4613, o4615, o4616, o4608, o4610, o4611, o4618, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611)))))
f7919_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611)))), o4613, o4615, o4616, o4608, o4610, o4611, o4618, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611))))) → f7933_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611)))), o4613, o4615, o4616, o4608, o4611, o4618, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4610, o4611)))))
f7933_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611)))), o4613, o4615, o4616, o4608, o4611, o4618, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611))))) → f7940_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611)))), o4613, o4615, o4616, o4608, o4611, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611)))))
f7940_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611)))), o4613, o4615, o4616, o4608, o4611, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611))))) → f7952_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611)))), o4613, o4615, o4616, o4608, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4611)))))
f7952_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4615)))), o4613, o4615, o4616, o4608, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4615))))) → f7961_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4615)))), o4613, o4615, o4616, java.lang.Object(Gopher.Tree(EOC, o4608, java.lang.Object(Gopher.Tree(EOC, o4613, o4615)))))
f7961_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4616, java.lang.Object(Gopher.Tree(EOC, o4613, o4615)))), o4613, o4615, o4616, java.lang.Object(Gopher.Tree(EOC, o4616, java.lang.Object(Gopher.Tree(EOC, o4613, o4615))))) → f7675_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4616, java.lang.Object(Gopher.Tree(EOC, o4613, o4615)))), o4613, o4615, o4616, java.lang.Object(Gopher.Tree(EOC, o4616, java.lang.Object(Gopher.Tree(EOC, o4613, o4615)))))
f7675_0_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552))) → f7677_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), o4554, o4556, o4557, java.lang.Object(Gopher.Tree(EOC, o4551, o4552)), java.lang.Object(Gopher.Tree(EOC, o4551, o4552)))

Combined rules. Obtained 2 IRules

P rules:
f7677_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, x0, x1)), x2)), x3, x4, x5, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, x0, x1)), x2)), java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, x0, x1)), x2))) → f7844_1_gopher_Load(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, x0, x1)), x2)), x3, x4, x5, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(Gopher.Tree(EOC, x1, x2)))), java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(Gopher.Tree(EOC, x1, x2)))))
f7677_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, x0, x1)), x2)), x1, x2, x0, java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, x0, x1)), x2)), java.lang.Object(Gopher.Tree(EOC, java.lang.Object(Gopher.Tree(EOC, x0, x1)), x2))) → f7677_0_gopher_NONNULL(EOS, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(Gopher.Tree(EOC, x1, x2)))), x1, x2, x0, java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(Gopher.Tree(EOC, x1, x2)))), java.lang.Object(Gopher.Tree(EOC, x0, java.lang.Object(Gopher.Tree(EOC, x1, x2)))))

Filtered ground terms:

f7677_0_gopher_NONNULL(x1, x2, x3, x4, x5, x6, x7) → f7677_0_gopher_NONNULL(x2, x3, x4, x5, x6, x7)
f7844_1_gopher_Load(x1, x2, x3, x4, x5, x6, x7) → f7844_1_gopher_Load(x2, x3, x4, x5, x6, x7)
Gopher.Tree(x1, x2, x3) → Gopher.Tree(x2, x3)

Filtered duplicate terms:

f7677_0_gopher_NONNULL(x1, x2, x3, x4, x5, x6) → f7677_0_gopher_NONNULL(x2, x3, x4, x6)
f7844_1_gopher_Load(x1, x2, x3, x4, x5, x6) → f7844_1_gopher_Load(x1, x2, x3, x4, x6)

Filtered unneeded terms:

f7677_0_gopher_NONNULL(x1, x2, x3, x4) → f7677_0_gopher_NONNULL(x3, x4)
Gopher.Tree(x1, x2) → Gopher.Tree(x1)

Prepared 2 rules for path length conversion:

P rules:
f7677_0_gopher_NONNULL(x5, java.lang.Object(Gopher.Tree(java.lang.Object(Gopher.Tree(x0))))) → f7844_1_gopher_Load(java.lang.Object(Gopher.Tree(java.lang.Object(Gopher.Tree(x0)))), x3, x4, x5, java.lang.Object(Gopher.Tree(x0)))
f7677_0_gopher_NONNULL(x0, java.lang.Object(Gopher.Tree(java.lang.Object(Gopher.Tree(x0))))) → f7677_0_gopher_NONNULL(x0, java.lang.Object(Gopher.Tree(x0)))

Finished conversion. Obtained 1 rules.

P rules:
f7677_0_gopher_NONNULL(x4, v7) → f7677_0_gopher_NONNULL(x4, v8) | &&(&&(&&(<=(+(x4, 4), v7), >(+(v8, 1), 1)), <=(+(v8, 2), v7)), >(+(v7, 1), 3))

(12) Obligation:

Rules:
f7677_0_gopher_NONNULL(x4, v7) → f7677_0_gopher_NONNULL(x4, v8) | &&(&&(&&(<=(+(x4, 4), v7), >(+(v8, 1), 1)), <=(+(v8, 2), v7)), >(+(v7, 1), 3))

(13) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f7677_0_gopher_NONNULL(x4, x6)] = x6

Therefore the following rule(s) have been dropped:

f7677_0_gopher_NONNULL(x0, x1) → f7677_0_gopher_NONNULL(x0, x2) | &&(&&(&&(<=(+(x0, 4), x1), >(+(x2, 1), 1)), <=(+(x2, 2), x1)), >(+(x1, 1), 3))

(14) YES

(15) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Gopher.Tree.createTree(I)LGopher/Tree;
SCC calls the following helper methods: Gopher.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:
f4454_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, i1212) → f4458_0_createTree_GE(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, i1212, i142)
f4458_0_createTree_GE(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, i1212, i142) → f4465_0_createTree_GE(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, i1212, i142)
f4465_0_createTree_GE(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, i1212, i142) → f4474_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212) | <(i1212, i142)
f4474_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212) → f4484_0_createTree_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)))
f4484_0_createTree_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC))) → f4493_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)))
f4493_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC))) → f4532_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209)))
f4532_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209))) → f4541_0_random_ArrayAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209)), i1210)
f4541_0_random_ArrayAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209)), i1247) → f4547_0_random_ArrayAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209)), i1247)
f4547_0_random_ArrayAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209)), i1247) → f4559_0_random_ArrayAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209)), i1247)
f4559_0_random_ArrayAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(ARRAY(i1209)), i1247) → f4568_0_random_Store(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563) | <(i1247, i1209)
f4568_0_random_Store(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563) → f4598_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563)
f4598_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563) → f4608_0_random_ConstantStackPush(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563, i1247)
f4608_0_random_ConstantStackPush(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563, i1247) → f4622_0_random_IntArithmetic(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563, i1247, 1)
f4622_0_random_IntArithmetic(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563, i1247, matching1) → f4634_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563, +(i1247, 1)) | &&(>=(i1247, 0), =(matching1, 1))
f4634_0_random_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563, i1268) → f4644_0_random_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563)
f4644_0_random_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563) → f4689_0_random_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), o2563)
f4689_0_random_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(o2634sub)) → f4705_0_random_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(o2634sub))
f4705_0_random_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(o2634sub)) → f4721_0_length_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(o2634sub), java.lang.Object(o2634sub))
f4721_0_length_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(o2634sub), java.lang.Object(o2634sub)) → f4767_0_length_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(o2634sub), java.lang.Object(o2634sub))
f4767_0_length_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(java.lang.String(o2706sub, i1316)), java.lang.Object(java.lang.String(o2706sub, i1316))) → f4782_0_length_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(java.lang.String(o2706sub, i1316)), java.lang.Object(java.lang.String(o2706sub, i1316))) | >=(i1316, 0)
f4782_0_length_FieldAccess(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(java.lang.String(o2706sub, i1316)), java.lang.Object(java.lang.String(o2706sub, i1316))) → f4792_0_length_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(java.lang.String(o2706sub, i1316)), i1316)
f4792_0_length_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), java.lang.Object(java.lang.String(o2706sub, i1316)), i1316) → f4810_0_random_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1316)
f4810_0_random_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1316) → f4826_0_createTree_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1316)
f4826_0_createTree_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1316) → f4848_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC)), i1316, java.lang.Object(Gopher.Tree(EOC)), i1316)
f4826_0_createTree_InvokeMethod(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1316) → f4848_1_insert_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1316, java.lang.Object(Gopher.Tree(EOC)), i1316)
f4848_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC)), i1316, java.lang.Object(Gopher.Tree(EOC)), i1316) → f4877_0_insert_Load(EOS, java.lang.Object(Gopher.Tree(EOC)), i1316, java.lang.Object(Gopher.Tree(EOC)), i1316)
f5603_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1529) → f5661_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1529)
f5661_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1575) → f5681_0_createTree_Inc(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212)
f5681_0_createTree_Inc(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212) → f5685_0_createTree_JMP(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), +(i1212, 1)) | >=(i1212, 0)
f5685_0_createTree_JMP(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1589) → f5705_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1589)
f5705_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1589) → f4439_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1589)
f4439_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212) → f4454_0_createTree_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, i1212)
f5660_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1559) → f5661_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1559)
f5821_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1655) → f5661_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1655)
f5908_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1702) → f5661_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1702)
f4848_1_insert_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1529, java.lang.Object(Gopher.Tree(EOC)), i1529) → f5603_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1529)
f4848_1_insert_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1559, java.lang.Object(Gopher.Tree(EOC)), i1559) → f5660_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1559)
f4848_1_insert_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1655, java.lang.Object(Gopher.Tree(EOC)), i1655) → f5821_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1655)
f4848_1_insert_Load(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1702, java.lang.Object(Gopher.Tree(EOC)), i1702) → f5908_0_insert_Return(EOS, i142, i142, java.lang.Object(Gopher.Tree(EOC)), i1212, java.lang.Object(Gopher.Tree(EOC)), i1702)

Combined rules. Obtained 2 IRules

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

Filtered ground terms:

f4454_0_createTree_Load(x1, x2, x3, x4, x5, x6) → f4454_0_createTree_Load(x2, x3, x5, x6)
Cond_f4454_0_createTree_Load(x1, x2, x3, x4, x5, x6, x7, x8) → Cond_f4454_0_createTree_Load(x1, x3, x4, x6, x7, x8)
f4877_0_insert_Load(x1, x2, x3, x4, x5) → f4877_0_insert_Load(x3, x5)
Cond_f4454_0_createTree_Load1(x1, x2, x3, x4, x5, x6, x7) → Cond_f4454_0_createTree_Load1(x1, x3, x4, x6, x7)
java.lang.Object(x1) → java.lang.Object
Gopher.Tree(x1) → Gopher.Tree

Filtered duplicate terms:

f4454_0_createTree_Load(x1, x2, x3, x4) → f4454_0_createTree_Load(x2, x4)
Cond_f4454_0_createTree_Load(x1, x2, x3, x4, x5, x6) → Cond_f4454_0_createTree_Load(x1, x3, x5, x6)
f4877_0_insert_Load(x1, x2) → f4877_0_insert_Load(x2)
Cond_f4454_0_createTree_Load1(x1, x2, x3, x4, x5) → Cond_f4454_0_createTree_Load1(x1, x3, x5)

Filtered unneeded terms:

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

Prepared 2 rules for path length conversion:

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

Finished conversion. Obtained 1 rules.

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

(17) Obligation:

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

(18) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f4454_0_createTree_Load(x3, x5)] = x3 - x5

Therefore the following rule(s) have been dropped:

f4454_0_createTree_Load(x0, x1) → f4454_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) PolynomialOrderProcessor (EQUIVALENT transformation)

(14) YES

(15) Obligation:

(16) SCCToIntTRSProof (SOUND transformation)

(17) Obligation:

(18) PolynomialOrderProcessor (EQUIVALENT transformation)

(19) YES