(0) Obligation:

JBC Problem based on JBC Program:
package DoublyLinkedList;

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

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

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

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

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

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

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

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

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

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

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

return cur;
}
}


package DoublyLinkedList;

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


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

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


(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

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

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

DoublyLinkedList.DoublyLinkedList.findR(I)LDoublyLinkedList/DoublyLinkedList;: Graph of 295 nodes with 0 SCCs.


(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 3 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: DoublyLinkedList.DoublyLinkedList.findR(I)LDoublyLinkedList/DoublyLinkedList;
SCC calls the following helper methods: DoublyLinkedList.DoublyLinkedList.findR(I)LDoublyLinkedList/DoublyLinkedList;
Performed SCC analyses:
  • Used field analysis yielded the following read fields:
    • DoublyLinkedList.DoublyLinkedList: [value, next]
  • Marker field analysis yielded the following relations that could be markers:
    • DoublyLinkedList.DoublyLinkedList.value != i2064 (Introduced counter i13904)

(6) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 101 IRules

P rules:
f15213_0_findR_FieldAccess(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, java.lang.Object(o9513sub), i13904) → f15229_0_findR_FieldAccess(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, java.lang.Object(o9513sub), i13904)
f15213_0_findR_FieldAccess(EOS, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), o9516, o9517, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), i13904) → f15230_0_findR_FieldAccess(EOS, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), o9516, o9517, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), i13904)
f15229_0_findR_FieldAccess(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, java.lang.Object(o9513sub), i13904) → f15245_0_findR_FieldAccess(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, java.lang.Object(o9513sub), i13904)
f15229_0_findR_FieldAccess(EOS, java.lang.Object(o9524sub), i2064, o9515, java.lang.Object(o9524sub), o9517, java.lang.Object(o9524sub), i2064, java.lang.Object(o9524sub), i13904) → f15246_0_findR_FieldAccess(EOS, java.lang.Object(o9524sub), i2064, o9515, java.lang.Object(o9524sub), o9517, java.lang.Object(o9524sub), i2064, java.lang.Object(o9524sub), i13904)
f15245_0_findR_FieldAccess(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, java.lang.Object(o9513sub), i13904) → f15275_0_findR_FieldAccess(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, java.lang.Object(o9513sub), i13904)
f15245_0_findR_FieldAccess(EOS, java.lang.Object(o9532sub), i2064, o9515, o9516, java.lang.Object(o9532sub), java.lang.Object(o9532sub), i2064, java.lang.Object(o9532sub), i13904) → f15276_0_findR_FieldAccess(EOS, java.lang.Object(o9532sub), i2064, o9515, o9516, java.lang.Object(o9532sub), java.lang.Object(o9532sub), i2064, java.lang.Object(o9532sub), i13904)
f15275_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i13904) → f15288_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i13904)
f15288_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i13904) → f15325_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i4862, i13904)
f15325_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i4862, i13904) → f15400_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i4862, i2064, i13904)
f15400_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i4862, i2064, i13904) → f15443_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i4862, i2064, i13904)
f15443_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i4862, i2064, i13904) → f15495_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i13904) | !(=(i4862, i2064))
f15495_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, i13904) → f15599_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i13904)
f15599_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i13904) → f15730_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, o9546)), i2064, o9546, i13904)
f15730_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, java.lang.Object(o10470sub), i13904) → f16108_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, java.lang.Object(o10470sub), i13904)
f16108_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, java.lang.Object(o10470sub), i13904) → f16372_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, i13904)
f16372_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, i13904) → f16470_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i13904)
f16470_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i13904) → f16558_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, i2064, java.lang.Object(o10470sub), i13904)
f16558_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, i2064, java.lang.Object(o10470sub), i13904) → f16868_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(o10470sub), i2064, i13904)
f16868_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(o10470sub), i2064, i13904) → f17084_0_findR_Load(EOS, java.lang.Object(o10470sub), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), java.lang.Object(o10470sub), i2064, i13904)
f16868_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(o10470sub), i2064, i13904) → f17084_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), i2064, o9515, o9516, o9517, java.lang.Object(o10470sub), i2064, java.lang.Object(o10470sub), i2064, i13904)
f17084_0_findR_Load(EOS, java.lang.Object(o10470sub), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), java.lang.Object(o10470sub), i2064, i13904) → f17103_0_findR_Load(EOS, java.lang.Object(o10470sub), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), java.lang.Object(o10470sub), i2064, i13904)
f17103_0_findR_Load(EOS, java.lang.Object(o10470sub), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), java.lang.Object(o10470sub), i2064, i13904) → f17171_0_findR_Load(EOS, java.lang.Object(o10470sub), i2064, o9515, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4862, java.lang.Object(o10470sub))), java.lang.Object(o10470sub), i2064, i13904)
f17171_0_findR_Load(EOS, java.lang.Object(o11427sub), i2064, o11429, o11430, o11431, o11434, java.lang.Object(o11427sub), i2064, i13904) → f17219_0_findR_Load(EOS, java.lang.Object(o11427sub), i2064, o11429, o11430, o11431, o11434, java.lang.Object(o11427sub), i2064, i13904)
f17219_0_findR_Load(EOS, java.lang.Object(o11427sub), i2064, o11429, o11430, o11431, o11434, java.lang.Object(o11427sub), i2064, i13904) → f17678_0_findR_Load(EOS, java.lang.Object(o11427sub), i2064, o11429, o11430, o11431, java.lang.Object(o11427sub), i2064, i13904)
f17678_0_findR_Load(EOS, java.lang.Object(o11427sub), i2064, o11429, o11430, o11431, java.lang.Object(o11427sub), i2064, i13904) → f15211_0_findR_Load(EOS, java.lang.Object(o11427sub), i2064, o11429, o11430, o11431, java.lang.Object(o11427sub), i2064, i13904)
f15211_0_findR_Load(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, i13904) → f15213_0_findR_FieldAccess(EOS, java.lang.Object(o9513sub), i2064, o9515, o9516, o9517, java.lang.Object(o9513sub), i2064, java.lang.Object(o9513sub), i13904)
f15276_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i13904) → f15291_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i13904)
f15291_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i13904) → f15340_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i4863, i13904)
f15340_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i4863, i13904) → f15429_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i4863, i2064, i13904)
f15429_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i4863, i2064, i13904) → f15446_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i4863, i2064, i13904)
f15446_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i4863, i2064, i13904) → f15531_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i13904) | !(=(i4863, i2064))
f15531_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, i13904) → f15640_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i13904)
f15640_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i13904) → f15756_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, o9549)), i2064, o9549, i13904)
f15756_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, java.lang.Object(o10547sub), i13904) → f16208_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, java.lang.Object(o10547sub), i13904)
f16208_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, java.lang.Object(o10547sub), i13904) → f16407_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, i13904)
f16407_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, i13904) → f16504_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i13904)
f16504_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i13904) → f16578_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, java.lang.Object(o10547sub), i13904)
f16578_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, java.lang.Object(o10547sub), i13904) → f16981_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904)
f16981_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904) → f17086_0_findR_Load(EOS, java.lang.Object(o10547sub), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904)
f16981_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904) → f17086_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, java.lang.Object(o10547sub), i2064, i13904)
f17086_0_findR_Load(EOS, java.lang.Object(o10547sub), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904) → f17109_0_findR_Load(EOS, java.lang.Object(o10547sub), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904)
f17109_0_findR_Load(EOS, java.lang.Object(o10547sub), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904) → f17188_0_findR_Load(EOS, java.lang.Object(o10547sub), i2064, o9515, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4863, java.lang.Object(o10547sub))), java.lang.Object(o10547sub), i2064, i13904)
f17188_0_findR_Load(EOS, java.lang.Object(o11437sub), i2064, o11439, o11440, o11443, java.lang.Object(o11437sub), i2064, i13904) → f17226_0_findR_Load(EOS, java.lang.Object(o11437sub), i2064, o11439, o11440, o11443, java.lang.Object(o11437sub), i2064, i13904)
f17226_0_findR_Load(EOS, java.lang.Object(o11437sub), i2064, o11439, o11440, o11443, java.lang.Object(o11437sub), i2064, i13904) → f15211_0_findR_Load(EOS, java.lang.Object(o11437sub), i2064, o11439, o11440, o11443, java.lang.Object(o11437sub), i2064, i13904)
f15246_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i13904) → f15280_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i13904)
f15280_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i13904) → f15293_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i4859, i13904)
f15293_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i4859, i13904) → f15343_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i4859, i2064, i13904)
f15343_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i4859, i2064, i13904) → f15432_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i4859, i2064, i13904)
f15432_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i4859, i2064, i13904) → f15450_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i13904) | !(=(i4859, i2064))
f15450_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, i13904) → f15550_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i13904)
f15550_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i13904) → f15662_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, o9537)), i2064, o9537, i13904)
f15662_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, java.lang.Object(o10264sub), i13904) → f15762_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, java.lang.Object(o10264sub), i13904)
f15762_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, java.lang.Object(o10264sub), i13904) → f16316_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, i13904)
f16316_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, i13904) → f16425_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i13904)
f16425_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i13904) → f16523_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, i2064, java.lang.Object(o10264sub), i13904)
f16523_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, i2064, java.lang.Object(o10264sub), i13904) → f16581_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(o10264sub), i2064, i13904)
f16581_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(o10264sub), i2064, i13904) → f17071_0_findR_Load(EOS, java.lang.Object(o10264sub), i2064, o9515, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), java.lang.Object(o10264sub), i2064, i13904)
f16581_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(o10264sub), i2064, i13904) → f17071_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), i2064, o9515, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), o9517, java.lang.Object(o10264sub), i2064, java.lang.Object(o10264sub), i2064, i13904)
f17071_0_findR_Load(EOS, java.lang.Object(o10264sub), i2064, o9515, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), java.lang.Object(o10264sub), i2064, i13904) → f17091_0_findR_Load(EOS, java.lang.Object(o10264sub), i2064, o9515, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), java.lang.Object(o10264sub), i2064, i13904)
f17091_0_findR_Load(EOS, java.lang.Object(o10264sub), i2064, o9515, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), java.lang.Object(o10264sub), i2064, i13904) → f17124_0_findR_Load(EOS, java.lang.Object(o10264sub), i2064, o9515, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4859, java.lang.Object(o10264sub))), java.lang.Object(o10264sub), i2064, i13904)
f17124_0_findR_Load(EOS, java.lang.Object(o11401sub), i2064, o11403, o11404, o11407, java.lang.Object(o11401sub), i2064, i13904) → f17196_0_findR_Load(EOS, java.lang.Object(o11401sub), i2064, o11403, o11404, o11407, java.lang.Object(o11401sub), i2064, i13904)
f17196_0_findR_Load(EOS, java.lang.Object(o11401sub), i2064, o11403, o11404, o11407, java.lang.Object(o11401sub), i2064, i13904) → f15211_0_findR_Load(EOS, java.lang.Object(o11401sub), i2064, o11403, o11407, o11404, java.lang.Object(o11401sub), i2064, i13904)
f15230_0_findR_FieldAccess(EOS, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), o9516, o9517, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), i13904) → f15259_0_findR_FieldAccess(EOS, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), o9516, o9517, java.lang.Object(o9521sub), i2064, java.lang.Object(o9521sub), i13904)
f15230_0_findR_FieldAccess(EOS, java.lang.Object(o9529sub), i2064, java.lang.Object(o9529sub), o9516, java.lang.Object(o9529sub), java.lang.Object(o9529sub), i2064, java.lang.Object(o9529sub), i13904) → f15260_0_findR_FieldAccess(EOS, java.lang.Object(o9529sub), i2064, java.lang.Object(o9529sub), o9516, java.lang.Object(o9529sub), java.lang.Object(o9529sub), i2064, java.lang.Object(o9529sub), i13904)
f15259_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i13904) → f15283_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i13904)
f15283_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i13904) → f15298_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i4860, i13904)
f15298_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i4860, i13904) → f15351_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i4860, i2064, i13904)
f15351_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i4860, i2064, i13904) → f15436_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i4860, i2064, i13904)
f15436_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i4860, i2064, i13904) → f15456_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i13904) | !(=(i4860, i2064))
f15456_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, i13904) → f15555_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i13904)
f15555_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i13904) → f15674_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, o9540)), i2064, o9540, i13904)
f15674_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(o10334sub), i13904) → f15885_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(o10334sub), i13904)
f15885_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(o10334sub), i13904) → f16335_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, i13904)
f16335_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, i13904) → f16431_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i13904)
f16431_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i13904) → f16527_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, i2064, java.lang.Object(o10334sub), i13904)
f16527_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, i2064, java.lang.Object(o10334sub), i13904) → f16662_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(o10334sub), i2064, i13904)
f16662_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(o10334sub), i2064, i13904) → f17080_0_findR_Load(EOS, java.lang.Object(o10334sub), i2064, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), java.lang.Object(o10334sub), i2064, i13904)
f16662_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(o10334sub), i2064, i13904) → f17080_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), o9516, o9517, java.lang.Object(o10334sub), i2064, java.lang.Object(o10334sub), i2064, i13904)
f17080_0_findR_Load(EOS, java.lang.Object(o10334sub), i2064, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), java.lang.Object(o10334sub), i2064, i13904) → f17094_0_findR_Load(EOS, java.lang.Object(o10334sub), i2064, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), java.lang.Object(o10334sub), i2064, i13904)
f17094_0_findR_Load(EOS, java.lang.Object(o10334sub), i2064, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), java.lang.Object(o10334sub), i2064, i13904) → f17138_0_findR_Load(EOS, java.lang.Object(o10334sub), i2064, o9516, o9517, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4860, java.lang.Object(o10334sub))), java.lang.Object(o10334sub), i2064, i13904)
f17138_0_findR_Load(EOS, java.lang.Object(o11410sub), i2064, o11412, o11413, o11416, java.lang.Object(o11410sub), i2064, i13904) → f17204_0_findR_Load(EOS, java.lang.Object(o11410sub), i2064, o11412, o11413, o11416, java.lang.Object(o11410sub), i2064, i13904)
f17204_0_findR_Load(EOS, java.lang.Object(o11410sub), i2064, o11412, o11413, o11416, java.lang.Object(o11410sub), i2064, i13904) → f15211_0_findR_Load(EOS, java.lang.Object(o11410sub), i2064, o11416, o11412, o11413, java.lang.Object(o11410sub), i2064, i13904)
f15260_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i13904) → f15285_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i13904)
f15285_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i13904) → f15305_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i4861, i13904)
f15305_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i4861, i13904) → f15367_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i4861, i2064, i13904)
f15367_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i4861, i2064, i13904) → f15439_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i4861, i2064, i13904)
f15439_0_findR_NE(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i4861, i2064, i13904) → f15467_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i13904) | !(=(i4861, i2064))
f15467_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, i13904) → f15568_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i13904)
f15568_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i13904) → f15692_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, o9543)), i2064, o9543, i13904)
f15692_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(o10405sub), i13904) → f15997_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(o10405sub), i13904)
f15997_0_findR_NULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(o10405sub), i13904) → f16347_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, i13904)
f16347_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, i13904) → f16442_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i13904)
f16442_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i13904) → f16535_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(o10405sub), i13904)
f16535_0_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(o10405sub), i13904) → f16759_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904)
f16759_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904) → f17082_0_findR_Load(EOS, java.lang.Object(o10405sub), i2064, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904)
f16759_0_findR_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904) → f17082_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), i2064, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, java.lang.Object(o10405sub), i2064, i13904)
f17082_0_findR_Load(EOS, java.lang.Object(o10405sub), i2064, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904) → f17099_0_findR_Load(EOS, java.lang.Object(o10405sub), i2064, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904)
f17099_0_findR_Load(EOS, java.lang.Object(o10405sub), i2064, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904) → f17152_0_findR_Load(EOS, java.lang.Object(o10405sub), i2064, o9516, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, i4861, java.lang.Object(o10405sub))), java.lang.Object(o10405sub), i2064, i13904)
f17152_0_findR_Load(EOS, java.lang.Object(o11419sub), i2064, o11421, o11424, java.lang.Object(o11419sub), i2064, i13904) → f17210_0_findR_Load(EOS, java.lang.Object(o11419sub), i2064, o11421, o11424, java.lang.Object(o11419sub), i2064, i13904)
f17210_0_findR_Load(EOS, java.lang.Object(o11419sub), i2064, o11421, o11424, java.lang.Object(o11419sub), i2064, i13904) → f17672_0_findR_Load(EOS, java.lang.Object(o11419sub), i2064, o11421, o11424, o11953, java.lang.Object(o11419sub), i2064, i13904)
f17672_0_findR_Load(EOS, java.lang.Object(o11419sub), i2064, o11421, o11424, o11953, java.lang.Object(o11419sub), i2064, i13904) → f15211_0_findR_Load(EOS, java.lang.Object(o11419sub), i2064, o11424, o11421, o11953, java.lang.Object(o11419sub), i2064, i13904)

Combined rules. Obtained 10 IRules

P rules:
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, x5, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x6) → f17084_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, x5, java.lang.Object(x1), x2, java.lang.Object(x1), x2, x6) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, x5, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x6) → f15213_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, x3, x4, x5, java.lang.Object(x1), x2, java.lang.Object(x1), x6) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f17086_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(x1), x2, java.lang.Object(x1), x2, x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f15213_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(x1), x2, java.lang.Object(x1), x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f17071_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(x1), x2, java.lang.Object(x1), x2, x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f15213_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4, java.lang.Object(x1), x2, java.lang.Object(x1), x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f17080_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(x1), x2, java.lang.Object(x1), x2, x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x5) → f15213_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x4, java.lang.Object(x1), x2, java.lang.Object(x1), x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4) → f17082_1_findR_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(x1), x2, java.lang.Object(x1), x2, x4) | !(=(x0, x2))
f15213_0_findR_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x4) → f15213_0_findR_FieldAccess(EOS, java.lang.Object(x1), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, x0, java.lang.Object(x1))), x3, x5, java.lang.Object(x1), x2, java.lang.Object(x1), x4) | !(=(x0, x2))

Filtered ground terms:


f15213_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f15213_0_findR_FieldAccess(x2, x3, x4, x5, x6, x7, x8, x9, x10)
Cond_f15213_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f17084_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f17084_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess1(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess2(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess2(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f17086_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f17086_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess3(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess3(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess4(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess4(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f17071_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f17071_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess5(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess5(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess6(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess6(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f17080_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f17080_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess7(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess7(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess8(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess8(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11)
f17082_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → f17082_1_findR_Load(x2, x3, x4, x5, x6, x7, x8, x9, x10, x11)
Cond_f15213_0_findR_FieldAccess9(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12) → Cond_f15213_0_findR_FieldAccess9(x1, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12)
DoublyLinkedList.DoublyLinkedList(x1, x2, x3) → DoublyLinkedList.DoublyLinkedList(x2, x3)

Filtered duplicate terms:


f15213_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9) → f15213_0_findR_FieldAccess(x3, x4, x5, x7, x8, x9)
Cond_f15213_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess(x1, x4, x5, x6, x8, x9, x10)
f17084_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f17084_1_findR_Load(x1, x3, x4, x5, x9, x10)
Cond_f15213_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess1(x1, x4, x5, x6, x8, x9, x10)
Cond_f15213_0_findR_FieldAccess2(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess2(x1, x4, x5, x8, x9, x10)
f17086_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f17086_1_findR_Load(x3, x4, x5, x9, x10)
Cond_f15213_0_findR_FieldAccess3(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess3(x1, x4, x5, x8, x9, x10)
Cond_f15213_0_findR_FieldAccess4(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess4(x1, x4, x6, x8, x9, x10)
f17071_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f17071_1_findR_Load(x3, x4, x5, x9, x10)
Cond_f15213_0_findR_FieldAccess5(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess5(x1, x4, x6, x8, x9, x10)
Cond_f15213_0_findR_FieldAccess6(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess6(x1, x5, x6, x8, x9, x10)
f17080_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f17080_1_findR_Load(x3, x4, x5, x9, x10)
Cond_f15213_0_findR_FieldAccess7(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess7(x1, x5, x6, x8, x9, x10)
Cond_f15213_0_findR_FieldAccess8(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → Cond_f15213_0_findR_FieldAccess8(x1, x5, x8, x9, x10)
f17082_1_findR_Load(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) → f17082_1_findR_Load(x4, x5, x9, x10)
Cond_f15213_0_findR_FieldAccess9(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11) → Cond_f15213_0_findR_FieldAccess9(x1, x5, x8, x9, x10, x11)

Filtered unneeded terms:


f15213_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6) → f15213_0_findR_FieldAccess(x1, x2, x3, x4, x5)
Cond_f15213_0_findR_FieldAccess(x1, x2, x3, x4, x5, x6, x7) → Cond_f15213_0_findR_FieldAccess(x1)
Cond_f15213_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6, x7) → Cond_f15213_0_findR_FieldAccess1(x1, x2, x3, x4, x5, x6)
Cond_f15213_0_findR_FieldAccess2(x1, x2, x3, x4, x5, x6) → Cond_f15213_0_findR_FieldAccess2(x1)
Cond_f15213_0_findR_FieldAccess3(x1, x2, x3, x4, x5, x6) → Cond_f15213_0_findR_FieldAccess3(x1, x2, x3, x4, x5)
Cond_f15213_0_findR_FieldAccess4(x1, x2, x3, x4, x5, x6) → Cond_f15213_0_findR_FieldAccess4(x1)
Cond_f15213_0_findR_FieldAccess5(x1, x2, x3, x4, x5, x6) → Cond_f15213_0_findR_FieldAccess5(x1, x2, x3, x4, x5)
Cond_f15213_0_findR_FieldAccess6(x1, x2, x3, x4, x5, x6) → Cond_f15213_0_findR_FieldAccess6(x1)
Cond_f15213_0_findR_FieldAccess7(x1, x2, x3, x4, x5, x6) → Cond_f15213_0_findR_FieldAccess7(x1, x2, x3, x4, x5)
Cond_f15213_0_findR_FieldAccess8(x1, x2, x3, x4, x5) → Cond_f15213_0_findR_FieldAccess8(x1)
Cond_f15213_0_findR_FieldAccess9(x1, x2, x3, x4, x5, x6) → Cond_f15213_0_findR_FieldAccess9(x1, x2, x3, x4, x6)

Prepared 10 rules for path length conversion:

P rules:
f15213_0_findR_FieldAccess(x3, x4, x5, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f17084_1_findR_Load(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x5, x2, x6) | !(=(x0, x2))
f15213_0_findR_FieldAccess(x3, x4, x5, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f15213_0_findR_FieldAccess(x3, x4, x5, x2, java.lang.Object(x1)) | !(=(x0, x2))
f15213_0_findR_FieldAccess(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f17086_1_findR_Load(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f15213_0_findR_FieldAccess(x3, x4, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(x1)) | !(=(x0, x2))
f15213_0_findR_FieldAccess(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f17071_1_findR_Load(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f15213_0_findR_FieldAccess(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x4, x2, java.lang.Object(x1)) | !(=(x0, x2))
f15213_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f17080_1_findR_Load(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, x5) | !(=(x0, x2))
f15213_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f15213_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x4, x2, java.lang.Object(x1)) | !(=(x0, x2))
f15213_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f17082_1_findR_Load(x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, x4) | !(=(x0, x2))
f15213_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1)))) → f15213_0_findR_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(x0, java.lang.Object(x1))), x3, x5, x2, java.lang.Object(x1)) | !(=(x0, x2))

Finished conversion. Obtained 10 rules.

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

(7) Obligation:

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

(8) LinearRankingProcessor (EQUIVALENT transformation)

Linear ranking:


[f15213_0_findR_FieldAccess(x)] = 1/2·x5

where x = (x1, ... ,xn).



Therefore the following rule(s) have been dropped:


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

(9) YES

(10) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: DoublyLinkedList.DoublyLinkedList.getFirst()LDoublyLinkedList/DoublyLinkedList;
SCC calls the following helper methods: DoublyLinkedList.DoublyLinkedList.getFirst()LDoublyLinkedList/DoublyLinkedList;
Performed SCC analyses:
  • Used field analysis yielded the following read fields:
    • DoublyLinkedList.DoublyLinkedList: [prev]
  • Marker field analysis yielded the following relations that could be markers:

(11) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 14 IRules

P rules:
f3964_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607))) → f3970_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)))
f3970_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607))) → f3979_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, o1607)), o1607)
f3979_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub)) → f3983_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub))
f3983_0_getFirst_NONNULL(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub)) → f3992_0_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))))
f3992_0_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub)))) → f4005_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))))
f4005_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub)))) → f4017_0_getFirst_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub))
f4017_0_getFirst_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub)) → f4031_0_getFirst_Load(EOS, java.lang.Object(o1612sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub))
f4017_0_getFirst_InvokeMethod(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub)) → f4031_1_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub), java.lang.Object(o1612sub))
f4031_0_getFirst_Load(EOS, java.lang.Object(o1612sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub)) → f4039_0_getFirst_Load(EOS, java.lang.Object(o1612sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub))
f4039_0_getFirst_Load(EOS, java.lang.Object(o1612sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub)) → f4055_0_getFirst_Load(EOS, java.lang.Object(o1612sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(o1612sub))), java.lang.Object(o1612sub))
f4055_0_getFirst_Load(EOS, java.lang.Object(o1623sub), o1627, java.lang.Object(o1623sub)) → f4070_0_getFirst_Load(EOS, java.lang.Object(o1623sub), o1627, java.lang.Object(o1623sub))
f4070_0_getFirst_Load(EOS, java.lang.Object(o1623sub), o1627, java.lang.Object(o1623sub)) → f4085_0_getFirst_Load(EOS, java.lang.Object(o1623sub), java.lang.Object(o1623sub))
f4085_0_getFirst_Load(EOS, java.lang.Object(o1623sub), java.lang.Object(o1623sub)) → f3956_0_getFirst_Load(EOS, java.lang.Object(o1623sub), java.lang.Object(o1623sub))
f3956_0_getFirst_Load(EOS, java.lang.Object(o1597sub), java.lang.Object(o1597sub)) → f3964_0_getFirst_FieldAccess(EOS, java.lang.Object(o1597sub), java.lang.Object(o1597sub), java.lang.Object(o1597sub))

Combined rules. Obtained 2 IRules

P rules:
f3964_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0)))) → f4031_1_getFirst_Load(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(x0), java.lang.Object(x0))
f3964_0_getFirst_FieldAccess(EOS, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0))), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC, java.lang.Object(x0)))) → f3964_0_getFirst_FieldAccess(EOS, java.lang.Object(x0), java.lang.Object(x0), java.lang.Object(x0))

Filtered ground terms:


f3964_0_getFirst_FieldAccess(x1, x2, x3, x4) → f3964_0_getFirst_FieldAccess(x2, x3, x4)
f4031_1_getFirst_Load(x1, x2, x3, x4) → f4031_1_getFirst_Load(x2, x3, x4)
DoublyLinkedList.DoublyLinkedList(x1, x2) → DoublyLinkedList.DoublyLinkedList(x2)

Filtered duplicate terms:


f3964_0_getFirst_FieldAccess(x1, x2, x3) → f3964_0_getFirst_FieldAccess(x3)
f4031_1_getFirst_Load(x1, x2, x3) → f4031_1_getFirst_Load(x1)

Prepared 2 rules for path length conversion:

P rules:
f3964_0_getFirst_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0)))) → f4031_1_getFirst_Load(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0))))
f3964_0_getFirst_FieldAccess(java.lang.Object(DoublyLinkedList.DoublyLinkedList(java.lang.Object(x0)))) → f3964_0_getFirst_FieldAccess(java.lang.Object(x0))

Finished conversion. Obtained 1 rules.

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

(12) Obligation:

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

(13) PolynomialOrderProcessor (EQUIVALENT transformation)

Found the following polynomial interpretation:


[f3964_0_getFirst_FieldAccess(x3)] = x3

Therefore the following rule(s) have been dropped:


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

(14) YES

(15) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: DoublyLinkedList.DoublyLinkedList.createList()LDoublyLinkedList/DoublyLinkedList;
SCC calls the following helper methods:
Performed SCC analyses:
  • Used field analysis yielded the following read fields:
    • java.lang.String: [count]
  • Marker field analysis yielded the following relations that could be markers:

(16) SCCToIntTRSProof (SOUND transformation)

Transformed FIGraph SCCs to intTRSs. Log:

Generated rules. Obtained 94 IRules

P rules:
f3660_0_createList_Load(EOS, i228, o1486, i1212, i1212) → f3667_0_createList_GE(EOS, i228, o1486, i1212, i1212, i228)
f3667_0_createList_GE(EOS, i228, o1486, i1212, i1212, i228) → f3677_0_createList_GE(EOS, i228, o1486, i1212, i1212, i228)
f3677_0_createList_GE(EOS, i228, o1486, i1212, i1212, i228) → f3691_0_createList_Load(EOS, i228, o1486, i1212) | <(i1212, i228)
f3691_0_createList_Load(EOS, i228, o1486, i1212) → f3724_0_createList_Store(EOS, i228, i1212, o1486)
f3724_0_createList_Store(EOS, i228, i1212, o1486) → f3748_0_createList_New(EOS, i228, i1212, o1486)
f3748_0_createList_New(EOS, i228, i1212, o1486) → f3774_0_createList_Duplicate(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f3774_0_createList_Duplicate(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3780_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f3780_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3800_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f3800_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3830_0_random_ArrayLength(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226)))
f3830_0_random_ArrayLength(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226))) → f3838_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226) | >=(i226, 0)
f3838_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226) → f3870_0_random_GT(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226, i1211)
f3870_0_random_GT(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226, i1211) → f3880_0_random_GT(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226, i1211)
f3870_0_random_GT(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226, i1211) → f3881_0_random_GT(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226, i1211)
f3880_0_random_GT(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226, i1211) → f3885_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | >(i226, i1211)
f3885_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3898_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226)))
f3898_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226))) → f3922_0_random_ArrayAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226)), i1211)
f3922_0_random_ArrayAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226)), i1211) → f3942_0_random_ArrayAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226)), i1211)
f3942_0_random_ArrayAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(ARRAY(i226)), i1211) → f3966_0_random_Store(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603) | <(i1211, i226)
f3966_0_random_Store(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603) → f3986_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603)
f3986_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603) → f4007_0_random_ConstantStackPush(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603, i1211)
f4007_0_random_ConstantStackPush(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603, i1211) → f4025_0_random_IntArithmetic(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603, i1211, 1)
f4025_0_random_IntArithmetic(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603, i1211, matching1) → f4058_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603, +(i1211, 1)) | &&(>=(i1211, 0), =(matching1, 1))
f4058_0_random_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603, i1294) → f4126_0_random_Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603)
f4126_0_random_Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603) → f4163_0_random_NONNULL(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1603, o1603)
f4163_0_random_NONNULL(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub), java.lang.Object(o1718sub)) → f4210_0_random_NONNULL(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub), java.lang.Object(o1718sub))
f4163_0_random_NONNULL(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) → f4211_0_random_NONNULL(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL)
f4210_0_random_NONNULL(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub), java.lang.Object(o1718sub)) → f4258_0_random_Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub))
f4258_0_random_Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub)) → f4326_0_random_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub))
f4326_0_random_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub)) → f4425_0_length_Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub), java.lang.Object(o1718sub))
f4425_0_length_Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub), java.lang.Object(o1718sub)) → f4613_0_length_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(o1718sub), java.lang.Object(o1718sub))
f4613_0_length_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2017sub, i1464)), java.lang.Object(java.lang.String(o2017sub, i1464))) → f4743_0_length_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2017sub, i1464)), java.lang.Object(java.lang.String(o2017sub, i1464))) | >=(i1464, 0)
f4743_0_length_FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2017sub, i1464)), java.lang.Object(java.lang.String(o2017sub, i1464))) → f4778_0_length_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2017sub, i1464)), i1464)
f4778_0_length_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(java.lang.String(o2017sub, i1464)), i1464) → f4863_0_random_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464)
f4863_0_random_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464) → f4917_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464)
f4917_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464) → f5005_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464)
f5005_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464) → f5061_0__init__InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5061_0__init__InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5092_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464)
f5092_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464) → f5108_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5108_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5123_0__init__FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464)
f5123_0__init__FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464) → f5138_0__init__Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464)
f5138_0__init__Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1464) → f5153_0_createList_Store(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5153_0_createList_Store(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5166_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486)
f5166_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486) → f5180_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5180_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5214_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1486)
f5214_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1486) → f5251_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486)
f5251_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486) → f5266_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, o1486)
f5266_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub), java.lang.Object(o2205sub)) → f5287_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub), java.lang.Object(o2205sub))
f5266_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, NULL, NULL) → f5288_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, NULL, NULL)
f5287_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub), java.lang.Object(o2205sub)) → f5291_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub))
f5291_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub)) → f5306_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub))
f5306_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub)) → f5332_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o2205sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5332_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5352_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f5352_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5373_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212)
f5373_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212) → f5381_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1212, 1)) | >=(i1212, 0)
f5381_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1577) → f5395_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1577)
f5395_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1577) → f3645_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1577)
f3645_0_createList_Load(EOS, i228, o1486, i1212) → f3660_0_createList_Load(EOS, i228, o1486, i1212, i1212)
f5288_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, NULL, NULL) → f5298_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212)
f5298_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212) → f5309_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1212, 1)) | >=(i1212, 0)
f5309_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1562) → f5347_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1562)
f5347_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1562) → f3645_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1562)
f4211_0_random_NONNULL(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, NULL) → f4266_0_random_ConstantStackPush(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL)
f4266_0_random_ConstantStackPush(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL) → f4352_0_random_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, 0)
f4352_0_random_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), NULL, matching1) → f4475_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f4475_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f4917_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f3881_0_random_GT(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i226, i1211) → f3891_0_random_ConstantStackPush(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | <=(i226, i1211)
f3891_0_random_ConstantStackPush(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f3905_0_random_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0)
f3905_0_random_Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f3935_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f3935_0_createList_InvokeMethod(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f3958_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | =(matching1, 0)
f3958_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → f4000_0__init__InvokeMethod(EOS, i228, i1212, o1486, 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))
f4000_0__init__InvokeMethod(EOS, i228, i1212, o1486, 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))) → f4019_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
f4019_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → f4041_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | &&(=(matching1, 0), =(matching2, 0))
f4041_0__init__Load(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, matching2, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4087_0__init__FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
f4087_0__init__FieldAccess(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching2) → f4146_0__init__Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), 0) | &&(=(matching1, 0), =(matching2, 0))
f4146_0__init__Return(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), matching1) → f4201_0_createList_Store(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) | =(matching1, 0)
f4201_0_createList_Store(EOS, i228, i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4245_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486)
f4245_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486) → f4318_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f4318_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4418_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1486)
f4418_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), o1486) → f4493_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486)
f4493_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486) → f4596_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, o1486, o1486)
f4596_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub), java.lang.Object(o1966sub)) → f4636_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub), java.lang.Object(o1966sub))
f4596_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, NULL, NULL) → f4637_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, NULL, NULL)
f4636_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub), java.lang.Object(o1966sub)) → f4763_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub))
f4763_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub)) → f4834_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub))
f4834_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub)) → f4885_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(o1966sub), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f4885_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f4967_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)))
f4967_0_createList_FieldAccess(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC))) → f5027_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212)
f5027_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212) → f5050_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1212, 1)) | >=(i1212, 0)
f5050_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1536) → f5084_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1536)
f5084_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1536) → f3645_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1536)
f4637_0_createList_NULL(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212, NULL, NULL) → f4770_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212)
f4770_0_createList_Inc(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1212) → f4857_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), +(i1212, 1)) | >=(i1212, 0)
f4857_0_createList_JMP(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1485) → f4899_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1485)
f4899_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1485) → f3645_0_createList_Load(EOS, i228, java.lang.Object(DoublyLinkedList.DoublyLinkedList(EOC)), i1485)

Combined rules. Obtained 5 IRules

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

Filtered ground terms:


f3660_0_createList_Load(x1, x2, x3, x4, x5) → f3660_0_createList_Load(x2, x3, x4, x5)
Cond_f3660_0_createList_Load(x1, x2, x3, x4, x5, x6) → Cond_f3660_0_createList_Load(x1, x3, x4, x5, x6)
f5266_0_createList_NULL(x1, x2, x3, x4, x5, x6) → f5266_0_createList_NULL(x2, x4, x5, x6)
Cond_f5266_0_createList_NULL(x1, x2, x3, x4, x5, x6, x7) → Cond_f5266_0_createList_NULL(x1, x3, x5)
Cond_f5266_0_createList_NULL1(x1, x2, x3, x4, x5, x6, x7) → Cond_f5266_0_createList_NULL1(x1, x3, x5)
Cond_f3660_0_createList_Load1(x1, x2, x3, x4, x5, x6) → Cond_f3660_0_createList_Load1(x1, x3, x5, x6)
Cond_f3660_0_createList_Load2(x1, x2, x3, x4, x5, x6) → Cond_f3660_0_createList_Load2(x1, x3, x5, x6)
java.lang.Object(x1) → java.lang.Object
DoublyLinkedList.DoublyLinkedList(x1) → DoublyLinkedList.DoublyLinkedList

Filtered duplicate terms:


f3660_0_createList_Load(x1, x2, x3, x4) → f3660_0_createList_Load(x1, x2, x4)
Cond_f3660_0_createList_Load(x1, x2, x3, x4, x5) → Cond_f3660_0_createList_Load(x1, x2, x3, x5)
f5266_0_createList_NULL(x1, x2, x3, x4) → f5266_0_createList_NULL(x1, x2, x4)
Cond_f3660_0_createList_Load1(x1, x2, x3, x4) → Cond_f3660_0_createList_Load1(x1, x2, x4)
Cond_f3660_0_createList_Load2(x1, x2, x3, x4) → Cond_f3660_0_createList_Load2(x1, x2, x4)

Prepared 5 rules for path length conversion:

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

Finished conversion. Obtained 5 rules.

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

(17) Obligation:

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

(18) PolynomialOrderProcessor (SOUND transformation)

Found the following polynomial interpretation:


[f3660_0_createList_Load(x21, x23, x25)] = x21 - x25
[f5266_0_createList_NULL(x28, x30, x32)] = -1 + x28 - x30

Therefore the following rule(s) have been dropped:


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

(19) Obligation:

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

(20) TerminationGraphProcessor (EQUIVALENT transformation)

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


(21) YES