Termination proof of /tmp/tmp_t7Hg3/MainDelete.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 8462 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIntTRSProof (⇒, 716 ms)

        ↳7 intTRS

        ↳8 LinearRankingProcessor (⇔, 671 ms)

        ↳9 YES

    ↳10 JBCTerminationSCC

        ↳11 SCCToIntTRSProof (⇒, 31 ms)

        ↳12 intTRS

        ↳13 PolynomialOrderProcessor (⇔, 8 ms)

        ↳14 YES

    ↳15 JBCTerminationSCC

        ↳16 SCCToIntTRSProof (⇒, 240 ms)

        ↳17 intTRS

        ↳18 PolynomialOrderProcessor (⇒, 0 ms)

        ↳19 intTRS

        ↳20 TerminationGraphProcessor (⇔, 0 ms)

        ↳21 YES

(0) Obligation:

JBC Problem based on JBC Program:

package DoublyLinkedList;

/**
 * A linked list with pointers to the previous and next elements
 * @author cotto
 */
public class DoublyLinkedList {
    public int value;
    public DoublyLinkedList prev;
    public DoublyLinkedList next;

    public DoublyLinkedList(final int v) {
        this.value = v;
    }

    public DoublyLinkedList getFirst() {
        if (this.prev == null) {
            return this;
        }
        return this.prev.getFirst();
    }

    public void move(final int relativePosition) {
        if (relativePosition == 0) {
            return;
        }
        if (relativePosition > 0 && this.next != null) {
            final DoublyLinkedList temp = this.next;
            if (this.prev != null) {
                this.prev.next = temp;
            }
            temp.prev = this.prev;
            this.next = temp.next;
            temp.next = this;
            this.prev = temp;
            move(relativePosition - 1);
        }
        if (relativePosition < 0 && this.prev != null) {
            final DoublyLinkedList temp = this.prev;
            if (this.next != null) {
                this.next.prev = temp;
            }
            temp.next = this.next;
            this.prev = temp.prev;
            temp.prev = this;
            this.next = temp;
            move(relativePosition - 1);
        }
    }

    public DoublyLinkedList get(final int index) {
        DoublyLinkedList current = this.getFirst();
        while (index > 0 && current != null) {
            current = current.next;
        }
        return current;
    }

    public DoublyLinkedList find(final int v) {
        final DoublyLinkedList first = this.getFirst();
        return first.findR(v);
    }

    private DoublyLinkedList findR(final int v) {
        if (this.value == v) {
            return this;
        }
        if (this.next != null) {
            return this.next.findR(v);
        }
        return null;
    }

    public void delete(final int v) {
        final DoublyLinkedList elem = find(v);
        if (elem != null) {
            if (elem.prev != null) {
                elem.prev.next = elem.next;
            }
            if (elem.next != null) {
                elem.next.prev = elem.prev;
            }
        }
    }

    public DoublyLinkedList copy() {
        final DoublyLinkedList first = this.getFirst();
        return first.copyR(null);
    }

    private DoublyLinkedList copyR(final DoublyLinkedList p) {
        final DoublyLinkedList copy = new DoublyLinkedList(this.value);
        copy.prev = p;
        if (p != null) {
            p.next = copy;
        }
        if (this.next != null) {
            this.next.copyR(copy);
        }
        return copy;
    }

    static DoublyLinkedList createList() {
        final int count = Random.random();
        DoublyLinkedList cur = null;
        for (int i = 0; i < count; i++) {
            final DoublyLinkedList old = cur;
            cur = new DoublyLinkedList(Random.random());
            cur.prev = old;
            if (old != null) {
              old.next = cur;
            }
        }

        return cur;
    }
}


package DoublyLinkedList;

/**
 *
 * @author cotto
 */
public class MainDelete {
    public static void main(final String[] args) {
        Random.args = args;
        final DoublyLinkedList list = DoublyLinkedList.createList();
        list.delete(Random.random());
    }
}


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

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

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

DoublyLinkedList.DoublyLinkedList.createList()LDoublyLinkedList/DoublyLinkedList;: Graph of 166 nodes with 1 SCC.

DoublyLinkedList.DoublyLinkedList.getFirst()LDoublyLinkedList/DoublyLinkedList;: Graph of 27 nodes with 0 SCCs.

DoublyLinkedList.DoublyLinkedList.findR(I)LDoublyLinkedList/DoublyLinkedList;: Graph of 299 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: DoublyLinkedList.DoublyLinkedList.findR(I)LDoublyLinkedList/DoublyLinkedList;
SCC calls the following helper methods: DoublyLinkedList.DoublyLinkedList.findR(I)LDoublyLinkedList/DoublyLinkedList;
Performed SCC analyses:

Used field analysis yielded the following read fields:
- DoublyLinkedList.DoublyLinkedList: [value, next]
Marker field analysis yielded the following relations that could be markers:
- DoublyLinkedList.DoublyLinkedList.value != i1741 (Introduced counter i26376)

(6) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 101 IRules

P rules:
f25763_0_findR_FieldAccess(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, java.lang.Object(o23499sub), i26376) → f25764_0_findR_FieldAccess(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, java.lang.Object(o23499sub), i26376)
f25763_0_findR_FieldAccess(EOS, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), o23502, o23504, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), i26376) → f25765_0_findR_FieldAccess(EOS, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), o23502, o23504, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), i26376)
f25764_0_findR_FieldAccess(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, java.lang.Object(o23499sub), i26376) → f25766_0_findR_FieldAccess(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, java.lang.Object(o23499sub), i26376)
f25764_0_findR_FieldAccess(EOS, java.lang.Object(o27734sub), i1741, o23501, java.lang.Object(o27734sub), o23504, java.lang.Object(o27734sub), i1741, java.lang.Object(o27734sub), i26376) → f25767_0_findR_FieldAccess(EOS, java.lang.Object(o27734sub), i1741, o23501, java.lang.Object(o27734sub), o23504, java.lang.Object(o27734sub), i1741, java.lang.Object(o27734sub), i26376)
f25766_0_findR_FieldAccess(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, java.lang.Object(o23499sub), i26376) → f25770_0_findR_FieldAccess(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, java.lang.Object(o23499sub), i26376)
f25766_0_findR_FieldAccess(EOS, java.lang.Object(o27740sub), i1741, o23501, o23502, java.lang.Object(o27740sub), java.lang.Object(o27740sub), i1741, java.lang.Object(o27740sub), i26376) → f25771_0_findR_FieldAccess(EOS, java.lang.Object(o27740sub), i1741, o23501, o23502, java.lang.Object(o27740sub), java.lang.Object(o27740sub), i1741, java.lang.Object(o27740sub), i26376)
f25770_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i26376) → f25775_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i26376)
f25775_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i26376) → f25780_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i11478, i26376)
f25780_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i11478, i26376) → f25785_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i11478, i1741, i26376)
f25785_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i11478, i1741, i26376) → f25793_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i11478, i1741, i26376)
f25793_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i11478, i1741, i26376) → f25803_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i26376) | !(=(i11478, i1741))
f25803_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, i26376) → f25813_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i26376)
f25813_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i26376) → f25823_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, o27752)), i1741, o27752, i26376)
f25823_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, java.lang.Object(o28678sub), i26376) → f25844_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, java.lang.Object(o28678sub), i26376)
f25844_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, java.lang.Object(o28678sub), i26376) → f25863_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, i26376)
f25863_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, i26376) → f25873_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i26376)
f25873_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i26376) → f25883_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, i1741, java.lang.Object(o28678sub), i26376)
f25883_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, i1741, java.lang.Object(o28678sub), i26376) → f25901_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(o28678sub), i1741, i26376)
f25901_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(o28678sub), i1741, i26376) → f25915_0_findR_Load(EOS, java.lang.Object(o28678sub), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), java.lang.Object(o28678sub), i1741, i26376)
f25901_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(o28678sub), i1741, i26376) → f25915_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), i1741, o23501, o23502, o23504, java.lang.Object(o28678sub), i1741, java.lang.Object(o28678sub), i1741, i26376)
f25915_0_findR_Load(EOS, java.lang.Object(o28678sub), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), java.lang.Object(o28678sub), i1741, i26376) → f25920_0_findR_Load(EOS, java.lang.Object(o28678sub), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), java.lang.Object(o28678sub), i1741, i26376)
f25920_0_findR_Load(EOS, java.lang.Object(o28678sub), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), java.lang.Object(o28678sub), i1741, i26376) → f25925_0_findR_Load(EOS, java.lang.Object(o28678sub), i1741, o23501, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11478, java.lang.Object(o28678sub))), java.lang.Object(o28678sub), i1741, i26376)
f25925_0_findR_Load(EOS, java.lang.Object(o29613sub), i1741, o29615, o29616, o29618, o29620, java.lang.Object(o29613sub), i1741, i26376) → f25930_0_findR_Load(EOS, java.lang.Object(o29613sub), i1741, o29615, o29616, o29618, o29620, java.lang.Object(o29613sub), i1741, i26376)
f25930_0_findR_Load(EOS, java.lang.Object(o29613sub), i1741, o29615, o29616, o29618, o29620, java.lang.Object(o29613sub), i1741, i26376) → f25933_0_findR_Load(EOS, java.lang.Object(o29613sub), i1741, o29615, o29616, o29618, java.lang.Object(o29613sub), i1741, i26376)
f25933_0_findR_Load(EOS, java.lang.Object(o29613sub), i1741, o29615, o29616, o29618, java.lang.Object(o29613sub), i1741, i26376) → f25762_0_findR_Load(EOS, java.lang.Object(o29613sub), i1741, o29615, o29616, o29618, java.lang.Object(o29613sub), i1741, i26376)
f25762_0_findR_Load(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, i26376) → f25763_0_findR_FieldAccess(EOS, java.lang.Object(o23499sub), i1741, o23501, o23502, o23504, java.lang.Object(o23499sub), i1741, java.lang.Object(o23499sub), i26376)
f25771_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i26376) → f25776_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i26376)
f25776_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i26376) → f25781_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i11479, i26376)
f25781_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i11479, i26376) → f25786_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i11479, i1741, i26376)
f25786_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i11479, i1741, i26376) → f25795_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i11479, i1741, i26376)
f25795_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i11479, i1741, i26376) → f25805_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i26376) | !(=(i11479, i1741))
f25805_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, i26376) → f25815_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i26376)
f25815_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i26376) → f25825_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, o27755)), i1741, o27755, i26376)
f25825_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, java.lang.Object(o28753sub), i26376) → f25850_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, java.lang.Object(o28753sub), i26376)
f25850_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, java.lang.Object(o28753sub), i26376) → f25865_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, i26376)
f25865_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, i26376) → f25875_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i26376)
f25875_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i26376) → f25885_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, java.lang.Object(o28753sub), i26376)
f25885_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, java.lang.Object(o28753sub), i26376) → f25906_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376)
f25906_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376) → f25916_0_findR_Load(EOS, java.lang.Object(o28753sub), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376)
f25906_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376) → f25916_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, java.lang.Object(o28753sub), i1741, i26376)
f25916_0_findR_Load(EOS, java.lang.Object(o28753sub), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376) → f25921_0_findR_Load(EOS, java.lang.Object(o28753sub), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376)
f25921_0_findR_Load(EOS, java.lang.Object(o28753sub), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376) → f25926_0_findR_Load(EOS, java.lang.Object(o28753sub), i1741, o23501, o23502, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11479, java.lang.Object(o28753sub))), java.lang.Object(o28753sub), i1741, i26376)
f25926_0_findR_Load(EOS, java.lang.Object(o29623sub), i1741, o29625, o29626, o29629, java.lang.Object(o29623sub), i1741, i26376) → f25931_0_findR_Load(EOS, java.lang.Object(o29623sub), i1741, o29625, o29626, o29629, java.lang.Object(o29623sub), i1741, i26376)
f25931_0_findR_Load(EOS, java.lang.Object(o29623sub), i1741, o29625, o29626, o29629, java.lang.Object(o29623sub), i1741, i26376) → f25762_0_findR_Load(EOS, java.lang.Object(o29623sub), i1741, o29625, o29626, o29629, java.lang.Object(o29623sub), i1741, i26376)
f25767_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i26376) → f25772_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i26376)
f25772_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i26376) → f25777_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i11475, i26376)
f25777_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i11475, i26376) → f25782_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i11475, i1741, i26376)
f25782_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i11475, i1741, i26376) → f25787_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i11475, i1741, i26376)
f25787_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i11475, i1741, i26376) → f25797_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i26376) | !(=(i11475, i1741))
f25797_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, i26376) → f25807_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i26376)
f25807_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i26376) → f25817_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, o27743)), i1741, o27743, i26376)
f25817_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, java.lang.Object(o28476sub), i26376) → f25827_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, java.lang.Object(o28476sub), i26376)
f25827_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, java.lang.Object(o28476sub), i26376) → f25856_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, i26376)
f25856_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, i26376) → f25867_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i26376)
f25867_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i26376) → f25877_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, i1741, java.lang.Object(o28476sub), i26376)
f25877_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, i1741, java.lang.Object(o28476sub), i26376) → f25887_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(o28476sub), i1741, i26376)
f25887_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(o28476sub), i1741, i26376) → f25911_0_findR_Load(EOS, java.lang.Object(o28476sub), i1741, o23501, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), java.lang.Object(o28476sub), i1741, i26376)
f25887_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(o28476sub), i1741, i26376) → f25911_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), i1741, o23501, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), o23504, java.lang.Object(o28476sub), i1741, java.lang.Object(o28476sub), i1741, i26376)
f25911_0_findR_Load(EOS, java.lang.Object(o28476sub), i1741, o23501, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), java.lang.Object(o28476sub), i1741, i26376) → f25917_0_findR_Load(EOS, java.lang.Object(o28476sub), i1741, o23501, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), java.lang.Object(o28476sub), i1741, i26376)
f25917_0_findR_Load(EOS, java.lang.Object(o28476sub), i1741, o23501, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), java.lang.Object(o28476sub), i1741, i26376) → f25922_0_findR_Load(EOS, java.lang.Object(o28476sub), i1741, o23501, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11475, java.lang.Object(o28476sub))), java.lang.Object(o28476sub), i1741, i26376)
f25922_0_findR_Load(EOS, java.lang.Object(o29587sub), i1741, o29589, o29591, o29593, java.lang.Object(o29587sub), i1741, i26376) → f25927_0_findR_Load(EOS, java.lang.Object(o29587sub), i1741, o29589, o29591, o29593, java.lang.Object(o29587sub), i1741, i26376)
f25927_0_findR_Load(EOS, java.lang.Object(o29587sub), i1741, o29589, o29591, o29593, java.lang.Object(o29587sub), i1741, i26376) → f25762_0_findR_Load(EOS, java.lang.Object(o29587sub), i1741, o29589, o29593, o29591, java.lang.Object(o29587sub), i1741, i26376)
f25765_0_findR_FieldAccess(EOS, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), o23502, o23504, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), i26376) → f25768_0_findR_FieldAccess(EOS, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), o23502, o23504, java.lang.Object(o27731sub), i1741, java.lang.Object(o27731sub), i26376)
f25765_0_findR_FieldAccess(EOS, java.lang.Object(o27737sub), i1741, java.lang.Object(o27737sub), java.lang.Object(o27737sub), o23504, java.lang.Object(o27737sub), i1741, java.lang.Object(o27737sub), i26376) → f25769_0_findR_FieldAccess(EOS, java.lang.Object(o27737sub), i1741, java.lang.Object(o27737sub), java.lang.Object(o27737sub), o23504, java.lang.Object(o27737sub), i1741, java.lang.Object(o27737sub), i26376)
f25768_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i26376) → f25773_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i26376)
f25773_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i26376) → f25778_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i11476, i26376)
f25778_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i11476, i26376) → f25783_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i11476, i1741, i26376)
f25783_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i11476, i1741, i26376) → f25789_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i11476, i1741, i26376)
f25789_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i11476, i1741, i26376) → f25799_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i26376) | !(=(i11476, i1741))
f25799_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, i26376) → f25809_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i26376)
f25809_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i26376) → f25819_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, o27746)), i1741, o27746, i26376)
f25819_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(o28542sub), i26376) → f25832_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(o28542sub), i26376)
f25832_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(o28542sub), i26376) → f25859_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, i26376)
f25859_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, i26376) → f25869_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i26376)
f25869_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i26376) → f25879_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, i1741, java.lang.Object(o28542sub), i26376)
f25879_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, i1741, java.lang.Object(o28542sub), i26376) → f25891_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(o28542sub), i1741, i26376)
f25891_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(o28542sub), i1741, i26376) → f25913_0_findR_Load(EOS, java.lang.Object(o28542sub), i1741, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), java.lang.Object(o28542sub), i1741, i26376)
f25891_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(o28542sub), i1741, i26376) → f25913_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), o23502, o23504, java.lang.Object(o28542sub), i1741, java.lang.Object(o28542sub), i1741, i26376)
f25913_0_findR_Load(EOS, java.lang.Object(o28542sub), i1741, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), java.lang.Object(o28542sub), i1741, i26376) → f25918_0_findR_Load(EOS, java.lang.Object(o28542sub), i1741, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), java.lang.Object(o28542sub), i1741, i26376)
f25918_0_findR_Load(EOS, java.lang.Object(o28542sub), i1741, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), java.lang.Object(o28542sub), i1741, i26376) → f25923_0_findR_Load(EOS, java.lang.Object(o28542sub), i1741, o23502, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11476, java.lang.Object(o28542sub))), java.lang.Object(o28542sub), i1741, i26376)
f25923_0_findR_Load(EOS, java.lang.Object(o29596sub), i1741, o29598, o29600, o29602, java.lang.Object(o29596sub), i1741, i26376) → f25928_0_findR_Load(EOS, java.lang.Object(o29596sub), i1741, o29598, o29600, o29602, java.lang.Object(o29596sub), i1741, i26376)
f25928_0_findR_Load(EOS, java.lang.Object(o29596sub), i1741, o29598, o29600, o29602, java.lang.Object(o29596sub), i1741, i26376) → f25762_0_findR_Load(EOS, java.lang.Object(o29596sub), i1741, o29602, o29598, o29600, java.lang.Object(o29596sub), i1741, i26376)
f25769_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i26376) → f25774_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i26376)
f25774_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i26376) → f25779_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i11477, i26376)
f25779_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i11477, i26376) → f25784_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i11477, i1741, i26376)
f25784_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i11477, i1741, i26376) → f25791_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i11477, i1741, i26376)
f25791_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i11477, i1741, i26376) → f25801_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i26376) | !(=(i11477, i1741))
f25801_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, i26376) → f25811_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i26376)
f25811_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i26376) → f25821_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, o27749)), i1741, o27749, i26376)
f25821_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(o28613sub), i26376) → f25838_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(o28613sub), i26376)
f25838_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(o28613sub), i26376) → f25861_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, i26376)
f25861_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, i26376) → f25871_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i26376)
f25871_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i26376) → f25881_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, i1741, java.lang.Object(o28613sub), i26376)
f25881_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, i1741, java.lang.Object(o28613sub), i26376) → f25896_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(o28613sub), i1741, i26376)
f25896_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(o28613sub), i1741, i26376) → f25914_0_findR_Load(EOS, java.lang.Object(o28613sub), i1741, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(o28613sub), i1741, i26376)
f25896_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(o28613sub), i1741, i26376) → f25914_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), i1741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), o23504, java.lang.Object(o28613sub), i1741, java.lang.Object(o28613sub), i1741, i26376)
f25914_0_findR_Load(EOS, java.lang.Object(o28613sub), i1741, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(o28613sub), i1741, i26376) → f25919_0_findR_Load(EOS, java.lang.Object(o28613sub), i1741, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(o28613sub), i1741, i26376)
f25919_0_findR_Load(EOS, java.lang.Object(o28613sub), i1741, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(o28613sub), i1741, i26376) → f25924_0_findR_Load(EOS, java.lang.Object(o28613sub), i1741, o23504, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i11477, java.lang.Object(o28613sub))), java.lang.Object(o28613sub), i1741, i26376)
f25924_0_findR_Load(EOS, java.lang.Object(o29605sub), i1741, o29608, o29610, java.lang.Object(o29605sub), i1741, i26376) → f25929_0_findR_Load(EOS, java.lang.Object(o29605sub), i1741, o29608, o29610, java.lang.Object(o29605sub), i1741, i26376)
f25929_0_findR_Load(EOS, java.lang.Object(o29605sub), i1741, o29608, o29610, java.lang.Object(o29605sub), i1741, i26376) → f25932_0_findR_Load(EOS, java.lang.Object(o29605sub), i1741, o29608, o29610, o30128, java.lang.Object(o29605sub), i1741, i26376)
f25932_0_findR_Load(EOS, java.lang.Object(o29605sub), i1741, o29608, o29610, o30128, java.lang.Object(o29605sub), i1741, i26376) → f25762_0_findR_Load(EOS, java.lang.Object(o29605sub), i1741, o29610, o30128, o29608, java.lang.Object(o29605sub), i1741, i26376)

Combined rules. Obtained 10 IRules

P rules:
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, x5, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x6) → f25915_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, x5, java.lang.Object(x1), x2, java.lang.Object(x1), x2, x6) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, x5, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x6) → f25763_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, x3, x4, x5, java.lang.Object(x1), x2, java.lang.Object(x1), x6) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f25916_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(x1), x2, java.lang.Object(x1), x2, x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f25763_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(x1), x2, java.lang.Object(x1), x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f25911_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(x1), x2, java.lang.Object(x1), x2, x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f25763_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(x1), x2, java.lang.Object(x1), x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f25913_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(x1), x2, java.lang.Object(x1), x2, x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f25763_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(x1), x2, java.lang.Object(x1), x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4) → f25914_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, java.lang.Object(x1), x2, java.lang.Object(x1), x2, x4) | !(=(x0, x2))
f25763_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4) → f25763_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5, x3, java.lang.Object(x1), x2, java.lang.Object(x1), x4) | !(=(x0, x2))

Filtered ground terms:

f25763_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f25763_0_findR_FieldAccess(x2, x3, x4, x5, x6, x7, x8, x9, x10)
Cond_f25763_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f25915_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f25915_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess1(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess2(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess2(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f25916_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f25916_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess3(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess3(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess4(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess4(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f25911_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f25911_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess5(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess5(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess6(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess6(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f25913_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f25913_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess7(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess7(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess8(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess8(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f25914_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f25914_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f25763_0_findR_FieldAccess9(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) → Cond_f25763_0_findR_FieldAccess9(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)
DoublyLinkedList.DoublyLinkedList(x1, x2, x3) → DoublyLinkedList.DoublyLinkedList(x2, x3)

Filtered duplicate terms:

f25763_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9) → f25763_0_findR_FieldAccess(x3, x4, x5, x7, x8, x9)
Cond_f25763_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess(x1, x4, x5, x6, x8, x9, x10)
f25915_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f25915_1_findR_Load(x1, x3, x4, x5, x9, x10)
Cond_f25763_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess1(x1, x4, x5, x6, x8, x9, x10)
Cond_f25763_0_findR_FieldAccess2(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess2(x1, x4, x5, x8, x9, x10)
f25916_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f25916_1_findR_Load(x3, x4, x5, x9, x10)
Cond_f25763_0_findR_FieldAccess3(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess3(x1, x4, x5, x8, x9, x10)
Cond_f25763_0_findR_FieldAccess4(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess4(x1, x4, x6, x8, x9, x10)
f25911_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f25911_1_findR_Load(x3, x4, x5, x9, x10)
Cond_f25763_0_findR_FieldAccess5(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess5(x1, x4, x6, x8, x9, x10)
Cond_f25763_0_findR_FieldAccess6(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess6(x1, x5, x6, x8, x9, x10)
f25913_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f25913_1_findR_Load(x3, x4, x5, x9, x10)
Cond_f25763_0_findR_FieldAccess7(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess7(x1, x5, x6, x8, x9, x10)
Cond_f25763_0_findR_FieldAccess8(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f25763_0_findR_FieldAccess8(x1, x6, x8, x9, x10)
f25914_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f25914_1_findR_Load(x4, x5, x9, x10)
Cond_f25763_0_findR_FieldAccess9(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f25763_0_findR_FieldAccess9(x1, x6, x8, x9, x10, x11)

Filtered unneeded terms:

f25763_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6) → f25763_0_findR_FieldAccess(x1, x2, x3, x4, x5)
Cond_f25763_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7) → Cond_f25763_0_findR_FieldAccess(x1)
Cond_f25763_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6, x7) → Cond_f25763_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6)
Cond_f25763_0_findR_FieldAccess2(x1, x2, x3, x4, x5, x6) → Cond_f25763_0_findR_FieldAccess2(x1)
Cond_f25763_0_findR_FieldAccess3(x1, x2, x3, x4, x5, x6) → Cond_f25763_0_findR_FieldAccess3(x1, x2, x3, x4, x5)
Cond_f25763_0_findR_FieldAccess4(x1, x2, x3, x4, x5, x6) → Cond_f25763_0_findR_FieldAccess4(x1)
Cond_f25763_0_findR_FieldAccess5(x1, x2, x3, x4, x5, x6) → Cond_f25763_0_findR_FieldAccess5(x1, x2, x3, x4, x5)
Cond_f25763_0_findR_FieldAccess6(x1, x2, x3, x4, x5, x6) → Cond_f25763_0_findR_FieldAccess6(x1)
Cond_f25763_0_findR_FieldAccess7(x1, x2, x3, x4, x5, x6) → Cond_f25763_0_findR_FieldAccess7(x1, x2, x3, x4, x5)
Cond_f25763_0_findR_FieldAccess8(x1, x2, x3, x4, x5) → Cond_f25763_0_findR_FieldAccess8(x1)
Cond_f25763_0_findR_FieldAccess9(x1, x2, x3, x4, x5, x6) → Cond_f25763_0_findR_FieldAccess9(x1, x2, x3, x4, x6)

Prepared 10 rules for path length conversion:

P rules:
f25763_0_findR_FieldAccess(x3, x4, x5, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25915_1_findR_Load(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x5, x2, x6) | !(=(x0, x2))
f25763_0_findR_FieldAccess(x3, x4, x5, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25763_0_findR_FieldAccess(x3, x4, x5, x2, java.lang.Object(x1)) | !(=(x0, x2))
f25763_0_findR_FieldAccess(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25916_1_findR_Load(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25763_0_findR_FieldAccess(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(x1)) | !(=(x0, x2))
f25763_0_findR_FieldAccess(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25911_1_findR_Load(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25763_0_findR_FieldAccess(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, java.lang.Object(x1)) | !(=(x0, x2))
f25763_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25913_1_findR_Load(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, x5) | !(=(x0, x2))
f25763_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25763_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, java.lang.Object(x1)) | !(=(x0, x2))
f25763_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25914_1_findR_Load(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x2, x4) | !(=(x0, x2))
f25763_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f25763_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x5, x3, x2, java.lang.Object(x1)) | !(=(x0, x2))

Finished conversion. Obtained 10 rules.

P rules:
f25763_0_findR_FieldAccess(v61, v62, v63, x10, v64) → f25763_0_findR_FieldAccess(v65, v66, v67, x10, v68) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x11, x10), >(+(v68, 1), 1)), <=(+(v68, 2), v64)), >(+(v67, 1), 0)), <=(v67, v63)), >(+(v66, 1), 0)), <=(v66, v62)), >(+(v65, 1), 0)), <=(v65, v61)), >(+(v64, 1), 3)), >(+(v63, 1), 0)), >(+(v62, 1), 0)), >(+(v61, 1), 0))
f25763_0_findR_FieldAccess(v61, v62, v63, x10, v64) → f25763_0_findR_FieldAccess(v65, v66, v67, x10, v68) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x11, x10), >(+(v68, 1), 1)), <=(+(v68, 2), v64)), >(+(v67, 1), 0)), <=(v67, v63)), >(+(v66, 1), 0)), <=(v66, v62)), >(+(v65, 1), 0)), <=(v65, v61)), >(+(v64, 1), 3)), >(+(v63, 1), 0)), >(+(v62, 1), 0)), >(+(v61, 1), 0))
f25763_0_findR_FieldAccess(v69, v70, v71, x23, v72) → f25763_0_findR_FieldAccess(v73, v74, v75, x23, v76) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x23, x21), >(+(v76, 1), 1)), <=(+(v76, 2), v72)), <=(+(v76, 2), v71)), >(+(v75, 1), 3)), <=(v75, v72)), <=(v75, v71)), >(+(v74, 1), 0)), <=(v74, v70)), >(+(v73, 1), 0)), <=(v73, v69)), >(+(v72, 1), 3)), >(+(v71, 1), 3)), >(+(v70, 1), 0)), >(+(v69, 1), 0))
f25763_0_findR_FieldAccess(v69, v70, v71, x23, v72) → f25763_0_findR_FieldAccess(v73, v74, v75, x23, v76) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x23, x21), >(+(v76, 1), 1)), <=(+(v76, 2), v72)), <=(+(v76, 2), v71)), >(+(v75, 1), 3)), <=(v75, v72)), <=(v75, v71)), >(+(v74, 1), 0)), <=(v74, v70)), >(+(v73, 1), 0)), <=(v73, v69)), >(+(v72, 1), 3)), >(+(v71, 1), 3)), >(+(v70, 1), 0)), >(+(v69, 1), 0))
f25763_0_findR_FieldAccess(v77, v78, v79, x34, v80) → f25763_0_findR_FieldAccess(v81, v82, v83, x34, v84) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x34, x31), >(+(v84, 1), 1)), <=(+(v84, 2), v80)), <=(+(v84, 2), v78)), >(+(v83, 1), 0)), <=(v83, v79)), >(+(v82, 1), 3)), <=(v82, v80)), <=(v82, v78)), >(+(v81, 1), 0)), <=(v81, v77)), >(+(v80, 1), 3)), >(+(v79, 1), 0)), >(+(v78, 1), 3)), >(+(v77, 1), 0))
f25763_0_findR_FieldAccess(v77, v78, v79, x34, v80) → f25763_0_findR_FieldAccess(v81, v82, v83, x34, v84) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x34, x31), >(+(v84, 1), 1)), <=(+(v84, 2), v80)), <=(+(v84, 2), v78)), >(+(v83, 1), 0)), <=(v83, v79)), >(+(v82, 1), 3)), <=(v82, v80)), <=(v82, v78)), >(+(v81, 1), 0)), <=(v81, v77)), >(+(v80, 1), 3)), >(+(v79, 1), 0)), >(+(v78, 1), 3)), >(+(v77, 1), 0))
f25763_0_findR_FieldAccess(v85, v86, v87, x45, v88) → f25763_0_findR_FieldAccess(v89, v90, v91, x45, v92) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x45, x41), >(+(v92, 1), 1)), <=(+(v92, 2), v88)), <=(+(v92, 2), v85)), >(+(v91, 1), 0)), <=(v91, v87)), >(+(v90, 1), 0)), <=(v90, v86)), >(+(v89, 1), 3)), <=(v89, v88)), <=(v89, v85)), >(+(v88, 1), 3)), >(+(v87, 1), 0)), >(+(v86, 1), 0)), >(+(v85, 1), 3))
f25763_0_findR_FieldAccess(v85, v86, v87, x45, v88) → f25763_0_findR_FieldAccess(v89, v90, v91, x45, v92) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x45, x41), >(+(v92, 1), 1)), <=(+(v92, 2), v88)), <=(+(v92, 2), v85)), >(+(v91, 1), 0)), <=(v91, v87)), >(+(v90, 1), 0)), <=(v90, v86)), >(+(v89, 1), 3)), <=(v89, v88)), <=(v89, v85)), >(+(v88, 1), 3)), >(+(v87, 1), 0)), >(+(v86, 1), 0)), >(+(v85, 1), 3))
f25763_0_findR_FieldAccess(v93, v94, v95, x54, v96) → f25763_0_findR_FieldAccess(v97, v98, v99, x54, v100) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x54, x51), >(+(v99, 1), 0)), <=(v99, v95)), >(+(v98, 1), 0)), >(+(v97, 1), 3)), <=(v97, v96)), <=(v97, v94)), <=(v97, v93)), >=(v96, +(v100, 2))), >(+(v96, 1), 3)), >(+(v95, 1), 0)), >=(v94, +(v100, 2))), >(+(v94, 1), 3)), >=(v93, +(v100, 2))), >(+(v93, 1), 3)), >(+(v100, 1), 1))
f25763_0_findR_FieldAccess(v93, v94, v95, x54, v96) → f25763_0_findR_FieldAccess(v97, v98, v99, x54, v100) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x54, x51), >(+(v99, 1), 0)), <=(v99, v95)), >(+(v98, 1), 0)), >(+(v97, 1), 3)), <=(v97, v96)), <=(v97, v94)), <=(v97, v93)), >=(v96, +(v100, 2))), >(+(v96, 1), 3)), >(+(v95, 1), 0)), >=(v94, +(v100, 2))), >(+(v94, 1), 3)), >=(v93, +(v100, 2))), >(+(v93, 1), 3)), >(+(v100, 1), 1))

(7) Obligation:

Rules:
f25763_0_findR_FieldAccess(v61, v62, v63, x10, v64) → f25763_0_findR_FieldAccess(v65, v66, v67, x10, v68) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x11, x10), >(+(v68, 1), 1)), <=(+(v68, 2), v64)), >(+(v67, 1), 0)), <=(v67, v63)), >(+(v66, 1), 0)), <=(v66, v62)), >(+(v65, 1), 0)), <=(v65, v61)), >(+(v64, 1), 3)), >(+(v63, 1), 0)), >(+(v62, 1), 0)), >(+(v61, 1), 0))
f25763_0_findR_FieldAccess(v61, v62, v63, x10, v64) → f25763_0_findR_FieldAccess(v65, v66, v67, x10, v68) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x11, x10), >(+(v68, 1), 1)), <=(+(v68, 2), v64)), >(+(v67, 1), 0)), <=(v67, v63)), >(+(v66, 1), 0)), <=(v66, v62)), >(+(v65, 1), 0)), <=(v65, v61)), >(+(v64, 1), 3)), >(+(v63, 1), 0)), >(+(v62, 1), 0)), >(+(v61, 1), 0))
f25763_0_findR_FieldAccess(v69, v70, v71, x23, v72) → f25763_0_findR_FieldAccess(v73, v74, v75, x23, v76) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x23, x21), >(+(v76, 1), 1)), <=(+(v76, 2), v72)), <=(+(v76, 2), v71)), >(+(v75, 1), 3)), <=(v75, v72)), <=(v75, v71)), >(+(v74, 1), 0)), <=(v74, v70)), >(+(v73, 1), 0)), <=(v73, v69)), >(+(v72, 1), 3)), >(+(v71, 1), 3)), >(+(v70, 1), 0)), >(+(v69, 1), 0))
f25763_0_findR_FieldAccess(v69, v70, v71, x23, v72) → f25763_0_findR_FieldAccess(v73, v74, v75, x23, v76) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x23, x21), >(+(v76, 1), 1)), <=(+(v76, 2), v72)), <=(+(v76, 2), v71)), >(+(v75, 1), 3)), <=(v75, v72)), <=(v75, v71)), >(+(v74, 1), 0)), <=(v74, v70)), >(+(v73, 1), 0)), <=(v73, v69)), >(+(v72, 1), 3)), >(+(v71, 1), 3)), >(+(v70, 1), 0)), >(+(v69, 1), 0))
f25763_0_findR_FieldAccess(v77, v78, v79, x34, v80) → f25763_0_findR_FieldAccess(v81, v82, v83, x34, v84) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x34, x31), >(+(v84, 1), 1)), <=(+(v84, 2), v80)), <=(+(v84, 2), v78)), >(+(v83, 1), 0)), <=(v83, v79)), >(+(v82, 1), 3)), <=(v82, v80)), <=(v82, v78)), >(+(v81, 1), 0)), <=(v81, v77)), >(+(v80, 1), 3)), >(+(v79, 1), 0)), >(+(v78, 1), 3)), >(+(v77, 1), 0))
f25763_0_findR_FieldAccess(v77, v78, v79, x34, v80) → f25763_0_findR_FieldAccess(v81, v82, v83, x34, v84) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x34, x31), >(+(v84, 1), 1)), <=(+(v84, 2), v80)), <=(+(v84, 2), v78)), >(+(v83, 1), 0)), <=(v83, v79)), >(+(v82, 1), 3)), <=(v82, v80)), <=(v82, v78)), >(+(v81, 1), 0)), <=(v81, v77)), >(+(v80, 1), 3)), >(+(v79, 1), 0)), >(+(v78, 1), 3)), >(+(v77, 1), 0))
f25763_0_findR_FieldAccess(v85, v86, v87, x45, v88) → f25763_0_findR_FieldAccess(v89, v90, v91, x45, v92) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x45, x41), >(+(v92, 1), 1)), <=(+(v92, 2), v88)), <=(+(v92, 2), v85)), >(+(v91, 1), 0)), <=(v91, v87)), >(+(v90, 1), 0)), <=(v90, v86)), >(+(v89, 1), 3)), <=(v89, v88)), <=(v89, v85)), >(+(v88, 1), 3)), >(+(v87, 1), 0)), >(+(v86, 1), 0)), >(+(v85, 1), 3))
f25763_0_findR_FieldAccess(v85, v86, v87, x45, v88) → f25763_0_findR_FieldAccess(v89, v90, v91, x45, v92) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x45, x41), >(+(v92, 1), 1)), <=(+(v92, 2), v88)), <=(+(v92, 2), v85)), >(+(v91, 1), 0)), <=(v91, v87)), >(+(v90, 1), 0)), <=(v90, v86)), >(+(v89, 1), 3)), <=(v89, v88)), <=(v89, v85)), >(+(v88, 1), 3)), >(+(v87, 1), 0)), >(+(v86, 1), 0)), >(+(v85, 1), 3))
f25763_0_findR_FieldAccess(v93, v94, v95, x54, v96) → f25763_0_findR_FieldAccess(v97, v98, v99, x54, v100) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(>(x54, x51), >(+(v99, 1), 0)), <=(v99, v95)), >(+(v98, 1), 0)), >(+(v97, 1), 3)), <=(v97, v96)), <=(v97, v94)), <=(v97, v93)), >=(v96, +(v100, 2))), >(+(v96, 1), 3)), >(+(v95, 1), 0)), >=(v94, +(v100, 2))), >(+(v94, 1), 3)), >=(v93, +(v100, 2))), >(+(v93, 1), 3)), >(+(v100, 1), 1))
f25763_0_findR_FieldAccess(v93, v94, v95, x54, v96) → f25763_0_findR_FieldAccess(v97, v98, v99, x54, v100) | &&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(&&(<(x54, x51), >(+(v99, 1), 0)), <=(v99, v95)), >(+(v98, 1), 0)), >(+(v97, 1), 3)), <=(v97, v96)), <=(v97, v94)), <=(v97, v93)), >=(v96, +(v100, 2))), >(+(v96, 1), 3)), >(+(v95, 1), 0)), >=(v94, +(v100, 2))), >(+(v94, 1), 3)), >=(v93, +(v100, 2))), >(+(v93, 1), 3)), >(+(v100, 1), 1))

(8) LinearRankingProcessor (EQUIVALENT transformation)

Linear ranking:

[f25763_0_findR_FieldAccess(x)] = 1/2·x₅

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

Therefore the following rule(s) have been dropped:

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

(9) YES

(10) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: DoublyLinkedList.DoublyLinkedList.getFirst()LDoublyLinkedList/DoublyLinkedList;
SCC calls the following helper methods: DoublyLinkedList.DoublyLinkedList.getFirst()LDoublyLinkedList/DoublyLinkedList;
Performed SCC analyses:

Used field analysis yielded the following read fields:
- DoublyLinkedList.DoublyLinkedList: [prev]
Marker field analysis yielded the following relations that could be markers:

(11) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 14 IRules

P rules:
f4290_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789))) → f4294_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)))
f4294_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789))) → f4303_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1789)), o1789)
f4303_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub)) → f4311_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub))
f4311_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub)) → f4318_0_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))))
f4318_0_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub)))) → f4328_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))))
f4328_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub)))) → f4337_0_getFirst_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub))
f4337_0_getFirst_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub)) → f4345_0_getFirst_Load(EOS, java.lang.Object(o1797sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub))
f4337_0_getFirst_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub)) → f4345_1_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub), java.lang.Object(o1797sub))
f4345_0_getFirst_Load(EOS, java.lang.Object(o1797sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub)) → f4350_0_getFirst_Load(EOS, java.lang.Object(o1797sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub))
f4350_0_getFirst_Load(EOS, java.lang.Object(o1797sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub)) → f4365_0_getFirst_Load(EOS, java.lang.Object(o1797sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1797sub))), java.lang.Object(o1797sub))
f4365_0_getFirst_Load(EOS, java.lang.Object(o1807sub), o1811, java.lang.Object(o1807sub)) → f4375_0_getFirst_Load(EOS, java.lang.Object(o1807sub), o1811, java.lang.Object(o1807sub))
f4375_0_getFirst_Load(EOS, java.lang.Object(o1807sub), o1811, java.lang.Object(o1807sub)) → f4386_0_getFirst_Load(EOS, java.lang.Object(o1807sub), java.lang.Object(o1807sub))
f4386_0_getFirst_Load(EOS, java.lang.Object(o1807sub), java.lang.Object(o1807sub)) → f4285_0_getFirst_Load(EOS, java.lang.Object(o1807sub), java.lang.Object(o1807sub))
f4285_0_getFirst_Load(EOS, java.lang.Object(o1780sub), java.lang.Object(o1780sub)) → f4290_0_getFirst_FieldAccess(EOS, java.lang.Object(o1780sub), java.lang.Object(o1780sub), java.lang.Object(o1780sub))

Combined rules. Obtained 2 IRules

P rules:
f4290_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0)))) → f4345_1_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(x0), java.lang.Object(x0))
f4290_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0)))) → f4290_0_getFirst_FieldAccess(EOS, java.lang.Object(x0), java.lang.Object(x0), java.lang.Object(x0))

Filtered ground terms:

f4290_0_getFirst_FieldAccess(x1, x2, x3, x4) → f4290_0_getFirst_FieldAccess(x2, x3, x4)
f4345_1_getFirst_Load(x1, x2, x3, x4) → f4345_1_getFirst_Load(x2, x3, x4)
DoublyLinkedList.DoublyLinkedList(x1, x2) → DoublyLinkedList.DoublyLinkedList(x2)

Filtered duplicate terms:

f4290_0_getFirst_FieldAccess(x1, x2, x3) → f4290_0_getFirst_FieldAccess(x3)
f4345_1_getFirst_Load(x1, x2, x3) → f4345_1_getFirst_Load(x1)

Prepared 2 rules for path length conversion:

P rules:
f4290_0_getFirst_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0)))) → f4345_1_getFirst_Load(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0))))
f4290_0_getFirst_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0)))) → f4290_0_getFirst_FieldAccess(java.lang.Object(x0))

Finished conversion. Obtained 1 rules.

P rules:
f4290_0_getFirst_FieldAccess(v3) → f4290_0_getFirst_FieldAccess(v4) | &&(&&(>(+(v4, 1), 1), <=(+(v4, 2), v3)), >(+(v3, 1), 3))

(12) Obligation:

Rules:
f4290_0_getFirst_FieldAccess(v3) → f4290_0_getFirst_FieldAccess(v4) | &&(&&(>(+(v4, 1), 1), <=(+(v4, 2), v3)), >(+(v3, 1), 3))

(13) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:

[f4290_0_getFirst_FieldAccess(x3)] = x3

Therefore the following rule(s) have been dropped:

f4290_0_getFirst_FieldAccess(x0) → f4290_0_getFirst_FieldAccess(x1) | &&(&&(>(+(x1, 1), 1), <=(+(x1, 2), x0)), >(+(x0, 1), 3))

(14) YES

(15) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: DoublyLinkedList.DoublyLinkedList.createList()LDoublyLinkedList/DoublyLinkedList;
SCC calls the following helper methods:
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 94 IRules

P rules:
f3886_0_createList_Load(EOS, i198, o1624, i1298, i1298) → f3891_0_createList_GE(EOS, i198, o1624, i1298, i1298, i198)
f3891_0_createList_GE(EOS, i198, o1624, i1298, i1298, i198) → f3897_0_createList_GE(EOS, i198, o1624, i1298, i1298, i198)
f3897_0_createList_GE(EOS, i198, o1624, i1298, i1298, i198) → f3909_0_createList_Load(EOS, i198, o1624, i1298) | <(i1298, i198)
f3909_0_createList_Load(EOS, i198, o1624, i1298) → f3920_0_createList_Store(EOS, i198, i1298, o1624)
f3920_0_createList_Store(EOS, i198, i1298, o1624) → f3933_0_createList_New(EOS, i198, i1298, o1624)
f3933_0_createList_New(EOS, i198, i1298, o1624) → f3950_0_createList_Duplicate(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f3950_0_createList_Duplicate(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3957_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f3957_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3964_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f3964_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3991_0_random_ArrayLength(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196)))
f3991_0_random_ArrayLength(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196))) → f4014_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196) | >=(i196, 0)
f4014_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196) → f4038_0_random_GT(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196, i1297)
f4038_0_random_GT(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196, i1297) → f4043_0_random_GT(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196, i1297)
f4038_0_random_GT(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196, i1297) → f4044_0_random_GT(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196, i1297)
f4043_0_random_GT(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196, i1297) → f4055_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | >(i196, i1297)
f4055_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4077_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196)))
f4077_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196))) → f4085_0_random_ArrayAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196)), i1297)
f4085_0_random_ArrayAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196)), i1297) → f4096_0_random_ArrayAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196)), i1297)
f4096_0_random_ArrayAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i196)), i1297) → f4109_0_random_Store(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720) | <(i1297, i196)
f4109_0_random_Store(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720) → f4121_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720)
f4121_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720) → f4133_0_random_ConstantStackPush(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720, i1297)
f4133_0_random_ConstantStackPush(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720, i1297) → f4162_0_random_IntArithmetic(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720, i1297, 1)
f4162_0_random_IntArithmetic(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720, i1297, matching1) → f4184_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720, +(i1297, 1)) | &&(>=(i1297, 0), =(matching1, 1))
f4184_0_random_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720, i1367) → f4204_0_random_Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720)
f4204_0_random_Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720) → f4219_0_random_NONNULL(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1720, o1720)
f4219_0_random_NONNULL(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub), java.lang.Object(o1761sub)) → f4232_0_random_NONNULL(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub), java.lang.Object(o1761sub))
f4219_0_random_NONNULL(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) → f4233_0_random_NONNULL(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL)
f4232_0_random_NONNULL(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub), java.lang.Object(o1761sub)) → f4263_0_random_Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub))
f4263_0_random_Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub)) → f4299_0_random_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub))
f4299_0_random_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub)) → f4323_0_length_Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub), java.lang.Object(o1761sub))
f4323_0_length_Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub), java.lang.Object(o1761sub)) → f4378_0_length_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1761sub), java.lang.Object(o1761sub))
f4378_0_length_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o1851sub, i1410)), java.lang.Object(java.lang.String(o1851sub, i1410))) → f4439_0_length_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o1851sub, i1410)), java.lang.Object(java.lang.String(o1851sub, i1410))) | >=(i1410, 0)
f4439_0_length_FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o1851sub, i1410)), java.lang.Object(java.lang.String(o1851sub, i1410))) → f4534_0_length_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o1851sub, i1410)), i1410)
f4534_0_length_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o1851sub, i1410)), i1410) → f4612_0_random_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410)
f4612_0_random_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410) → f4811_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410)
f4811_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410) → f4917_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410)
f4917_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410) → f4985_0__init__InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f4985_0__init__InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5006_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410)
f5006_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410) → f5017_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5017_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5025_0__init__FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410)
f5025_0__init__FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410) → f5032_0__init__Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410)
f5032_0__init__Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1410) → f5039_0_createList_Store(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5039_0_createList_Store(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5052_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624)
f5052_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624) → f5062_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5062_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5070_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1624)
f5070_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1624) → f5081_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624)
f5081_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624) → f5093_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, o1624)
f5093_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub), java.lang.Object(o2118sub)) → f5113_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub), java.lang.Object(o2118sub))
f5093_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, NULL, NULL) → f5114_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, NULL, NULL)
f5113_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub), java.lang.Object(o2118sub)) → f5124_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub))
f5124_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub)) → f5133_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub))
f5133_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub)) → f5160_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o2118sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5160_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5174_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5174_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5191_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298)
f5191_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298) → f5192_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1298, 1)) | >=(i1298, 0)
f5192_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1542) → f5203_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1542)
f5203_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1542) → f3867_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1542)
f3867_0_createList_Load(EOS, i198, o1624, i1298) → f3886_0_createList_Load(EOS, i198, o1624, i1298, i1298)
f5114_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, NULL, NULL) → f5129_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298)
f5129_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298) → f5140_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1298, 1)) | >=(i1298, 0)
f5140_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1530) → f5169_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1530)
f5169_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1530) → f3867_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1530)
f4233_0_random_NONNULL(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) → f4274_0_random_ConstantStackPush(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL)
f4274_0_random_ConstantStackPush(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL) → f4306_0_random_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, 0)
f4306_0_random_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, matching1) → f4330_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f4330_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f4811_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f4044_0_random_GT(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i196, i1297) → f4066_0_random_ConstantStackPush(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | <=(i196, i1297)
f4066_0_random_ConstantStackPush(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4079_0_random_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0)
f4079_0_random_Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f4089_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f4089_0_createList_InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f4103_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f4103_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → f4127_0__init__InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | &&(=(matching1, 0), =(matching2, 0))
f4127_0__init__InvokeMethod(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4151_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
f4151_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → f4177_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | &&(=(matching1, 0), =(matching2, 0))
f4177_0__init__Load(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, matching2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4198_0__init__FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
f4198_0__init__FieldAccess(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → f4212_0__init__Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
f4212_0__init__Return(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f4228_0_createList_Store(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | =(matching1, 0)
f4228_0_createList_Store(EOS, i198, i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4251_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624)
f4251_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624) → f4291_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f4291_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4319_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1624)
f4319_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1624) → f4340_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624)
f4340_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624) → f4366_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, o1624, o1624)
f4366_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub), java.lang.Object(o1850sub)) → f4433_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub), java.lang.Object(o1850sub))
f4366_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, NULL, NULL) → f4434_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, NULL, NULL)
f4433_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub), java.lang.Object(o1850sub)) → f4474_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub))
f4474_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub)) → f4556_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub))
f4556_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub)) → f4758_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(o1850sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f4758_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4869_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f4869_0_createList_FieldAccess(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4962_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298)
f4962_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298) → f4979_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1298, 1)) | >=(i1298, 0)
f4979_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1512) → f5002_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1512)
f5002_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1512) → f3867_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1512)
f4434_0_createList_NULL(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298, NULL, NULL) → f4480_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298)
f4480_0_createList_Inc(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1298) → f4608_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1298, 1)) | >=(i1298, 0)
f4608_0_createList_JMP(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1443) → f4795_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1443)
f4795_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1443) → f3867_0_createList_Load(EOS, i198, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1443)

Combined rules. Obtained 5 IRules

P rules:
f3886_0_createList_Load(EOS, x0, x1, x2, x2) → f5093_0_createList_NULL(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x2, x1, x1) | <(x2, x0)
f5093_0_createList_NULL(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3886_0_createList_Load(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x1, 1), +(x1, 1)) | >(+(x1, 1), 0)
f5093_0_createList_NULL(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x1, NULL, NULL) → f3886_0_createList_Load(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x1, 1), +(x1, 1)) | >(+(x1, 1), 0)
f3886_0_createList_Load(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x1, x1) → f3886_0_createList_Load(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x1, 1), +(x1, 1)) | &&(<(x1, x0), >(+(x1, 1), 0))
f3886_0_createList_Load(EOS, x0, NULL, x1, x1) → f3886_0_createList_Load(EOS, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x1, 1), +(x1, 1)) | &&(<(x1, x0), >(+(x1, 1), 0))

Filtered ground terms:

f3886_0_createList_Load(x1, x2, x3, x4, x5) → f3886_0_createList_Load(x2, x3, x4, x5)
Cond_f3886_0_createList_Load(x1, x2, x3, x4, x5, x6) → Cond_f3886_0_createList_Load(x1, x3, x4, x5, x6)
f5093_0_createList_NULL(x1, x2, x3, x4, x5, x6) → f5093_0_createList_NULL(x2, x4, x5, x6)
Cond_f5093_0_createList_NULL(x1, x2, x3, x4, x5, x6, x7) → Cond_f5093_0_createList_NULL(x1, x3, x5)
Cond_f5093_0_createList_NULL1(x1, x2, x3, x4, x5, x6, x7) → Cond_f5093_0_createList_NULL1(x1, x3, x5)
Cond_f3886_0_createList_Load1(x1, x2, x3, x4, x5, x6) → Cond_f3886_0_createList_Load1(x1, x3, x5, x6)
Cond_f3886_0_createList_Load2(x1, x2, x3, x4, x5, x6) → Cond_f3886_0_createList_Load2(x1, x3, x5, x6)
java.lang.Object(x1) → java.lang.Object
DoublyLinkedList.DoublyLinkedList(x1) → DoublyLinkedList.DoublyLinkedList

Filtered duplicate terms:

f3886_0_createList_Load(x1, x2, x3, x4) → f3886_0_createList_Load(x1, x2, x4)
Cond_f3886_0_createList_Load(x1, x2, x3, x4, x5) → Cond_f3886_0_createList_Load(x1, x2, x3, x5)
f5093_0_createList_NULL(x1, x2, x3, x4) → f5093_0_createList_NULL(x1, x2, x4)
Cond_f3886_0_createList_Load1(x1, x2, x3, x4) → Cond_f3886_0_createList_Load1(x1, x2, x4)
Cond_f3886_0_createList_Load2(x1, x2, x3, x4) → Cond_f3886_0_createList_Load2(x1, x2, x4)

Prepared 5 rules for path length conversion:

P rules:
f3886_0_createList_Load(x0, x1, x2) → f5093_0_createList_NULL(x0, x2, x1) | <(x2, x0)
f5093_0_createList_NULL(x0, x1, java.lang.Object) → f3886_0_createList_Load(x0, java.lang.Object, +(x1, 1)) | >(+(x1, 1), 0)
f5093_0_createList_NULL(x0, x1, NULL) → f3886_0_createList_Load(x0, java.lang.Object, +(x1, 1)) | >(+(x1, 1), 0)
f3886_0_createList_Load(x0, java.lang.Object, x1) → f3886_0_createList_Load(x0, java.lang.Object, +(x1, 1)) | &&(<(x1, x0), >(+(x1, 1), 0))
f3886_0_createList_Load(x0, NULL, x1) → f3886_0_createList_Load(x0, java.lang.Object, +(x1, 1)) | &&(<(x1, x0), >(+(x1, 1), 0))

Finished conversion. Obtained 5 rules.

P rules:
f3886_0_createList_Load(x0, v17, x2) → f5093_0_createList_NULL(x0, x2, v18) | &&(&&(&&(<(x2, x0), >(+(v18, 1), 0)), <=(v18, v17)), >(+(v17, 1), 0))
f5093_0_createList_NULL(x3, x4, v19) → f3886_0_createList_Load(x3, v20, +(x4, 1)) | >(x4, -1)
f5093_0_createList_NULL(x5, x6, v21) → f3886_0_createList_Load(x5, v22, +(x6, 1)) | &&(>(x6, -1), >(+(v21, 1), 0))
f3886_0_createList_Load(x7, v23, x8) → f3886_0_createList_Load(x7, v24, +(x8, 1)) | &&(<(x8, x7), >(x8, -1))
f3886_0_createList_Load(x9, v25, x10) → f3886_0_createList_Load(x9, v26, +(x10, 1)) | &&(&&(>(x9, x10), >(x10, -1)), >(+(v25, 1), 0))

(17) Obligation:

Rules:
f3886_0_createList_Load(x0, v17, x2) → f5093_0_createList_NULL(x0, x2, v18) | &&(&&(&&(<(x2, x0), >(+(v18, 1), 0)), <=(v18, v17)), >(+(v17, 1), 0))
f5093_0_createList_NULL(x3, x4, v19) → f3886_0_createList_Load(x3, v20, +(x4, 1)) | >(x4, -1)
f5093_0_createList_NULL(x5, x6, v21) → f3886_0_createList_Load(x5, v22, +(x6, 1)) | &&(>(x6, -1), >(+(v21, 1), 0))
f3886_0_createList_Load(x7, v23, x8) → f3886_0_createList_Load(x7, v24, +(x8, 1)) | &&(<(x8, x7), >(x8, -1))
f3886_0_createList_Load(x9, v25, x10) → f3886_0_createList_Load(x9, v26, +(x10, 1)) | &&(&&(>(x9, x10), >(x10, -1)), >(+(v25, 1), 0))

(18) PolynomialOrderProcessor (SOUND transformation)

Found the following polynomial interpretation:

[f3886_0_createList_Load(x21, x23, x25)] = x21 - x25
[f5093_0_createList_NULL(x28, x30, x32)] = -1 + x28 - x30

Therefore the following rule(s) have been dropped:

f3886_0_createList_Load(x0, x1, x2) → f5093_0_createList_NULL(x0, x2, x3) | &&(&&(&&(<(x2, x0), >(+(x3, 1), 0)), <=(x3, x1)), >(+(x1, 1), 0))
f3886_0_createList_Load(x12, x13, x14) → f3886_0_createList_Load(x12, x15, +(x14, 1)) | &&(<(x14, x12), >(x14, -1))
f3886_0_createList_Load(x16, x17, x18) → f3886_0_createList_Load(x16, x19, +(x18, 1)) | &&(&&(>(x16, x18), >(x18, -1)), >(+(x17, 1), 0))

(19) Obligation:

Rules:
f5093_0_createList_NULL(x4, x5, x6) → f3886_0_createList_Load(x4, x7, +(x5, 1)) | >(x5, -1)
f5093_0_createList_NULL(x8, x9, x10) → f3886_0_createList_Load(x8, x11, +(x9, 1)) | &&(>(x9, -1), >(+(x10, 1), 0))

(20) TerminationGraphProcessor (EQUIVALENT transformation)

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

(0) Obligation:

(1) JBCToGraph (SOUND transformation)

(2) Obligation:

(3) TerminationGraphToSCCProof (SOUND transformation)

(4) Complex Obligation (AND)

(5) Obligation:

(6) SCCToIntTRSProof (SOUND transformation)

(7) Obligation:

(8) LinearRankingProcessor (EQUIVALENT transformation)

(9) YES

(10) Obligation:

(11) SCCToIntTRSProof (SOUND transformation)

(12) Obligation:

(13) PolynomialOrderProcessor (EQUIVALENT transformation)

(14) YES

(15) Obligation:

(16) SCCToIntTRSProof (SOUND transformation)

(17) Obligation:

(18) PolynomialOrderProcessor (SOUND transformation)

(19) Obligation:

(20) TerminationGraphProcessor (EQUIVALENT transformation)

(21) YES