(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_14 (Sun Microsystems Inc.) Main-Class: DoublyLinkedList/MainCopy
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) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

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

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

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


(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 3 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

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

(6) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 102 rules for P and 58 rules for R.


P rules:
4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL))) → 4715_0_copyR_Load(EOS(STATIC_4715), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) | =(matching1, 0)
4715_0_copyR_Load(EOS(STATIC_4715), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL))) → 4717_0_copyR_FieldAccess(EOS(STATIC_4717), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(o5396sub)) | &&(=(matching1, 0), =(matching2, 0))
4717_0_copyR_FieldAccess(EOS(STATIC_4717), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(o5396sub)) → 4719_0_copyR_FieldAccess(EOS(STATIC_4719), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(o5396sub)) | &&(=(matching1, 0), =(matching2, 0))
4717_0_copyR_FieldAccess(EOS(STATIC_4717), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(o5396sub)) → 4720_0_copyR_FieldAccess(EOS(STATIC_4720), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(o5396sub)) | &&(=(matching1, 0), =(matching2, 0))
4719_0_copyR_FieldAccess(EOS(STATIC_4719), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404))) → 4721_0_copyR_FieldAccess(EOS(STATIC_4721), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404))) | &&(=(matching1, 0), =(matching2, 0))
4721_0_copyR_FieldAccess(EOS(STATIC_4721), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404))) → 4724_0_copyR_InvokeMethod(EOS(STATIC_4724), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949) | &&(=(matching1, 0), =(matching2, 0))
4724_0_copyR_InvokeMethod(EOS(STATIC_4724), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1949) → 4727_0_<init>_Load(EOS(STATIC_4727), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949) | &&(=(matching1, 0), =(matching2, 0))
4727_0_<init>_Load(EOS(STATIC_4727), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1949) → 4730_0_<init>_InvokeMethod(EOS(STATIC_4730), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4730_0_<init>_InvokeMethod(EOS(STATIC_4730), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching4, NULL))) → 4733_0_<init>_Load(EOS(STATIC_4733), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949) | &&(&&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0)), =(matching4, 0))
4733_0_<init>_Load(EOS(STATIC_4733), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1949) → 4736_0_<init>_Load(EOS(STATIC_4736), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949, i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4736_0_<init>_Load(EOS(STATIC_4736), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1949, i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL))) → 4739_0_<init>_FieldAccess(EOS(STATIC_4739), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1949) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4739_0_<init>_FieldAccess(EOS(STATIC_4739), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1949, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1949) → 4742_0_<init>_Return(EOS(STATIC_4742), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), i1949) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4742_0_<init>_Return(EOS(STATIC_4742), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), i1949) → 4745_0_copyR_Store(EOS(STATIC_4745), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4745_0_copyR_Store(EOS(STATIC_4745), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4748_0_copyR_Load(EOS(STATIC_4748), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4748_0_copyR_Load(EOS(STATIC_4748), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4751_0_copyR_Load(EOS(STATIC_4751), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4751_0_copyR_Load(EOS(STATIC_4751), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4754_0_copyR_FieldAccess(EOS(STATIC_4754), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), o5397)
4754_0_copyR_FieldAccess(EOS(STATIC_4754), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), o5397) → 4758_0_copyR_Load(EOS(STATIC_4758), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4758_0_copyR_Load(EOS(STATIC_4758), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4762_0_copyR_NULL(EOS(STATIC_4762), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), o5397)
4762_0_copyR_NULL(EOS(STATIC_4762), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(o5514sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5514sub)) → 4770_0_copyR_NULL(EOS(STATIC_4770), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(o5514sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5514sub))
4762_0_copyR_NULL(EOS(STATIC_4762), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL) → 4771_0_copyR_NULL(EOS(STATIC_4771), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL)
4770_0_copyR_NULL(EOS(STATIC_4770), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(o5514sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5514sub)) → 4774_0_copyR_Load(EOS(STATIC_4774), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(o5514sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4774_0_copyR_Load(EOS(STATIC_4774), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(o5514sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4780_0_copyR_Load(EOS(STATIC_4780), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5514sub))
4780_0_copyR_Load(EOS(STATIC_4780), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5514sub)) → 4786_0_copyR_FieldAccess(EOS(STATIC_4786), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5514sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4786_0_copyR_FieldAccess(EOS(STATIC_4786), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, o5586)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4805_0_copyR_FieldAccess(EOS(STATIC_4805), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, o5586)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4805_0_copyR_FieldAccess(EOS(STATIC_4805), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, o5586)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4818_0_copyR_Load(EOS(STATIC_4818), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4818_0_copyR_Load(EOS(STATIC_4818), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4831_0_copyR_FieldAccess(EOS(STATIC_4831), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)))
4831_0_copyR_FieldAccess(EOS(STATIC_4831), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404))) → 4842_0_copyR_NULL(EOS(STATIC_4842), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), o5404)
4842_0_copyR_NULL(EOS(STATIC_4842), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5727sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub)) → 4857_0_copyR_NULL(EOS(STATIC_4857), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5727sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub))
4857_0_copyR_NULL(EOS(STATIC_4857), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5727sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub)) → 4871_0_copyR_Load(EOS(STATIC_4871), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5727sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4871_0_copyR_Load(EOS(STATIC_4871), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5727sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4893_0_copyR_FieldAccess(EOS(STATIC_4893), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5727sub))))
4893_0_copyR_FieldAccess(EOS(STATIC_4893), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5727sub)))) → 4903_0_copyR_Load(EOS(STATIC_4903), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub))
4903_0_copyR_Load(EOS(STATIC_4903), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub)) → 4915_0_copyR_InvokeMethod(EOS(STATIC_4915), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4915_0_copyR_InvokeMethod(EOS(STATIC_4915), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4925_1_copyR_InvokeMethod(4925_0_copyR_New(EOS(STATIC_4925), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4925_0_copyR_New(EOS(STATIC_4925), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4939_0_copyR_New(EOS(STATIC_4939), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4939_0_copyR_New(EOS(STATIC_4939), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4988_0_copyR_New(EOS(STATIC_4988), java.lang.Object(o5727sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4988_0_copyR_New(EOS(STATIC_4988), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5040_0_copyR_New(EOS(STATIC_5040), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
5040_0_copyR_New(EOS(STATIC_5040), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5052_0_copyR_New(EOS(STATIC_5052), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
5052_0_copyR_New(EOS(STATIC_5052), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5065_0_copyR_New(EOS(STATIC_5065), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
5065_0_copyR_New(EOS(STATIC_5065), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4713_0_copyR_New(EOS(STATIC_4713), java.lang.Object(o6014sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4713_0_copyR_New(EOS(STATIC_4713), java.lang.Object(o5396sub), o5397) → 4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(o5396sub), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)))
4771_0_copyR_NULL(EOS(STATIC_4771), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL) → 4775_0_copyR_Load(EOS(STATIC_4775), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4775_0_copyR_Load(EOS(STATIC_4775), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4781_0_copyR_FieldAccess(EOS(STATIC_4781), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)))
4781_0_copyR_FieldAccess(EOS(STATIC_4781), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404))) → 4788_0_copyR_NULL(EOS(STATIC_4788), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, o5404)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), o5404)
4788_0_copyR_NULL(EOS(STATIC_4788), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5587sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub)) → 4807_0_copyR_NULL(EOS(STATIC_4807), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5587sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub))
4807_0_copyR_NULL(EOS(STATIC_4807), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5587sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub)) → 4819_0_copyR_Load(EOS(STATIC_4819), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5587sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4819_0_copyR_Load(EOS(STATIC_4819), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5587sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4833_0_copyR_FieldAccess(EOS(STATIC_4833), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5587sub))))
4833_0_copyR_FieldAccess(EOS(STATIC_4833), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, java.lang.Object(o5587sub)))) → 4843_0_copyR_Load(EOS(STATIC_4843), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub))
4843_0_copyR_Load(EOS(STATIC_4843), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub)) → 4859_0_copyR_InvokeMethod(EOS(STATIC_4859), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4859_0_copyR_InvokeMethod(EOS(STATIC_4859), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4874_1_copyR_InvokeMethod(4874_0_copyR_New(EOS(STATIC_4874), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4874_0_copyR_New(EOS(STATIC_4874), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4896_0_copyR_New(EOS(STATIC_4896), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4896_0_copyR_New(EOS(STATIC_4896), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4910_0_copyR_New(EOS(STATIC_4910), java.lang.Object(o5587sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4910_0_copyR_New(EOS(STATIC_4910), java.lang.Object(o5868sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4918_0_copyR_New(EOS(STATIC_4918), java.lang.Object(o5868sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4918_0_copyR_New(EOS(STATIC_4918), java.lang.Object(o5868sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4929_0_copyR_New(EOS(STATIC_4929), java.lang.Object(o5868sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4929_0_copyR_New(EOS(STATIC_4929), java.lang.Object(o5868sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4713_0_copyR_New(EOS(STATIC_4713), java.lang.Object(o5868sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4720_0_copyR_FieldAccess(EOS(STATIC_4720), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407))) → 4722_0_copyR_FieldAccess(EOS(STATIC_4722), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407))) | &&(=(matching1, 0), =(matching2, 0))
4722_0_copyR_FieldAccess(EOS(STATIC_4722), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407))) → 4726_0_copyR_InvokeMethod(EOS(STATIC_4726), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950) | &&(=(matching1, 0), =(matching2, 0))
4726_0_copyR_InvokeMethod(EOS(STATIC_4726), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1950) → 4728_0_<init>_Load(EOS(STATIC_4728), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950) | &&(=(matching1, 0), =(matching2, 0))
4728_0_<init>_Load(EOS(STATIC_4728), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1950) → 4732_0_<init>_InvokeMethod(EOS(STATIC_4732), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4732_0_<init>_InvokeMethod(EOS(STATIC_4732), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching4, NULL))) → 4735_0_<init>_Load(EOS(STATIC_4735), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950) | &&(&&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0)), =(matching4, 0))
4735_0_<init>_Load(EOS(STATIC_4735), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1950) → 4738_0_<init>_Load(EOS(STATIC_4738), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950, i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4738_0_<init>_Load(EOS(STATIC_4738), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1950, i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL))) → 4741_0_<init>_FieldAccess(EOS(STATIC_4741), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL)), i1950) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4741_0_<init>_FieldAccess(EOS(STATIC_4741), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching2, NULL)), i1950, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, matching3, NULL)), i1950) → 4744_0_<init>_Return(EOS(STATIC_4744), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), i1950) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
4744_0_<init>_Return(EOS(STATIC_4744), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), i1950) → 4747_0_copyR_Store(EOS(STATIC_4747), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4747_0_copyR_Store(EOS(STATIC_4747), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4750_0_copyR_Load(EOS(STATIC_4750), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4750_0_copyR_Load(EOS(STATIC_4750), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4753_0_copyR_Load(EOS(STATIC_4753), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4753_0_copyR_Load(EOS(STATIC_4753), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4756_0_copyR_FieldAccess(EOS(STATIC_4756), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), o5397)
4756_0_copyR_FieldAccess(EOS(STATIC_4756), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), o5397) → 4760_0_copyR_Load(EOS(STATIC_4760), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4760_0_copyR_Load(EOS(STATIC_4760), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4768_0_copyR_NULL(EOS(STATIC_4768), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), o5397, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), o5397)
4768_0_copyR_NULL(EOS(STATIC_4768), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(o5515sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5515sub)) → 4772_0_copyR_NULL(EOS(STATIC_4772), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(o5515sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5515sub))
4768_0_copyR_NULL(EOS(STATIC_4768), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL) → 4773_0_copyR_NULL(EOS(STATIC_4773), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL)
4772_0_copyR_NULL(EOS(STATIC_4772), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(o5515sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5515sub)) → 4777_0_copyR_Load(EOS(STATIC_4777), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(o5515sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4777_0_copyR_Load(EOS(STATIC_4777), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(o5515sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4783_0_copyR_Load(EOS(STATIC_4783), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5515sub))
4783_0_copyR_Load(EOS(STATIC_4783), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5515sub)) → 4797_0_copyR_FieldAccess(EOS(STATIC_4797), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5515sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4797_0_copyR_FieldAccess(EOS(STATIC_4797), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, o5590)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4809_0_copyR_FieldAccess(EOS(STATIC_4809), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, o5590)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4809_0_copyR_FieldAccess(EOS(STATIC_4809), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, o5590)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4826_0_copyR_Load(EOS(STATIC_4826), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4826_0_copyR_Load(EOS(STATIC_4826), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4836_0_copyR_FieldAccess(EOS(STATIC_4836), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)))
4836_0_copyR_FieldAccess(EOS(STATIC_4836), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407))) → 4852_0_copyR_NULL(EOS(STATIC_4852), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), o5407)
4852_0_copyR_NULL(EOS(STATIC_4852), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5734sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub)) → 4864_0_copyR_NULL(EOS(STATIC_4864), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5734sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub))
4864_0_copyR_NULL(EOS(STATIC_4864), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5734sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub)) → 4882_0_copyR_Load(EOS(STATIC_4882), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5734sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4882_0_copyR_Load(EOS(STATIC_4882), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5734sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4898_0_copyR_FieldAccess(EOS(STATIC_4898), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5734sub))))
4898_0_copyR_FieldAccess(EOS(STATIC_4898), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5734sub)))) → 4912_0_copyR_Load(EOS(STATIC_4912), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub))
4912_0_copyR_Load(EOS(STATIC_4912), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub)) → 4920_0_copyR_InvokeMethod(EOS(STATIC_4920), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4920_0_copyR_InvokeMethod(EOS(STATIC_4920), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4931_1_copyR_InvokeMethod(4931_0_copyR_New(EOS(STATIC_4931), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4931_0_copyR_New(EOS(STATIC_4931), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4948_0_copyR_New(EOS(STATIC_4948), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4948_0_copyR_New(EOS(STATIC_4948), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 5027_0_copyR_New(EOS(STATIC_5027), java.lang.Object(o5734sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
5027_0_copyR_New(EOS(STATIC_5027), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 5044_0_copyR_New(EOS(STATIC_5044), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
5044_0_copyR_New(EOS(STATIC_5044), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 5057_0_copyR_New(EOS(STATIC_5057), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
5057_0_copyR_New(EOS(STATIC_5057), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 5071_0_copyR_New(EOS(STATIC_5071), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
5071_0_copyR_New(EOS(STATIC_5071), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i346, NULL))) → 4713_0_copyR_New(EOS(STATIC_4713), java.lang.Object(o6049sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i346, NULL)))
4773_0_copyR_NULL(EOS(STATIC_4773), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL) → 4779_0_copyR_Load(EOS(STATIC_4779), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4779_0_copyR_Load(EOS(STATIC_4779), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4784_0_copyR_FieldAccess(EOS(STATIC_4784), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)))
4784_0_copyR_FieldAccess(EOS(STATIC_4784), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407))) → 4804_0_copyR_NULL(EOS(STATIC_4804), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, o5407)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), o5407)
4804_0_copyR_NULL(EOS(STATIC_4804), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5591sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub)) → 4810_0_copyR_NULL(EOS(STATIC_4810), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5591sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub))
4810_0_copyR_NULL(EOS(STATIC_4810), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5591sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub)) → 4828_0_copyR_Load(EOS(STATIC_4828), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5591sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4828_0_copyR_Load(EOS(STATIC_4828), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5591sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4838_0_copyR_FieldAccess(EOS(STATIC_4838), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5591sub))))
4838_0_copyR_FieldAccess(EOS(STATIC_4838), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, java.lang.Object(o5591sub)))) → 4854_0_copyR_Load(EOS(STATIC_4854), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub))
4854_0_copyR_Load(EOS(STATIC_4854), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub)) → 4867_0_copyR_InvokeMethod(EOS(STATIC_4867), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4867_0_copyR_InvokeMethod(EOS(STATIC_4867), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4886_1_copyR_InvokeMethod(4886_0_copyR_New(EOS(STATIC_4886), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4886_0_copyR_New(EOS(STATIC_4886), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4901_0_copyR_New(EOS(STATIC_4901), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4901_0_copyR_New(EOS(STATIC_4901), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4924_0_copyR_New(EOS(STATIC_4924), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4924_0_copyR_New(EOS(STATIC_4924), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4937_0_copyR_New(EOS(STATIC_4937), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4937_0_copyR_New(EOS(STATIC_4937), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i346, NULL))) → 4713_0_copyR_New(EOS(STATIC_4713), java.lang.Object(o5591sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i346, NULL)))
R rules:
4788_0_copyR_NULL(EOS(STATIC_4788), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL) → 4808_0_copyR_NULL(EOS(STATIC_4808), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL)
4804_0_copyR_NULL(EOS(STATIC_4804), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL) → 4812_0_copyR_NULL(EOS(STATIC_4812), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL)
4808_0_copyR_NULL(EOS(STATIC_4808), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL) → 4820_0_copyR_Load(EOS(STATIC_4820), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4812_0_copyR_NULL(EOS(STATIC_4812), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL) → 4829_0_copyR_Load(EOS(STATIC_4829), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4820_0_copyR_Load(EOS(STATIC_4820), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4834_0_copyR_Return(EOS(STATIC_4834), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4829_0_copyR_Load(EOS(STATIC_4829), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4840_0_copyR_Return(EOS(STATIC_4840), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4842_0_copyR_NULL(EOS(STATIC_4842), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL) → 4858_0_copyR_NULL(EOS(STATIC_4858), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL)
4852_0_copyR_NULL(EOS(STATIC_4852), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL) → 4865_0_copyR_NULL(EOS(STATIC_4865), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL)
4858_0_copyR_NULL(EOS(STATIC_4858), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), NULL) → 4873_0_copyR_Load(EOS(STATIC_4873), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4865_0_copyR_NULL(EOS(STATIC_4865), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)), NULL) → 4885_0_copyR_Load(EOS(STATIC_4885), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4873_0_copyR_Load(EOS(STATIC_4873), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 4991_0_copyR_Return(EOS(STATIC_4991), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))
4874_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5011_0_copyR_Return(EOS(STATIC_5011), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))
4874_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2699, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2698, o7573)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5669_0_copyR_Return(EOS(STATIC_5669), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2699, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2698, o7573)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
4874_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2729, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2728, o7608)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5721_0_copyR_Return(EOS(STATIC_5721), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2729, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2728, o7608)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
4885_0_copyR_Load(EOS(STATIC_4885), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL))) → 4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1950, NULL)))
4886_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2087, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2087, NULL))) → 5030_0_copyR_Return(EOS(STATIC_5030), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))
4886_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2095, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2095, NULL))) → 5037_0_copyR_Return(EOS(STATIC_5037), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))
4886_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2705, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2703, o7580)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2705, NULL))) → 5679_0_copyR_Return(EOS(STATIC_5679), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2703, o7580)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
4886_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2735, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2734, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2733, o7615)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2735, NULL))) → 5730_0_copyR_Return(EOS(STATIC_5730), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2734, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2733, o7615)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5103_0_copyR_Return(EOS(STATIC_5103), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2146, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2146, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))
4925_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5122_0_copyR_Return(EOS(STATIC_5122), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2713, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2712, o7586)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5695_0_copyR_Return(EOS(STATIC_5695), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2711, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2713, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2712, o7586)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2711, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
4925_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2740, o7621)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1949, NULL))) → 5747_0_copyR_Return(EOS(STATIC_5747), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2740, o7621)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
4931_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2170, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2170, NULL))) → 5132_0_copyR_Return(EOS(STATIC_5132), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))
4931_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2179, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2179, NULL))) → 5143_0_copyR_Return(EOS(STATIC_5143), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2176, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2176, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))
4931_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2719, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2718, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2717, o7593)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2719, NULL))) → 5710_0_copyR_Return(EOS(STATIC_5710), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2718, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2717, o7593)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
4931_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2748, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2747, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2746, o7628)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2748, NULL))) → 5762_0_copyR_Return(EOS(STATIC_5762), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2745, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2747, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2746, o7628)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2745, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
4991_0_copyR_Return(EOS(STATIC_4991), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL))) → 5012_0_copyR_Return(EOS(STATIC_5012), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2065, NULL)))
5011_0_copyR_Return(EOS(STATIC_5011), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL))) → 5012_0_copyR_Return(EOS(STATIC_5012), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2071, NULL)))
5012_0_copyR_Return(EOS(STATIC_5012), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2101, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2101, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL))) → 5300_0_copyR_Return(EOS(STATIC_5300), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2101, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2101, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2098, NULL)))
5030_0_copyR_Return(EOS(STATIC_5030), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL))) → 5335_0_copyR_Return(EOS(STATIC_5335), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2086, NULL)))
5037_0_copyR_Return(EOS(STATIC_5037), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL))) → 5030_0_copyR_Return(EOS(STATIC_5030), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2094, NULL)))
5103_0_copyR_Return(EOS(STATIC_5103), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2146, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2146, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL))) → 5123_0_copyR_Return(EOS(STATIC_5123), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2146, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2146, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2148, NULL)))
5122_0_copyR_Return(EOS(STATIC_5122), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL))) → 5123_0_copyR_Return(EOS(STATIC_5123), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2154, NULL)))
5123_0_copyR_Return(EOS(STATIC_5123), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2191, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2191, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL))) → 5422_0_copyR_Return(EOS(STATIC_5422), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2191, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2191, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2190, NULL)))
5132_0_copyR_Return(EOS(STATIC_5132), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL))) → 5480_0_copyR_Return(EOS(STATIC_5480), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2169, NULL)))
5143_0_copyR_Return(EOS(STATIC_5143), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2176, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2176, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL))) → 5132_0_copyR_Return(EOS(STATIC_5132), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2176, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2176, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2178, NULL)))
5300_0_copyR_Return(EOS(STATIC_5300), java.lang.Object(o6759sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2418, o6750)), java.lang.Object(o6759sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2421, o6757))) → 5550_0_copyR_StackPop(EOS(STATIC_5550), java.lang.Object(o6759sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2421, o6757)))
5335_0_copyR_Return(EOS(STATIC_5335), java.lang.Object(o6843sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2447, o6834)), java.lang.Object(o6843sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2451, o6841))) → 5553_0_copyR_StackPop(EOS(STATIC_5553), java.lang.Object(o6843sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2451, o6841)))
5422_0_copyR_Return(EOS(STATIC_5422), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2474, o6911)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))) → 5554_0_copyR_StackPop(EOS(STATIC_5554), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))
5480_0_copyR_Return(EOS(STATIC_5480), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2506, o7011)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))) → 5561_0_copyR_StackPop(EOS(STATIC_5561), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))
5550_0_copyR_StackPop(EOS(STATIC_5550), java.lang.Object(o6759sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2421, o6757))) → 5563_0_copyR_Load(EOS(STATIC_5563), java.lang.Object(o6759sub))
5553_0_copyR_StackPop(EOS(STATIC_5553), java.lang.Object(o6843sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2451, o6841))) → 5565_0_copyR_Load(EOS(STATIC_5565), java.lang.Object(o6843sub))
5554_0_copyR_StackPop(EOS(STATIC_5554), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))) → 5567_0_copyR_Load(EOS(STATIC_5567), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
5561_0_copyR_StackPop(EOS(STATIC_5561), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))) → 5573_0_copyR_Load(EOS(STATIC_5573), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
5563_0_copyR_Load(EOS(STATIC_5563), java.lang.Object(o6759sub)) → 5575_0_copyR_Return(EOS(STATIC_5575), java.lang.Object(o6759sub))
5565_0_copyR_Load(EOS(STATIC_5565), java.lang.Object(o6843sub)) → 5579_0_copyR_Return(EOS(STATIC_5579), java.lang.Object(o6843sub))
5567_0_copyR_Load(EOS(STATIC_5567), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))) → 5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
5573_0_copyR_Load(EOS(STATIC_5573), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))) → 5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
5669_0_copyR_Return(EOS(STATIC_5669), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2699, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2698, o7573)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))) → 5300_0_copyR_Return(EOS(STATIC_5300), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2699, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2698, o7573)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
5679_0_copyR_Return(EOS(STATIC_5679), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2703, o7580)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))) → 5335_0_copyR_Return(EOS(STATIC_5335), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2704, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2703, o7580)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
5695_0_copyR_Return(EOS(STATIC_5695), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2711, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2713, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2712, o7586)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2711, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))) → 5422_0_copyR_Return(EOS(STATIC_5422), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2711, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2713, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2712, o7586)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2711, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
5710_0_copyR_Return(EOS(STATIC_5710), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2718, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2717, o7593)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917))))) → 5480_0_copyR_Return(EOS(STATIC_5480), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2718, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2717, o7593)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2476, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2475, o6917)))))
5721_0_copyR_Return(EOS(STATIC_5721), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2729, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2728, o7608)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))) → 5300_0_copyR_Return(EOS(STATIC_5300), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2729, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2728, o7608)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
5730_0_copyR_Return(EOS(STATIC_5730), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2734, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2733, o7615)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))) → 5335_0_copyR_Return(EOS(STATIC_5335), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2734, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2733, o7615)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
5747_0_copyR_Return(EOS(STATIC_5747), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2740, o7621)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))) → 5422_0_copyR_Return(EOS(STATIC_5422), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2741, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2740, o7621)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1976, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2739, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))
5762_0_copyR_Return(EOS(STATIC_5762), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2745, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2747, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2746, o7628)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2745, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017))))) → 5480_0_copyR_Return(EOS(STATIC_5480), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2745, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2747, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2746, o7628)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2745, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i1975, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i2508, o7017)))))

Combined rules. Obtained 4 conditional rules for P and 16 conditional rules for R.


P rules:
4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, x3)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) → 4925_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))
4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) → 4874_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))
4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, x3)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) → 4931_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))
4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), NULL, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))) → 4886_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(EOS(STATIC_4714), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, 0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))
R rules:
4874_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5575_0_copyR_Return(EOS(STATIC_5575), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))
4874_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5575_0_copyR_Return(EOS(STATIC_5575), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5575_0_copyR_Return(EOS(STATIC_5575), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4874_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5575_0_copyR_Return(EOS(STATIC_5575), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4886_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5579_0_copyR_Return(EOS(STATIC_5579), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4886_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5579_0_copyR_Return(EOS(STATIC_5579), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4886_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5579_0_copyR_Return(EOS(STATIC_5579), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))
4886_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5579_0_copyR_Return(EOS(STATIC_5579), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))
4925_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4925_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4931_1_copyR_InvokeMethod(4895_0_copyR_Return(EOS(STATIC_4895), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4931_1_copyR_InvokeMethod(4900_0_copyR_Return(EOS(STATIC_4900), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, NULL))) → 5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, NULL)))))
4931_1_copyR_InvokeMethod(5583_0_copyR_Return(EOS(STATIC_5583), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))
4931_1_copyR_InvokeMethod(5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x5, x6)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x3, NULL))) → 5589_0_copyR_Return(EOS(STATIC_5589), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x7, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1, x2)))))))

Filtered ground terms:



DoublyLinkedList.DoublyLinkedList(x1, x2, x3) → DoublyLinkedList.DoublyLinkedList(x2, x3)
4714_0_copyR_Duplicate(x1, x2, x3, x4) → 4714_0_copyR_Duplicate(x2, x3)
5589_0_copyR_Return(x1, x2) → 5589_0_copyR_Return(x2)
5583_0_copyR_Return(x1, x2) → 5583_0_copyR_Return(x2)
4900_0_copyR_Return(x1, x2) → 4900_0_copyR_Return(x2)
4895_0_copyR_Return(x1, x2) → 4895_0_copyR_Return(x2)
5579_0_copyR_Return(x1, x2) → 5579_0_copyR_Return(x2)
5575_0_copyR_Return(x1, x2) → 5575_0_copyR_Return(x2)

Filtered duplicate args:



4925_1_copyR_InvokeMethod(x1, x2, x3, x4) → 4925_1_copyR_InvokeMethod(x1, x3, x4)
4874_1_copyR_InvokeMethod(x1, x2, x3, x4) → 4874_1_copyR_InvokeMethod(x1, x3, x4)
4931_1_copyR_InvokeMethod(x1, x2, x3, x4) → 4931_1_copyR_InvokeMethod(x1, x3, x4)
4886_1_copyR_InvokeMethod(x1, x2, x3, x4) → 4886_1_copyR_InvokeMethod(x1, x3, x4)

Filtered unneeded arguments:



DoublyLinkedList.DoublyLinkedList(x1, x2) → DoublyLinkedList.DoublyLinkedList(x2)
4925_1_copyR_InvokeMethod(x1, x2, x3) → 4925_1_copyR_InvokeMethod(x1, x2)
4874_1_copyR_InvokeMethod(x1, x2, x3) → 4874_1_copyR_InvokeMethod(x1, x2)
4931_1_copyR_InvokeMethod(x1, x2, x3) → 4931_1_copyR_InvokeMethod(x1, x2)
4886_1_copyR_InvokeMethod(x1, x2, x3) → 4886_1_copyR_InvokeMethod(x1, x2)

Combined rules. Obtained 4 conditional rules for P and 16 conditional rules for R.


P rules:
4714_0_copyR_Duplicate(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3))) → 4925_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(x1))
4714_0_copyR_Duplicate(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1))), NULL) → 4874_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(x1))
4714_0_copyR_Duplicate(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3))) → 4931_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(x1))
4714_0_copyR_Duplicate(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1))), NULL) → 4886_1_copyR_InvokeMethod(4714_0_copyR_Duplicate(java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(x1))
R rules:
4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4874_1_copyR_InvokeMethod(5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4874_1_copyR_InvokeMethod(4900_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4886_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5579_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4886_1_copyR_InvokeMethod(4900_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5579_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4886_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5579_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4886_1_copyR_InvokeMethod(5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5579_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4925_1_copyR_InvokeMethod(5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4925_1_copyR_InvokeMethod(4900_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4931_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4931_1_copyR_InvokeMethod(4900_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4931_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4931_1_copyR_InvokeMethod(5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5589_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))

Performed bisimulation on rules. Used the following equivalence classes: {[4925_1_copyR_InvokeMethod_2, 4931_1_copyR_InvokeMethod_2]=4925_1_copyR_InvokeMethod_2, [4874_1_copyR_InvokeMethod_2, 4886_1_copyR_InvokeMethod_2]=4874_1_copyR_InvokeMethod_2, [5575_0_copyR_Return_1, 5579_0_copyR_Return_1]=5575_0_copyR_Return_1, [5583_0_copyR_Return_1, 5589_0_copyR_Return_1]=5583_0_copyR_Return_1, [4895_0_copyR_Return_1, 4900_0_copyR_Return_1]=4895_0_copyR_Return_1}


Finished conversion. Obtained 2 rules for P and 4 rules for R. System has no predefined symbols.


P rules:
4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3))) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1))), NULL) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
R rules:
4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))

(7) Obligation:

IDP problem:
The following function symbols are pre-defined:
!=~Neq: (Integer, Integer) -> Boolean
*~Mul: (Integer, Integer) -> Integer
>=~Ge: (Integer, Integer) -> Boolean
-1~UnaryMinus: (Integer) -> Integer
|~Bwor: (Integer, Integer) -> Integer
/~Div: (Integer, Integer) -> Integer
=~Eq: (Integer, Integer) -> Boolean
~Bwxor: (Integer, Integer) -> Integer
||~Lor: (Boolean, Boolean) -> Boolean
!~Lnot: (Boolean) -> Boolean
<~Lt: (Integer, Integer) -> Boolean
-~Sub: (Integer, Integer) -> Integer
<=~Le: (Integer, Integer) -> Boolean
>~Gt: (Integer, Integer) -> Boolean
~~Bwnot: (Integer) -> Integer
%~Mod: (Integer, Integer) -> Integer
&~Bwand: (Integer, Integer) -> Integer
+~Add: (Integer, Integer) -> Integer
&&~Land: (Boolean, Boolean) -> Boolean


The following domains are used:
none


The ITRS R consists of the following rules:
4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))

The integer pair graph contains the following rules and edges:
(0): 4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0]))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0]))) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[0]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
(1): 4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[1]))), NULL) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[1]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

(0) -> (0), if (java.lang.Object(x1[0]) →* java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0]')))∧java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)) →* java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0]')))


(0) -> (1), if (java.lang.Object(x1[0]) →* java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[1])))∧java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)) →* NULL)


(1) -> (0), if (java.lang.Object(x1[1]) →* java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0])))∧java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)) →* java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0])))


(1) -> (1), if (java.lang.Object(x1[1]) →* java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[1]')))∧java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)) →* NULL)



The set Q consists of the following terms:
4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

(8) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(9) Obligation:

Q DP problem:
The TRS P consists of the following rules:

4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0]))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0]))) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[0]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[1]))), NULL) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[1]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

The TRS R consists of the following rules:

4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))

The set Q consists of the following terms:

4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

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

(10) DependencyGraphProof (EQUIVALENT transformation)

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:

4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0]))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0]))) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[0]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

The TRS R consists of the following rules:

4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5575_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x6))))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x2)))))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))

The set Q consists of the following terms:

4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

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

(12) UsableRulesProof (EQUIVALENT transformation)

As all Q-normal forms are R-normal forms we are in the innermost case. Hence, by the usable rules processor [LPAR04] we can delete all non-usable rules [FROCOS05] from R.

(13) Obligation:

Q DP problem:
The TRS P consists of the following rules:

4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0]))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0]))) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[0]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

R is empty.
The set Q consists of the following terms:

4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

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

(14) QReductionProof (EQUIVALENT transformation)

We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.[THIEMANN].

4874_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4874_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
4925_1_copyR_InvokeMethod(5583_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0))))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))
4925_1_copyR_InvokeMethod(4895_0_copyR_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

(15) Obligation:

Q DP problem:
The TRS P consists of the following rules:

4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0]))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0]))) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[0]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

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

(16) QDPSizeChangeProof (EQUIVALENT transformation)

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:

  • 4714_0_COPYR_DUPLICATE(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x1[0]))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(x3[0]))) → 4714_0_COPYR_DUPLICATE(java.lang.Object(x1[0]), java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
    The graph contains the following edges 1 > 1

(17) YES

(18) 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: UsedFieldsAnalysis

(19) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 24 rules for P and 35 rules for R.


P rules:
2691_0_getFirst_FieldAccess(EOS(STATIC_2691), java.lang.Object(o2108sub), java.lang.Object(o2108sub)) → 2699_0_getFirst_FieldAccess(EOS(STATIC_2699), java.lang.Object(o2108sub), java.lang.Object(o2108sub))
2691_0_getFirst_FieldAccess(EOS(STATIC_2691), java.lang.Object(o2108sub), java.lang.Object(o2108sub)) → 2700_0_getFirst_FieldAccess(EOS(STATIC_2700), java.lang.Object(o2108sub), java.lang.Object(o2108sub))
2699_0_getFirst_FieldAccess(EOS(STATIC_2699), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2118)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2118))) → 2710_0_getFirst_FieldAccess(EOS(STATIC_2710), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2118)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2118)))
2710_0_getFirst_FieldAccess(EOS(STATIC_2710), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2118)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2118))) → 2721_0_getFirst_NONNULL(EOS(STATIC_2721), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2118)), o2118)
2721_0_getFirst_NONNULL(EOS(STATIC_2721), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2152sub))), java.lang.Object(o2152sub)) → 2736_0_getFirst_NONNULL(EOS(STATIC_2736), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2152sub))), java.lang.Object(o2152sub))
2736_0_getFirst_NONNULL(EOS(STATIC_2736), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2152sub))), java.lang.Object(o2152sub)) → 2750_0_getFirst_Load(EOS(STATIC_2750), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2152sub))))
2750_0_getFirst_Load(EOS(STATIC_2750), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2152sub)))) → 2762_0_getFirst_FieldAccess(EOS(STATIC_2762), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2152sub))))
2762_0_getFirst_FieldAccess(EOS(STATIC_2762), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2152sub)))) → 2779_0_getFirst_InvokeMethod(EOS(STATIC_2779), java.lang.Object(o2152sub))
2779_0_getFirst_InvokeMethod(EOS(STATIC_2779), java.lang.Object(o2152sub)) → 2797_1_getFirst_InvokeMethod(2797_0_getFirst_Load(EOS(STATIC_2797), java.lang.Object(o2152sub)), java.lang.Object(o2152sub))
2797_0_getFirst_Load(EOS(STATIC_2797), java.lang.Object(o2152sub)) → 2813_0_getFirst_Load(EOS(STATIC_2813), java.lang.Object(o2152sub))
2813_0_getFirst_Load(EOS(STATIC_2813), java.lang.Object(o2152sub)) → 2831_0_getFirst_Load(EOS(STATIC_2831), java.lang.Object(o2152sub))
2831_0_getFirst_Load(EOS(STATIC_2831), java.lang.Object(o2229sub)) → 2847_0_getFirst_Load(EOS(STATIC_2847), java.lang.Object(o2229sub))
2847_0_getFirst_Load(EOS(STATIC_2847), java.lang.Object(o2229sub)) → 2683_0_getFirst_Load(EOS(STATIC_2683), java.lang.Object(o2229sub))
2683_0_getFirst_Load(EOS(STATIC_2683), java.lang.Object(o2108sub)) → 2691_0_getFirst_FieldAccess(EOS(STATIC_2691), java.lang.Object(o2108sub), java.lang.Object(o2108sub))
2700_0_getFirst_FieldAccess(EOS(STATIC_2700), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2121)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2121))) → 2711_0_getFirst_FieldAccess(EOS(STATIC_2711), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2121)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2121)))
2711_0_getFirst_FieldAccess(EOS(STATIC_2711), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2121)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2121))) → 2726_0_getFirst_NONNULL(EOS(STATIC_2726), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2121)), o2121)
2726_0_getFirst_NONNULL(EOS(STATIC_2726), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2153sub))), java.lang.Object(o2153sub)) → 2738_0_getFirst_NONNULL(EOS(STATIC_2738), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2153sub))), java.lang.Object(o2153sub))
2738_0_getFirst_NONNULL(EOS(STATIC_2738), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2153sub))), java.lang.Object(o2153sub)) → 2753_0_getFirst_Load(EOS(STATIC_2753), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2153sub))))
2753_0_getFirst_Load(EOS(STATIC_2753), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2153sub)))) → 2765_0_getFirst_FieldAccess(EOS(STATIC_2765), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2153sub))))
2765_0_getFirst_FieldAccess(EOS(STATIC_2765), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o2153sub)))) → 2782_0_getFirst_InvokeMethod(EOS(STATIC_2782), java.lang.Object(o2153sub))
2782_0_getFirst_InvokeMethod(EOS(STATIC_2782), java.lang.Object(o2153sub)) → 2800_1_getFirst_InvokeMethod(2800_0_getFirst_Load(EOS(STATIC_2800), java.lang.Object(o2153sub)), java.lang.Object(o2153sub))
2800_0_getFirst_Load(EOS(STATIC_2800), java.lang.Object(o2153sub)) → 2815_0_getFirst_Load(EOS(STATIC_2815), java.lang.Object(o2153sub))
2815_0_getFirst_Load(EOS(STATIC_2815), java.lang.Object(o2153sub)) → 2850_0_getFirst_Load(EOS(STATIC_2850), java.lang.Object(o2153sub))
2850_0_getFirst_Load(EOS(STATIC_2850), java.lang.Object(o2153sub)) → 2683_0_getFirst_Load(EOS(STATIC_2683), java.lang.Object(o2153sub))
R rules:
2721_0_getFirst_NONNULL(EOS(STATIC_2721), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL) → 2737_0_getFirst_NONNULL(EOS(STATIC_2737), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL)
2726_0_getFirst_NONNULL(EOS(STATIC_2726), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL) → 2739_0_getFirst_NONNULL(EOS(STATIC_2739), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL)
2737_0_getFirst_NONNULL(EOS(STATIC_2737), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL) → 2751_0_getFirst_Load(EOS(STATIC_2751), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2739_0_getFirst_NONNULL(EOS(STATIC_2739), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), NULL) → 2755_0_getFirst_Load(EOS(STATIC_2755), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2751_0_getFirst_Load(EOS(STATIC_2751), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2763_0_getFirst_Return(EOS(STATIC_2763), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2755_0_getFirst_Load(EOS(STATIC_2755), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2767_0_getFirst_Return(EOS(STATIC_2767), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(2763_0_getFirst_Return(EOS(STATIC_2763), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2885_0_getFirst_Return(EOS(STATIC_2885), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(2767_0_getFirst_Return(EOS(STATIC_2767), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2897_0_getFirst_Return(EOS(STATIC_2897), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(2923_0_getFirst_Return(EOS(STATIC_2923), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 2988_0_getFirst_Return(EOS(STATIC_2988), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(2929_0_getFirst_Return(EOS(STATIC_2929), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 3015_0_getFirst_Return(EOS(STATIC_3015), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(o2735sub)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2980))))))) → 3378_0_getFirst_Return(EOS(STATIC_3378), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2980)))))), java.lang.Object(o2735sub))
2797_1_getFirst_InvokeMethod(3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(o2799sub)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3012))))))) → 3429_0_getFirst_Return(EOS(STATIC_3429), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3012)))))), java.lang.Object(o2799sub))
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return(EOS(STATIC_2763), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2901_0_getFirst_Return(EOS(STATIC_2901), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(2767_0_getFirst_Return(EOS(STATIC_2767), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2908_0_getFirst_Return(EOS(STATIC_2908), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(2923_0_getFirst_Return(EOS(STATIC_2923), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 2989_0_getFirst_Return(EOS(STATIC_2989), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(2929_0_getFirst_Return(EOS(STATIC_2929), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 3026_0_getFirst_Return(EOS(STATIC_3026), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(o2735sub)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2989))))))) → 3394_0_getFirst_Return(EOS(STATIC_3394), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2989)))))), java.lang.Object(o2735sub))
2800_1_getFirst_InvokeMethod(3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(o2799sub)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3021))))))) → 3445_0_getFirst_Return(EOS(STATIC_3445), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3021)))))), java.lang.Object(o2799sub))
2885_0_getFirst_Return(EOS(STATIC_2885), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2898_0_getFirst_Return(EOS(STATIC_2898), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2897_0_getFirst_Return(EOS(STATIC_2897), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2898_0_getFirst_Return(EOS(STATIC_2898), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2898_0_getFirst_Return(EOS(STATIC_2898), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2923_0_getFirst_Return(EOS(STATIC_2923), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2901_0_getFirst_Return(EOS(STATIC_2901), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2929_0_getFirst_Return(EOS(STATIC_2929), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2908_0_getFirst_Return(EOS(STATIC_2908), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2901_0_getFirst_Return(EOS(STATIC_2901), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2988_0_getFirst_Return(EOS(STATIC_2988), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 3016_0_getFirst_Return(EOS(STATIC_3016), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2989_0_getFirst_Return(EOS(STATIC_2989), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 3181_0_getFirst_Return(EOS(STATIC_3181), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
3015_0_getFirst_Return(EOS(STATIC_3015), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 3016_0_getFirst_Return(EOS(STATIC_3016), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
3016_0_getFirst_Return(EOS(STATIC_3016), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 3139_0_getFirst_Return(EOS(STATIC_3139), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
3026_0_getFirst_Return(EOS(STATIC_3026), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2989_0_getFirst_Return(EOS(STATIC_2989), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
3139_0_getFirst_Return(EOS(STATIC_3139), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2666)))), java.lang.Object(o2669sub)) → 3253_0_getFirst_Return(EOS(STATIC_3253), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2666)))), java.lang.Object(o2669sub))
3181_0_getFirst_Return(EOS(STATIC_3181), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2732)))), java.lang.Object(o2735sub)) → 3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(o2735sub))
3253_0_getFirst_Return(EOS(STATIC_3253), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2796)))), java.lang.Object(o2799sub)) → 3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(o2799sub))
3378_0_getFirst_Return(EOS(STATIC_3378), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2980)))))), java.lang.Object(o2735sub)) → 3253_0_getFirst_Return(EOS(STATIC_3253), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2980)))))), java.lang.Object(o2735sub))
3394_0_getFirst_Return(EOS(STATIC_3394), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2989)))))), java.lang.Object(o2735sub)) → 3181_0_getFirst_Return(EOS(STATIC_3181), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o2989)))))), java.lang.Object(o2735sub))
3429_0_getFirst_Return(EOS(STATIC_3429), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3012)))))), java.lang.Object(o2799sub)) → 3253_0_getFirst_Return(EOS(STATIC_3253), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3012)))))), java.lang.Object(o2799sub))
3445_0_getFirst_Return(EOS(STATIC_3445), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3021)))))), java.lang.Object(o2799sub)) → 3181_0_getFirst_Return(EOS(STATIC_3181), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o3021)))))), java.lang.Object(o2799sub))

Combined rules. Obtained 2 conditional rules for P and 12 conditional rules for R.


P rules:
2691_0_getFirst_FieldAccess(EOS(STATIC_2691), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0)))) → 2797_1_getFirst_InvokeMethod(2691_0_getFirst_FieldAccess(EOS(STATIC_2691), java.lang.Object(x0), java.lang.Object(x0)), java.lang.Object(x0))
2691_0_getFirst_FieldAccess(EOS(STATIC_2691), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0)))) → 2800_1_getFirst_InvokeMethod(2691_0_getFirst_FieldAccess(EOS(STATIC_2691), java.lang.Object(x0), java.lang.Object(x0)), java.lang.Object(x0))
R rules:
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return(EOS(STATIC_2763), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2929_0_getFirst_Return(EOS(STATIC_2929), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(2767_0_getFirst_Return(EOS(STATIC_2767), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2929_0_getFirst_Return(EOS(STATIC_2929), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(2763_0_getFirst_Return(EOS(STATIC_2763), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2923_0_getFirst_Return(EOS(STATIC_2923), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(2767_0_getFirst_Return(EOS(STATIC_2767), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))) → 2923_0_getFirst_Return(EOS(STATIC_2923), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(2923_0_getFirst_Return(EOS(STATIC_2923), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(2929_0_getFirst_Return(EOS(STATIC_2929), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1))))))) → 3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(x0))
2800_1_getFirst_InvokeMethod(3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1))))))) → 3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(x0))
2797_1_getFirst_InvokeMethod(3284_0_getFirst_Return(EOS(STATIC_3284), java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1))))))) → 3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(x0))
2797_1_getFirst_InvokeMethod(3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x1))))))) → 3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(x0))
2797_1_getFirst_InvokeMethod(2923_0_getFirst_Return(EOS(STATIC_2923), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))
2797_1_getFirst_InvokeMethod(2929_0_getFirst_Return(EOS(STATIC_2929), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL))))) → 3295_0_getFirst_Return(EOS(STATIC_3295), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, NULL)))

Filtered ground terms:



2691_0_getFirst_FieldAccess(x1, x2, x3) → 2691_0_getFirst_FieldAccess(x2, x3)
DoublyLinkedList.DoublyLinkedList(x1, x2) → DoublyLinkedList.DoublyLinkedList(x2)
3295_0_getFirst_Return(x1, x2) → 3295_0_getFirst_Return(x2)
2929_0_getFirst_Return(x1, x2) → 2929_0_getFirst_Return
2923_0_getFirst_Return(x1, x2) → 2923_0_getFirst_Return
3284_0_getFirst_Return(x1, x2) → 3284_0_getFirst_Return(x2)
2767_0_getFirst_Return(x1, x2, x3) → 2767_0_getFirst_Return
2763_0_getFirst_Return(x1, x2, x3) → 2763_0_getFirst_Return

Filtered duplicate args:



2691_0_getFirst_FieldAccess(x1, x2) → 2691_0_getFirst_FieldAccess(x2)

Combined rules. Obtained 2 conditional rules for P and 12 conditional rules for R.


P rules:
2691_0_getFirst_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0)))) → 2797_1_getFirst_InvokeMethod(2691_0_getFirst_FieldAccess(java.lang.Object(x0)), java.lang.Object(x0))
2691_0_getFirst_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0)))) → 2800_1_getFirst_InvokeMethod(2691_0_getFirst_FieldAccess(java.lang.Object(x0)), java.lang.Object(x0))
R rules:
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 2929_0_getFirst_Return
2800_1_getFirst_InvokeMethod(2767_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 2929_0_getFirst_Return
2797_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 2923_0_getFirst_Return
2797_1_getFirst_InvokeMethod(2767_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 2923_0_getFirst_Return
2800_1_getFirst_InvokeMethod(2923_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))))) → 3284_0_getFirst_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(2929_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))))) → 3284_0_getFirst_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1))))))) → 3284_0_getFirst_Return(java.lang.Object(x0))
2800_1_getFirst_InvokeMethod(3295_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1))))))) → 3284_0_getFirst_Return(java.lang.Object(x0))
2797_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1))))))) → 3295_0_getFirst_Return(java.lang.Object(x0))
2797_1_getFirst_InvokeMethod(3295_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1))))))) → 3295_0_getFirst_Return(java.lang.Object(x0))
2797_1_getFirst_InvokeMethod(2923_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))))) → 3295_0_getFirst_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2797_1_getFirst_InvokeMethod(2929_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))))) → 3295_0_getFirst_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))

Performed bisimulation on rules. Used the following equivalence classes: {[2800_1_getFirst_InvokeMethod_2, 2797_1_getFirst_InvokeMethod_2]=2800_1_getFirst_InvokeMethod_2, [2763_0_getFirst_Return, 2929_0_getFirst_Return, 2767_0_getFirst_Return, 2923_0_getFirst_Return]=2763_0_getFirst_Return, [3284_0_getFirst_Return_1, 3295_0_getFirst_Return_1]=3284_0_getFirst_Return_1}


Finished conversion. Obtained 1 rules for P and 3 rules for R. System has no predefined symbols.


P rules:
2691_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0)))) → 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(x0))
R rules:
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 2763_0_getFirst_Return
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))))) → 3284_0_getFirst_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1))))))) → 3284_0_getFirst_Return(java.lang.Object(x0))

(20) Obligation:

IDP problem:
The following function symbols are pre-defined:
!=~Neq: (Integer, Integer) -> Boolean
*~Mul: (Integer, Integer) -> Integer
>=~Ge: (Integer, Integer) -> Boolean
-1~UnaryMinus: (Integer) -> Integer
|~Bwor: (Integer, Integer) -> Integer
/~Div: (Integer, Integer) -> Integer
=~Eq: (Integer, Integer) -> Boolean
~Bwxor: (Integer, Integer) -> Integer
||~Lor: (Boolean, Boolean) -> Boolean
!~Lnot: (Boolean) -> Boolean
<~Lt: (Integer, Integer) -> Boolean
-~Sub: (Integer, Integer) -> Integer
<=~Le: (Integer, Integer) -> Boolean
>~Gt: (Integer, Integer) -> Boolean
~~Bwnot: (Integer) -> Integer
%~Mod: (Integer, Integer) -> Integer
&~Bwand: (Integer, Integer) -> Integer
+~Add: (Integer, Integer) -> Integer
&&~Land: (Boolean, Boolean) -> Boolean


The following domains are used:
none


The ITRS R consists of the following rules:
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 2763_0_getFirst_Return
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))))) → 3284_0_getFirst_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1))))))) → 3284_0_getFirst_Return(java.lang.Object(x0))

The integer pair graph contains the following rules and edges:
(0): 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0[0])))) → 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(x0[0]))

(0) -> (0), if (java.lang.Object(x0[0]) →* java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0[0]'))))



The set Q consists of the following terms:
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))))

(21) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(22) Obligation:

Q DP problem:
The TRS P consists of the following rules:

2691_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0[0])))) → 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(x0[0]))

The TRS R consists of the following rules:

2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))) → 2763_0_getFirst_Return
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL))))) → 3284_0_getFirst_Return(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1))))))) → 3284_0_getFirst_Return(java.lang.Object(x0))

The set Q consists of the following terms:

2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))))

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

(23) UsableRulesProof (EQUIVALENT transformation)

As all Q-normal forms are R-normal forms we are in the innermost case. Hence, by the usable rules processor [LPAR04] we can delete all non-usable rules [FROCOS05] from R.

(24) Obligation:

Q DP problem:
The TRS P consists of the following rules:

2691_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0[0])))) → 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(x0[0]))

R is empty.
The set Q consists of the following terms:

2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))))

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

(25) QReductionProof (EQUIVALENT transformation)

We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.[THIEMANN].

2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))
2800_1_getFirst_InvokeMethod(2763_0_getFirst_Return, java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(NULL)))))
2800_1_getFirst_InvokeMethod(3284_0_getFirst_Return(java.lang.Object(x0)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x1)))))))

(26) Obligation:

Q DP problem:
The TRS P consists of the following rules:

2691_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0[0])))) → 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(x0[0]))

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

(27) QDPSizeChangeProof (EQUIVALENT transformation)

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:

  • 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0[0])))) → 2691_0_GETFIRST_FIELDACCESS(java.lang.Object(x0[0]))
    The graph contains the following edges 1 > 1

(28) YES

(29) 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: UsedFieldsAnalysis

(30) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 94 rules for P and 0 rules for R.


P rules:
2311_0_createList_Load(EOS(STATIC_2311(i753)), i177, o1516, i754, i754) → 2318_0_createList_GE(EOS(STATIC_2318(i753)), i177, o1516, i754, i754, i177)
2318_0_createList_GE(EOS(STATIC_2318(i753)), i177, o1516, i754, i754, i177) → 2331_0_createList_GE(EOS(STATIC_2331(i753)), i177, o1516, i754, i754, i177)
2331_0_createList_GE(EOS(STATIC_2331(i753)), i177, o1516, i754, i754, i177) → 2343_0_createList_Load(EOS(STATIC_2343(i753)), i177, o1516, i754) | <(i754, i177)
2343_0_createList_Load(EOS(STATIC_2343(i753)), i177, o1516, i754) → 2354_0_createList_Store(EOS(STATIC_2354(i753)), i177, i754, o1516)
2354_0_createList_Store(EOS(STATIC_2354(i753)), i177, i754, o1516) → 2366_0_createList_New(EOS(STATIC_2366(i753)), i177, i754, o1516)
2366_0_createList_New(EOS(STATIC_2366(i753)), i177, i754, o1516) → 2382_0_createList_Duplicate(EOS(STATIC_2382(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
2382_0_createList_Duplicate(EOS(STATIC_2382(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2409_0_createList_InvokeMethod(EOS(STATIC_2409(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
2409_0_createList_InvokeMethod(EOS(STATIC_2409(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2427_0_random_FieldAccess(EOS(STATIC_2427(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
2427_0_random_FieldAccess(EOS(STATIC_2427(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2468_0_random_ArrayLength(EOS(STATIC_2468(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175)))
2468_0_random_ArrayLength(EOS(STATIC_2468(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175))) → 2496_0_random_FieldAccess(EOS(STATIC_2496(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175) | >=(i175, 0)
2496_0_random_FieldAccess(EOS(STATIC_2496(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175) → 2515_0_random_GT(EOS(STATIC_2515(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175, i753)
2515_0_random_GT(EOS(STATIC_2515(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175, i753) → 2535_0_random_GT(EOS(STATIC_2535(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175, i753)
2515_0_random_GT(EOS(STATIC_2515(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175, i753) → 2536_0_random_GT(EOS(STATIC_2536(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175, i753)
2535_0_random_GT(EOS(STATIC_2535(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175, i753) → 2557_0_random_FieldAccess(EOS(STATIC_2557(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | >(i175, i753)
2557_0_random_FieldAccess(EOS(STATIC_2557(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2591_0_random_FieldAccess(EOS(STATIC_2591(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175)))
2591_0_random_FieldAccess(EOS(STATIC_2591(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175))) → 2636_0_random_ArrayAccess(EOS(STATIC_2636(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175)), i753)
2636_0_random_ArrayAccess(EOS(STATIC_2636(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175)), i753) → 2652_0_random_ArrayAccess(EOS(STATIC_2652(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175)), i753)
2652_0_random_ArrayAccess(EOS(STATIC_2652(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i175)), i753) → 2670_0_random_Store(EOS(STATIC_2670(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074) | <(i753, i175)
2670_0_random_Store(EOS(STATIC_2670(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074) → 2686_0_random_FieldAccess(EOS(STATIC_2686(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074)
2686_0_random_FieldAccess(EOS(STATIC_2686(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074) → 2693_0_random_ConstantStackPush(EOS(STATIC_2693(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074, i753)
2693_0_random_ConstantStackPush(EOS(STATIC_2693(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074, i753) → 2703_0_random_IntArithmetic(EOS(STATIC_2703(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074, i753, 1)
2703_0_random_IntArithmetic(EOS(STATIC_2703(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074, i753, matching1) → 2715_0_random_FieldAccess(EOS(STATIC_2715(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074, +(i753, 1)) | &&(>=(i753, 0), =(matching1, 1))
2715_0_random_FieldAccess(EOS(STATIC_2715(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074, i929) → 2727_0_random_Load(EOS(STATIC_2727(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074)
2727_0_random_Load(EOS(STATIC_2727(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074) → 2743_0_random_NONNULL(EOS(STATIC_2743(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o2074, o2074)
2743_0_random_NONNULL(EOS(STATIC_2743(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub), java.lang.Object(o2167sub)) → 2757_0_random_NONNULL(EOS(STATIC_2757(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub), java.lang.Object(o2167sub))
2743_0_random_NONNULL(EOS(STATIC_2743(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) → 2758_0_random_NONNULL(EOS(STATIC_2758(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL)
2757_0_random_NONNULL(EOS(STATIC_2757(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub), java.lang.Object(o2167sub)) → 2770_0_random_Load(EOS(STATIC_2770(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub))
2770_0_random_Load(EOS(STATIC_2770(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub)) → 2787_0_random_InvokeMethod(EOS(STATIC_2787(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub))
2787_0_random_InvokeMethod(EOS(STATIC_2787(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub)) → 2804_0_length_Load(EOS(STATIC_2804(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub), java.lang.Object(o2167sub))
2804_0_length_Load(EOS(STATIC_2804(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub), java.lang.Object(o2167sub)) → 2837_0_length_FieldAccess(EOS(STATIC_2837(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o2167sub), java.lang.Object(o2167sub))
2837_0_length_FieldAccess(EOS(STATIC_2837(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2250sub, i983)), java.lang.Object(java.lang.String(o2250sub, i983))) → 2853_0_length_FieldAccess(EOS(STATIC_2853(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2250sub, i983)), java.lang.Object(java.lang.String(o2250sub, i983))) | &&(>=(i983, 0), >=(i984, 0))
2853_0_length_FieldAccess(EOS(STATIC_2853(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2250sub, i983)), java.lang.Object(java.lang.String(o2250sub, i983))) → 2874_0_length_Return(EOS(STATIC_2874(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2250sub, i983)), i983)
2874_0_length_Return(EOS(STATIC_2874(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2250sub, i983)), i983) → 2911_0_random_Return(EOS(STATIC_2911(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983)
2911_0_random_Return(EOS(STATIC_2911(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983) → 2933_0_createList_InvokeMethod(EOS(STATIC_2933(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983)
2933_0_createList_InvokeMethod(EOS(STATIC_2933(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983) → 2947_0_<init>_Load(EOS(STATIC_2947(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983)
2947_0_<init>_Load(EOS(STATIC_2947(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983) → 3028_0_<init>_InvokeMethod(EOS(STATIC_3028(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
3028_0_<init>_InvokeMethod(EOS(STATIC_3028(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 3067_0_<init>_Load(EOS(STATIC_3067(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983)
3067_0_<init>_Load(EOS(STATIC_3067(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983) → 3076_0_<init>_Load(EOS(STATIC_3076(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
3076_0_<init>_Load(EOS(STATIC_3076(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 3089_0_<init>_FieldAccess(EOS(STATIC_3089(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983)
3089_0_<init>_FieldAccess(EOS(STATIC_3089(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983) → 3270_0_<init>_Return(EOS(STATIC_3270(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983)
3270_0_<init>_Return(EOS(STATIC_3270(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i983) → 3296_0_createList_Store(EOS(STATIC_3296(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
3296_0_createList_Store(EOS(STATIC_3296(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 3305_0_createList_Load(EOS(STATIC_3305(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516)
3305_0_createList_Load(EOS(STATIC_3305(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516) → 3335_0_createList_Load(EOS(STATIC_3335(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
3335_0_createList_Load(EOS(STATIC_3335(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 3447_0_createList_FieldAccess(EOS(STATIC_3447(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1516)
3447_0_createList_FieldAccess(EOS(STATIC_3447(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1516) → 3452_0_createList_Load(EOS(STATIC_3452(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516)
3452_0_createList_Load(EOS(STATIC_3452(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516) → 3461_0_createList_NULL(EOS(STATIC_3461(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, o1516)
3461_0_createList_NULL(EOS(STATIC_3461(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub), java.lang.Object(o3128sub)) → 3470_0_createList_NULL(EOS(STATIC_3470(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub), java.lang.Object(o3128sub))
3461_0_createList_NULL(EOS(STATIC_3461(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, NULL, NULL) → 3471_0_createList_NULL(EOS(STATIC_3471(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, NULL, NULL)
3470_0_createList_NULL(EOS(STATIC_3470(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub), java.lang.Object(o3128sub)) → 3484_0_createList_Load(EOS(STATIC_3484(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub))
3484_0_createList_Load(EOS(STATIC_3484(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub)) → 3494_0_createList_Load(EOS(STATIC_3494(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub))
3494_0_createList_Load(EOS(STATIC_3494(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub)) → 3503_0_createList_FieldAccess(EOS(STATIC_3503(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o3128sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
3503_0_createList_FieldAccess(EOS(STATIC_3503(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 3511_0_createList_FieldAccess(EOS(STATIC_3511(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
3511_0_createList_FieldAccess(EOS(STATIC_3511(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 3526_0_createList_Inc(EOS(STATIC_3526(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754)
3526_0_createList_Inc(EOS(STATIC_3526(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754) → 3535_0_createList_JMP(EOS(STATIC_3535(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i754, 1))
3535_0_createList_JMP(EOS(STATIC_3535(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1378) → 3547_0_createList_Load(EOS(STATIC_3547(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1378)
3547_0_createList_Load(EOS(STATIC_3547(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1378) → 2299_0_createList_Load(EOS(STATIC_2299(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1378)
2299_0_createList_Load(EOS(STATIC_2299(i753)), i177, o1516, i754) → 2311_0_createList_Load(EOS(STATIC_2311(i753)), i177, o1516, i754, i754)
3471_0_createList_NULL(EOS(STATIC_3471(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, NULL, NULL) → 3486_0_createList_Inc(EOS(STATIC_3486(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754)
3486_0_createList_Inc(EOS(STATIC_3486(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754) → 3495_0_createList_JMP(EOS(STATIC_3495(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i754, 1))
3495_0_createList_JMP(EOS(STATIC_3495(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1362) → 3505_0_createList_Load(EOS(STATIC_3505(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1362)
3505_0_createList_Load(EOS(STATIC_3505(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1362) → 2299_0_createList_Load(EOS(STATIC_2299(i929)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1362)
2758_0_random_NONNULL(EOS(STATIC_2758(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) → 2772_0_random_ConstantStackPush(EOS(STATIC_2772(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL)
2772_0_random_ConstantStackPush(EOS(STATIC_2772(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL) → 2789_0_random_Return(EOS(STATIC_2789(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, 0)
2789_0_random_Return(EOS(STATIC_2789(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, matching1) → 2805_0_createList_InvokeMethod(EOS(STATIC_2805(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
2805_0_createList_InvokeMethod(EOS(STATIC_2805(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → 2933_0_createList_InvokeMethod(EOS(STATIC_2933(i929)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
2536_0_random_GT(EOS(STATIC_2536(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i175, i753) → 2558_0_random_ConstantStackPush(EOS(STATIC_2558(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | <=(i175, i753)
2558_0_random_ConstantStackPush(EOS(STATIC_2558(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2592_0_random_Return(EOS(STATIC_2592(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0)
2592_0_random_Return(EOS(STATIC_2592(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → 2637_0_createList_InvokeMethod(EOS(STATIC_2637(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
2637_0_createList_InvokeMethod(EOS(STATIC_2637(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → 2655_0_<init>_Load(EOS(STATIC_2655(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
2655_0_<init>_Load(EOS(STATIC_2655(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → 2687_0_<init>_InvokeMethod(EOS(STATIC_2687(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | &&(=(matching1, 0), =(matching2, 0))
2687_0_<init>_InvokeMethod(EOS(STATIC_2687(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2696_0_<init>_Load(EOS(STATIC_2696(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
2696_0_<init>_Load(EOS(STATIC_2696(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → 2706_0_<init>_Load(EOS(STATIC_2706(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | &&(=(matching1, 0), =(matching2, 0))
2706_0_<init>_Load(EOS(STATIC_2706(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, matching2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2716_0_<init>_FieldAccess(EOS(STATIC_2716(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
2716_0_<init>_FieldAccess(EOS(STATIC_2716(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → 2730_0_<init>_Return(EOS(STATIC_2730(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
2730_0_<init>_Return(EOS(STATIC_2730(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → 2745_0_createList_Store(EOS(STATIC_2745(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | =(matching1, 0)
2745_0_createList_Store(EOS(STATIC_2745(i753)), i177, i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2760_0_createList_Load(EOS(STATIC_2760(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516)
2760_0_createList_Load(EOS(STATIC_2760(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516) → 2775_0_createList_Load(EOS(STATIC_2775(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
2775_0_createList_Load(EOS(STATIC_2775(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2791_0_createList_FieldAccess(EOS(STATIC_2791(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1516)
2791_0_createList_FieldAccess(EOS(STATIC_2791(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1516) → 2807_0_createList_Load(EOS(STATIC_2807(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516)
2807_0_createList_Load(EOS(STATIC_2807(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516) → 2824_0_createList_NULL(EOS(STATIC_2824(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, o1516, o1516)
2824_0_createList_NULL(EOS(STATIC_2824(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub), java.lang.Object(o2238sub)) → 2840_0_createList_NULL(EOS(STATIC_2840(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub), java.lang.Object(o2238sub))
2824_0_createList_NULL(EOS(STATIC_2824(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, NULL, NULL) → 2841_0_createList_NULL(EOS(STATIC_2841(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, NULL, NULL)
2840_0_createList_NULL(EOS(STATIC_2840(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub), java.lang.Object(o2238sub)) → 2856_0_createList_Load(EOS(STATIC_2856(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub))
2856_0_createList_Load(EOS(STATIC_2856(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub)) → 2878_0_createList_Load(EOS(STATIC_2878(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub))
2878_0_createList_Load(EOS(STATIC_2878(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub)) → 2916_0_createList_FieldAccess(EOS(STATIC_2916(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(o2238sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
2916_0_createList_FieldAccess(EOS(STATIC_2916(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2936_0_createList_FieldAccess(EOS(STATIC_2936(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
2936_0_createList_FieldAccess(EOS(STATIC_2936(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2954_0_createList_Inc(EOS(STATIC_2954(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754)
2954_0_createList_Inc(EOS(STATIC_2954(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754) → 2979_0_createList_JMP(EOS(STATIC_2979(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i754, 1))
2979_0_createList_JMP(EOS(STATIC_2979(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1064) → 3035_0_createList_Load(EOS(STATIC_3035(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1064)
3035_0_createList_Load(EOS(STATIC_3035(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1064) → 2299_0_createList_Load(EOS(STATIC_2299(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1064)
2841_0_createList_NULL(EOS(STATIC_2841(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754, NULL, NULL) → 2857_0_createList_Inc(EOS(STATIC_2857(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754)
2857_0_createList_Inc(EOS(STATIC_2857(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i754) → 2880_0_createList_JMP(EOS(STATIC_2880(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i754, 1))
2880_0_createList_JMP(EOS(STATIC_2880(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1013) → 2918_0_createList_Load(EOS(STATIC_2918(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1013)
2918_0_createList_Load(EOS(STATIC_2918(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1013) → 2299_0_createList_Load(EOS(STATIC_2299(i753)), i177, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1013)
R rules:

Combined rules. Obtained 5 conditional rules for P and 0 conditional rules for R.


P rules:
2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, x2, x3, x3) → 3461_0_createList_NULL(EOS(STATIC_3461(+(x0, 1))), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x3, x2, x2) | &&(<(x3, x1), >(+(x0, 1), 0))
3461_0_createList_NULL(EOS(STATIC_3461(x0)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → 2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x2, 1), +(x2, 1))
3461_0_createList_NULL(EOS(STATIC_3461(x0)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x2, NULL, NULL) → 2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x2, 1), +(x2, 1))
2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), x2, x2) → 2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x2, 1), +(x2, 1)) | <(x2, x1)
2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, NULL, x2, x2) → 2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(x2, 1), +(x2, 1)) | <(x2, x1)
R rules:

Filtered ground terms:



DoublyLinkedList.DoublyLinkedList(x1) → DoublyLinkedList.DoublyLinkedList
java.lang.Object(x1) → java.lang.Object
Cond_2311_0_createList_Load2(x1, x2, x3, x4, x5, x6) → Cond_2311_0_createList_Load2(x1, x2, x3, x5, x6)
Cond_2311_0_createList_Load1(x1, x2, x3, x4, x5, x6) → Cond_2311_0_createList_Load1(x1, x2, x3, x5, x6)
3461_0_createList_NULL(x1, x2, x3, x4, x5, x6) → 3461_0_createList_NULL(x1, x2, x4, x5, x6)

Filtered duplicate args:



2311_0_createList_Load(x1, x2, x3, x4, x5) → 2311_0_createList_Load(x1, x2, x3, x5)
Cond_2311_0_createList_Load(x1, x2, x3, x4, x5, x6) → Cond_2311_0_createList_Load(x1, x2, x3, x4, x6)
3461_0_createList_NULL(x1, x2, x3, x4, x5) → 3461_0_createList_NULL(x1, x2, x3, x5)
Cond_2311_0_createList_Load1(x1, x2, x3, x4, x5) → Cond_2311_0_createList_Load1(x1, x2, x3, x5)
Cond_2311_0_createList_Load2(x1, x2, x3, x4, x5) → Cond_2311_0_createList_Load2(x1, x2, x3, x5)

Filtered all non-integer terms:



3461_0_createList_NULL(x1, x2, x3, x4) → 3461_0_createList_NULL(x1, x2, x3)
2311_0_createList_Load(x1, x2, x3, x4) → 2311_0_createList_Load(x1, x2, x4)

Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.


P rules:
2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, x2) → 2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, +(x2, 1)) | <(x2, x1)
2311_0_createList_Load(EOS(STATIC_2311(x0)), x1, x2) → 2311_0_createList_Load(EOS(STATIC_2311(+(x0, 1))), x1, +(x2, 1)) | &&(<(x2, x1), >(x0, -1))
R rules:

Finished conversion. Obtained 4 rules for P and 0 rules for R. System has predefined symbols.


P rules:
2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, x2) → COND_2311_0_CREATELIST_LOAD(<(x2, x1), EOS(STATIC_2311(x0)), x1, x2)
COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0)), x1, x2) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, +(x2, 1))
2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, x2) → COND_2311_0_CREATELIST_LOAD1(&&(<(x2, x1), >(x0, -1)), EOS(STATIC_2311(x0)), x1, x2)
COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0)), x1, x2) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0, 1))), x1, +(x2, 1))
R rules:

(31) Obligation:

IDP problem:
The following function symbols are pre-defined:
!=~Neq: (Integer, Integer) -> Boolean
*~Mul: (Integer, Integer) -> Integer
>=~Ge: (Integer, Integer) -> Boolean
-1~UnaryMinus: (Integer) -> Integer
|~Bwor: (Integer, Integer) -> Integer
/~Div: (Integer, Integer) -> Integer
=~Eq: (Integer, Integer) -> Boolean
~Bwxor: (Integer, Integer) -> Integer
||~Lor: (Boolean, Boolean) -> Boolean
!~Lnot: (Boolean) -> Boolean
<~Lt: (Integer, Integer) -> Boolean
-~Sub: (Integer, Integer) -> Integer
<=~Le: (Integer, Integer) -> Boolean
>~Gt: (Integer, Integer) -> Boolean
~~Bwnot: (Integer) -> Integer
%~Mod: (Integer, Integer) -> Integer
&~Bwand: (Integer, Integer) -> Integer
+~Add: (Integer, Integer) -> Integer
&&~Land: (Boolean, Boolean) -> Boolean


The following domains are used:

Integer, Boolean


R is empty.

The integer pair graph contains the following rules and edges:
(0): 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0]) → COND_2311_0_CREATELIST_LOAD(x2[0] < x1[0], EOS(STATIC_2311(x0[0])), x1[0], x2[0])
(1): COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0[1])), x1[1], x2[1]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], x2[1] + 1)
(2): 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2]) → COND_2311_0_CREATELIST_LOAD1(x2[2] < x1[2] && x0[2] > -1, EOS(STATIC_2311(x0[2])), x1[2], x2[2])
(3): COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0[3])), x1[3], x2[3]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[3] + 1)), x1[3], x2[3] + 1)

(0) -> (1), if (x2[0] < x1[0]EOS(STATIC_2311(x0[0])) →* EOS(STATIC_2311(x0[1]))∧x1[0]* x1[1]x2[0]* x2[1])


(1) -> (0), if (EOS(STATIC_2311(x0[1])) →* EOS(STATIC_2311(x0[0]))∧x1[1]* x1[0]x2[1] + 1* x2[0])


(1) -> (2), if (EOS(STATIC_2311(x0[1])) →* EOS(STATIC_2311(x0[2]))∧x1[1]* x1[2]x2[1] + 1* x2[2])


(2) -> (3), if (x2[2] < x1[2] && x0[2] > -1EOS(STATIC_2311(x0[2])) →* EOS(STATIC_2311(x0[3]))∧x1[2]* x1[3]x2[2]* x2[3])


(3) -> (0), if (EOS(STATIC_2311(x0[3] + 1)) →* EOS(STATIC_2311(x0[0]))∧x1[3]* x1[0]x2[3] + 1* x2[0])


(3) -> (2), if (EOS(STATIC_2311(x0[3] + 1)) →* EOS(STATIC_2311(x0[2]))∧x1[3]* x1[2]x2[3] + 1* x2[2])



The set Q is empty.

(32) IDPNonInfProof (SOUND transformation)

Used the following options for this NonInfProof:
IDPGPoloSolver: Range: [(-1,2)] IsNat: false Interpretation Shape Heuristic: aprove.DPFramework.IDPProblem.Processors.nonInf.poly.IdpCand1ShapeHeuristic@3ea801a2 Constraint Generator: NonInfConstraintGenerator: PathGenerator: MetricPathGenerator: Max Left Steps: 0 Max Right Steps: 0

The constraints were generated the following way:
The DP Problem is simplified using the Induction Calculus [NONINF] with the following steps:
Note that final constraints are written in bold face.


For Pair 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, x2) → COND_2311_0_CREATELIST_LOAD(<(x2, x1), EOS(STATIC_2311(x0)), x1, x2) the following chains were created:
  • We consider the chain 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0]) → COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0]), COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0[1])), x1[1], x2[1]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1)) which results in the following constraint:

    (1)    (<(x2[0], x1[0])=TRUEEOS(STATIC_2311(x0[0]))=EOS(STATIC_2311(x0[1]))∧x1[0]=x1[1]x2[0]=x2[1]2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0])≥NonInfC∧2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0])≥COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])∧(UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥))



    We simplified constraint (1) using rules (I), (II), (IV) which results in the following new constraint:

    (2)    (<(x2[0], x1[0])=TRUE2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0])≥NonInfC∧2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0])≥COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])∧(UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥))



    We simplified constraint (2) using rule (POLY_CONSTRAINTS) which results in the following new constraint:

    (3)    (x1[0] + [-1] + [-1]x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧[(-1)Bound*bni_12] + [(-1)bni_12]x2[0] + [bni_12]x1[0] ≥ 0∧[1 + (-1)bso_13] ≥ 0)



    We simplified constraint (3) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:

    (4)    (x1[0] + [-1] + [-1]x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧[(-1)Bound*bni_12] + [(-1)bni_12]x2[0] + [bni_12]x1[0] ≥ 0∧[1 + (-1)bso_13] ≥ 0)



    We simplified constraint (4) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:

    (5)    (x1[0] + [-1] + [-1]x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧[(-1)Bound*bni_12] + [(-1)bni_12]x2[0] + [bni_12]x1[0] ≥ 0∧[1 + (-1)bso_13] ≥ 0)



    We simplified constraint (5) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:

    (6)    (x1[0] + [-1] + [-1]x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧0 = 0∧[(-1)Bound*bni_12] + [(-1)bni_12]x2[0] + [bni_12]x1[0] ≥ 0∧0 = 0∧[1 + (-1)bso_13] ≥ 0)



    We simplified constraint (6) using rule (IDP_SMT_SPLIT) which results in the following new constraint:

    (7)    (x1[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧0 = 0∧[(-1)Bound*bni_12 + bni_12] + [bni_12]x1[0] ≥ 0∧0 = 0∧[1 + (-1)bso_13] ≥ 0)



    We simplified constraint (7) using rule (IDP_SMT_SPLIT) which results in the following new constraints:

    (8)    (x1[0] ≥ 0∧x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧0 = 0∧[(-1)Bound*bni_12 + bni_12] + [bni_12]x1[0] ≥ 0∧0 = 0∧[1 + (-1)bso_13] ≥ 0)


    (9)    (x1[0] ≥ 0∧x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧0 = 0∧[(-1)Bound*bni_12 + bni_12] + [bni_12]x1[0] ≥ 0∧0 = 0∧[1 + (-1)bso_13] ≥ 0)







For Pair COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0)), x1, x2) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, +(x2, 1)) the following chains were created:
  • We consider the chain COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0[1])), x1[1], x2[1]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1)) which results in the following constraint:

    (10)    (COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0[1])), x1[1], x2[1])≥NonInfC∧COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0[1])), x1[1], x2[1])≥2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))∧(UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))), ≥))



    We simplified constraint (10) using rule (POLY_CONSTRAINTS) which results in the following new constraint:

    (11)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))), ≥)∧[bni_14] = 0∧[(-1)bso_15] ≥ 0)



    We simplified constraint (11) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:

    (12)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))), ≥)∧[bni_14] = 0∧[(-1)bso_15] ≥ 0)



    We simplified constraint (12) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:

    (13)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))), ≥)∧[bni_14] = 0∧[(-1)bso_15] ≥ 0)



    We simplified constraint (13) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:

    (14)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))), ≥)∧[bni_14] = 0∧0 = 0∧0 = 0∧0 = 0∧[(-1)bso_15] ≥ 0)







For Pair 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, x2) → COND_2311_0_CREATELIST_LOAD1(&&(<(x2, x1), >(x0, -1)), EOS(STATIC_2311(x0)), x1, x2) the following chains were created:
  • We consider the chain 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2]) → COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2]), COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0[3])), x1[3], x2[3]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1)) which results in the following constraint:

    (15)    (&&(<(x2[2], x1[2]), >(x0[2], -1))=TRUEEOS(STATIC_2311(x0[2]))=EOS(STATIC_2311(x0[3]))∧x1[2]=x1[3]x2[2]=x2[3]2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2])≥NonInfC∧2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2])≥COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])∧(UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥))



    We simplified constraint (15) using rules (I), (II), (IV), (IDP_BOOLEAN) which results in the following new constraint:

    (16)    (<(x2[2], x1[2])=TRUE>(x0[2], -1)=TRUE2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2])≥NonInfC∧2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2])≥COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])∧(UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥))



    We simplified constraint (16) using rule (POLY_CONSTRAINTS) which results in the following new constraint:

    (17)    (x1[2] + [-1] + [-1]x2[2] ≥ 0∧x0[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16] + [(-1)bni_16]x2[2] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)



    We simplified constraint (17) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:

    (18)    (x1[2] + [-1] + [-1]x2[2] ≥ 0∧x0[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16] + [(-1)bni_16]x2[2] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)



    We simplified constraint (18) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:

    (19)    (x1[2] + [-1] + [-1]x2[2] ≥ 0∧x0[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16] + [(-1)bni_16]x2[2] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)



    We simplified constraint (19) using rule (IDP_SMT_SPLIT) which results in the following new constraint:

    (20)    (x1[2] ≥ 0∧x0[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16 + bni_16] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)



    We simplified constraint (20) using rule (IDP_SMT_SPLIT) which results in the following new constraints:

    (21)    (x1[2] ≥ 0∧x0[2] ≥ 0∧x2[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16 + bni_16] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)


    (22)    (x1[2] ≥ 0∧x0[2] ≥ 0∧x2[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16 + bni_16] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)







For Pair COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0)), x1, x2) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0, 1))), x1, +(x2, 1)) the following chains were created:
  • We consider the chain COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0[3])), x1[3], x2[3]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1)) which results in the following constraint:

    (23)    (COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0[3])), x1[3], x2[3])≥NonInfC∧COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0[3])), x1[3], x2[3])≥2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))∧(UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))), ≥))



    We simplified constraint (23) using rule (POLY_CONSTRAINTS) which results in the following new constraint:

    (24)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))), ≥)∧[bni_18] = 0∧[(-1)bso_19] ≥ 0)



    We simplified constraint (24) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:

    (25)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))), ≥)∧[bni_18] = 0∧[(-1)bso_19] ≥ 0)



    We simplified constraint (25) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:

    (26)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))), ≥)∧[bni_18] = 0∧[(-1)bso_19] ≥ 0)



    We simplified constraint (26) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:

    (27)    ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))), ≥)∧[bni_18] = 0∧0 = 0∧0 = 0∧0 = 0∧[(-1)bso_19] ≥ 0)







To summarize, we get the following constraints P for the following pairs.
  • 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, x2) → COND_2311_0_CREATELIST_LOAD(<(x2, x1), EOS(STATIC_2311(x0)), x1, x2)
    • (x1[0] ≥ 0∧x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧0 = 0∧[(-1)Bound*bni_12 + bni_12] + [bni_12]x1[0] ≥ 0∧0 = 0∧[1 + (-1)bso_13] ≥ 0)
    • (x1[0] ≥ 0∧x2[0] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])), ≥)∧0 = 0∧[(-1)Bound*bni_12 + bni_12] + [bni_12]x1[0] ≥ 0∧0 = 0∧[1 + (-1)bso_13] ≥ 0)

  • COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0)), x1, x2) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, +(x2, 1))
    • ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))), ≥)∧[bni_14] = 0∧0 = 0∧0 = 0∧0 = 0∧[(-1)bso_15] ≥ 0)

  • 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0)), x1, x2) → COND_2311_0_CREATELIST_LOAD1(&&(<(x2, x1), >(x0, -1)), EOS(STATIC_2311(x0)), x1, x2)
    • (x1[2] ≥ 0∧x0[2] ≥ 0∧x2[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16 + bni_16] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)
    • (x1[2] ≥ 0∧x0[2] ≥ 0∧x2[2] ≥ 0 ⇒ (UIncreasing(COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])), ≥)∧[(-1)Bound*bni_16 + bni_16] + [bni_16]x1[2] ≥ 0∧[1 + (-1)bso_17] ≥ 0)

  • COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0)), x1, x2) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0, 1))), x1, +(x2, 1))
    • ((UIncreasing(2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))), ≥)∧[bni_18] = 0∧0 = 0∧0 = 0∧0 = 0∧[(-1)bso_19] ≥ 0)




The constraints for P> respective Pbound are constructed from P where we just replace every occurence of "t ≥ s" in P by "t > s" respective "t ≥ c". Here c stands for the fresh constant used for Pbound.
Using the following integer polynomial ordering the resulting constraints can be solved
Polynomial interpretation over integers[POLO]:

POL(TRUE) = 0   
POL(FALSE) = 0   
POL(2311_0_CREATELIST_LOAD(x1, x2, x3)) = [-1]x3 + x2   
POL(EOS(x1)) = x1   
POL(STATIC_2311(x1)) = x1   
POL(COND_2311_0_CREATELIST_LOAD(x1, x2, x3, x4)) = [-1] + [-1]x4 + x3   
POL(<(x1, x2)) = [-1]   
POL(+(x1, x2)) = x1 + x2   
POL(1) = [1]   
POL(COND_2311_0_CREATELIST_LOAD1(x1, x2, x3, x4)) = [-1] + [-1]x4 + x3   
POL(&&(x1, x2)) = [-1]   
POL(>(x1, x2)) = [-1]   
POL(-1) = [-1]   

The following pairs are in P>:

2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0]) → COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])
2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2]) → COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])

The following pairs are in Pbound:

2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[0])), x1[0], x2[0]) → COND_2311_0_CREATELIST_LOAD(<(x2[0], x1[0]), EOS(STATIC_2311(x0[0])), x1[0], x2[0])
2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[2])), x1[2], x2[2]) → COND_2311_0_CREATELIST_LOAD1(&&(<(x2[2], x1[2]), >(x0[2], -1)), EOS(STATIC_2311(x0[2])), x1[2], x2[2])

The following pairs are in P:

COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0[1])), x1[1], x2[1]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], +(x2[1], 1))
COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0[3])), x1[3], x2[3]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(+(x0[3], 1))), x1[3], +(x2[3], 1))

There are no usable rules.

(33) Obligation:

IDP problem:
The following function symbols are pre-defined:
!=~Neq: (Integer, Integer) -> Boolean
*~Mul: (Integer, Integer) -> Integer
>=~Ge: (Integer, Integer) -> Boolean
-1~UnaryMinus: (Integer) -> Integer
|~Bwor: (Integer, Integer) -> Integer
/~Div: (Integer, Integer) -> Integer
=~Eq: (Integer, Integer) -> Boolean
~Bwxor: (Integer, Integer) -> Integer
||~Lor: (Boolean, Boolean) -> Boolean
!~Lnot: (Boolean) -> Boolean
<~Lt: (Integer, Integer) -> Boolean
-~Sub: (Integer, Integer) -> Integer
<=~Le: (Integer, Integer) -> Boolean
>~Gt: (Integer, Integer) -> Boolean
~~Bwnot: (Integer) -> Integer
%~Mod: (Integer, Integer) -> Integer
&~Bwand: (Integer, Integer) -> Integer
+~Add: (Integer, Integer) -> Integer
&&~Land: (Boolean, Boolean) -> Boolean


The following domains are used:

Integer


R is empty.

The integer pair graph contains the following rules and edges:
(1): COND_2311_0_CREATELIST_LOAD(TRUE, EOS(STATIC_2311(x0[1])), x1[1], x2[1]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[1])), x1[1], x2[1] + 1)
(3): COND_2311_0_CREATELIST_LOAD1(TRUE, EOS(STATIC_2311(x0[3])), x1[3], x2[3]) → 2311_0_CREATELIST_LOAD(EOS(STATIC_2311(x0[3] + 1)), x1[3], x2[3] + 1)


The set Q is empty.

(34) IDependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 2 less nodes.

(35) TRUE