/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.jar /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


YES
proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 100 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1126 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 320 ms]
        (9) QDP
        (10) DependencyGraphProof [EQUIVALENT, 0 ms]
        (11) QDP
        (12) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (13) YES
    (14) JBCTerminationSCC
        (15) SCCToQDPProof [SOUND, 112 ms]
        (16) QDP
        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (18) YES
    (19) JBCTerminationSCC
        (20) SCCToIRSProof [SOUND, 221 ms]
        (21) IRSwT
        (22) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (23) IRSwT
        (24) IRSwTTerminationDigraphProof [EQUIVALENT, 66 ms]
        (25) AND
            (26) IRSwT
                (27) IntTRSCompressionProof [EQUIVALENT, 0 ms]
                (28) IRSwT
                (29) TempFilterProof [SOUND, 34 ms]
                (30) IntTRS
                (31) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
                (32) IntTRS
                (33) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
                (34) YES
            (35) IRSwT
                (36) IntTRSCompressionProof [EQUIVALENT, 0 ms]
                (37) IRSwT
                (38) IntTRSUnneededArgumentFilterProof [EQUIVALENT, 0 ms]
                (39) IRSwT
                (40) TempFilterProof [SOUND, 14 ms]
                (41) IntTRS
                (42) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
                (43) YES


----------------------------------------

(0)
Obligation:
need to prove termination of the following 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 MainCopy {
    public static void main(final String[] args) {
        Random.args = args;
        final DoublyLinkedList list = DoublyLinkedList.createList();
        list.copy();
    }
}


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) BareJBCToJBCProof (EQUIVALENT)
initialized classpath
----------------------------------------

(2)
Obligation:
need to prove termination of the following 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 MainCopy {
    public static void main(final String[] args) {
        Random.args = args;
        final DoublyLinkedList list = DoublyLinkedList.createList();
        list.copy();
    }
}


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



----------------------------------------

(3) JBCToGraph (EQUIVALENT)
Constructed TerminationGraph.
----------------------------------------

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



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



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



DoublyLinkedList.DoublyLinkedList.copyR(LDoublyLinkedList/DoublyLinkedList;)LDoublyLinkedList/DoublyLinkedList;: Graph of 70 nodes with 0 SCCs.





----------------------------------------

(5) TerminationGraphToSCCProof (SOUND)
Splitted TerminationGraph to 3 SCCss.
----------------------------------------

(6)
Complex Obligation (AND)

----------------------------------------

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

----------------------------------------

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 49 rules for P and 69 rules for R.P rules:
f4824_0_copyR_Duplicate(EOS(STATIC_4824), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL))) -> f4825_0_copyR_Load(EOS(STATIC_4825), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 0
f4825_0_copyR_Load(EOS(STATIC_4825), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL))) -> f4826_0_copyR_FieldAccess(EOS(STATIC_4826), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(o962sub)) :|: TRUE && matching1 = 0 && matching2 = 0
f4826_0_copyR_FieldAccess(EOS(STATIC_4826), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4827_0_copyR_FieldAccess(EOS(STATIC_4827), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) :|: TRUE && matching1 = 0 && matching2 = 0
f4827_0_copyR_FieldAccess(EOS(STATIC_4827), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4828_0_copyR_InvokeMethod(EOS(STATIC_4828), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0
f4828_0_copyR_InvokeMethod(EOS(STATIC_4828), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4829_0__init__Load(EOS(STATIC_4829), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0
f4829_0__init__Load(EOS(STATIC_4829), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4830_0__init__InvokeMethod(EOS(STATIC_4830), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 0 && matching2 = 0
f4830_0__init__InvokeMethod(EOS(STATIC_4830), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL))) -> f4831_0__init__Load(EOS(STATIC_4831), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0 && matching3 = 0
f4831_0__init__Load(EOS(STATIC_4831), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4832_0__init__Load(EOS(STATIC_4832), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 0 && matching2 = 0
f4832_0__init__Load(EOS(STATIC_4832), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL))) -> f4833_0__init__FieldAccess(EOS(STATIC_4833), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0
f4833_0__init__FieldAccess(EOS(STATIC_4833), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4834_0__init__Return(EOS(STATIC_4834), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE && matching1 = 0 && matching2 = 0
f4834_0__init__Return(EOS(STATIC_4834), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4835_0_copyR_Store(EOS(STATIC_4835), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4835_0_copyR_Store(EOS(STATIC_4835), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4836_0_copyR_Load(EOS(STATIC_4836), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4836_0_copyR_Load(EOS(STATIC_4836), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4837_0_copyR_Load(EOS(STATIC_4837), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4837_0_copyR_Load(EOS(STATIC_4837), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4838_0_copyR_FieldAccess(EOS(STATIC_4838), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o958) :|: TRUE
f4838_0_copyR_FieldAccess(EOS(STATIC_4838), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o958) -> f4839_0_copyR_Load(EOS(STATIC_4839), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4839_0_copyR_Load(EOS(STATIC_4839), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4840_0_copyR_NULL(EOS(STATIC_4840), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o958) :|: TRUE
f4840_0_copyR_NULL(EOS(STATIC_4840), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) -> f4841_0_copyR_NULL(EOS(STATIC_4841), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) :|: TRUE
f4840_0_copyR_NULL(EOS(STATIC_4840), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4842_0_copyR_NULL(EOS(STATIC_4842), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) :|: TRUE
f4841_0_copyR_NULL(EOS(STATIC_4841), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) -> f4843_0_copyR_Load(EOS(STATIC_4843), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4843_0_copyR_Load(EOS(STATIC_4843), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4845_0_copyR_Load(EOS(STATIC_4845), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) :|: TRUE
f4845_0_copyR_Load(EOS(STATIC_4845), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) -> f4847_0_copyR_FieldAccess(EOS(STATIC_4847), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4847_0_copyR_FieldAccess(EOS(STATIC_4847), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4849_0_copyR_FieldAccess(EOS(STATIC_4849), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4849_0_copyR_FieldAccess(EOS(STATIC_4849), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4852_0_copyR_Load(EOS(STATIC_4852), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4852_0_copyR_Load(EOS(STATIC_4852), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4855_0_copyR_FieldAccess(EOS(STATIC_4855), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) :|: TRUE
f4855_0_copyR_FieldAccess(EOS(STATIC_4855), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4858_0_copyR_NULL(EOS(STATIC_4858), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o966) :|: TRUE
f4858_0_copyR_NULL(EOS(STATIC_4858), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) -> f4861_0_copyR_NULL(EOS(STATIC_4861), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) :|: TRUE
f4861_0_copyR_NULL(EOS(STATIC_4861), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) -> f4864_0_copyR_Load(EOS(STATIC_4864), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4864_0_copyR_Load(EOS(STATIC_4864), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4868_0_copyR_FieldAccess(EOS(STATIC_4868), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub)))) :|: TRUE
f4868_0_copyR_FieldAccess(EOS(STATIC_4868), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub)))) -> f4871_0_copyR_Load(EOS(STATIC_4871), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) :|: TRUE
f4871_0_copyR_Load(EOS(STATIC_4871), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) -> f4873_0_copyR_InvokeMethod(EOS(STATIC_4873), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4873_0_copyR_InvokeMethod(EOS(STATIC_4873), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4874_1_copyR_InvokeMethod(f4874_0_copyR_New(EOS(STATIC_4874), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4874_0_copyR_New(EOS(STATIC_4874), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4876_0_copyR_New(EOS(STATIC_4876), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4876_0_copyR_New(EOS(STATIC_4876), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4882_0_copyR_New(EOS(STATIC_4882), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o968[DoublyLinkedList.next]o963) :|: o968[DoublyLinkedList.next]o963 = 1
f4882_0_copyR_New(EOS(STATIC_4882), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1044, o1048, java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1044[DoublyLinkedList.next]o1043) -> f4884_0_copyR_New(EOS(STATIC_4884), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1048, o1044, java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4884_0_copyR_New(EOS(STATIC_4884), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1048, o1050, java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4887_0_copyR_New(EOS(STATIC_4887), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4887_0_copyR_New(EOS(STATIC_4887), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4823_0_copyR_New(EOS(STATIC_4823), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4823_0_copyR_New(EOS(STATIC_4823), o958, java.lang.Object(o962sub), o958) -> f4824_0_copyR_Duplicate(EOS(STATIC_4824), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE
f4842_0_copyR_NULL(EOS(STATIC_4842), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4844_0_copyR_Load(EOS(STATIC_4844), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4844_0_copyR_Load(EOS(STATIC_4844), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4846_0_copyR_FieldAccess(EOS(STATIC_4846), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) :|: TRUE
f4846_0_copyR_FieldAccess(EOS(STATIC_4846), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4848_0_copyR_NULL(EOS(STATIC_4848), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o966) :|: TRUE
f4848_0_copyR_NULL(EOS(STATIC_4848), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) -> f4850_0_copyR_NULL(EOS(STATIC_4850), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) :|: TRUE
f4850_0_copyR_NULL(EOS(STATIC_4850), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) -> f4853_0_copyR_Load(EOS(STATIC_4853), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4853_0_copyR_Load(EOS(STATIC_4853), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4856_0_copyR_FieldAccess(EOS(STATIC_4856), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub)))) :|: TRUE
f4856_0_copyR_FieldAccess(EOS(STATIC_4856), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub)))) -> f4859_0_copyR_Load(EOS(STATIC_4859), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) :|: TRUE
f4859_0_copyR_Load(EOS(STATIC_4859), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) -> f4863_0_copyR_InvokeMethod(EOS(STATIC_4863), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4863_0_copyR_InvokeMethod(EOS(STATIC_4863), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4866_1_copyR_InvokeMethod(f4866_0_copyR_New(EOS(STATIC_4866), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4866_0_copyR_New(EOS(STATIC_4866), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4870_0_copyR_New(EOS(STATIC_4870), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4870_0_copyR_New(EOS(STATIC_4870), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4877_0_copyR_New(EOS(STATIC_4877), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4877_0_copyR_New(EOS(STATIC_4877), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4823_0_copyR_New(EOS(STATIC_4823), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
R rules:
f4823_0_copyR_New(EOS(STATIC_4823), o958, java.lang.Object(o962sub), o958) -> f4824_0_copyR_Duplicate(EOS(STATIC_4824), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE
f4824_0_copyR_Duplicate(EOS(STATIC_4824), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL))) -> f4825_0_copyR_Load(EOS(STATIC_4825), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 0
f4825_0_copyR_Load(EOS(STATIC_4825), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL))) -> f4826_0_copyR_FieldAccess(EOS(STATIC_4826), o958, java.lang.Object(o962sub), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(o962sub)) :|: TRUE && matching1 = 0 && matching2 = 0
f4826_0_copyR_FieldAccess(EOS(STATIC_4826), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4827_0_copyR_FieldAccess(EOS(STATIC_4827), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) :|: TRUE && matching1 = 0 && matching2 = 0
f4827_0_copyR_FieldAccess(EOS(STATIC_4827), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4828_0_copyR_InvokeMethod(EOS(STATIC_4828), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0
f4828_0_copyR_InvokeMethod(EOS(STATIC_4828), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4829_0__init__Load(EOS(STATIC_4829), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0
f4829_0__init__Load(EOS(STATIC_4829), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4830_0__init__InvokeMethod(EOS(STATIC_4830), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 0 && matching2 = 0
f4830_0__init__InvokeMethod(EOS(STATIC_4830), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL))) -> f4831_0__init__Load(EOS(STATIC_4831), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0 && matching3 = 0
f4831_0__init__Load(EOS(STATIC_4831), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4832_0__init__Load(EOS(STATIC_4832), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 0 && matching2 = 0
f4832_0__init__Load(EOS(STATIC_4832), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), i769, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL))) -> f4833_0__init__FieldAccess(EOS(STATIC_4833), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i769) :|: TRUE && matching1 = 0 && matching2 = 0
f4833_0__init__FieldAccess(EOS(STATIC_4833), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i769) -> f4834_0__init__Return(EOS(STATIC_4834), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE && matching1 = 0 && matching2 = 0
f4834_0__init__Return(EOS(STATIC_4834), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4835_0_copyR_Store(EOS(STATIC_4835), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4835_0_copyR_Store(EOS(STATIC_4835), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4836_0_copyR_Load(EOS(STATIC_4836), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4836_0_copyR_Load(EOS(STATIC_4836), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4837_0_copyR_Load(EOS(STATIC_4837), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4837_0_copyR_Load(EOS(STATIC_4837), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4838_0_copyR_FieldAccess(EOS(STATIC_4838), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o958) :|: TRUE
f4838_0_copyR_FieldAccess(EOS(STATIC_4838), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o958) -> f4839_0_copyR_Load(EOS(STATIC_4839), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4839_0_copyR_Load(EOS(STATIC_4839), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4840_0_copyR_NULL(EOS(STATIC_4840), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), o958, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o958) :|: TRUE
f4840_0_copyR_NULL(EOS(STATIC_4840), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) -> f4841_0_copyR_NULL(EOS(STATIC_4841), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) :|: TRUE
f4840_0_copyR_NULL(EOS(STATIC_4840), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4842_0_copyR_NULL(EOS(STATIC_4842), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) :|: TRUE
f4841_0_copyR_NULL(EOS(STATIC_4841), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) -> f4843_0_copyR_Load(EOS(STATIC_4843), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4842_0_copyR_NULL(EOS(STATIC_4842), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4844_0_copyR_Load(EOS(STATIC_4844), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4843_0_copyR_Load(EOS(STATIC_4843), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4845_0_copyR_Load(EOS(STATIC_4845), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) :|: TRUE
f4844_0_copyR_Load(EOS(STATIC_4844), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4846_0_copyR_FieldAccess(EOS(STATIC_4846), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) :|: TRUE
f4845_0_copyR_Load(EOS(STATIC_4845), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub)) -> f4847_0_copyR_FieldAccess(EOS(STATIC_4847), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o967sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4846_0_copyR_FieldAccess(EOS(STATIC_4846), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4848_0_copyR_NULL(EOS(STATIC_4848), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o966) :|: TRUE
f4847_0_copyR_FieldAccess(EOS(STATIC_4847), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4849_0_copyR_FieldAccess(EOS(STATIC_4849), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4848_0_copyR_NULL(EOS(STATIC_4848), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) -> f4850_0_copyR_NULL(EOS(STATIC_4850), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) :|: TRUE
f4848_0_copyR_NULL(EOS(STATIC_4848), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4851_0_copyR_NULL(EOS(STATIC_4851), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) :|: TRUE
f4849_0_copyR_FieldAccess(EOS(STATIC_4849), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, o970)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4852_0_copyR_Load(EOS(STATIC_4852), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4850_0_copyR_NULL(EOS(STATIC_4850), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) -> f4853_0_copyR_Load(EOS(STATIC_4853), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4851_0_copyR_NULL(EOS(STATIC_4851), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4854_0_copyR_Load(EOS(STATIC_4854), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4852_0_copyR_Load(EOS(STATIC_4852), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4855_0_copyR_FieldAccess(EOS(STATIC_4855), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) :|: TRUE
f4853_0_copyR_Load(EOS(STATIC_4853), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4856_0_copyR_FieldAccess(EOS(STATIC_4856), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub)))) :|: TRUE
f4854_0_copyR_Load(EOS(STATIC_4854), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4857_0_copyR_Return(EOS(STATIC_4857), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4855_0_copyR_FieldAccess(EOS(STATIC_4855), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966))) -> f4858_0_copyR_NULL(EOS(STATIC_4858), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, o966)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o966) :|: TRUE
f4856_0_copyR_FieldAccess(EOS(STATIC_4856), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o971sub)))) -> f4859_0_copyR_Load(EOS(STATIC_4859), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) :|: TRUE
f4858_0_copyR_NULL(EOS(STATIC_4858), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) -> f4861_0_copyR_NULL(EOS(STATIC_4861), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) :|: TRUE
f4858_0_copyR_NULL(EOS(STATIC_4858), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4862_0_copyR_NULL(EOS(STATIC_4862), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) :|: TRUE
f4859_0_copyR_Load(EOS(STATIC_4859), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub)) -> f4863_0_copyR_InvokeMethod(EOS(STATIC_4863), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4861_0_copyR_NULL(EOS(STATIC_4861), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) -> f4864_0_copyR_Load(EOS(STATIC_4864), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4862_0_copyR_NULL(EOS(STATIC_4862), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), NULL) -> f4865_0_copyR_Load(EOS(STATIC_4865), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4863_0_copyR_InvokeMethod(EOS(STATIC_4863), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4866_1_copyR_InvokeMethod(f4866_0_copyR_New(EOS(STATIC_4866), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4864_0_copyR_Load(EOS(STATIC_4864), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4868_0_copyR_FieldAccess(EOS(STATIC_4868), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub)))) :|: TRUE
f4865_0_copyR_Load(EOS(STATIC_4865), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4869_0_copyR_Return(EOS(STATIC_4869), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4866_0_copyR_New(EOS(STATIC_4866), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4870_0_copyR_New(EOS(STATIC_4870), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4868_0_copyR_FieldAccess(EOS(STATIC_4868), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, java.lang.Object(o982sub)))) -> f4871_0_copyR_Load(EOS(STATIC_4871), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) :|: TRUE
f4870_0_copyR_New(EOS(STATIC_4870), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4877_0_copyR_New(EOS(STATIC_4877), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4871_0_copyR_Load(EOS(STATIC_4871), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub)) -> f4873_0_copyR_InvokeMethod(EOS(STATIC_4873), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4873_0_copyR_InvokeMethod(EOS(STATIC_4873), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4874_1_copyR_InvokeMethod(f4874_0_copyR_New(EOS(STATIC_4874), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4874_0_copyR_New(EOS(STATIC_4874), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4876_0_copyR_New(EOS(STATIC_4876), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4876_0_copyR_New(EOS(STATIC_4876), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4882_0_copyR_New(EOS(STATIC_4882), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), o969, java.lang.Object(o982sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o968[DoublyLinkedList.next]o963) :|: o968[DoublyLinkedList.next]o963 = 1
f4881_0_copyR_Return(EOS(STATIC_4881), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i789, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL))) -> f4908_0_copyR_Return(EOS(STATIC_4908), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i789, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL))) :|: TRUE
f4882_0_copyR_New(EOS(STATIC_4882), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1044, o1048, java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1044[DoublyLinkedList.next]o1043) -> f4884_0_copyR_New(EOS(STATIC_4884), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1048, o1044, java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4884_0_copyR_New(EOS(STATIC_4884), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), o1048, o1050, java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4887_0_copyR_New(EOS(STATIC_4887), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4893_0_copyR_Return(EOS(STATIC_4893), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i801, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL))) -> f4910_0_copyR_Return(EOS(STATIC_4910), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i801, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL))) :|: TRUE
f4908_0_copyR_Return(EOS(STATIC_4908), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i860, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202))) -> f4912_0_copyR_StackPop(EOS(STATIC_4912), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i860, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202))) :|: TRUE
f4910_0_copyR_Return(EOS(STATIC_4910), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i869, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221))) -> f4913_0_copyR_StackPop(EOS(STATIC_4913), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i869, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221))) :|: TRUE
f4912_0_copyR_StackPop(EOS(STATIC_4912), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i860, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202))) -> f4914_0_copyR_Load(EOS(STATIC_4914), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i860, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202))))) :|: TRUE
f4913_0_copyR_StackPop(EOS(STATIC_4913), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i869, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221))) -> f4915_0_copyR_Load(EOS(STATIC_4915), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i869, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221))))) :|: TRUE
f4914_0_copyR_Load(EOS(STATIC_4914), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i860, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202))))) -> f4916_0_copyR_Return(EOS(STATIC_4916), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i860, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i859, o1202))))) :|: TRUE
f4915_0_copyR_Load(EOS(STATIC_4915), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i869, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221))))) -> f4917_0_copyR_Return(EOS(STATIC_4917), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i869, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i868, o1221))))) :|: TRUE
f4924_0_copyR_Return(EOS(STATIC_4924), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i911, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913, o1326)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913, o1326))))) -> f4908_0_copyR_Return(EOS(STATIC_4908), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i911, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913, o1326)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913, o1326))))) :|: TRUE
f4925_0_copyR_Return(EOS(STATIC_4925), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i917, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919, o1341)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919, o1341))))) -> f4910_0_copyR_Return(EOS(STATIC_4910), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i917, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919, o1341)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919, o1341))))) :|: TRUE
f4877_0_copyR_New(EOS(STATIC_4877), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4823_0_copyR_New(EOS(STATIC_4823), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o971sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4887_0_copyR_New(EOS(STATIC_4887), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4823_0_copyR_New(EOS(STATIC_4823), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)), java.lang.Object(o1049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) :|: TRUE
f4866_1_copyR_InvokeMethod(f4869_0_copyR_Return(EOS(STATIC_4869), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i789, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4881_0_copyR_Return(EOS(STATIC_4881), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i789, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790, NULL))) :|: TRUE
f4866_1_copyR_InvokeMethod(f4917_0_copyR_Return(EOS(STATIC_4917), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913, o1326))))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4924_0_copyR_Return(EOS(STATIC_4924), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i911, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913, o1326)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913, o1326))))) :|: TRUE
f4874_1_copyR_InvokeMethod(f4869_0_copyR_Return(EOS(STATIC_4869), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i801, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4893_0_copyR_Return(EOS(STATIC_4893), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i801, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802, NULL))) :|: TRUE
f4874_1_copyR_InvokeMethod(f4917_0_copyR_Return(EOS(STATIC_4917), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919, o1341))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769, NULL))) -> f4925_0_copyR_Return(EOS(STATIC_4925), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i917, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919, o1341)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919, o1341))))) :|: TRUE
Combined rules. Obtained 2 conditional rules for P and 8 conditional rules for R.P rules:
f4824_0_copyR_Duplicate(EOS(STATIC_4824), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, java.lang.Object(o971sub:0))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) -> f4866_1_copyR_InvokeMethod(f4824_0_copyR_Duplicate(EOS(STATIC_4824), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(o971sub:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) :|: TRUE
f4824_0_copyR_Duplicate(EOS(STATIC_4824), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, o970:0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, java.lang.Object(o982sub:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, o970:0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) -> f4874_1_copyR_InvokeMethod(f4824_0_copyR_Duplicate(EOS(STATIC_4824), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(o982sub:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) :|: TRUE
R rules:
f4866_1_copyR_InvokeMethod(f4869_0_copyR_Return(EOS(STATIC_4869), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i789:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790:0, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790:0, NULL))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) -> f4916_0_copyR_Return(EOS(STATIC_4916), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i789:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i790:0, NULL))))) :|: TRUE
f4824_0_copyR_Duplicate(EOS(STATIC_4824), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) -> f4857_0_copyR_Return(EOS(STATIC_4857), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) :|: TRUE
f4874_1_copyR_InvokeMethod(f4917_0_copyR_Return(EOS(STATIC_4917), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919:0, o1341:0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) -> f4917_0_copyR_Return(EOS(STATIC_4917), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i917:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i918:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i919:0, o1341:0))))))) :|: TRUE
f4824_0_copyR_Duplicate(EOS(STATIC_4824), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, o970:0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, o970:0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) -> f4869_0_copyR_Return(EOS(STATIC_4869), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) :|: TRUE
f4824_0_copyR_Duplicate(EOS(STATIC_4824), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, o970:0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, java.lang.Object(o982sub:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, o970:0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) -> f4874_1_copyR_InvokeMethod(f4824_0_copyR_Duplicate(EOS(STATIC_4824), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(o982sub:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) :|: TRUE
f4866_1_copyR_InvokeMethod(f4917_0_copyR_Return(EOS(STATIC_4917), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913:0, o1326:0))))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) -> f4916_0_copyR_Return(EOS(STATIC_4916), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i911:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i912:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i913:0, o1326:0))))))) :|: TRUE
f4874_1_copyR_InvokeMethod(f4869_0_copyR_Return(EOS(STATIC_4869), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i801:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802:0, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802:0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i770:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) -> f4917_0_copyR_Return(EOS(STATIC_4917), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i801:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i802:0, NULL))))) :|: TRUE
f4824_0_copyR_Duplicate(EOS(STATIC_4824), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, java.lang.Object(o971sub:0))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) -> f4866_1_copyR_InvokeMethod(f4824_0_copyR_Duplicate(EOS(STATIC_4824), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(o971sub:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i769:0, NULL))) :|: TRUE
Filtered ground terms:
   f4824_0_copyR_Duplicate(x1, x2, x3, x4, x5) -> f4824_0_copyR_Duplicate(x2, x3, x4)
   f4866_1_copyR_InvokeMethod(x1, x2, x3) -> f4866_1_copyR_InvokeMethod(x1, x3)
   DoublyLinkedList.DoublyLinkedList(x1, x2, x3) -> DoublyLinkedList.DoublyLinkedList(x2, x3)
   f4916_0_copyR_Return(x1, x2, x3) -> f4916_0_copyR_Return(x3)
   f4857_0_copyR_Return(x1, x2, x3) -> f4857_0_copyR_Return(x3)
   f4917_0_copyR_Return(x1, x2) -> f4917_0_copyR_Return(x2)
   f4869_0_copyR_Return(x1, x2, x3) -> f4869_0_copyR_Return(x2, x3)
Filtered unneeded arguments:
   DoublyLinkedList.DoublyLinkedList(x1, x2) -> DoublyLinkedList.DoublyLinkedList(x2)
   f4866_1_copyR_InvokeMethod(x1, x2) -> f4866_1_copyR_InvokeMethod(x1)
   f4874_1_copyR_InvokeMethod(x1, x2, x3) -> f4874_1_copyR_InvokeMethod(x1)
Filtered duplicate args:
   f4824_0_copyR_Duplicate(x1, x2, x3) -> f4824_0_copyR_Duplicate(x2, x3)
   f4869_0_copyR_Return(x1, x2) -> f4869_0_copyR_Return(x1)
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
F4824_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o971sub:0:0))), NULL) -> F4824_0_COPYR_DUPLICATE(java.lang.Object(o971sub:0:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) :|: TRUE
F4824_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o982sub:0:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(o970:0:0))) -> F4824_0_COPYR_DUPLICATE(java.lang.Object(o982sub:0:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) :|: TRUE
R rules:

----------------------------------------

(9)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F4824_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o971sub:0:0))), NULL) -> F4824_0_COPYR_DUPLICATE(java.lang.Object(o971sub:0:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
   F4824_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o982sub:0:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(o970:0:0))) -> F4824_0_COPYR_DUPLICATE(java.lang.Object(o982sub:0:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(10) DependencyGraphProof (EQUIVALENT)
The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node.
----------------------------------------

(11)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F4824_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o982sub:0:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(o970:0:0))) -> F4824_0_COPYR_DUPLICATE(java.lang.Object(o982sub:0:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(12) QDPSizeChangeProof (EQUIVALENT)
By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 

From the DPs we obtained the following set of size-change graphs:
*F4824_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o982sub:0:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(o970:0:0))) -> F4824_0_COPYR_DUPLICATE(java.lang.Object(o982sub:0:0), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
The graph contains the following edges 1 > 1


----------------------------------------

(13)
YES

----------------------------------------

(14)
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:

----------------------------------------

(15) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 10 rules for P and 18 rules for R.P rules:
f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245))) -> f1563_0_getFirst_FieldAccess(EOS(STATIC_1563), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245))) :|: TRUE
f1563_0_getFirst_FieldAccess(EOS(STATIC_1563), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245))) -> f1576_0_getFirst_NONNULL(EOS(STATIC_1576), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), o245) :|: TRUE
f1576_0_getFirst_NONNULL(EOS(STATIC_1576), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub))), java.lang.Object(o247sub)) -> f1582_0_getFirst_NONNULL(EOS(STATIC_1582), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub))), java.lang.Object(o247sub)) :|: TRUE
f1582_0_getFirst_NONNULL(EOS(STATIC_1582), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub))), java.lang.Object(o247sub)) -> f1592_0_getFirst_Load(EOS(STATIC_1592), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) :|: TRUE
f1592_0_getFirst_Load(EOS(STATIC_1592), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) -> f1601_0_getFirst_FieldAccess(EOS(STATIC_1601), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) :|: TRUE
f1601_0_getFirst_FieldAccess(EOS(STATIC_1601), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) -> f1615_0_getFirst_InvokeMethod(EOS(STATIC_1615), java.lang.Object(o247sub)) :|: TRUE
f1615_0_getFirst_InvokeMethod(EOS(STATIC_1615), java.lang.Object(o247sub)) -> f1629_1_getFirst_InvokeMethod(f1629_0_getFirst_Load(EOS(STATIC_1629), java.lang.Object(o247sub))) :|: TRUE
f1629_0_getFirst_Load(EOS(STATIC_1629), java.lang.Object(o247sub)) -> f1648_0_getFirst_Load(EOS(STATIC_1648), java.lang.Object(o247sub)) :|: TRUE
f1648_0_getFirst_Load(EOS(STATIC_1648), java.lang.Object(o247sub)) -> f1545_0_getFirst_Load(EOS(STATIC_1545), java.lang.Object(o247sub)) :|: TRUE
f1545_0_getFirst_Load(EOS(STATIC_1545), java.lang.Object(o242sub)) -> f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(o242sub), java.lang.Object(o242sub)) :|: TRUE
R rules:
f1545_0_getFirst_Load(EOS(STATIC_1545), java.lang.Object(o242sub)) -> f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(o242sub), java.lang.Object(o242sub)) :|: TRUE
f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245))) -> f1563_0_getFirst_FieldAccess(EOS(STATIC_1563), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245))) :|: TRUE
f1563_0_getFirst_FieldAccess(EOS(STATIC_1563), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245))) -> f1576_0_getFirst_NONNULL(EOS(STATIC_1576), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o245)), o245) :|: TRUE
f1576_0_getFirst_NONNULL(EOS(STATIC_1576), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub))), java.lang.Object(o247sub)) -> f1582_0_getFirst_NONNULL(EOS(STATIC_1582), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub))), java.lang.Object(o247sub)) :|: TRUE
f1576_0_getFirst_NONNULL(EOS(STATIC_1576), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL) -> f1583_0_getFirst_NONNULL(EOS(STATIC_1583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL) :|: TRUE
f1582_0_getFirst_NONNULL(EOS(STATIC_1582), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub))), java.lang.Object(o247sub)) -> f1592_0_getFirst_Load(EOS(STATIC_1592), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) :|: TRUE
f1583_0_getFirst_NONNULL(EOS(STATIC_1583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL) -> f1593_0_getFirst_Load(EOS(STATIC_1593), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f1592_0_getFirst_Load(EOS(STATIC_1592), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) -> f1601_0_getFirst_FieldAccess(EOS(STATIC_1601), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) :|: TRUE
f1593_0_getFirst_Load(EOS(STATIC_1593), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) -> f1603_0_getFirst_Return(EOS(STATIC_1603), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f1601_0_getFirst_FieldAccess(EOS(STATIC_1601), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub)))) -> f1615_0_getFirst_InvokeMethod(EOS(STATIC_1615), java.lang.Object(o247sub)) :|: TRUE
f1615_0_getFirst_InvokeMethod(EOS(STATIC_1615), java.lang.Object(o247sub)) -> f1629_1_getFirst_InvokeMethod(f1629_0_getFirst_Load(EOS(STATIC_1629), java.lang.Object(o247sub))) :|: TRUE
f1629_0_getFirst_Load(EOS(STATIC_1629), java.lang.Object(o247sub)) -> f1648_0_getFirst_Load(EOS(STATIC_1648), java.lang.Object(o247sub)) :|: TRUE
f2522_0_getFirst_Return(EOS(STATIC_2522), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) -> f2596_0_getFirst_Return(EOS(STATIC_2596), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f2730_0_getFirst_Return(EOS(STATIC_2730), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) -> f2818_0_getFirst_Return(EOS(STATIC_2818), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f2818_0_getFirst_Return(EOS(STATIC_2818), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) -> f2596_0_getFirst_Return(EOS(STATIC_2596), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f1648_0_getFirst_Load(EOS(STATIC_1648), java.lang.Object(o247sub)) -> f1545_0_getFirst_Load(EOS(STATIC_1545), java.lang.Object(o247sub)) :|: TRUE
f1629_1_getFirst_InvokeMethod(f1603_0_getFirst_Return(EOS(STATIC_1603), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))) -> f2522_0_getFirst_Return(EOS(STATIC_2522), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f1629_1_getFirst_InvokeMethod(f2596_0_getFirst_Return(EOS(STATIC_2596), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))) -> f2730_0_getFirst_Return(EOS(STATIC_2730), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
Combined rules. Obtained 1 conditional rules for P and 4 conditional rules for R.P rules:
f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub:0)))) -> f1629_1_getFirst_InvokeMethod(f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(o247sub:0), java.lang.Object(o247sub:0))) :|: TRUE
R rules:
f1629_1_getFirst_InvokeMethod(f1603_0_getFirst_Return(EOS(STATIC_1603), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))) -> f2596_0_getFirst_Return(EOS(STATIC_2596), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f1629_1_getFirst_InvokeMethod(f2596_0_getFirst_Return(EOS(STATIC_2596), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))) -> f2596_0_getFirst_Return(EOS(STATIC_2596), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub:0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o247sub:0)))) -> f1629_1_getFirst_InvokeMethod(f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(o247sub:0), java.lang.Object(o247sub:0))) :|: TRUE
f1550_0_getFirst_FieldAccess(EOS(STATIC_1550), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) -> f1603_0_getFirst_Return(EOS(STATIC_1603), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) :|: TRUE
Filtered ground terms:
   f1550_0_getFirst_FieldAccess(x1, x2, x3) -> f1550_0_getFirst_FieldAccess(x2, x3)
   DoublyLinkedList.DoublyLinkedList(x1, x2) -> DoublyLinkedList.DoublyLinkedList(x2)
   f2596_0_getFirst_Return(x1, x2) -> f2596_0_getFirst_Return
   f1603_0_getFirst_Return(x1, x2) -> f1603_0_getFirst_Return
Filtered duplicate args:
   f1550_0_getFirst_FieldAccess(x1, x2) -> f1550_0_getFirst_FieldAccess(x2)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F1550_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o247sub:0:0)))) -> F1550_0_GETFIRST_FIELDACCESS(java.lang.Object(o247sub:0:0)) :|: TRUE
R rules:

----------------------------------------

(16)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F1550_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o247sub:0:0)))) -> F1550_0_GETFIRST_FIELDACCESS(java.lang.Object(o247sub:0:0))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(17) QDPSizeChangeProof (EQUIVALENT)
By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 

From the DPs we obtained the following set of size-change graphs:
*F1550_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(o247sub:0:0)))) -> F1550_0_GETFIRST_FIELDACCESS(java.lang.Object(o247sub:0:0))
The graph contains the following edges 1 > 1


----------------------------------------

(18)
YES

----------------------------------------

(19)
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:

----------------------------------------

(20) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 95 IRulesP rules:
f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636, i636) -> f4578_0_createList_GE(EOS(STATIC_4578(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636, i636, i635) :|: TRUE
f4578_0_createList_GE(EOS(STATIC_4578(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636, i636, i635) -> f4581_0_createList_GE(EOS(STATIC_4581(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636, i636, i635) :|: i636 < i635
f4581_0_createList_GE(EOS(STATIC_4581(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636, i636, i635) -> f4584_0_createList_Load(EOS(STATIC_4584(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636) :|: i636 < i635
f4584_0_createList_Load(EOS(STATIC_4584(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636) -> f4587_0_createList_Store(EOS(STATIC_4587(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687) :|: TRUE
f4587_0_createList_Store(EOS(STATIC_4587(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687) -> f4590_0_createList_New(EOS(STATIC_4590(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687) :|: TRUE
f4590_0_createList_New(EOS(STATIC_4590(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687) -> f4592_0_createList_Duplicate(EOS(STATIC_4592(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4592_0_createList_Duplicate(EOS(STATIC_4592(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4595_0_createList_InvokeMethod(EOS(STATIC_4595(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4595_0_createList_InvokeMethod(EOS(STATIC_4595(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4597_0_random_FieldAccess(EOS(STATIC_4597(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4597_0_random_FieldAccess(EOS(STATIC_4597(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4600_0_random_ArrayLength(EOS(STATIC_4600(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4))) :|: TRUE
f4600_0_random_ArrayLength(EOS(STATIC_4600(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4))) -> f4602_0_random_FieldAccess(EOS(STATIC_4602(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4) :|: i4 >= 0
f4602_0_random_FieldAccess(EOS(STATIC_4602(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4) -> f4605_0_random_GT(EOS(STATIC_4605(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4, i634) :|: TRUE
f4605_0_random_GT(EOS(STATIC_4605(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4, i634) -> f4608_0_random_GT(EOS(STATIC_4608(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4, i634) :|: i4 > i634
f4605_0_random_GT(EOS(STATIC_4605(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4, i634) -> f4609_0_random_GT(EOS(STATIC_4609(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4, i634) :|: i4 <= i634
f4608_0_random_GT(EOS(STATIC_4608(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4, i634) -> f4612_0_random_FieldAccess(EOS(STATIC_4612(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: i4 > i634
f4612_0_random_FieldAccess(EOS(STATIC_4612(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4616_0_random_FieldAccess(EOS(STATIC_4616(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4))) :|: TRUE
f4616_0_random_FieldAccess(EOS(STATIC_4616(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4))) -> f4621_0_random_ArrayAccess(EOS(STATIC_4621(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4)), i634) :|: TRUE
f4621_0_random_ArrayAccess(EOS(STATIC_4621(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4)), i634) -> f4626_0_random_ArrayAccess(EOS(STATIC_4626(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4)), i634) :|: TRUE
f4626_0_random_ArrayAccess(EOS(STATIC_4626(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i4)), i634) -> f4632_0_random_Store(EOS(STATIC_4632(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708) :|: i634 < i4
f4632_0_random_Store(EOS(STATIC_4632(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708) -> f4637_0_random_FieldAccess(EOS(STATIC_4637(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708) :|: TRUE
f4637_0_random_FieldAccess(EOS(STATIC_4637(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708) -> f4642_0_random_ConstantStackPush(EOS(STATIC_4642(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708, i634) :|: TRUE
f4642_0_random_ConstantStackPush(EOS(STATIC_4642(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708, i634) -> f4649_0_random_IntArithmetic(EOS(STATIC_4649(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708, i634, 1) :|: TRUE
f4649_0_random_IntArithmetic(EOS(STATIC_4649(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708, i634, matching1) -> f4655_0_random_FieldAccess(EOS(STATIC_4655(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708, i634 + 1) :|: i634 >= 0 && matching1 = 1
f4655_0_random_FieldAccess(EOS(STATIC_4655(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708, i664) -> f4659_0_random_Load(EOS(STATIC_4659(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708) :|: TRUE
f4659_0_random_Load(EOS(STATIC_4659(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708) -> f4663_0_random_NONNULL(EOS(STATIC_4663(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o708, o708) :|: TRUE
f4663_0_random_NONNULL(EOS(STATIC_4663(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o767sub), java.lang.Object(o767sub)) -> f4668_0_random_NONNULL(EOS(STATIC_4668(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o767sub), java.lang.Object(o767sub)) :|: TRUE
f4663_0_random_NONNULL(EOS(STATIC_4663(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) -> f4669_0_random_NONNULL(EOS(STATIC_4669(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) :|: TRUE
f4668_0_random_NONNULL(EOS(STATIC_4668(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o767sub), java.lang.Object(o767sub)) -> f4676_0_random_Load(EOS(STATIC_4676(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o767sub)) :|: TRUE
f4676_0_random_Load(EOS(STATIC_4676(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o767sub)) -> f4682_0_random_InvokeMethod(EOS(STATIC_4682(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o767sub)) :|: TRUE
f4682_0_random_InvokeMethod(EOS(STATIC_4682(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o790sub)) -> f4688_0_random_InvokeMethod(EOS(STATIC_4688(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o790sub)) :|: TRUE
f4688_0_random_InvokeMethod(EOS(STATIC_4688(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o790sub)) -> f4692_0_length_Load(EOS(STATIC_4692(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o790sub)) :|: TRUE
f4692_0_length_Load(EOS(STATIC_4692(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o790sub)) -> f4701_0_length_FieldAccess(EOS(STATIC_4701(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o790sub)) :|: TRUE
f4701_0_length_FieldAccess(EOS(STATIC_4701(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(EOC, i704))) -> f4706_0_length_FieldAccess(EOS(STATIC_4706(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(EOC, i704))) :|: i704 >= 0
f4706_0_length_FieldAccess(EOS(STATIC_4706(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(EOC, i704))) -> f4712_0_length_Return(EOS(STATIC_4712(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) :|: TRUE
f4712_0_length_Return(EOS(STATIC_4712(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) -> f4718_0_random_Return(EOS(STATIC_4718(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) :|: TRUE
f4718_0_random_Return(EOS(STATIC_4718(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) -> f4723_0_createList_InvokeMethod(EOS(STATIC_4723(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) :|: TRUE
f4723_0_createList_InvokeMethod(EOS(STATIC_4723(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) -> f4726_0__init__Load(EOS(STATIC_4726(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) :|: TRUE
f4726_0__init__Load(EOS(STATIC_4726(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) -> f4733_0__init__InvokeMethod(EOS(STATIC_4733(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4733_0__init__InvokeMethod(EOS(STATIC_4733(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4736_0__init__Load(EOS(STATIC_4736(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) :|: TRUE
f4736_0__init__Load(EOS(STATIC_4736(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) -> f4739_0__init__Load(EOS(STATIC_4739(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4739_0__init__Load(EOS(STATIC_4739(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4742_0__init__FieldAccess(EOS(STATIC_4742(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) :|: TRUE
f4742_0__init__FieldAccess(EOS(STATIC_4742(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i704) -> f4745_0__init__Return(EOS(STATIC_4745(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4745_0__init__Return(EOS(STATIC_4745(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4748_0_createList_Store(EOS(STATIC_4748(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4748_0_createList_Store(EOS(STATIC_4748(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4751_0_createList_Load(EOS(STATIC_4751(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) :|: TRUE
f4751_0_createList_Load(EOS(STATIC_4751(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) -> f4754_0_createList_Load(EOS(STATIC_4754(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4754_0_createList_Load(EOS(STATIC_4754(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4757_0_createList_FieldAccess(EOS(STATIC_4757(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o687) :|: TRUE
f4757_0_createList_FieldAccess(EOS(STATIC_4757(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o687) -> f4760_0_createList_Load(EOS(STATIC_4760(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) :|: TRUE
f4760_0_createList_Load(EOS(STATIC_4760(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) -> f4763_0_createList_NULL(EOS(STATIC_4763(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, o687) :|: TRUE
f4763_0_createList_NULL(EOS(STATIC_4763(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub), java.lang.Object(o841sub)) -> f4768_0_createList_NULL(EOS(STATIC_4768(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub), java.lang.Object(o841sub)) :|: TRUE
f4763_0_createList_NULL(EOS(STATIC_4763(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, NULL, NULL) -> f4769_0_createList_NULL(EOS(STATIC_4769(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, NULL, NULL) :|: TRUE
f4768_0_createList_NULL(EOS(STATIC_4768(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub), java.lang.Object(o841sub)) -> f4773_0_createList_Load(EOS(STATIC_4773(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub)) :|: TRUE
f4773_0_createList_Load(EOS(STATIC_4773(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub)) -> f4778_0_createList_Load(EOS(STATIC_4778(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub)) :|: TRUE
f4778_0_createList_Load(EOS(STATIC_4778(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub)) -> f4783_0_createList_FieldAccess(EOS(STATIC_4783(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o841sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4783_0_createList_FieldAccess(EOS(STATIC_4783(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4788_0_createList_FieldAccess(EOS(STATIC_4788(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4788_0_createList_FieldAccess(EOS(STATIC_4788(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4792_0_createList_Inc(EOS(STATIC_4792(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) :|: TRUE
f4792_0_createList_Inc(EOS(STATIC_4792(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) -> f4796_0_createList_JMP(EOS(STATIC_4796(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636 + 1) :|: TRUE
f4796_0_createList_JMP(EOS(STATIC_4796(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i739) -> f4800_0_createList_Load(EOS(STATIC_4800(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i739) :|: TRUE
f4800_0_createList_Load(EOS(STATIC_4800(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i739) -> f4575_0_createList_Load(EOS(STATIC_4575(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i739) :|: TRUE
f4575_0_createList_Load(EOS(STATIC_4575(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636) -> f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4)), i634)), i635, o687, i636, i636) :|: TRUE
f4769_0_createList_NULL(EOS(STATIC_4769(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, NULL, NULL) -> f4774_0_createList_Inc(EOS(STATIC_4774(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) :|: TRUE
f4774_0_createList_Inc(EOS(STATIC_4774(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) -> f4779_0_createList_JMP(EOS(STATIC_4779(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636 + 1) :|: TRUE
f4779_0_createList_JMP(EOS(STATIC_4779(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i727) -> f4784_0_createList_Load(EOS(STATIC_4784(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i727) :|: TRUE
f4784_0_createList_Load(EOS(STATIC_4784(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i727) -> f4575_0_createList_Load(EOS(STATIC_4575(java.lang.Object(ARRAY(i4)), i664)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i727) :|: TRUE
f4669_0_random_NONNULL(EOS(STATIC_4669(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) -> f4677_0_random_ConstantStackPush(EOS(STATIC_4677(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4677_0_random_ConstantStackPush(EOS(STATIC_4677(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4683_0_random_Return(EOS(STATIC_4683(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE
f4683_0_random_Return(EOS(STATIC_4683(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) -> f4689_0_createList_InvokeMethod(EOS(STATIC_4689(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE && matching1 = 0
f4689_0_createList_InvokeMethod(EOS(STATIC_4689(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) -> f4723_0_createList_InvokeMethod(EOS(STATIC_4723(java.lang.Object(ARRAY(i4)), i664)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE && matching1 = 0
f4609_0_random_GT(EOS(STATIC_4609(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i4, i634) -> f4613_0_random_ConstantStackPush(EOS(STATIC_4613(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: i4 <= i634
f4613_0_random_ConstantStackPush(EOS(STATIC_4613(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4617_0_random_Return(EOS(STATIC_4617(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE
f4617_0_random_Return(EOS(STATIC_4617(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) -> f4622_0_createList_InvokeMethod(EOS(STATIC_4622(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE && matching1 = 0
f4622_0_createList_InvokeMethod(EOS(STATIC_4622(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) -> f4628_0__init__Load(EOS(STATIC_4628(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE && matching1 = 0
f4628_0__init__Load(EOS(STATIC_4628(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) -> f4638_0__init__InvokeMethod(EOS(STATIC_4638(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE && matching1 = 0
f4638_0__init__InvokeMethod(EOS(STATIC_4638(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4644_0__init__Load(EOS(STATIC_4644(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE && matching1 = 0
f4644_0__init__Load(EOS(STATIC_4644(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) -> f4651_0__init__Load(EOS(STATIC_4651(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE && matching1 = 0
f4651_0__init__Load(EOS(STATIC_4651(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4656_0__init__FieldAccess(EOS(STATIC_4656(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) :|: TRUE && matching1 = 0
f4656_0__init__FieldAccess(EOS(STATIC_4656(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) -> f4661_0__init__Return(EOS(STATIC_4661(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE && matching1 = 0
f4661_0__init__Return(EOS(STATIC_4661(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4665_0_createList_Store(EOS(STATIC_4665(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4665_0_createList_Store(EOS(STATIC_4665(java.lang.Object(ARRAY(i4)), i634)), i635, i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4670_0_createList_Load(EOS(STATIC_4670(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) :|: TRUE
f4670_0_createList_Load(EOS(STATIC_4670(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) -> f4679_0_createList_Load(EOS(STATIC_4679(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4679_0_createList_Load(EOS(STATIC_4679(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4685_0_createList_FieldAccess(EOS(STATIC_4685(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o687) :|: TRUE
f4685_0_createList_FieldAccess(EOS(STATIC_4685(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o687) -> f4690_0_createList_Load(EOS(STATIC_4690(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) :|: TRUE
f4690_0_createList_Load(EOS(STATIC_4690(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687) -> f4695_0_createList_NULL(EOS(STATIC_4695(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, o687, o687) :|: TRUE
f4695_0_createList_NULL(EOS(STATIC_4695(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub), java.lang.Object(o802sub)) -> f4698_0_createList_NULL(EOS(STATIC_4698(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub), java.lang.Object(o802sub)) :|: TRUE
f4695_0_createList_NULL(EOS(STATIC_4695(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, NULL, NULL) -> f4699_0_createList_NULL(EOS(STATIC_4699(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, NULL, NULL) :|: TRUE
f4698_0_createList_NULL(EOS(STATIC_4698(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub), java.lang.Object(o802sub)) -> f4703_0_createList_Load(EOS(STATIC_4703(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub)) :|: TRUE
f4703_0_createList_Load(EOS(STATIC_4703(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub)) -> f4709_0_createList_Load(EOS(STATIC_4709(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub)) :|: TRUE
f4709_0_createList_Load(EOS(STATIC_4709(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub)) -> f4715_0_createList_FieldAccess(EOS(STATIC_4715(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(o802sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4715_0_createList_FieldAccess(EOS(STATIC_4715(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4721_0_createList_FieldAccess(EOS(STATIC_4721(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) :|: TRUE
f4721_0_createList_FieldAccess(EOS(STATIC_4721(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4725_0_createList_Inc(EOS(STATIC_4725(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) :|: TRUE
f4725_0_createList_Inc(EOS(STATIC_4725(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) -> f4728_0_createList_JMP(EOS(STATIC_4728(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636 + 1) :|: TRUE
f4728_0_createList_JMP(EOS(STATIC_4728(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i712) -> f4731_0_createList_Load(EOS(STATIC_4731(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i712) :|: TRUE
f4731_0_createList_Load(EOS(STATIC_4731(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i712) -> f4575_0_createList_Load(EOS(STATIC_4575(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i712) :|: TRUE
f4699_0_createList_NULL(EOS(STATIC_4699(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636, NULL, NULL) -> f4704_0_createList_Inc(EOS(STATIC_4704(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) :|: TRUE
f4704_0_createList_Inc(EOS(STATIC_4704(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636) -> f4710_0_createList_JMP(EOS(STATIC_4710(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636 + 1) :|: TRUE
f4710_0_createList_JMP(EOS(STATIC_4710(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i706) -> f4716_0_createList_Load(EOS(STATIC_4716(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i706) :|: TRUE
f4716_0_createList_Load(EOS(STATIC_4716(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i706) -> f4575_0_createList_Load(EOS(STATIC_4575(java.lang.Object(ARRAY(i4)), i634)), i635, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i706) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f4763_0_createList_NULL(EOS(STATIC_4763(java.lang.Object(ARRAY(i4:0)), i664:0)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) -> f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i664:0)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0 + 1, i636:0 + 1) :|: TRUE
f4763_0_createList_NULL(EOS(STATIC_4763(java.lang.Object(ARRAY(i4:0)), i664:0)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0, NULL, NULL) -> f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i664:0)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0 + 1, i636:0 + 1) :|: TRUE
f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i634:0)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0, i636:0) -> f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i634:0)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0 + 1, i636:0 + 1) :|: i636:0 < i635:0 && i4:0 > -1 && i634:0 >= i4:0
f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i634:0)), i635:0, o687:0, i636:0, i636:0) -> f4763_0_createList_NULL(EOS(STATIC_4763(java.lang.Object(ARRAY(i4:0)), i634:0 + 1)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0, o687:0, o687:0) :|: i636:0 < i635:0 && i4:0 > -1 && i634:0 < i4:0 && i634:0 > -1
f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i634:0)), i635:0, NULL, i636:0, i636:0) -> f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i634:0)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0 + 1, i636:0 + 1) :|: i636:0 < i635:0 && i4:0 > -1 && i634:0 >= i4:0
f4576_0_createList_Load(EOS(STATIC_4576(java.lang.Object(ARRAY(i4:0)), i634:0)), i635:0, o687:0, i636:0, i636:0) -> f4763_0_createList_NULL(EOS(STATIC_4763(java.lang.Object(ARRAY(i4:0)), i634:0 + 1)), i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i636:0, o687:0, o687:0) :|: i636:0 < i635:0 && i4:0 > -1 && i634:0 < i4:0 && i704:0 > -1 && i634:0 > -1
Filtered constant ground arguments:
   f4763_0_createList_NULL(x1, x2, x3, x4, x5, x6) -> f4763_0_createList_NULL(x1, x2, x4, x5, x6)
   DoublyLinkedList.DoublyLinkedList(x1) -> DoublyLinkedList.DoublyLinkedList
Filtered duplicate arguments:
   f4763_0_createList_NULL(x1, x2, x3, x4, x5) -> f4763_0_createList_NULL(x1, x2, x3, x5)
   f4576_0_createList_Load(x1, x2, x3, x4, x5) -> f4576_0_createList_Load(x1, x2, x3, x5)
Finished conversion. Obtained 6 rules.P rules:
f4763_0_createList_NULL(i635:0, i636:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i4:0, i664:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i636:0 + 1, i4:0, i664:0) :|: TRUE
f4763_0_createList_NULL(i635:0, i636:0, NULL, i4:0, i664:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i636:0 + 1, i4:0, i664:0) :|: TRUE
f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i636:0, i4:0, i634:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i636:0 + 1, i4:0, i634:0) :|: i4:0 > -1 && i634:0 >= i4:0 && i636:0 < i635:0
f4576_0_createList_Load(i635:0, o687:0, i636:0, i4:0, i634:0) -> f4763_0_createList_NULL(i635:0, i636:0, o687:0, i4:0, i634:0 + 1) :|: i4:0 > -1 && i636:0 < i635:0 && i634:0 > -1 && i634:0 < i4:0
f4576_0_createList_Load(i635:0, NULL, i636:0, i4:0, i634:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i636:0 + 1, i4:0, i634:0) :|: i4:0 > -1 && i634:0 >= i4:0 && i636:0 < i635:0
f4576_0_createList_Load(i635:0, o687:0, i636:0, i4:0, i634:0) -> f4763_0_createList_NULL(i635:0, i636:0, o687:0, i4:0, i634:0 + 1) :|: i4:0 > -1 && i636:0 < i635:0 && i634:0 < i4:0 && i634:0 > -1 && i704:0 > -1

----------------------------------------

(21)
Obligation:
Rules:
f4763_0_createList_NULL(i635:0, i636:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i4:0, i664:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i636:0 + 1, i4:0, i664:0) :|: TRUE
f4763_0_createList_NULL(x, x1, NULL, x2, x3) -> f4576_0_createList_Load(x, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x1 + 1, x2, x3) :|: TRUE
f4576_0_createList_Load(x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x5, x6, x7) -> f4576_0_createList_Load(x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x5 + 1, x6, x7) :|: x6 > -1 && x7 >= x6 && x5 < x4
f4576_0_createList_Load(x8, x9, x10, x11, x12) -> f4763_0_createList_NULL(x8, x10, x9, x11, x12 + 1) :|: x11 > -1 && x10 < x8 && x12 > -1 && x12 < x11
f4576_0_createList_Load(x13, NULL, x14, x15, x16) -> f4576_0_createList_Load(x13, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x14 + 1, x15, x16) :|: x15 > -1 && x16 >= x15 && x14 < x13
f4576_0_createList_Load(x17, x18, x19, x20, x21) -> f4763_0_createList_NULL(x17, x19, x18, x20, x21 + 1) :|: x20 > -1 && x19 < x17 && x21 < x20 && x21 > -1 && x22 > -1

----------------------------------------

(22) IRSFormatTransformerProof (EQUIVALENT)
Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
----------------------------------------

(23)
Obligation:
Rules:
f4763_0_createList_NULL(i635:0, i636:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i4:0, i664:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), arith, i4:0, i664:0) :|: TRUE && arith = i636:0 + 1
f4763_0_createList_NULL(x23, x24, NULL, x25, x26) -> f4576_0_createList_Load(x23, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x27, x25, x26) :|: TRUE && x27 = x24 + 1
f4576_0_createList_Load(x28, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x29, x30, x31) -> f4576_0_createList_Load(x28, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x32, x30, x31) :|: x30 > -1 && x31 >= x30 && x29 < x28 && x32 = x29 + 1
f4576_0_createList_Load(x33, x34, x35, x36, x37) -> f4763_0_createList_NULL(x33, x35, x34, x36, x38) :|: x36 > -1 && x35 < x33 && x37 > -1 && x37 < x36 && x38 = x37 + 1
f4576_0_createList_Load(x39, NULL, x40, x41, x42) -> f4576_0_createList_Load(x39, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x43, x41, x42) :|: x41 > -1 && x42 >= x41 && x40 < x39 && x43 = x40 + 1
f4576_0_createList_Load(x44, x45, x46, x47, x48) -> f4763_0_createList_NULL(x44, x46, x45, x47, x49) :|: x47 > -1 && x46 < x44 && x48 < x47 && x48 > -1 && x50 > -1 && x49 = x48 + 1

----------------------------------------

(24) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f4763_0_createList_NULL(i635:0, i636:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i4:0, i664:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), arith, i4:0, i664:0) :|: TRUE && arith = i636:0 + 1
(2) f4763_0_createList_NULL(x23, x24, NULL, x25, x26) -> f4576_0_createList_Load(x23, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x27, x25, x26) :|: TRUE && x27 = x24 + 1
(3) f4576_0_createList_Load(x28, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x29, x30, x31) -> f4576_0_createList_Load(x28, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x32, x30, x31) :|: x30 > -1 && x31 >= x30 && x29 < x28 && x32 = x29 + 1
(4) f4576_0_createList_Load(x33, x34, x35, x36, x37) -> f4763_0_createList_NULL(x33, x35, x34, x36, x38) :|: x36 > -1 && x35 < x33 && x37 > -1 && x37 < x36 && x38 = x37 + 1
(5) f4576_0_createList_Load(x39, NULL, x40, x41, x42) -> f4576_0_createList_Load(x39, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x43, x41, x42) :|: x41 > -1 && x42 >= x41 && x40 < x39 && x43 = x40 + 1
(6) f4576_0_createList_Load(x44, x45, x46, x47, x48) -> f4763_0_createList_NULL(x44, x46, x45, x47, x49) :|: x47 > -1 && x46 < x44 && x48 < x47 && x48 > -1 && x50 > -1 && x49 = x48 + 1

Arcs:
(1) -> (3), (4), (6)
(2) -> (3), (4), (6)
(3) -> (3)
(4) -> (1), (2)
(5) -> (3)
(6) -> (1), (2)

This digraph is fully evaluated!
----------------------------------------

(25)
Complex Obligation (AND)

----------------------------------------

(26)
Obligation:

Termination digraph:
Nodes:
(1) f4763_0_createList_NULL(i635:0, i636:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i4:0, i664:0) -> f4576_0_createList_Load(i635:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), arith, i4:0, i664:0) :|: TRUE && arith = i636:0 + 1
(2) f4576_0_createList_Load(x33, x34, x35, x36, x37) -> f4763_0_createList_NULL(x33, x35, x34, x36, x38) :|: x36 > -1 && x35 < x33 && x37 > -1 && x37 < x36 && x38 = x37 + 1
(3) f4763_0_createList_NULL(x23, x24, NULL, x25, x26) -> f4576_0_createList_Load(x23, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x27, x25, x26) :|: TRUE && x27 = x24 + 1
(4) f4576_0_createList_Load(x44, x45, x46, x47, x48) -> f4763_0_createList_NULL(x44, x46, x45, x47, x49) :|: x47 > -1 && x46 < x44 && x48 < x47 && x48 > -1 && x50 > -1 && x49 = x48 + 1

Arcs:
(1) -> (2), (4)
(2) -> (1), (3)
(3) -> (2), (4)
(4) -> (1), (3)

This digraph is fully evaluated!

----------------------------------------

(27) IntTRSCompressionProof (EQUIVALENT)
Compressed rules.
----------------------------------------

(28)
Obligation:
Rules:
f4763_0_createList_NULL(i635:0:0, i636:0:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i4:0:0, i664:0:0) -> f4576_0_createList_Load(i635:0:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), i636:0:0 + 1, i4:0:0, i664:0:0) :|: TRUE
f4576_0_createList_Load(x44:0, x45:0, x46:0, x47:0, x48:0) -> f4763_0_createList_NULL(x44:0, x46:0, x45:0, x47:0, x48:0 + 1) :|: x48:0 > -1 && x50:0 > -1 && x48:0 < x47:0 && x46:0 < x44:0 && x47:0 > -1
f4576_0_createList_Load(x33:0, x34:0, x35:0, x36:0, x37:0) -> f4763_0_createList_NULL(x33:0, x35:0, x34:0, x36:0, x37:0 + 1) :|: x37:0 > -1 && x37:0 < x36:0 && x35:0 < x33:0 && x36:0 > -1
f4763_0_createList_NULL(x23:0, x24:0, NULL, x25:0, x26:0) -> f4576_0_createList_Load(x23:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x24:0 + 1, x25:0, x26:0) :|: TRUE

----------------------------------------

(29) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f4763_0_createList_NULL(VARIABLE, VARIABLE, VARIABLE, VARIABLE, VARIABLE)
java.lang.Object(VARIABLE)
DoublyLinkedList.DoublyLinkedList()
f4576_0_createList_Load(VARIABLE, VARIABLE, INTEGER, VARIABLE, VARIABLE)
NULL()
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(30)
Obligation:
Rules:
f4763_0_createList_NULL(i635:0:0, i636:0:0, c, i4:0:0, i664:0:0) -> f4576_0_createList_Load(i635:0:0, c1, c2, i4:0:0, i664:0:0) :|: c2 = i636:0:0 + 1 && (c1 = 0 && c = 0) && TRUE
f4576_0_createList_Load(x44:0, x45:0, x46:0, x47:0, x48:0) -> f4763_0_createList_NULL(x44:0, x46:0, x45:0, x47:0, c3) :|: c3 = x48:0 + 1 && (x48:0 > -1 && x50:0 > -1 && x48:0 < x47:0 && x46:0 < x44:0 && x47:0 > -1)
f4576_0_createList_Load(x33:0, x34:0, x35:0, x36:0, x37:0) -> f4763_0_createList_NULL(x33:0, x35:0, x34:0, x36:0, c4) :|: c4 = x37:0 + 1 && (x37:0 > -1 && x37:0 < x36:0 && x35:0 < x33:0 && x36:0 > -1)

----------------------------------------

(31) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f4763_0_createList_NULL(x, x1, x2, x3, x4)] = -1 + x - x1 + x3 - x4
[f4576_0_createList_Load(x5, x6, x7, x8, x9)] = x5 - x7 + x8 - x9

The following rules are decreasing:
f4576_0_createList_Load(x44:0, x45:0, x46:0, x47:0, x48:0) -> f4763_0_createList_NULL(x44:0, x46:0, x45:0, x47:0, c3) :|: c3 = x48:0 + 1 && (x48:0 > -1 && x50:0 > -1 && x48:0 < x47:0 && x46:0 < x44:0 && x47:0 > -1)
f4576_0_createList_Load(x33:0, x34:0, x35:0, x36:0, x37:0) -> f4763_0_createList_NULL(x33:0, x35:0, x34:0, x36:0, c4) :|: c4 = x37:0 + 1 && (x37:0 > -1 && x37:0 < x36:0 && x35:0 < x33:0 && x36:0 > -1)
The following rules are bounded:
f4576_0_createList_Load(x44:0, x45:0, x46:0, x47:0, x48:0) -> f4763_0_createList_NULL(x44:0, x46:0, x45:0, x47:0, c3) :|: c3 = x48:0 + 1 && (x48:0 > -1 && x50:0 > -1 && x48:0 < x47:0 && x46:0 < x44:0 && x47:0 > -1)
f4576_0_createList_Load(x33:0, x34:0, x35:0, x36:0, x37:0) -> f4763_0_createList_NULL(x33:0, x35:0, x34:0, x36:0, c4) :|: c4 = x37:0 + 1 && (x37:0 > -1 && x37:0 < x36:0 && x35:0 < x33:0 && x36:0 > -1)

----------------------------------------

(32)
Obligation:
Rules:
f4763_0_createList_NULL(i635:0:0, i636:0:0, c, i4:0:0, i664:0:0) -> f4576_0_createList_Load(i635:0:0, c1, c2, i4:0:0, i664:0:0) :|: c2 = i636:0:0 + 1 && (c1 = 0 && c = 0) && TRUE

----------------------------------------

(33) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f4763_0_createList_NULL(x, x1, x2, x3, x4)] = 1 + c2*x2
[f4576_0_createList_Load(x5, x6, x7, x8, x9)] = c6*x6

The following rules are decreasing:
f4763_0_createList_NULL(i635:0:0, i636:0:0, c, i4:0:0, i664:0:0) -> f4576_0_createList_Load(i635:0:0, c1, c2, i4:0:0, i664:0:0) :|: c2 = i636:0:0 + 1 && (c1 = 0 && c = 0) && TRUE
The following rules are bounded:
f4763_0_createList_NULL(i635:0:0, i636:0:0, c, i4:0:0, i664:0:0) -> f4576_0_createList_Load(i635:0:0, c1, c2, i4:0:0, i664:0:0) :|: c2 = i636:0:0 + 1 && (c1 = 0 && c = 0) && TRUE

----------------------------------------

(34)
YES

----------------------------------------

(35)
Obligation:

Termination digraph:
Nodes:
(1) f4576_0_createList_Load(x28, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x29, x30, x31) -> f4576_0_createList_Load(x28, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x32, x30, x31) :|: x30 > -1 && x31 >= x30 && x29 < x28 && x32 = x29 + 1

Arcs:
(1) -> (1)

This digraph is fully evaluated!

----------------------------------------

(36) IntTRSCompressionProof (EQUIVALENT)
Compressed rules.
----------------------------------------

(37)
Obligation:
Rules:
f4576_0_createList_Load(x28:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x29:0, x30:0, x31:0) -> f4576_0_createList_Load(x28:0, java.lang.Object(DoublyLinkedList.DoublyLinkedList), x29:0 + 1, x30:0, x31:0) :|: x30:0 > -1 && x31:0 >= x30:0 && x29:0 < x28:0

----------------------------------------

(38) IntTRSUnneededArgumentFilterProof (EQUIVALENT)
Some arguments are removed because they cannot influence termination. We removed arguments according to the following replacements:

   f4576_0_createList_Load(x1, x2, x3, x4, x5) -> f4576_0_createList_Load(x1, x3, x4, x5)

----------------------------------------

(39)
Obligation:
Rules:
f4576_0_createList_Load(x28:0, x29:0, x30:0, x31:0) -> f4576_0_createList_Load(x28:0, x29:0 + 1, x30:0, x31:0) :|: x30:0 > -1 && x31:0 >= x30:0 && x29:0 < x28:0

----------------------------------------

(40) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f4576_0_createList_Load(INTEGER, INTEGER, INTEGER, INTEGER)
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(41)
Obligation:
Rules:
f4576_0_createList_Load(x28:0, x29:0, x30:0, x31:0) -> f4576_0_createList_Load(x28:0, c, x30:0, x31:0) :|: c = x29:0 + 1 && (x30:0 > -1 && x31:0 >= x30:0 && x29:0 < x28:0)

----------------------------------------

(42) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f4576_0_createList_Load(x, x1, x2, x3)] = x - x1

The following rules are decreasing:
f4576_0_createList_Load(x28:0, x29:0, x30:0, x31:0) -> f4576_0_createList_Load(x28:0, c, x30:0, x31:0) :|: c = x29:0 + 1 && (x30:0 > -1 && x31:0 >= x30:0 && x29:0 < x28:0)
The following rules are bounded:
f4576_0_createList_Load(x28:0, x29:0, x30:0, x31:0) -> f4576_0_createList_Load(x28:0, c, x30:0, x31:0) :|: c = x29:0 + 1 && (x30:0 > -1 && x31:0 >= x30:0 && x29:0 < x28:0)

----------------------------------------

(43)
YES