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


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


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


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 96 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 2094 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 146 ms]
        (9) QDP
        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (11) YES
    (12) JBCTerminationSCC
        (13) SCCToIRSProof [SOUND, 436 ms]
        (14) IRSwT
        (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (16) IRSwT
        (17) IRSwTTerminationDigraphProof [EQUIVALENT, 199 ms]
        (18) IRSwT
        (19) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (20) IRSwT
        (21) TempFilterProof [SOUND, 3 ms]
        (22) IRSwT
        (23) IRSwTToQDPProof [SOUND, 0 ms]
        (24) QDP
        (25) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (26) YES
    (27) JBCTerminationSCC
        (28) SCCToIRSProof [SOUND, 66 ms]
        (29) IRSwT
        (30) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (31) IRSwT
        (32) IRSwTTerminationDigraphProof [EQUIVALENT, 23 ms]
        (33) IRSwT
        (34) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (35) IRSwT
        (36) TempFilterProof [SOUND, 19 ms]
        (37) IntTRS
        (38) PolynomialOrderProcessor [EQUIVALENT, 7 ms]
        (39) YES
    (40) JBCTerminationSCC
        (41) SCCToIRSProof [SOUND, 356 ms]
        (42) IRSwT
        (43) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (44) IRSwT
        (45) IRSwTTerminationDigraphProof [EQUIVALENT, 49 ms]
        (46) IRSwT
        (47) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (48) IRSwT
        (49) TempFilterProof [SOUND, 75 ms]
        (50) IntTRS
        (51) PolynomialOrderProcessor [EQUIVALENT, 14 ms]
        (52) AND
            (53) IntTRS
                (54) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
                (55) IntTRS
                (56) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
                (57) YES
            (58) IntTRS
                (59) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
                (60) YES


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

(0)
Obligation:
need to prove termination of the following program:
public class Infix2Postfix {
    public static LinkedList buildExpression(int n) {
	LinkedList exp = null;
	for (int i = 1; i <= n; i++) {
	    if (i <= n-1) exp = new LinkedList(')', exp);
	    exp = new LinkedList(')', exp);
	    exp = new LinkedList('b', exp);
	    exp = new LinkedList('+', exp);
	    exp = new LinkedList('a', exp);
	    exp = new LinkedList('(', exp);
	    if (i <= n-1) exp = new LinkedList('*', exp);
	}

	for (int i = 1; i < n; i++)
	    exp = new LinkedList('(', exp);

	return exp;
    }

    public static LinkedList toPostfix(LinkedList infix) {
	LinkedList operators = null, operands = null;
	while (infix != null) {
	    char c = infix.getFirst();
	    switch (c) {
	    case '(': break;
	    case '+': case '-': case '*': case '/':
		operators = new LinkedList(c, operators);
		break;
	    case ')':
		operands = new LinkedList(operators.getFirst(), operands);
		operators = operators.getTail();
		break;
	    default:
		operands = new LinkedList(c, operands);
	    }
	    infix = infix.getTail();
	}

	LinkedList postfix = null;
	while (operands != null) {
	    postfix = new LinkedList(operands.getFirst(), postfix);
	    operands = operands.getTail();
	}

	return postfix;
    }

    public static void  main(String args[]) {
	LinkedList infix = buildExpression(args.length);
	// System.out.println("infix = " + infix);
	LinkedList postfix = toPostfix(infix);
	// System.out.println("postfix = " + postfix);
    }
}


public class LinkedList {
    private char head;
    private LinkedList tail;

    public LinkedList(char head, LinkedList tail) {
	this.head = head;
	this.tail = tail;
    }

    public char getFirst() {
	return this.head;
    }

    public LinkedList getTail() {
	return this.tail;
    }

    /*
    public String toString() {
	return head + (tail == null ? "" : " " + tail.toString());
    }
    */
}


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

(1) BareJBCToJBCProof (EQUIVALENT)
initialized classpath
----------------------------------------

(2)
Obligation:
need to prove termination of the following program:
public class Infix2Postfix {
    public static LinkedList buildExpression(int n) {
	LinkedList exp = null;
	for (int i = 1; i <= n; i++) {
	    if (i <= n-1) exp = new LinkedList(')', exp);
	    exp = new LinkedList(')', exp);
	    exp = new LinkedList('b', exp);
	    exp = new LinkedList('+', exp);
	    exp = new LinkedList('a', exp);
	    exp = new LinkedList('(', exp);
	    if (i <= n-1) exp = new LinkedList('*', exp);
	}

	for (int i = 1; i < n; i++)
	    exp = new LinkedList('(', exp);

	return exp;
    }

    public static LinkedList toPostfix(LinkedList infix) {
	LinkedList operators = null, operands = null;
	while (infix != null) {
	    char c = infix.getFirst();
	    switch (c) {
	    case '(': break;
	    case '+': case '-': case '*': case '/':
		operators = new LinkedList(c, operators);
		break;
	    case ')':
		operands = new LinkedList(operators.getFirst(), operands);
		operators = operators.getTail();
		break;
	    default:
		operands = new LinkedList(c, operands);
	    }
	    infix = infix.getTail();
	}

	LinkedList postfix = null;
	while (operands != null) {
	    postfix = new LinkedList(operands.getFirst(), postfix);
	    operands = operands.getTail();
	}

	return postfix;
    }

    public static void  main(String args[]) {
	LinkedList infix = buildExpression(args.length);
	// System.out.println("infix = " + infix);
	LinkedList postfix = toPostfix(infix);
	// System.out.println("postfix = " + postfix);
    }
}


public class LinkedList {
    private char head;
    private LinkedList tail;

    public LinkedList(char head, LinkedList tail) {
	this.head = head;
	this.tail = tail;
    }

    public char getFirst() {
	return this.head;
    }

    public LinkedList getTail() {
	return this.tail;
    }

    /*
    public String toString() {
	return head + (tail == null ? "" : " " + tail.toString());
    }
    */
}


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

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

(4)
Obligation:
Termination Graph based on JBC Program:
Infix2Postfix.main([Ljava/lang/String;)V: Graph of 264 nodes with 2 SCCs.



Infix2Postfix.toPostfix(LLinkedList;)LLinkedList;: Graph of 292 nodes with 2 SCCs.





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

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

(6)
Complex Obligation (AND)

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

(7)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Infix2Postfix.toPostfix(LLinkedList;)LLinkedList;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*LinkedList: [head, tail]
*Marker field analysis yielded the following relations that could be markers:

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

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 31 rules for P and 0 rules for R.P rules:
f6248_0_toPostfix_NULL(EOS(STATIC_6248), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) -> f6251_0_toPostfix_NULL(EOS(STATIC_6251), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) :|: TRUE
f6251_0_toPostfix_NULL(EOS(STATIC_6251), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) -> f6255_0_toPostfix_New(EOS(STATIC_6255), java.lang.Object(o21680sub)) :|: TRUE
f6255_0_toPostfix_New(EOS(STATIC_6255), java.lang.Object(o21680sub)) -> f6259_0_toPostfix_Duplicate(EOS(STATIC_6259), java.lang.Object(o21680sub)) :|: TRUE
f6259_0_toPostfix_Duplicate(EOS(STATIC_6259), java.lang.Object(o21680sub)) -> f6263_0_toPostfix_Load(EOS(STATIC_6263), java.lang.Object(o21680sub)) :|: TRUE
f6263_0_toPostfix_Load(EOS(STATIC_6263), java.lang.Object(o21680sub)) -> f6267_0_toPostfix_InvokeMethod(EOS(STATIC_6267), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) :|: TRUE
f6267_0_toPostfix_InvokeMethod(EOS(STATIC_6267), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) -> f6272_0_getFirst_Load(EOS(STATIC_6272), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) :|: TRUE
f6272_0_getFirst_Load(EOS(STATIC_6272), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) -> f6281_0_getFirst_FieldAccess(EOS(STATIC_6281), java.lang.Object(o21680sub), java.lang.Object(o21680sub)) :|: TRUE
f6281_0_getFirst_FieldAccess(EOS(STATIC_6281), java.lang.Object(LinkedList(EOC, i1498, o21694)), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6286_0_getFirst_FieldAccess(EOS(STATIC_6286), java.lang.Object(LinkedList(EOC, i1498, o21694)), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6286_0_getFirst_FieldAccess(EOS(STATIC_6286), java.lang.Object(LinkedList(EOC, i1498, o21694)), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6291_0_getFirst_Return(EOS(STATIC_6291), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6291_0_getFirst_Return(EOS(STATIC_6291), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6296_0_toPostfix_Load(EOS(STATIC_6296), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6296_0_toPostfix_Load(EOS(STATIC_6296), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6301_0_toPostfix_InvokeMethod(EOS(STATIC_6301), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6301_0_toPostfix_InvokeMethod(EOS(STATIC_6301), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6303_0__init__Load(EOS(STATIC_6303), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6303_0__init__Load(EOS(STATIC_6303), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6310_0__init__InvokeMethod(EOS(STATIC_6310), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6310_0__init__InvokeMethod(EOS(STATIC_6310), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6314_0__init__Load(EOS(STATIC_6314), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6314_0__init__Load(EOS(STATIC_6314), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6321_0__init__Load(EOS(STATIC_6321), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6321_0__init__Load(EOS(STATIC_6321), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6327_0__init__FieldAccess(EOS(STATIC_6327), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6327_0__init__FieldAccess(EOS(STATIC_6327), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6333_0__init__Load(EOS(STATIC_6333), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6333_0__init__Load(EOS(STATIC_6333), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6338_0__init__Load(EOS(STATIC_6338), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6338_0__init__Load(EOS(STATIC_6338), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6342_0__init__FieldAccess(EOS(STATIC_6342), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6342_0__init__FieldAccess(EOS(STATIC_6342), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6346_0__init__Return(EOS(STATIC_6346), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6346_0__init__Return(EOS(STATIC_6346), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6350_0_toPostfix_Store(EOS(STATIC_6350), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6350_0_toPostfix_Store(EOS(STATIC_6350), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6354_0_toPostfix_Load(EOS(STATIC_6354), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6354_0_toPostfix_Load(EOS(STATIC_6354), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6359_0_toPostfix_InvokeMethod(EOS(STATIC_6359), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6359_0_toPostfix_InvokeMethod(EOS(STATIC_6359), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6363_0_getTail_Load(EOS(STATIC_6363), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6363_0_getTail_Load(EOS(STATIC_6363), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6371_0_getTail_FieldAccess(EOS(STATIC_6371), java.lang.Object(LinkedList(EOC, i1498, o21694))) :|: TRUE
f6371_0_getTail_FieldAccess(EOS(STATIC_6371), java.lang.Object(LinkedList(EOC, i1498, o21694))) -> f6374_0_getTail_Return(EOS(STATIC_6374), o21694) :|: TRUE
f6374_0_getTail_Return(EOS(STATIC_6374), o21694) -> f6379_0_toPostfix_Store(EOS(STATIC_6379), o21694) :|: TRUE
f6379_0_toPostfix_Store(EOS(STATIC_6379), o21694) -> f6384_0_toPostfix_JMP(EOS(STATIC_6384), o21694) :|: TRUE
f6384_0_toPostfix_JMP(EOS(STATIC_6384), o21694) -> f6389_0_toPostfix_Load(EOS(STATIC_6389), o21694) :|: TRUE
f6389_0_toPostfix_Load(EOS(STATIC_6389), o21694) -> f6245_0_toPostfix_Load(EOS(STATIC_6245), o21694) :|: TRUE
f6245_0_toPostfix_Load(EOS(STATIC_6245), o21665) -> f6248_0_toPostfix_NULL(EOS(STATIC_6248), o21665, o21665) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6248_0_toPostfix_NULL(EOS(STATIC_6248), java.lang.Object(LinkedList(EOC, i1498:0, o21694:0)), java.lang.Object(LinkedList(EOC, i1498:0, o21694:0))) -> f6248_0_toPostfix_NULL(EOS(STATIC_6248), o21694:0, o21694:0) :|: TRUE
R rules:
Filtered ground terms:
   f6248_0_toPostfix_NULL(x1, x2, x3) -> f6248_0_toPostfix_NULL(x2, x3)
   EOS(x1) -> EOS
   LinkedList(x1, x2, x3) -> LinkedList(x2, x3)
Filtered unneeded arguments:
   LinkedList(x1, x2) -> LinkedList(x2)
Filtered duplicate args:
   f6248_0_toPostfix_NULL(x1, x2) -> f6248_0_toPostfix_NULL(x2)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6248_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o21694:0:0))) -> F6248_0_TOPOSTFIX_NULL(o21694:0:0) :|: TRUE
R rules:

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

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

   F6248_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o21694:0:0))) -> F6248_0_TOPOSTFIX_NULL(o21694:0:0)

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

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

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


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

(11)
YES

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

(12)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Infix2Postfix.toPostfix(LLinkedList;)LLinkedList;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*LinkedList: [head, tail]
*Marker field analysis yielded the following relations that could be markers:

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

(13) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 234 IRulesP rules:
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) -> f5688_0_toPostfix_NULL(EOS(STATIC_5688), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) :|: TRUE
f5688_0_toPostfix_NULL(EOS(STATIC_5688), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) -> f5692_0_toPostfix_Load(EOS(STATIC_5692), java.lang.Object(o19490sub), o19470) :|: TRUE
f5692_0_toPostfix_Load(EOS(STATIC_5692), java.lang.Object(o19490sub), o19470) -> f5698_0_toPostfix_InvokeMethod(EOS(STATIC_5698), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) :|: TRUE
f5698_0_toPostfix_InvokeMethod(EOS(STATIC_5698), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) -> f5704_0_getFirst_Load(EOS(STATIC_5704), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) :|: TRUE
f5704_0_getFirst_Load(EOS(STATIC_5704), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) -> f5715_0_getFirst_FieldAccess(EOS(STATIC_5715), java.lang.Object(o19490sub), o19470, java.lang.Object(o19490sub)) :|: TRUE
f5715_0_getFirst_FieldAccess(EOS(STATIC_5715), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) -> f5722_0_getFirst_FieldAccess(EOS(STATIC_5722), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) :|: TRUE
f5722_0_getFirst_FieldAccess(EOS(STATIC_5722), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) -> f5728_0_getFirst_Return(EOS(STATIC_5728), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5728_0_getFirst_Return(EOS(STATIC_5728), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5734_0_toPostfix_Store(EOS(STATIC_5734), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5734_0_toPostfix_Store(EOS(STATIC_5734), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5740_0_toPostfix_Load(EOS(STATIC_5740), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5740_0_toPostfix_Load(EOS(STATIC_5740), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5745_0_toPostfix_TableSwitch(EOS(STATIC_5745), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) :|: TRUE
f5745_0_toPostfix_TableSwitch(EOS(STATIC_5745), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) -> f5752_0_toPostfix_TableSwitch(EOS(STATIC_5752), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) :|: TRUE
f5745_0_toPostfix_TableSwitch(EOS(STATIC_5745), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) -> f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) :|: TRUE
f5745_0_toPostfix_TableSwitch(EOS(STATIC_5745), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) -> f5754_0_toPostfix_TableSwitch(EOS(STATIC_5754), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) :|: TRUE
f5752_0_toPostfix_TableSwitch(EOS(STATIC_5752), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) -> f5759_0_toPostfix_New(EOS(STATIC_5759), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: i1317 < 40
f5759_0_toPostfix_New(EOS(STATIC_5759), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5774_0_toPostfix_Duplicate(EOS(STATIC_5774), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5774_0_toPostfix_Duplicate(EOS(STATIC_5774), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5788_0_toPostfix_Load(EOS(STATIC_5788), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5788_0_toPostfix_Load(EOS(STATIC_5788), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5801_0_toPostfix_Load(EOS(STATIC_5801), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5801_0_toPostfix_Load(EOS(STATIC_5801), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5814_0_toPostfix_InvokeMethod(EOS(STATIC_5814), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5814_0_toPostfix_InvokeMethod(EOS(STATIC_5814), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5825_0__init__Load(EOS(STATIC_5825), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5825_0__init__Load(EOS(STATIC_5825), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5851_0__init__InvokeMethod(EOS(STATIC_5851), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5851_0__init__InvokeMethod(EOS(STATIC_5851), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5857_0__init__Load(EOS(STATIC_5857), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5857_0__init__Load(EOS(STATIC_5857), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5871_0__init__Load(EOS(STATIC_5871), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5871_0__init__Load(EOS(STATIC_5871), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5886_0__init__FieldAccess(EOS(STATIC_5886), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
f5886_0__init__FieldAccess(EOS(STATIC_5886), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5900_0__init__Load(EOS(STATIC_5900), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) :|: TRUE
f5900_0__init__Load(EOS(STATIC_5900), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) -> f5914_0__init__Load(EOS(STATIC_5914), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) :|: TRUE
f5914_0__init__Load(EOS(STATIC_5914), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) -> f5928_0__init__FieldAccess(EOS(STATIC_5928), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) :|: TRUE
f5928_0__init__FieldAccess(EOS(STATIC_5928), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) -> f5941_0__init__Return(EOS(STATIC_5941), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) :|: TRUE
f5941_0__init__Return(EOS(STATIC_5941), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) -> f5954_0_toPostfix_Store(EOS(STATIC_5954), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) :|: TRUE
f5954_0_toPostfix_Store(EOS(STATIC_5954), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) -> f5968_0_toPostfix_Load(EOS(STATIC_5968), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) :|: TRUE
f5968_0_toPostfix_Load(EOS(STATIC_5968), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470) -> f5980_0_toPostfix_InvokeMethod(EOS(STATIC_5980), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) :|: TRUE
f5980_0_toPostfix_InvokeMethod(EOS(STATIC_5980), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) -> f5993_0_getTail_Load(EOS(STATIC_5993), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) :|: TRUE
f5993_0_getTail_Load(EOS(STATIC_5993), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) -> f6017_0_getTail_FieldAccess(EOS(STATIC_6017), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) :|: TRUE
f6017_0_getTail_FieldAccess(EOS(STATIC_6017), o19470, java.lang.Object(LinkedList(EOC, i1317, o19533))) -> f6028_0_getTail_Return(EOS(STATIC_6028), o19470, o19533) :|: TRUE
f6028_0_getTail_Return(EOS(STATIC_6028), o19470, o19533) -> f6038_0_toPostfix_Store(EOS(STATIC_6038), o19470, o19533) :|: TRUE
f6038_0_toPostfix_Store(EOS(STATIC_6038), o19470, o19533) -> f6052_0_toPostfix_JMP(EOS(STATIC_6052), o19533, o19470) :|: TRUE
f6052_0_toPostfix_JMP(EOS(STATIC_6052), o19533, o19470) -> f6066_0_toPostfix_Load(EOS(STATIC_6066), o19533, o19470) :|: TRUE
f6066_0_toPostfix_Load(EOS(STATIC_6066), o19533, o19470) -> f5679_0_toPostfix_Load(EOS(STATIC_5679), o19533, o19470) :|: TRUE
f5679_0_toPostfix_Load(EOS(STATIC_5679), o19469, o19470) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19469, o19470, o19469) :|: TRUE
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5760_0_toPostfix_TableSwitch(EOS(STATIC_5760), java.lang.Object(LinkedList(EOC, 40, o19533)), o19470, 40, 40) :|: TRUE && matching1 = 40 && matching2 = 40 && matching3 = 40
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5761_0_toPostfix_TableSwitch(EOS(STATIC_5761), java.lang.Object(LinkedList(EOC, 41, o19533)), o19470, 41, 41) :|: TRUE && matching1 = 41 && matching2 = 41 && matching3 = 41
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5762_0_toPostfix_TableSwitch(EOS(STATIC_5762), java.lang.Object(LinkedList(EOC, 42, o19533)), o19470, 42, 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5763_0_toPostfix_TableSwitch(EOS(STATIC_5763), java.lang.Object(LinkedList(EOC, 43, o19533)), o19470, 43, 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5764_0_toPostfix_TableSwitch(EOS(STATIC_5764), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44, 44) :|: TRUE && matching1 = 44 && matching2 = 44 && matching3 = 44
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5765_0_toPostfix_TableSwitch(EOS(STATIC_5765), java.lang.Object(LinkedList(EOC, 45, o19533)), o19470, 45, 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5766_0_toPostfix_TableSwitch(EOS(STATIC_5766), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46, 46) :|: TRUE && matching1 = 46 && matching2 = 46 && matching3 = 46
f5753_0_toPostfix_TableSwitch(EOS(STATIC_5753), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5767_0_toPostfix_TableSwitch(EOS(STATIC_5767), java.lang.Object(LinkedList(EOC, 47, o19533)), o19470, 47, 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
f5760_0_toPostfix_TableSwitch(EOS(STATIC_5760), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5775_0_toPostfix_JMP(EOS(STATIC_5775), java.lang.Object(LinkedList(EOC, 40, o19533)), o19470) :|: TRUE && matching1 = 40 && matching2 = 40 && matching3 = 40
f5775_0_toPostfix_JMP(EOS(STATIC_5775), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5789_0_toPostfix_Load(EOS(STATIC_5789), java.lang.Object(LinkedList(EOC, 40, o19533)), o19470) :|: TRUE && matching1 = 40
f5789_0_toPostfix_Load(EOS(STATIC_5789), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5802_0_toPostfix_InvokeMethod(EOS(STATIC_5802), o19470, java.lang.Object(LinkedList(EOC, 40, o19533))) :|: TRUE && matching1 = 40
f5802_0_toPostfix_InvokeMethod(EOS(STATIC_5802), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f5815_0_getTail_Load(EOS(STATIC_5815), o19470, java.lang.Object(LinkedList(EOC, 40, o19533))) :|: TRUE && matching1 = 40
f5815_0_getTail_Load(EOS(STATIC_5815), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f5838_0_getTail_FieldAccess(EOS(STATIC_5838), o19470, java.lang.Object(LinkedList(EOC, 40, o19533))) :|: TRUE && matching1 = 40
f5838_0_getTail_FieldAccess(EOS(STATIC_5838), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f5852_0_getTail_Return(EOS(STATIC_5852), o19470, o19533) :|: TRUE && matching1 = 40
f5852_0_getTail_Return(EOS(STATIC_5852), o19470, o19533) -> f5858_0_toPostfix_Store(EOS(STATIC_5858), o19470, o19533) :|: TRUE
f5858_0_toPostfix_Store(EOS(STATIC_5858), o19470, o19533) -> f5872_0_toPostfix_JMP(EOS(STATIC_5872), o19533, o19470) :|: TRUE
f5872_0_toPostfix_JMP(EOS(STATIC_5872), o19533, o19470) -> f5887_0_toPostfix_Load(EOS(STATIC_5887), o19533, o19470) :|: TRUE
f5887_0_toPostfix_Load(EOS(STATIC_5887), o19533, o19470) -> f5679_0_toPostfix_Load(EOS(STATIC_5679), o19533, o19470) :|: TRUE
f5761_0_toPostfix_TableSwitch(EOS(STATIC_5761), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5776_0_toPostfix_New(EOS(STATIC_5776), java.lang.Object(LinkedList(EOC, 41, o19533)), o19470) :|: TRUE && matching1 = 41 && matching2 = 41 && matching3 = 41
f5776_0_toPostfix_New(EOS(STATIC_5776), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5790_0_toPostfix_Duplicate(EOS(STATIC_5790), java.lang.Object(LinkedList(EOC, 41, o19533)), o19470) :|: TRUE && matching1 = 41
f5790_0_toPostfix_Duplicate(EOS(STATIC_5790), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5803_0_toPostfix_Load(EOS(STATIC_5803), java.lang.Object(LinkedList(EOC, 41, o19533)), o19470) :|: TRUE && matching1 = 41
f5803_0_toPostfix_Load(EOS(STATIC_5803), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5816_0_toPostfix_InvokeMethod(EOS(STATIC_5816), java.lang.Object(LinkedList(EOC, 41, o19533)), o19470, o19470) :|: TRUE && matching1 = 41
f5816_0_toPostfix_InvokeMethod(EOS(STATIC_5816), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(o19700sub), java.lang.Object(o19700sub)) -> f5826_0_toPostfix_InvokeMethod(EOS(STATIC_5826), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(o19700sub), java.lang.Object(o19700sub)) :|: TRUE && matching1 = 41
f5826_0_toPostfix_InvokeMethod(EOS(STATIC_5826), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(o19700sub), java.lang.Object(o19700sub)) -> f5839_0_getFirst_Load(EOS(STATIC_5839), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(o19700sub), java.lang.Object(o19700sub)) :|: TRUE && matching1 = 41
f5839_0_getFirst_Load(EOS(STATIC_5839), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(o19700sub), java.lang.Object(o19700sub)) -> f5859_0_getFirst_FieldAccess(EOS(STATIC_5859), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(o19700sub), java.lang.Object(o19700sub)) :|: TRUE && matching1 = 41
f5859_0_getFirst_FieldAccess(EOS(STATIC_5859), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f5873_0_getFirst_FieldAccess(EOS(STATIC_5873), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f5873_0_getFirst_FieldAccess(EOS(STATIC_5873), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f5888_0_getFirst_Return(EOS(STATIC_5888), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5888_0_getFirst_Return(EOS(STATIC_5888), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f5901_0_toPostfix_Load(EOS(STATIC_5901), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5901_0_toPostfix_Load(EOS(STATIC_5901), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f5915_0_toPostfix_InvokeMethod(EOS(STATIC_5915), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5915_0_toPostfix_InvokeMethod(EOS(STATIC_5915), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f5929_0__init__Load(EOS(STATIC_5929), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5929_0__init__Load(EOS(STATIC_5929), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f5955_0__init__InvokeMethod(EOS(STATIC_5955), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5955_0__init__InvokeMethod(EOS(STATIC_5955), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f5969_0__init__Load(EOS(STATIC_5969), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5969_0__init__Load(EOS(STATIC_5969), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f5981_0__init__Load(EOS(STATIC_5981), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5981_0__init__Load(EOS(STATIC_5981), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f5994_0__init__FieldAccess(EOS(STATIC_5994), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) :|: TRUE && matching1 = 41
f5994_0__init__FieldAccess(EOS(STATIC_5994), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819)), i1331) -> f6006_0__init__Load(EOS(STATIC_6006), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6006_0__init__Load(EOS(STATIC_6006), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6018_0__init__Load(EOS(STATIC_6018), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6018_0__init__Load(EOS(STATIC_6018), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6029_0__init__FieldAccess(EOS(STATIC_6029), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6029_0__init__FieldAccess(EOS(STATIC_6029), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6039_0__init__Return(EOS(STATIC_6039), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6039_0__init__Return(EOS(STATIC_6039), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6053_0_toPostfix_Store(EOS(STATIC_6053), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6053_0_toPostfix_Store(EOS(STATIC_6053), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6067_0_toPostfix_Load(EOS(STATIC_6067), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6067_0_toPostfix_Load(EOS(STATIC_6067), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6079_0_toPostfix_InvokeMethod(EOS(STATIC_6079), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6079_0_toPostfix_InvokeMethod(EOS(STATIC_6079), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6091_0_getTail_Load(EOS(STATIC_6091), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6091_0_getTail_Load(EOS(STATIC_6091), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6108_0_getTail_FieldAccess(EOS(STATIC_6108), java.lang.Object(LinkedList(EOC, 41, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) :|: TRUE && matching1 = 41
f6108_0_getTail_FieldAccess(EOS(STATIC_6108), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, i1331, o19819))) -> f6116_0_getTail_Return(EOS(STATIC_6116), java.lang.Object(LinkedList(EOC, 41, o19533)), o19819) :|: TRUE && matching1 = 41
f6116_0_getTail_Return(EOS(STATIC_6116), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19819) -> f6123_0_toPostfix_Store(EOS(STATIC_6123), java.lang.Object(LinkedList(EOC, 41, o19533)), o19819) :|: TRUE && matching1 = 41
f6123_0_toPostfix_Store(EOS(STATIC_6123), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19819) -> f6128_0_toPostfix_JMP(EOS(STATIC_6128), java.lang.Object(LinkedList(EOC, 41, o19533)), o19819) :|: TRUE && matching1 = 41
f6128_0_toPostfix_JMP(EOS(STATIC_6128), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19819) -> f6134_0_toPostfix_Load(EOS(STATIC_6134), java.lang.Object(LinkedList(EOC, 41, o19533)), o19819) :|: TRUE && matching1 = 41
f6134_0_toPostfix_Load(EOS(STATIC_6134), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19819) -> f6139_0_toPostfix_InvokeMethod(EOS(STATIC_6139), o19819, java.lang.Object(LinkedList(EOC, 41, o19533))) :|: TRUE && matching1 = 41
f6139_0_toPostfix_InvokeMethod(EOS(STATIC_6139), o19819, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6145_0_getTail_Load(EOS(STATIC_6145), o19819, java.lang.Object(LinkedList(EOC, 41, o19533))) :|: TRUE && matching1 = 41
f6145_0_getTail_Load(EOS(STATIC_6145), o19819, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6156_0_getTail_FieldAccess(EOS(STATIC_6156), o19819, java.lang.Object(LinkedList(EOC, 41, o19533))) :|: TRUE && matching1 = 41
f6156_0_getTail_FieldAccess(EOS(STATIC_6156), o19819, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6160_0_getTail_Return(EOS(STATIC_6160), o19819, o19533) :|: TRUE && matching1 = 41
f6160_0_getTail_Return(EOS(STATIC_6160), o19819, o19533) -> f6028_0_getTail_Return(EOS(STATIC_6028), o19819, o19533) :|: TRUE
f5762_0_toPostfix_TableSwitch(EOS(STATIC_5762), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5777_0_toPostfix_New(EOS(STATIC_5777), java.lang.Object(LinkedList(EOC, 42, o19533)), o19470, 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
f5777_0_toPostfix_New(EOS(STATIC_5777), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5791_0_toPostfix_Duplicate(EOS(STATIC_5791), java.lang.Object(LinkedList(EOC, 42, o19533)), o19470, 42, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42
f5791_0_toPostfix_Duplicate(EOS(STATIC_5791), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5804_0_toPostfix_Load(EOS(STATIC_5804), java.lang.Object(LinkedList(EOC, 42, o19533)), o19470, 42, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 0
f5804_0_toPostfix_Load(EOS(STATIC_5804), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5817_0_toPostfix_Load(EOS(STATIC_5817), java.lang.Object(LinkedList(EOC, 42, o19533)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 0 && matching4 = 0
f5817_0_toPostfix_Load(EOS(STATIC_5817), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5828_0_toPostfix_InvokeMethod(EOS(STATIC_5828), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o19470) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
f5828_0_toPostfix_InvokeMethod(EOS(STATIC_5828), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5841_0__init__Load(EOS(STATIC_5841), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o19470) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
f5841_0__init__Load(EOS(STATIC_5841), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5861_0__init__InvokeMethod(EOS(STATIC_5861), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
f5861_0__init__InvokeMethod(EOS(STATIC_5861), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5875_0__init__Load(EOS(STATIC_5875), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o19470) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 && matching5 = 0
f5875_0__init__Load(EOS(STATIC_5875), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5889_0__init__Load(EOS(STATIC_5889), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
f5889_0__init__Load(EOS(STATIC_5889), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5903_0__init__FieldAccess(EOS(STATIC_5903), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), 42) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 && matching5 = 0
f5903_0__init__FieldAccess(EOS(STATIC_5903), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5917_0__init__Load(EOS(STATIC_5917), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 42, NULL)), java.lang.Object(LinkedList(EOC, 42, NULL)), o19470) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 42
f5917_0__init__Load(EOS(STATIC_5917), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5930_0__init__Load(EOS(STATIC_5930), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 42, NULL)), o19470, java.lang.Object(LinkedList(EOC, 42, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
f5930_0__init__Load(EOS(STATIC_5930), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5943_0__init__FieldAccess(EOS(STATIC_5943), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 42, NULL)), java.lang.Object(LinkedList(EOC, 42, NULL)), o19470) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
f5943_0__init__FieldAccess(EOS(STATIC_5943), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5957_0__init__Return(EOS(STATIC_5957), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 42, o19470))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
f5957_0__init__Return(EOS(STATIC_5957), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5970_0_toPostfix_Store(EOS(STATIC_5970), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 42, o19470))) :|: TRUE && matching1 = 42 && matching2 = 42
f5970_0_toPostfix_Store(EOS(STATIC_5970), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5983_0_toPostfix_JMP(EOS(STATIC_5983), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 42, o19470))) :|: TRUE && matching1 = 42 && matching2 = 42
f5983_0_toPostfix_JMP(EOS(STATIC_5983), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5996_0_toPostfix_Load(EOS(STATIC_5996), java.lang.Object(LinkedList(EOC, 42, o19533)), java.lang.Object(LinkedList(EOC, 42, o19470))) :|: TRUE && matching1 = 42 && matching2 = 42
f5996_0_toPostfix_Load(EOS(STATIC_5996), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f6008_0_toPostfix_InvokeMethod(EOS(STATIC_6008), java.lang.Object(LinkedList(EOC, 42, o19470)), java.lang.Object(LinkedList(EOC, 42, o19533))) :|: TRUE && matching1 = 42 && matching2 = 42
f6008_0_toPostfix_InvokeMethod(EOS(STATIC_6008), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6020_0_getTail_Load(EOS(STATIC_6020), java.lang.Object(LinkedList(EOC, 42, o19470)), java.lang.Object(LinkedList(EOC, 42, o19533))) :|: TRUE && matching1 = 42 && matching2 = 42
f6020_0_getTail_Load(EOS(STATIC_6020), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6041_0_getTail_FieldAccess(EOS(STATIC_6041), java.lang.Object(LinkedList(EOC, 42, o19470)), java.lang.Object(LinkedList(EOC, 42, o19533))) :|: TRUE && matching1 = 42 && matching2 = 42
f6041_0_getTail_FieldAccess(EOS(STATIC_6041), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6055_0_getTail_Return(EOS(STATIC_6055), java.lang.Object(LinkedList(EOC, 42, o19470)), o19533) :|: TRUE && matching1 = 42 && matching2 = 42
f6055_0_getTail_Return(EOS(STATIC_6055), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6069_0_toPostfix_Store(EOS(STATIC_6069), java.lang.Object(LinkedList(EOC, 42, o19470)), o19533) :|: TRUE && matching1 = 42
f6069_0_toPostfix_Store(EOS(STATIC_6069), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6081_0_toPostfix_JMP(EOS(STATIC_6081), o19533, java.lang.Object(LinkedList(EOC, 42, o19470))) :|: TRUE && matching1 = 42
f6081_0_toPostfix_JMP(EOS(STATIC_6081), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f6093_0_toPostfix_Load(EOS(STATIC_6093), o19533, java.lang.Object(LinkedList(EOC, 42, o19470))) :|: TRUE && matching1 = 42
f6093_0_toPostfix_Load(EOS(STATIC_6093), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f5679_0_toPostfix_Load(EOS(STATIC_5679), o19533, java.lang.Object(LinkedList(EOC, 42, o19470))) :|: TRUE && matching1 = 42
f5763_0_toPostfix_TableSwitch(EOS(STATIC_5763), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5778_0_toPostfix_New(EOS(STATIC_5778), java.lang.Object(LinkedList(EOC, 43, o19533)), o19470, 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
f5778_0_toPostfix_New(EOS(STATIC_5778), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5792_0_toPostfix_Duplicate(EOS(STATIC_5792), java.lang.Object(LinkedList(EOC, 43, o19533)), o19470, 43, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43
f5792_0_toPostfix_Duplicate(EOS(STATIC_5792), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5805_0_toPostfix_Load(EOS(STATIC_5805), java.lang.Object(LinkedList(EOC, 43, o19533)), o19470, 43, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 0
f5805_0_toPostfix_Load(EOS(STATIC_5805), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5818_0_toPostfix_Load(EOS(STATIC_5818), java.lang.Object(LinkedList(EOC, 43, o19533)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 0 && matching4 = 0
f5818_0_toPostfix_Load(EOS(STATIC_5818), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5829_0_toPostfix_InvokeMethod(EOS(STATIC_5829), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o19470) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
f5829_0_toPostfix_InvokeMethod(EOS(STATIC_5829), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5842_0__init__Load(EOS(STATIC_5842), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o19470) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
f5842_0__init__Load(EOS(STATIC_5842), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5862_0__init__InvokeMethod(EOS(STATIC_5862), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
f5862_0__init__InvokeMethod(EOS(STATIC_5862), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5876_0__init__Load(EOS(STATIC_5876), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o19470) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 && matching5 = 0
f5876_0__init__Load(EOS(STATIC_5876), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5890_0__init__Load(EOS(STATIC_5890), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
f5890_0__init__Load(EOS(STATIC_5890), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5904_0__init__FieldAccess(EOS(STATIC_5904), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), 43) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 && matching5 = 0
f5904_0__init__FieldAccess(EOS(STATIC_5904), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5918_0__init__Load(EOS(STATIC_5918), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 43, NULL)), java.lang.Object(LinkedList(EOC, 43, NULL)), o19470) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 43
f5918_0__init__Load(EOS(STATIC_5918), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5931_0__init__Load(EOS(STATIC_5931), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 43, NULL)), o19470, java.lang.Object(LinkedList(EOC, 43, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
f5931_0__init__Load(EOS(STATIC_5931), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5944_0__init__FieldAccess(EOS(STATIC_5944), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 43, NULL)), java.lang.Object(LinkedList(EOC, 43, NULL)), o19470) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
f5944_0__init__FieldAccess(EOS(STATIC_5944), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5958_0__init__Return(EOS(STATIC_5958), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 43, o19470))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
f5958_0__init__Return(EOS(STATIC_5958), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5971_0_toPostfix_Store(EOS(STATIC_5971), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 43, o19470))) :|: TRUE && matching1 = 43 && matching2 = 43
f5971_0_toPostfix_Store(EOS(STATIC_5971), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5984_0_toPostfix_JMP(EOS(STATIC_5984), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 43, o19470))) :|: TRUE && matching1 = 43 && matching2 = 43
f5984_0_toPostfix_JMP(EOS(STATIC_5984), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5997_0_toPostfix_Load(EOS(STATIC_5997), java.lang.Object(LinkedList(EOC, 43, o19533)), java.lang.Object(LinkedList(EOC, 43, o19470))) :|: TRUE && matching1 = 43 && matching2 = 43
f5997_0_toPostfix_Load(EOS(STATIC_5997), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f6009_0_toPostfix_InvokeMethod(EOS(STATIC_6009), java.lang.Object(LinkedList(EOC, 43, o19470)), java.lang.Object(LinkedList(EOC, 43, o19533))) :|: TRUE && matching1 = 43 && matching2 = 43
f6009_0_toPostfix_InvokeMethod(EOS(STATIC_6009), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6021_0_getTail_Load(EOS(STATIC_6021), java.lang.Object(LinkedList(EOC, 43, o19470)), java.lang.Object(LinkedList(EOC, 43, o19533))) :|: TRUE && matching1 = 43 && matching2 = 43
f6021_0_getTail_Load(EOS(STATIC_6021), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6042_0_getTail_FieldAccess(EOS(STATIC_6042), java.lang.Object(LinkedList(EOC, 43, o19470)), java.lang.Object(LinkedList(EOC, 43, o19533))) :|: TRUE && matching1 = 43 && matching2 = 43
f6042_0_getTail_FieldAccess(EOS(STATIC_6042), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6056_0_getTail_Return(EOS(STATIC_6056), java.lang.Object(LinkedList(EOC, 43, o19470)), o19533) :|: TRUE && matching1 = 43 && matching2 = 43
f6056_0_getTail_Return(EOS(STATIC_6056), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6070_0_toPostfix_Store(EOS(STATIC_6070), java.lang.Object(LinkedList(EOC, 43, o19470)), o19533) :|: TRUE && matching1 = 43
f6070_0_toPostfix_Store(EOS(STATIC_6070), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6082_0_toPostfix_JMP(EOS(STATIC_6082), o19533, java.lang.Object(LinkedList(EOC, 43, o19470))) :|: TRUE && matching1 = 43
f6082_0_toPostfix_JMP(EOS(STATIC_6082), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f6094_0_toPostfix_Load(EOS(STATIC_6094), o19533, java.lang.Object(LinkedList(EOC, 43, o19470))) :|: TRUE && matching1 = 43
f6094_0_toPostfix_Load(EOS(STATIC_6094), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f5679_0_toPostfix_Load(EOS(STATIC_5679), o19533, java.lang.Object(LinkedList(EOC, 43, o19470))) :|: TRUE && matching1 = 43
f5764_0_toPostfix_TableSwitch(EOS(STATIC_5764), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5779_0_toPostfix_New(EOS(STATIC_5779), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44 && matching3 = 44
f5779_0_toPostfix_New(EOS(STATIC_5779), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5793_0_toPostfix_Duplicate(EOS(STATIC_5793), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5793_0_toPostfix_Duplicate(EOS(STATIC_5793), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5806_0_toPostfix_Load(EOS(STATIC_5806), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5806_0_toPostfix_Load(EOS(STATIC_5806), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5819_0_toPostfix_Load(EOS(STATIC_5819), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5819_0_toPostfix_Load(EOS(STATIC_5819), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5830_0_toPostfix_InvokeMethod(EOS(STATIC_5830), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5830_0_toPostfix_InvokeMethod(EOS(STATIC_5830), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5843_0__init__Load(EOS(STATIC_5843), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5843_0__init__Load(EOS(STATIC_5843), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5863_0__init__InvokeMethod(EOS(STATIC_5863), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5863_0__init__InvokeMethod(EOS(STATIC_5863), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5877_0__init__Load(EOS(STATIC_5877), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5877_0__init__Load(EOS(STATIC_5877), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5891_0__init__Load(EOS(STATIC_5891), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5891_0__init__Load(EOS(STATIC_5891), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5905_0__init__FieldAccess(EOS(STATIC_5905), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470, 44) :|: TRUE && matching1 = 44 && matching2 = 44
f5905_0__init__FieldAccess(EOS(STATIC_5905), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5919_0__init__Load(EOS(STATIC_5919), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470) :|: TRUE && matching1 = 44 && matching2 = 44
f5919_0__init__Load(EOS(STATIC_5919), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5932_0__init__Load(EOS(STATIC_5932), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470) :|: TRUE && matching1 = 44
f5932_0__init__Load(EOS(STATIC_5932), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5945_0__init__FieldAccess(EOS(STATIC_5945), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470) :|: TRUE && matching1 = 44
f5945_0__init__FieldAccess(EOS(STATIC_5945), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5959_0__init__Return(EOS(STATIC_5959), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470) :|: TRUE && matching1 = 44
f5959_0__init__Return(EOS(STATIC_5959), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5972_0_toPostfix_Store(EOS(STATIC_5972), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470) :|: TRUE && matching1 = 44
f5972_0_toPostfix_Store(EOS(STATIC_5972), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5985_0_toPostfix_Load(EOS(STATIC_5985), java.lang.Object(LinkedList(EOC, 44, o19533)), o19470) :|: TRUE && matching1 = 44
f5985_0_toPostfix_Load(EOS(STATIC_5985), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5998_0_toPostfix_InvokeMethod(EOS(STATIC_5998), o19470, java.lang.Object(LinkedList(EOC, 44, o19533))) :|: TRUE && matching1 = 44
f5998_0_toPostfix_InvokeMethod(EOS(STATIC_5998), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6010_0_getTail_Load(EOS(STATIC_6010), o19470, java.lang.Object(LinkedList(EOC, 44, o19533))) :|: TRUE && matching1 = 44
f6010_0_getTail_Load(EOS(STATIC_6010), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6031_0_getTail_FieldAccess(EOS(STATIC_6031), o19470, java.lang.Object(LinkedList(EOC, 44, o19533))) :|: TRUE && matching1 = 44
f6031_0_getTail_FieldAccess(EOS(STATIC_6031), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6043_0_getTail_Return(EOS(STATIC_6043), o19470, o19533) :|: TRUE && matching1 = 44
f6043_0_getTail_Return(EOS(STATIC_6043), o19470, o19533) -> f6160_0_getTail_Return(EOS(STATIC_6160), o19470, o19533) :|: TRUE
f5765_0_toPostfix_TableSwitch(EOS(STATIC_5765), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5780_0_toPostfix_New(EOS(STATIC_5780), java.lang.Object(LinkedList(EOC, 45, o19533)), o19470, 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
f5780_0_toPostfix_New(EOS(STATIC_5780), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5794_0_toPostfix_Duplicate(EOS(STATIC_5794), java.lang.Object(LinkedList(EOC, 45, o19533)), o19470, 45, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45
f5794_0_toPostfix_Duplicate(EOS(STATIC_5794), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5807_0_toPostfix_Load(EOS(STATIC_5807), java.lang.Object(LinkedList(EOC, 45, o19533)), o19470, 45, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 0
f5807_0_toPostfix_Load(EOS(STATIC_5807), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5820_0_toPostfix_Load(EOS(STATIC_5820), java.lang.Object(LinkedList(EOC, 45, o19533)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 0 && matching4 = 0
f5820_0_toPostfix_Load(EOS(STATIC_5820), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5831_0_toPostfix_InvokeMethod(EOS(STATIC_5831), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o19470) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
f5831_0_toPostfix_InvokeMethod(EOS(STATIC_5831), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5844_0__init__Load(EOS(STATIC_5844), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o19470) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
f5844_0__init__Load(EOS(STATIC_5844), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5864_0__init__InvokeMethod(EOS(STATIC_5864), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
f5864_0__init__InvokeMethod(EOS(STATIC_5864), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5878_0__init__Load(EOS(STATIC_5878), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o19470) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 && matching5 = 0
f5878_0__init__Load(EOS(STATIC_5878), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5892_0__init__Load(EOS(STATIC_5892), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
f5892_0__init__Load(EOS(STATIC_5892), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5906_0__init__FieldAccess(EOS(STATIC_5906), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), 45) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 && matching5 = 0
f5906_0__init__FieldAccess(EOS(STATIC_5906), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5920_0__init__Load(EOS(STATIC_5920), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 45, NULL)), java.lang.Object(LinkedList(EOC, 45, NULL)), o19470) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 45
f5920_0__init__Load(EOS(STATIC_5920), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5933_0__init__Load(EOS(STATIC_5933), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 45, NULL)), o19470, java.lang.Object(LinkedList(EOC, 45, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
f5933_0__init__Load(EOS(STATIC_5933), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5946_0__init__FieldAccess(EOS(STATIC_5946), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 45, NULL)), java.lang.Object(LinkedList(EOC, 45, NULL)), o19470) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
f5946_0__init__FieldAccess(EOS(STATIC_5946), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5960_0__init__Return(EOS(STATIC_5960), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 45, o19470))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
f5960_0__init__Return(EOS(STATIC_5960), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5973_0_toPostfix_Store(EOS(STATIC_5973), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 45, o19470))) :|: TRUE && matching1 = 45 && matching2 = 45
f5973_0_toPostfix_Store(EOS(STATIC_5973), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5986_0_toPostfix_JMP(EOS(STATIC_5986), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 45, o19470))) :|: TRUE && matching1 = 45 && matching2 = 45
f5986_0_toPostfix_JMP(EOS(STATIC_5986), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5999_0_toPostfix_Load(EOS(STATIC_5999), java.lang.Object(LinkedList(EOC, 45, o19533)), java.lang.Object(LinkedList(EOC, 45, o19470))) :|: TRUE && matching1 = 45 && matching2 = 45
f5999_0_toPostfix_Load(EOS(STATIC_5999), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f6011_0_toPostfix_InvokeMethod(EOS(STATIC_6011), java.lang.Object(LinkedList(EOC, 45, o19470)), java.lang.Object(LinkedList(EOC, 45, o19533))) :|: TRUE && matching1 = 45 && matching2 = 45
f6011_0_toPostfix_InvokeMethod(EOS(STATIC_6011), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6022_0_getTail_Load(EOS(STATIC_6022), java.lang.Object(LinkedList(EOC, 45, o19470)), java.lang.Object(LinkedList(EOC, 45, o19533))) :|: TRUE && matching1 = 45 && matching2 = 45
f6022_0_getTail_Load(EOS(STATIC_6022), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6044_0_getTail_FieldAccess(EOS(STATIC_6044), java.lang.Object(LinkedList(EOC, 45, o19470)), java.lang.Object(LinkedList(EOC, 45, o19533))) :|: TRUE && matching1 = 45 && matching2 = 45
f6044_0_getTail_FieldAccess(EOS(STATIC_6044), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6058_0_getTail_Return(EOS(STATIC_6058), java.lang.Object(LinkedList(EOC, 45, o19470)), o19533) :|: TRUE && matching1 = 45 && matching2 = 45
f6058_0_getTail_Return(EOS(STATIC_6058), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6072_0_toPostfix_Store(EOS(STATIC_6072), java.lang.Object(LinkedList(EOC, 45, o19470)), o19533) :|: TRUE && matching1 = 45
f6072_0_toPostfix_Store(EOS(STATIC_6072), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6084_0_toPostfix_JMP(EOS(STATIC_6084), o19533, java.lang.Object(LinkedList(EOC, 45, o19470))) :|: TRUE && matching1 = 45
f6084_0_toPostfix_JMP(EOS(STATIC_6084), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f6095_0_toPostfix_Load(EOS(STATIC_6095), o19533, java.lang.Object(LinkedList(EOC, 45, o19470))) :|: TRUE && matching1 = 45
f6095_0_toPostfix_Load(EOS(STATIC_6095), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f5679_0_toPostfix_Load(EOS(STATIC_5679), o19533, java.lang.Object(LinkedList(EOC, 45, o19470))) :|: TRUE && matching1 = 45
f5766_0_toPostfix_TableSwitch(EOS(STATIC_5766), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5781_0_toPostfix_New(EOS(STATIC_5781), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46 && matching3 = 46
f5781_0_toPostfix_New(EOS(STATIC_5781), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5795_0_toPostfix_Duplicate(EOS(STATIC_5795), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5795_0_toPostfix_Duplicate(EOS(STATIC_5795), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5808_0_toPostfix_Load(EOS(STATIC_5808), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5808_0_toPostfix_Load(EOS(STATIC_5808), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5821_0_toPostfix_Load(EOS(STATIC_5821), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5821_0_toPostfix_Load(EOS(STATIC_5821), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5832_0_toPostfix_InvokeMethod(EOS(STATIC_5832), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5832_0_toPostfix_InvokeMethod(EOS(STATIC_5832), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5845_0__init__Load(EOS(STATIC_5845), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5845_0__init__Load(EOS(STATIC_5845), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5865_0__init__InvokeMethod(EOS(STATIC_5865), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5865_0__init__InvokeMethod(EOS(STATIC_5865), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5879_0__init__Load(EOS(STATIC_5879), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5879_0__init__Load(EOS(STATIC_5879), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5893_0__init__Load(EOS(STATIC_5893), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5893_0__init__Load(EOS(STATIC_5893), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5907_0__init__FieldAccess(EOS(STATIC_5907), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470, 46) :|: TRUE && matching1 = 46 && matching2 = 46
f5907_0__init__FieldAccess(EOS(STATIC_5907), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5921_0__init__Load(EOS(STATIC_5921), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470) :|: TRUE && matching1 = 46 && matching2 = 46
f5921_0__init__Load(EOS(STATIC_5921), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5934_0__init__Load(EOS(STATIC_5934), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470) :|: TRUE && matching1 = 46
f5934_0__init__Load(EOS(STATIC_5934), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5947_0__init__FieldAccess(EOS(STATIC_5947), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470) :|: TRUE && matching1 = 46
f5947_0__init__FieldAccess(EOS(STATIC_5947), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5961_0__init__Return(EOS(STATIC_5961), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470) :|: TRUE && matching1 = 46
f5961_0__init__Return(EOS(STATIC_5961), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5974_0_toPostfix_Store(EOS(STATIC_5974), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470) :|: TRUE && matching1 = 46
f5974_0_toPostfix_Store(EOS(STATIC_5974), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f5987_0_toPostfix_Load(EOS(STATIC_5987), java.lang.Object(LinkedList(EOC, 46, o19533)), o19470) :|: TRUE && matching1 = 46
f5987_0_toPostfix_Load(EOS(STATIC_5987), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470) -> f6000_0_toPostfix_InvokeMethod(EOS(STATIC_6000), o19470, java.lang.Object(LinkedList(EOC, 46, o19533))) :|: TRUE && matching1 = 46
f6000_0_toPostfix_InvokeMethod(EOS(STATIC_6000), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6012_0_getTail_Load(EOS(STATIC_6012), o19470, java.lang.Object(LinkedList(EOC, 46, o19533))) :|: TRUE && matching1 = 46
f6012_0_getTail_Load(EOS(STATIC_6012), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6032_0_getTail_FieldAccess(EOS(STATIC_6032), o19470, java.lang.Object(LinkedList(EOC, 46, o19533))) :|: TRUE && matching1 = 46
f6032_0_getTail_FieldAccess(EOS(STATIC_6032), o19470, java.lang.Object(LinkedList(EOC, matching1, o19533))) -> f6045_0_getTail_Return(EOS(STATIC_6045), o19470, o19533) :|: TRUE && matching1 = 46
f6045_0_getTail_Return(EOS(STATIC_6045), o19470, o19533) -> f6160_0_getTail_Return(EOS(STATIC_6160), o19470, o19533) :|: TRUE
f5767_0_toPostfix_TableSwitch(EOS(STATIC_5767), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, matching3) -> f5782_0_toPostfix_New(EOS(STATIC_5782), java.lang.Object(LinkedList(EOC, 47, o19533)), o19470, 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
f5782_0_toPostfix_New(EOS(STATIC_5782), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2) -> f5796_0_toPostfix_Duplicate(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, 47, o19533)), o19470, 47, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47
f5796_0_toPostfix_Duplicate(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5809_0_toPostfix_Load(EOS(STATIC_5809), java.lang.Object(LinkedList(EOC, 47, o19533)), o19470, 47, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 0
f5809_0_toPostfix_Load(EOS(STATIC_5809), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5822_0_toPostfix_Load(EOS(STATIC_5822), java.lang.Object(LinkedList(EOC, 47, o19533)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 0 && matching4 = 0
f5822_0_toPostfix_Load(EOS(STATIC_5822), java.lang.Object(LinkedList(EOC, matching1, o19533)), o19470, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5833_0_toPostfix_InvokeMethod(EOS(STATIC_5833), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o19470) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
f5833_0_toPostfix_InvokeMethod(EOS(STATIC_5833), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5846_0__init__Load(EOS(STATIC_5846), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o19470) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
f5846_0__init__Load(EOS(STATIC_5846), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5866_0__init__InvokeMethod(EOS(STATIC_5866), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
f5866_0__init__InvokeMethod(EOS(STATIC_5866), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5880_0__init__Load(EOS(STATIC_5880), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o19470) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 && matching5 = 0
f5880_0__init__Load(EOS(STATIC_5880), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470) -> f5894_0__init__Load(EOS(STATIC_5894), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o19470, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
f5894_0__init__Load(EOS(STATIC_5894), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o19470, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5908_0__init__FieldAccess(EOS(STATIC_5908), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o19470, java.lang.Object(LinkedList(EOC, 0, NULL)), 47) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 && matching5 = 0
f5908_0__init__FieldAccess(EOS(STATIC_5908), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5922_0__init__Load(EOS(STATIC_5922), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 47, NULL)), java.lang.Object(LinkedList(EOC, 47, NULL)), o19470) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 47
f5922_0__init__Load(EOS(STATIC_5922), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5935_0__init__Load(EOS(STATIC_5935), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 47, NULL)), o19470, java.lang.Object(LinkedList(EOC, 47, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
f5935_0__init__Load(EOS(STATIC_5935), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o19470, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5948_0__init__FieldAccess(EOS(STATIC_5948), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 47, NULL)), java.lang.Object(LinkedList(EOC, 47, NULL)), o19470) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
f5948_0__init__FieldAccess(EOS(STATIC_5948), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o19470) -> f5962_0__init__Return(EOS(STATIC_5962), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 47, o19470))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
f5962_0__init__Return(EOS(STATIC_5962), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5975_0_toPostfix_Store(EOS(STATIC_5975), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 47, o19470))) :|: TRUE && matching1 = 47 && matching2 = 47
f5975_0_toPostfix_Store(EOS(STATIC_5975), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f5988_0_toPostfix_JMP(EOS(STATIC_5988), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 47, o19470))) :|: TRUE && matching1 = 47 && matching2 = 47
f5988_0_toPostfix_JMP(EOS(STATIC_5988), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f6001_0_toPostfix_Load(EOS(STATIC_6001), java.lang.Object(LinkedList(EOC, 47, o19533)), java.lang.Object(LinkedList(EOC, 47, o19470))) :|: TRUE && matching1 = 47 && matching2 = 47
f6001_0_toPostfix_Load(EOS(STATIC_6001), java.lang.Object(LinkedList(EOC, matching1, o19533)), java.lang.Object(LinkedList(EOC, matching2, o19470))) -> f6013_0_toPostfix_InvokeMethod(EOS(STATIC_6013), java.lang.Object(LinkedList(EOC, 47, o19470)), java.lang.Object(LinkedList(EOC, 47, o19533))) :|: TRUE && matching1 = 47 && matching2 = 47
f6013_0_toPostfix_InvokeMethod(EOS(STATIC_6013), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6023_0_getTail_Load(EOS(STATIC_6023), java.lang.Object(LinkedList(EOC, 47, o19470)), java.lang.Object(LinkedList(EOC, 47, o19533))) :|: TRUE && matching1 = 47 && matching2 = 47
f6023_0_getTail_Load(EOS(STATIC_6023), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6046_0_getTail_FieldAccess(EOS(STATIC_6046), java.lang.Object(LinkedList(EOC, 47, o19470)), java.lang.Object(LinkedList(EOC, 47, o19533))) :|: TRUE && matching1 = 47 && matching2 = 47
f6046_0_getTail_FieldAccess(EOS(STATIC_6046), java.lang.Object(LinkedList(EOC, matching1, o19470)), java.lang.Object(LinkedList(EOC, matching2, o19533))) -> f6060_0_getTail_Return(EOS(STATIC_6060), java.lang.Object(LinkedList(EOC, 47, o19470)), o19533) :|: TRUE && matching1 = 47 && matching2 = 47
f6060_0_getTail_Return(EOS(STATIC_6060), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6074_0_toPostfix_Store(EOS(STATIC_6074), java.lang.Object(LinkedList(EOC, 47, o19470)), o19533) :|: TRUE && matching1 = 47
f6074_0_toPostfix_Store(EOS(STATIC_6074), java.lang.Object(LinkedList(EOC, matching1, o19470)), o19533) -> f6086_0_toPostfix_JMP(EOS(STATIC_6086), o19533, java.lang.Object(LinkedList(EOC, 47, o19470))) :|: TRUE && matching1 = 47
f6086_0_toPostfix_JMP(EOS(STATIC_6086), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f6096_0_toPostfix_Load(EOS(STATIC_6096), o19533, java.lang.Object(LinkedList(EOC, 47, o19470))) :|: TRUE && matching1 = 47
f6096_0_toPostfix_Load(EOS(STATIC_6096), o19533, java.lang.Object(LinkedList(EOC, matching1, o19470))) -> f5679_0_toPostfix_Load(EOS(STATIC_5679), o19533, java.lang.Object(LinkedList(EOC, 47, o19470))) :|: TRUE && matching1 = 47
f5754_0_toPostfix_TableSwitch(EOS(STATIC_5754), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317, i1317) -> f5768_0_toPostfix_New(EOS(STATIC_5768), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: i1317 > 47
f5768_0_toPostfix_New(EOS(STATIC_5768), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) -> f5759_0_toPostfix_New(EOS(STATIC_5759), java.lang.Object(LinkedList(EOC, i1317, o19533)), o19470, i1317) :|: TRUE
Combined rules. Obtained 10 IRulesP rules:
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, i1317:0, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, o19470:0, o19533:0) :|: i1317:0 < 40
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, i1317:0, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, o19470:0, o19533:0) :|: i1317:0 > 47
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 46, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, 46, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, o19470:0, o19533:0) :|: TRUE
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 41, o19533:0)), java.lang.Object(LinkedList(EOC, i1331:0, o19819:0)), java.lang.Object(LinkedList(EOC, 41, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, o19819:0, o19533:0) :|: TRUE
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 47, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, 47, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, java.lang.Object(LinkedList(EOC, 47, o19470:0)), o19533:0) :|: TRUE
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 45, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, 45, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, java.lang.Object(LinkedList(EOC, 45, o19470:0)), o19533:0) :|: TRUE
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 43, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, 43, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, java.lang.Object(LinkedList(EOC, 43, o19470:0)), o19533:0) :|: TRUE
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 44, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, 44, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, o19470:0, o19533:0) :|: TRUE
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 40, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, 40, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, o19470:0, o19533:0) :|: TRUE
f5683_0_toPostfix_NULL(EOS(STATIC_5683), java.lang.Object(LinkedList(EOC, 42, o19533:0)), o19470:0, java.lang.Object(LinkedList(EOC, 42, o19533:0))) -> f5683_0_toPostfix_NULL(EOS(STATIC_5683), o19533:0, java.lang.Object(LinkedList(EOC, 42, o19470:0)), o19533:0) :|: TRUE
Filtered constant ground arguments:
   f5683_0_toPostfix_NULL(x1, x2, x3, x4) -> f5683_0_toPostfix_NULL(x2, x3, x4)
   EOS(x1) -> EOS
   LinkedList(x1, x2, x3) -> LinkedList(x2, x3)
Filtered duplicate arguments:
   f5683_0_toPostfix_NULL(x1, x2, x3) -> f5683_0_toPostfix_NULL(x2, x3)
Finished conversion. Obtained 10 rules.P rules:
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: i1317:0 < 40
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: i1317:0 > 47
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(cons_46, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: TRUE && cons_46 = 46
f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(i1331:0, o19819:0)), java.lang.Object(LinkedList(cons_41, o19533:0))) -> f5683_0_toPostfix_NULL(o19819:0, o19533:0) :|: TRUE && cons_41 = 41
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(cons_47, o19533:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(47, o19470:0)), o19533:0) :|: TRUE && cons_47 = 47
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(cons_45, o19533:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o19470:0)), o19533:0) :|: TRUE && cons_45 = 45
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(cons_43, o19533:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(43, o19470:0)), o19533:0) :|: TRUE && cons_43 = 43
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(cons_44, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: TRUE && cons_44 = 44
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(cons_40, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: TRUE && cons_40 = 40
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(cons_42, o19533:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(42, o19470:0)), o19533:0) :|: TRUE && cons_42 = 42

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

(14)
Obligation:
Rules:
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: i1317:0 < 40
f5683_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5683_0_toPostfix_NULL(x, x2) :|: x1 > 47
f5683_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5683_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 46
f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5683_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
f5683_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
f5683_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
f5683_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x16)), x18) :|: TRUE && x17 = 43
f5683_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5683_0_toPostfix_NULL(x19, x21) :|: TRUE && x20 = 44
f5683_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5683_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
f5683_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42

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

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

(16)
Obligation:
Rules:
f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: i1317:0 < 40
f5683_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5683_0_toPostfix_NULL(x, x2) :|: x1 > 47
f5683_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5683_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 46
f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5683_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
f5683_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
f5683_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
f5683_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x16)), x18) :|: TRUE && x17 = 43
f5683_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5683_0_toPostfix_NULL(x19, x21) :|: TRUE && x20 = 44
f5683_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5683_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
f5683_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42

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

(17) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: i1317:0 < 40
(2) f5683_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5683_0_toPostfix_NULL(x, x2) :|: x1 > 47
(3) f5683_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5683_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 46
(4) f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5683_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
(5) f5683_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
(6) f5683_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
(7) f5683_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x16)), x18) :|: TRUE && x17 = 43
(8) f5683_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5683_0_toPostfix_NULL(x19, x21) :|: TRUE && x20 = 44
(9) f5683_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5683_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
(10) f5683_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42

Arcs:
(1) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(2) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(3) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(4) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(5) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(6) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(7) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(8) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(9) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(10) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)

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

(18)
Obligation:

Termination digraph:
Nodes:
(1) f5683_0_toPostfix_NULL(o19470:0, java.lang.Object(LinkedList(i1317:0, o19533:0))) -> f5683_0_toPostfix_NULL(o19470:0, o19533:0) :|: i1317:0 < 40
(2) f5683_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5683_0_toPostfix_NULL(x, x2) :|: x1 > 47
(3) f5683_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5683_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 46
(4) f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5683_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
(5) f5683_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
(6) f5683_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
(7) f5683_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x16)), x18) :|: TRUE && x17 = 43
(8) f5683_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5683_0_toPostfix_NULL(x19, x21) :|: TRUE && x20 = 44
(9) f5683_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5683_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
(10) f5683_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42

Arcs:
(1) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(2) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(3) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(4) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(5) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(6) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(7) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(8) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(9) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
(10) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)

This digraph is fully evaluated!

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

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

(20)
Obligation:
Rules:
f5683_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(cons_44, x21:0))) -> f5683_0_toPostfix_NULL(x19:0, x21:0) :|: TRUE && cons_44 = 44
f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(cons_41, x9:0))) -> f5683_0_toPostfix_NULL(x7:0, x9:0) :|: TRUE && cons_41 = 41
f5683_0_toPostfix_NULL(x:0, java.lang.Object(LinkedList(x1:0, x2:0))) -> f5683_0_toPostfix_NULL(x:0, x2:0) :|: x1:0 > 47
f5683_0_toPostfix_NULL(o19470:0:0, java.lang.Object(LinkedList(i1317:0:0, o19533:0:0))) -> f5683_0_toPostfix_NULL(o19470:0:0, o19533:0:0) :|: i1317:0:0 < 40
f5683_0_toPostfix_NULL(x10:0, java.lang.Object(LinkedList(cons_47, x12:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10:0)), x12:0) :|: TRUE && cons_47 = 47
f5683_0_toPostfix_NULL(x13:0, java.lang.Object(LinkedList(cons_45, x15:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13:0)), x15:0) :|: TRUE && cons_45 = 45
f5683_0_toPostfix_NULL(x16:0, java.lang.Object(LinkedList(cons_43, x18:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x16:0)), x18:0) :|: TRUE && cons_43 = 43
f5683_0_toPostfix_NULL(x25:0, java.lang.Object(LinkedList(cons_42, x27:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25:0)), x27:0) :|: TRUE && cons_42 = 42
f5683_0_toPostfix_NULL(x22:0, java.lang.Object(LinkedList(cons_40, x24:0))) -> f5683_0_toPostfix_NULL(x22:0, x24:0) :|: TRUE && cons_40 = 40
f5683_0_toPostfix_NULL(x3:0, java.lang.Object(LinkedList(cons_46, x5:0))) -> f5683_0_toPostfix_NULL(x3:0, x5:0) :|: TRUE && cons_46 = 46

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

(21) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f5683_0_toPostfix_NULL(VARIABLE, VARIABLE)
java.lang.Object(VARIABLE)
LinkedList(VARIABLE, VARIABLE)
Removed predefined arithmetic.
----------------------------------------

(22)
Obligation:
Rules:
f5683_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(predef, x21:0))) -> f5683_0_toPostfix_NULL(x19:0, x21:0)
f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(predef, x9:0))) -> f5683_0_toPostfix_NULL(x7:0, x9:0)
f5683_0_toPostfix_NULL(x:0, java.lang.Object(LinkedList(x1:0, x2:0))) -> f5683_0_toPostfix_NULL(x:0, x2:0)
f5683_0_toPostfix_NULL(x10:0, java.lang.Object(LinkedList(predef, x12:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, x10:0)), x12:0)

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

(23) IRSwTToQDPProof (SOUND)
Removed the integers and created a QDP-Problem.
----------------------------------------

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

   f5683_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(predef, x21:0))) -> f5683_0_toPostfix_NULL(x19:0, x21:0)
   f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(predef, x9:0))) -> f5683_0_toPostfix_NULL(x7:0, x9:0)
   f5683_0_toPostfix_NULL(x:0, java.lang.Object(LinkedList(x1:0, x2:0))) -> f5683_0_toPostfix_NULL(x:0, x2:0)
   f5683_0_toPostfix_NULL(x10:0, java.lang.Object(LinkedList(predef, x12:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, x10:0)), x12:0)

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

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

From the DPs we obtained the following set of size-change graphs:
*f5683_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(predef, x21:0))) -> f5683_0_toPostfix_NULL(x19:0, x21:0)
The graph contains the following edges 1 >= 1, 2 > 2


*f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(predef, x9:0))) -> f5683_0_toPostfix_NULL(x7:0, x9:0)
The graph contains the following edges 1 > 1, 2 > 2


*f5683_0_toPostfix_NULL(x:0, java.lang.Object(LinkedList(x1:0, x2:0))) -> f5683_0_toPostfix_NULL(x:0, x2:0)
The graph contains the following edges 1 >= 1, 2 > 2


*f5683_0_toPostfix_NULL(x10:0, java.lang.Object(LinkedList(predef, x12:0))) -> f5683_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, x10:0)), x12:0)
The graph contains the following edges 2 > 2


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

(26)
YES

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

(27)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Infix2Postfix.main([Ljava/lang/String;)V
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:

*Marker field analysis yielded the following relations that could be markers:

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

(28) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 22 IRulesP rules:
f6524_0_buildExpression_Load(EOS(STATIC_6524), java.lang.Object(ARRAY(i1585)), i1585, i1586, i1586) -> f6527_0_buildExpression_GE(EOS(STATIC_6527), java.lang.Object(ARRAY(i1585)), i1585, i1586, i1586, i1585) :|: TRUE
f6527_0_buildExpression_GE(EOS(STATIC_6527), java.lang.Object(ARRAY(i1585)), i1585, i1586, i1586, i1585) -> f6531_0_buildExpression_GE(EOS(STATIC_6531), java.lang.Object(ARRAY(i1585)), i1585, i1586, i1586, i1585) :|: i1586 < i1585
f6531_0_buildExpression_GE(EOS(STATIC_6531), java.lang.Object(ARRAY(i1585)), i1585, i1586, i1586, i1585) -> f6535_0_buildExpression_New(EOS(STATIC_6535), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: i1586 < i1585
f6535_0_buildExpression_New(EOS(STATIC_6535), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6539_0_buildExpression_Duplicate(EOS(STATIC_6539), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6539_0_buildExpression_Duplicate(EOS(STATIC_6539), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6543_0_buildExpression_ConstantStackPush(EOS(STATIC_6543), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6543_0_buildExpression_ConstantStackPush(EOS(STATIC_6543), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6547_0_buildExpression_Load(EOS(STATIC_6547), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6547_0_buildExpression_Load(EOS(STATIC_6547), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6551_0_buildExpression_InvokeMethod(EOS(STATIC_6551), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6551_0_buildExpression_InvokeMethod(EOS(STATIC_6551), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6553_0__init__Load(EOS(STATIC_6553), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6553_0__init__Load(EOS(STATIC_6553), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6559_0__init__InvokeMethod(EOS(STATIC_6559), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6559_0__init__InvokeMethod(EOS(STATIC_6559), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6562_0__init__Load(EOS(STATIC_6562), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6562_0__init__Load(EOS(STATIC_6562), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6565_0__init__Load(EOS(STATIC_6565), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6565_0__init__Load(EOS(STATIC_6565), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6571_0__init__FieldAccess(EOS(STATIC_6571), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6571_0__init__FieldAccess(EOS(STATIC_6571), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6576_0__init__Load(EOS(STATIC_6576), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6576_0__init__Load(EOS(STATIC_6576), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6581_0__init__Load(EOS(STATIC_6581), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6581_0__init__Load(EOS(STATIC_6581), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6585_0__init__FieldAccess(EOS(STATIC_6585), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6585_0__init__FieldAccess(EOS(STATIC_6585), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6588_0__init__Return(EOS(STATIC_6588), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6588_0__init__Return(EOS(STATIC_6588), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6591_0_buildExpression_Store(EOS(STATIC_6591), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6591_0_buildExpression_Store(EOS(STATIC_6591), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6594_0_buildExpression_Inc(EOS(STATIC_6594), java.lang.Object(ARRAY(i1585)), i1585, i1586) :|: TRUE
f6594_0_buildExpression_Inc(EOS(STATIC_6594), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6597_0_buildExpression_JMP(EOS(STATIC_6597), java.lang.Object(ARRAY(i1585)), i1585, i1586 + 1) :|: TRUE
f6597_0_buildExpression_JMP(EOS(STATIC_6597), java.lang.Object(ARRAY(i1585)), i1585, i1591) -> f6600_0_buildExpression_Load(EOS(STATIC_6600), java.lang.Object(ARRAY(i1585)), i1585, i1591) :|: TRUE
f6600_0_buildExpression_Load(EOS(STATIC_6600), java.lang.Object(ARRAY(i1585)), i1585, i1591) -> f6521_0_buildExpression_Load(EOS(STATIC_6521), java.lang.Object(ARRAY(i1585)), i1585, i1591) :|: TRUE
f6521_0_buildExpression_Load(EOS(STATIC_6521), java.lang.Object(ARRAY(i1585)), i1585, i1586) -> f6524_0_buildExpression_Load(EOS(STATIC_6524), java.lang.Object(ARRAY(i1585)), i1585, i1586, i1586) :|: TRUE
Combined rules. Obtained 1 IRulesP rules:
f6524_0_buildExpression_Load(EOS(STATIC_6524), java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0, i1586:0) -> f6524_0_buildExpression_Load(EOS(STATIC_6524), java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0 + 1, i1586:0 + 1) :|: i1586:0 < i1585:0
Filtered constant ground arguments:
   f6524_0_buildExpression_Load(x1, x2, x3, x4, x5) -> f6524_0_buildExpression_Load(x2, x3, x4, x5)
   EOS(x1) -> EOS
Filtered duplicate arguments:
   f6524_0_buildExpression_Load(x1, x2, x3, x4) -> f6524_0_buildExpression_Load(x1, x2, x4)
Finished conversion. Obtained 1 rules.P rules:
f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0, i1585:0) -> f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0 + 1, i1585:0) :|: i1586:0 < i1585:0

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

(29)
Obligation:
Rules:
f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0, i1585:0) -> f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0 + 1, i1585:0) :|: i1586:0 < i1585:0

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

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

(31)
Obligation:
Rules:
f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0, i1585:0) -> f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, arith, i1585:0) :|: i1586:0 < i1585:0 && arith = i1586:0 + 1

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

(32) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0, i1585:0) -> f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, arith, i1585:0) :|: i1586:0 < i1585:0 && arith = i1586:0 + 1

Arcs:
(1) -> (1)

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

(33)
Obligation:

Termination digraph:
Nodes:
(1) f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, i1586:0, i1585:0) -> f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0)), i1585:0, arith, i1585:0) :|: i1586:0 < i1585:0 && arith = i1586:0 + 1

Arcs:
(1) -> (1)

This digraph is fully evaluated!

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

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

(35)
Obligation:
Rules:
f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0:0)), i1585:0:0, i1586:0:0, i1585:0:0) -> f6524_0_buildExpression_Load(java.lang.Object(ARRAY(i1585:0:0)), i1585:0:0, i1586:0:0 + 1, i1585:0:0) :|: i1586:0:0 < i1585:0:0

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

(36) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f6524_0_buildExpression_Load(VARIABLE, INTEGER, INTEGER, INTEGER)
java.lang.Object(VARIABLE)
ARRAY(INTEGER)
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(37)
Obligation:
Rules:
f6524_0_buildExpression_Load(c, i1585:0:0, i1586:0:0, i1585:0:0) -> f6524_0_buildExpression_Load(c1, i1585:0:0, c2, i1585:0:0) :|: c2 = i1586:0:0 + 1 && (c1 = 0 && c = 0) && i1586:0:0 < i1585:0:0

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

(38) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f6524_0_buildExpression_Load(x, x1, x2, x3)] = c*x - x2 + x3

The following rules are decreasing:
f6524_0_buildExpression_Load(c, i1585:0:0, i1586:0:0, i1585:0:0) -> f6524_0_buildExpression_Load(c1, i1585:0:0, c2, i1585:0:0) :|: c2 = i1586:0:0 + 1 && (c1 = 0 && c = 0) && i1586:0:0 < i1585:0:0
The following rules are bounded:
f6524_0_buildExpression_Load(c, i1585:0:0, i1586:0:0, i1585:0:0) -> f6524_0_buildExpression_Load(c1, i1585:0:0, c2, i1585:0:0) :|: c2 = i1586:0:0 + 1 && (c1 = 0 && c = 0) && i1586:0:0 < i1585:0:0

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

(39)
YES

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

(40)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Infix2Postfix.main([Ljava/lang/String;)V
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:

*Marker field analysis yielded the following relations that could be markers:

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

(41) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 211 IRulesP rules:
f6241_0_buildExpression_Load(EOS(STATIC_6241), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) -> f6243_0_buildExpression_GT(EOS(STATIC_6243), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) :|: TRUE
f6243_0_buildExpression_GT(EOS(STATIC_6243), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) -> f6247_0_buildExpression_GT(EOS(STATIC_6247), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) :|: i1486 <= i1485
f6247_0_buildExpression_GT(EOS(STATIC_6247), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) -> f6250_0_buildExpression_Load(EOS(STATIC_6250), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: i1486 <= i1485
f6250_0_buildExpression_Load(EOS(STATIC_6250), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6254_0_buildExpression_Load(EOS(STATIC_6254), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) :|: TRUE
f6254_0_buildExpression_Load(EOS(STATIC_6254), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) -> f6258_0_buildExpression_ConstantStackPush(EOS(STATIC_6258), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) :|: TRUE
f6258_0_buildExpression_ConstantStackPush(EOS(STATIC_6258), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) -> f6262_0_buildExpression_IntArithmetic(EOS(STATIC_6262), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485, 1) :|: TRUE
f6262_0_buildExpression_IntArithmetic(EOS(STATIC_6262), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485, matching1) -> f6266_0_buildExpression_GT(EOS(STATIC_6266), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485 - 1) :|: i1485 > 0 && matching1 = 1
f6266_0_buildExpression_GT(EOS(STATIC_6266), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1494) -> f6270_0_buildExpression_GT(EOS(STATIC_6270), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1494) :|: i1486 > i1494
f6266_0_buildExpression_GT(EOS(STATIC_6266), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1494) -> f6271_0_buildExpression_GT(EOS(STATIC_6271), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1494) :|: i1486 <= i1494
f6270_0_buildExpression_GT(EOS(STATIC_6270), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1494) -> f6275_0_buildExpression_New(EOS(STATIC_6275), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: i1486 > i1494
f6275_0_buildExpression_New(EOS(STATIC_6275), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6279_0_buildExpression_Duplicate(EOS(STATIC_6279), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6279_0_buildExpression_Duplicate(EOS(STATIC_6279), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6284_0_buildExpression_ConstantStackPush(EOS(STATIC_6284), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6284_0_buildExpression_ConstantStackPush(EOS(STATIC_6284), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6289_0_buildExpression_Load(EOS(STATIC_6289), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6289_0_buildExpression_Load(EOS(STATIC_6289), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6294_0_buildExpression_InvokeMethod(EOS(STATIC_6294), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6294_0_buildExpression_InvokeMethod(EOS(STATIC_6294), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6299_0__init__Load(EOS(STATIC_6299), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6299_0__init__Load(EOS(STATIC_6299), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6305_0__init__InvokeMethod(EOS(STATIC_6305), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6305_0__init__InvokeMethod(EOS(STATIC_6305), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6308_0__init__Load(EOS(STATIC_6308), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6308_0__init__Load(EOS(STATIC_6308), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6312_0__init__Load(EOS(STATIC_6312), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6312_0__init__Load(EOS(STATIC_6312), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6319_0__init__FieldAccess(EOS(STATIC_6319), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6319_0__init__FieldAccess(EOS(STATIC_6319), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6325_0__init__Load(EOS(STATIC_6325), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6325_0__init__Load(EOS(STATIC_6325), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6331_0__init__Load(EOS(STATIC_6331), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6331_0__init__Load(EOS(STATIC_6331), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6336_0__init__FieldAccess(EOS(STATIC_6336), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6336_0__init__FieldAccess(EOS(STATIC_6336), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6340_0__init__Return(EOS(STATIC_6340), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6340_0__init__Return(EOS(STATIC_6340), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6344_0_buildExpression_Store(EOS(STATIC_6344), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6344_0_buildExpression_Store(EOS(STATIC_6344), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6348_0_buildExpression_New(EOS(STATIC_6348), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6348_0_buildExpression_New(EOS(STATIC_6348), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6352_0_buildExpression_Duplicate(EOS(STATIC_6352), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6352_0_buildExpression_Duplicate(EOS(STATIC_6352), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6357_0_buildExpression_ConstantStackPush(EOS(STATIC_6357), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6357_0_buildExpression_ConstantStackPush(EOS(STATIC_6357), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6361_0_buildExpression_Load(EOS(STATIC_6361), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6361_0_buildExpression_Load(EOS(STATIC_6361), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6365_0_buildExpression_InvokeMethod(EOS(STATIC_6365), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6365_0_buildExpression_InvokeMethod(EOS(STATIC_6365), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6369_0__init__Load(EOS(STATIC_6369), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6369_0__init__Load(EOS(STATIC_6369), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6377_0__init__InvokeMethod(EOS(STATIC_6377), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6377_0__init__InvokeMethod(EOS(STATIC_6377), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6382_0__init__Load(EOS(STATIC_6382), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6382_0__init__Load(EOS(STATIC_6382), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6387_0__init__Load(EOS(STATIC_6387), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6387_0__init__Load(EOS(STATIC_6387), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6392_0__init__FieldAccess(EOS(STATIC_6392), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6392_0__init__FieldAccess(EOS(STATIC_6392), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6396_0__init__Load(EOS(STATIC_6396), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6396_0__init__Load(EOS(STATIC_6396), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6399_0__init__Load(EOS(STATIC_6399), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6399_0__init__Load(EOS(STATIC_6399), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6402_0__init__FieldAccess(EOS(STATIC_6402), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6402_0__init__FieldAccess(EOS(STATIC_6402), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6405_0__init__Return(EOS(STATIC_6405), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6405_0__init__Return(EOS(STATIC_6405), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6408_0_buildExpression_Store(EOS(STATIC_6408), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6408_0_buildExpression_Store(EOS(STATIC_6408), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6414_0_buildExpression_New(EOS(STATIC_6414), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6414_0_buildExpression_New(EOS(STATIC_6414), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6419_0_buildExpression_Duplicate(EOS(STATIC_6419), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6419_0_buildExpression_Duplicate(EOS(STATIC_6419), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6424_0_buildExpression_ConstantStackPush(EOS(STATIC_6424), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6424_0_buildExpression_ConstantStackPush(EOS(STATIC_6424), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6428_0_buildExpression_Load(EOS(STATIC_6428), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6428_0_buildExpression_Load(EOS(STATIC_6428), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6431_0_buildExpression_InvokeMethod(EOS(STATIC_6431), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6431_0_buildExpression_InvokeMethod(EOS(STATIC_6431), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6434_0__init__Load(EOS(STATIC_6434), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6434_0__init__Load(EOS(STATIC_6434), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6438_0__init__InvokeMethod(EOS(STATIC_6438), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6438_0__init__InvokeMethod(EOS(STATIC_6438), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6442_0__init__Load(EOS(STATIC_6442), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6442_0__init__Load(EOS(STATIC_6442), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6445_0__init__Load(EOS(STATIC_6445), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6445_0__init__Load(EOS(STATIC_6445), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6448_0__init__FieldAccess(EOS(STATIC_6448), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6448_0__init__FieldAccess(EOS(STATIC_6448), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6452_0__init__Load(EOS(STATIC_6452), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6452_0__init__Load(EOS(STATIC_6452), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6456_0__init__Load(EOS(STATIC_6456), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6456_0__init__Load(EOS(STATIC_6456), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6460_0__init__FieldAccess(EOS(STATIC_6460), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6460_0__init__FieldAccess(EOS(STATIC_6460), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6464_0__init__Return(EOS(STATIC_6464), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6464_0__init__Return(EOS(STATIC_6464), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6468_0_buildExpression_Store(EOS(STATIC_6468), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6468_0_buildExpression_Store(EOS(STATIC_6468), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6472_0_buildExpression_New(EOS(STATIC_6472), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6472_0_buildExpression_New(EOS(STATIC_6472), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6476_0_buildExpression_Duplicate(EOS(STATIC_6476), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6476_0_buildExpression_Duplicate(EOS(STATIC_6476), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6479_0_buildExpression_ConstantStackPush(EOS(STATIC_6479), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6479_0_buildExpression_ConstantStackPush(EOS(STATIC_6479), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6482_0_buildExpression_Load(EOS(STATIC_6482), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6482_0_buildExpression_Load(EOS(STATIC_6482), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6485_0_buildExpression_InvokeMethod(EOS(STATIC_6485), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6485_0_buildExpression_InvokeMethod(EOS(STATIC_6485), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6488_0__init__Load(EOS(STATIC_6488), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6488_0__init__Load(EOS(STATIC_6488), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6497_0__init__InvokeMethod(EOS(STATIC_6497), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6497_0__init__InvokeMethod(EOS(STATIC_6497), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6502_0__init__Load(EOS(STATIC_6502), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6502_0__init__Load(EOS(STATIC_6502), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6506_0__init__Load(EOS(STATIC_6506), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6506_0__init__Load(EOS(STATIC_6506), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6509_0__init__FieldAccess(EOS(STATIC_6509), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6509_0__init__FieldAccess(EOS(STATIC_6509), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6512_0__init__Load(EOS(STATIC_6512), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6512_0__init__Load(EOS(STATIC_6512), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6515_0__init__Load(EOS(STATIC_6515), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6515_0__init__Load(EOS(STATIC_6515), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6518_0__init__FieldAccess(EOS(STATIC_6518), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6518_0__init__FieldAccess(EOS(STATIC_6518), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6522_0__init__Return(EOS(STATIC_6522), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6522_0__init__Return(EOS(STATIC_6522), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6525_0_buildExpression_Store(EOS(STATIC_6525), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6525_0_buildExpression_Store(EOS(STATIC_6525), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6528_0_buildExpression_New(EOS(STATIC_6528), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6528_0_buildExpression_New(EOS(STATIC_6528), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6532_0_buildExpression_Duplicate(EOS(STATIC_6532), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6532_0_buildExpression_Duplicate(EOS(STATIC_6532), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6536_0_buildExpression_ConstantStackPush(EOS(STATIC_6536), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6536_0_buildExpression_ConstantStackPush(EOS(STATIC_6536), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6540_0_buildExpression_Load(EOS(STATIC_6540), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6540_0_buildExpression_Load(EOS(STATIC_6540), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6544_0_buildExpression_InvokeMethod(EOS(STATIC_6544), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6544_0_buildExpression_InvokeMethod(EOS(STATIC_6544), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6548_0__init__Load(EOS(STATIC_6548), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6548_0__init__Load(EOS(STATIC_6548), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6554_0__init__InvokeMethod(EOS(STATIC_6554), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6554_0__init__InvokeMethod(EOS(STATIC_6554), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6557_0__init__Load(EOS(STATIC_6557), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6557_0__init__Load(EOS(STATIC_6557), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6560_0__init__Load(EOS(STATIC_6560), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6560_0__init__Load(EOS(STATIC_6560), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6563_0__init__FieldAccess(EOS(STATIC_6563), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6563_0__init__FieldAccess(EOS(STATIC_6563), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6566_0__init__Load(EOS(STATIC_6566), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6566_0__init__Load(EOS(STATIC_6566), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6572_0__init__Load(EOS(STATIC_6572), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6572_0__init__Load(EOS(STATIC_6572), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6577_0__init__FieldAccess(EOS(STATIC_6577), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6577_0__init__FieldAccess(EOS(STATIC_6577), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6582_0__init__Return(EOS(STATIC_6582), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6582_0__init__Return(EOS(STATIC_6582), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6586_0_buildExpression_Store(EOS(STATIC_6586), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6586_0_buildExpression_Store(EOS(STATIC_6586), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6589_0_buildExpression_Load(EOS(STATIC_6589), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6589_0_buildExpression_Load(EOS(STATIC_6589), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6592_0_buildExpression_Load(EOS(STATIC_6592), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) :|: TRUE
f6592_0_buildExpression_Load(EOS(STATIC_6592), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) -> f6595_0_buildExpression_ConstantStackPush(EOS(STATIC_6595), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) :|: TRUE
f6595_0_buildExpression_ConstantStackPush(EOS(STATIC_6595), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) -> f6598_0_buildExpression_IntArithmetic(EOS(STATIC_6598), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485, 1) :|: TRUE
f6598_0_buildExpression_IntArithmetic(EOS(STATIC_6598), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485, matching1) -> f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485 - 1) :|: i1485 > 0 && matching1 = 1
f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1594) -> f6603_0_buildExpression_GT(EOS(STATIC_6603), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1594) :|: i1486 > i1594
f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1594) -> f6604_0_buildExpression_GT(EOS(STATIC_6604), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1594) :|: i1486 <= i1594
f6603_0_buildExpression_GT(EOS(STATIC_6603), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1594) -> f6606_0_buildExpression_Inc(EOS(STATIC_6606), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: i1486 > i1594
f6606_0_buildExpression_Inc(EOS(STATIC_6606), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6608_0_buildExpression_JMP(EOS(STATIC_6608), java.lang.Object(ARRAY(i1485)), i1485, i1486 + 1) :|: TRUE
f6608_0_buildExpression_JMP(EOS(STATIC_6608), java.lang.Object(ARRAY(i1485)), i1485, i1595) -> f6611_0_buildExpression_Load(EOS(STATIC_6611), java.lang.Object(ARRAY(i1485)), i1485, i1595) :|: TRUE
f6611_0_buildExpression_Load(EOS(STATIC_6611), java.lang.Object(ARRAY(i1485)), i1485, i1595) -> f6239_0_buildExpression_Load(EOS(STATIC_6239), java.lang.Object(ARRAY(i1485)), i1485, i1595) :|: TRUE
f6239_0_buildExpression_Load(EOS(STATIC_6239), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6241_0_buildExpression_Load(EOS(STATIC_6241), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) :|: TRUE
f6604_0_buildExpression_GT(EOS(STATIC_6604), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1594) -> f6607_0_buildExpression_New(EOS(STATIC_6607), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: i1486 <= i1594
f6607_0_buildExpression_New(EOS(STATIC_6607), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6609_0_buildExpression_Duplicate(EOS(STATIC_6609), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6609_0_buildExpression_Duplicate(EOS(STATIC_6609), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6612_0_buildExpression_ConstantStackPush(EOS(STATIC_6612), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6612_0_buildExpression_ConstantStackPush(EOS(STATIC_6612), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6614_0_buildExpression_Load(EOS(STATIC_6614), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6614_0_buildExpression_Load(EOS(STATIC_6614), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6616_0_buildExpression_InvokeMethod(EOS(STATIC_6616), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6616_0_buildExpression_InvokeMethod(EOS(STATIC_6616), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6618_0__init__Load(EOS(STATIC_6618), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6618_0__init__Load(EOS(STATIC_6618), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6621_0__init__InvokeMethod(EOS(STATIC_6621), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6621_0__init__InvokeMethod(EOS(STATIC_6621), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6623_0__init__Load(EOS(STATIC_6623), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6623_0__init__Load(EOS(STATIC_6623), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6625_0__init__Load(EOS(STATIC_6625), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6625_0__init__Load(EOS(STATIC_6625), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6627_0__init__FieldAccess(EOS(STATIC_6627), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6627_0__init__FieldAccess(EOS(STATIC_6627), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6629_0__init__Load(EOS(STATIC_6629), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6629_0__init__Load(EOS(STATIC_6629), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6631_0__init__Load(EOS(STATIC_6631), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6631_0__init__Load(EOS(STATIC_6631), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6633_0__init__FieldAccess(EOS(STATIC_6633), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6633_0__init__FieldAccess(EOS(STATIC_6633), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6635_0__init__Return(EOS(STATIC_6635), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6635_0__init__Return(EOS(STATIC_6635), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6637_0_buildExpression_Store(EOS(STATIC_6637), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6637_0_buildExpression_Store(EOS(STATIC_6637), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6638_0_buildExpression_Inc(EOS(STATIC_6638), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6638_0_buildExpression_Inc(EOS(STATIC_6638), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6639_0_buildExpression_JMP(EOS(STATIC_6639), java.lang.Object(ARRAY(i1485)), i1485, i1486 + 1) :|: TRUE
f6639_0_buildExpression_JMP(EOS(STATIC_6639), java.lang.Object(ARRAY(i1485)), i1485, i1600) -> f6640_0_buildExpression_Load(EOS(STATIC_6640), java.lang.Object(ARRAY(i1485)), i1485, i1600) :|: TRUE
f6640_0_buildExpression_Load(EOS(STATIC_6640), java.lang.Object(ARRAY(i1485)), i1485, i1600) -> f6239_0_buildExpression_Load(EOS(STATIC_6239), java.lang.Object(ARRAY(i1485)), i1485, i1600) :|: TRUE
f6271_0_buildExpression_GT(EOS(STATIC_6271), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1494) -> f6276_0_buildExpression_New(EOS(STATIC_6276), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: i1486 <= i1494
f6276_0_buildExpression_New(EOS(STATIC_6276), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6280_0_buildExpression_Duplicate(EOS(STATIC_6280), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6280_0_buildExpression_Duplicate(EOS(STATIC_6280), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6285_0_buildExpression_ConstantStackPush(EOS(STATIC_6285), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6285_0_buildExpression_ConstantStackPush(EOS(STATIC_6285), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6290_0_buildExpression_Load(EOS(STATIC_6290), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6290_0_buildExpression_Load(EOS(STATIC_6290), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6295_0_buildExpression_InvokeMethod(EOS(STATIC_6295), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6295_0_buildExpression_InvokeMethod(EOS(STATIC_6295), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6300_0__init__Load(EOS(STATIC_6300), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6300_0__init__Load(EOS(STATIC_6300), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6306_0__init__InvokeMethod(EOS(STATIC_6306), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6306_0__init__InvokeMethod(EOS(STATIC_6306), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6309_0__init__Load(EOS(STATIC_6309), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6309_0__init__Load(EOS(STATIC_6309), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6313_0__init__Load(EOS(STATIC_6313), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6313_0__init__Load(EOS(STATIC_6313), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6320_0__init__FieldAccess(EOS(STATIC_6320), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6320_0__init__FieldAccess(EOS(STATIC_6320), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6326_0__init__Load(EOS(STATIC_6326), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6326_0__init__Load(EOS(STATIC_6326), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6332_0__init__Load(EOS(STATIC_6332), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6332_0__init__Load(EOS(STATIC_6332), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6337_0__init__FieldAccess(EOS(STATIC_6337), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6337_0__init__FieldAccess(EOS(STATIC_6337), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6341_0__init__Return(EOS(STATIC_6341), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6341_0__init__Return(EOS(STATIC_6341), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6345_0_buildExpression_Store(EOS(STATIC_6345), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6345_0_buildExpression_Store(EOS(STATIC_6345), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6349_0_buildExpression_New(EOS(STATIC_6349), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6349_0_buildExpression_New(EOS(STATIC_6349), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6353_0_buildExpression_Duplicate(EOS(STATIC_6353), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6353_0_buildExpression_Duplicate(EOS(STATIC_6353), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6358_0_buildExpression_ConstantStackPush(EOS(STATIC_6358), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6358_0_buildExpression_ConstantStackPush(EOS(STATIC_6358), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6362_0_buildExpression_Load(EOS(STATIC_6362), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6362_0_buildExpression_Load(EOS(STATIC_6362), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6366_0_buildExpression_InvokeMethod(EOS(STATIC_6366), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6366_0_buildExpression_InvokeMethod(EOS(STATIC_6366), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6370_0__init__Load(EOS(STATIC_6370), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6370_0__init__Load(EOS(STATIC_6370), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6378_0__init__InvokeMethod(EOS(STATIC_6378), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6378_0__init__InvokeMethod(EOS(STATIC_6378), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6383_0__init__Load(EOS(STATIC_6383), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6383_0__init__Load(EOS(STATIC_6383), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6388_0__init__Load(EOS(STATIC_6388), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6388_0__init__Load(EOS(STATIC_6388), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6393_0__init__FieldAccess(EOS(STATIC_6393), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6393_0__init__FieldAccess(EOS(STATIC_6393), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6397_0__init__Load(EOS(STATIC_6397), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6397_0__init__Load(EOS(STATIC_6397), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6400_0__init__Load(EOS(STATIC_6400), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6400_0__init__Load(EOS(STATIC_6400), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6403_0__init__FieldAccess(EOS(STATIC_6403), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6403_0__init__FieldAccess(EOS(STATIC_6403), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6406_0__init__Return(EOS(STATIC_6406), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6406_0__init__Return(EOS(STATIC_6406), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6409_0_buildExpression_Store(EOS(STATIC_6409), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6409_0_buildExpression_Store(EOS(STATIC_6409), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6415_0_buildExpression_New(EOS(STATIC_6415), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6415_0_buildExpression_New(EOS(STATIC_6415), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6420_0_buildExpression_Duplicate(EOS(STATIC_6420), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6420_0_buildExpression_Duplicate(EOS(STATIC_6420), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6425_0_buildExpression_ConstantStackPush(EOS(STATIC_6425), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6425_0_buildExpression_ConstantStackPush(EOS(STATIC_6425), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6429_0_buildExpression_Load(EOS(STATIC_6429), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6429_0_buildExpression_Load(EOS(STATIC_6429), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6432_0_buildExpression_InvokeMethod(EOS(STATIC_6432), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6432_0_buildExpression_InvokeMethod(EOS(STATIC_6432), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6435_0__init__Load(EOS(STATIC_6435), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6435_0__init__Load(EOS(STATIC_6435), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6439_0__init__InvokeMethod(EOS(STATIC_6439), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6439_0__init__InvokeMethod(EOS(STATIC_6439), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6443_0__init__Load(EOS(STATIC_6443), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6443_0__init__Load(EOS(STATIC_6443), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6446_0__init__Load(EOS(STATIC_6446), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6446_0__init__Load(EOS(STATIC_6446), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6449_0__init__FieldAccess(EOS(STATIC_6449), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6449_0__init__FieldAccess(EOS(STATIC_6449), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6453_0__init__Load(EOS(STATIC_6453), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6453_0__init__Load(EOS(STATIC_6453), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6457_0__init__Load(EOS(STATIC_6457), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6457_0__init__Load(EOS(STATIC_6457), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6461_0__init__FieldAccess(EOS(STATIC_6461), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6461_0__init__FieldAccess(EOS(STATIC_6461), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6465_0__init__Return(EOS(STATIC_6465), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6465_0__init__Return(EOS(STATIC_6465), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6469_0_buildExpression_Store(EOS(STATIC_6469), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6469_0_buildExpression_Store(EOS(STATIC_6469), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6473_0_buildExpression_New(EOS(STATIC_6473), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6473_0_buildExpression_New(EOS(STATIC_6473), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6477_0_buildExpression_Duplicate(EOS(STATIC_6477), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6477_0_buildExpression_Duplicate(EOS(STATIC_6477), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6480_0_buildExpression_ConstantStackPush(EOS(STATIC_6480), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6480_0_buildExpression_ConstantStackPush(EOS(STATIC_6480), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6483_0_buildExpression_Load(EOS(STATIC_6483), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6483_0_buildExpression_Load(EOS(STATIC_6483), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6486_0_buildExpression_InvokeMethod(EOS(STATIC_6486), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6486_0_buildExpression_InvokeMethod(EOS(STATIC_6486), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6489_0__init__Load(EOS(STATIC_6489), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6489_0__init__Load(EOS(STATIC_6489), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6498_0__init__InvokeMethod(EOS(STATIC_6498), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6498_0__init__InvokeMethod(EOS(STATIC_6498), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6503_0__init__Load(EOS(STATIC_6503), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6503_0__init__Load(EOS(STATIC_6503), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6507_0__init__Load(EOS(STATIC_6507), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6507_0__init__Load(EOS(STATIC_6507), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6510_0__init__FieldAccess(EOS(STATIC_6510), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6510_0__init__FieldAccess(EOS(STATIC_6510), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6513_0__init__Load(EOS(STATIC_6513), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6513_0__init__Load(EOS(STATIC_6513), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6516_0__init__Load(EOS(STATIC_6516), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6516_0__init__Load(EOS(STATIC_6516), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6519_0__init__FieldAccess(EOS(STATIC_6519), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6519_0__init__FieldAccess(EOS(STATIC_6519), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6523_0__init__Return(EOS(STATIC_6523), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6523_0__init__Return(EOS(STATIC_6523), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6526_0_buildExpression_Store(EOS(STATIC_6526), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6526_0_buildExpression_Store(EOS(STATIC_6526), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6529_0_buildExpression_New(EOS(STATIC_6529), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6529_0_buildExpression_New(EOS(STATIC_6529), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6533_0_buildExpression_Duplicate(EOS(STATIC_6533), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6533_0_buildExpression_Duplicate(EOS(STATIC_6533), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6537_0_buildExpression_ConstantStackPush(EOS(STATIC_6537), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6537_0_buildExpression_ConstantStackPush(EOS(STATIC_6537), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6541_0_buildExpression_Load(EOS(STATIC_6541), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6541_0_buildExpression_Load(EOS(STATIC_6541), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6545_0_buildExpression_InvokeMethod(EOS(STATIC_6545), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6545_0_buildExpression_InvokeMethod(EOS(STATIC_6545), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6549_0__init__Load(EOS(STATIC_6549), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6549_0__init__Load(EOS(STATIC_6549), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6555_0__init__InvokeMethod(EOS(STATIC_6555), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6555_0__init__InvokeMethod(EOS(STATIC_6555), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6558_0__init__Load(EOS(STATIC_6558), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6558_0__init__Load(EOS(STATIC_6558), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6561_0__init__Load(EOS(STATIC_6561), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6561_0__init__Load(EOS(STATIC_6561), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6564_0__init__FieldAccess(EOS(STATIC_6564), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6564_0__init__FieldAccess(EOS(STATIC_6564), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6567_0__init__Load(EOS(STATIC_6567), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6567_0__init__Load(EOS(STATIC_6567), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6573_0__init__Load(EOS(STATIC_6573), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6573_0__init__Load(EOS(STATIC_6573), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6578_0__init__FieldAccess(EOS(STATIC_6578), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6578_0__init__FieldAccess(EOS(STATIC_6578), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6583_0__init__Return(EOS(STATIC_6583), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6583_0__init__Return(EOS(STATIC_6583), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6587_0_buildExpression_Store(EOS(STATIC_6587), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6587_0_buildExpression_Store(EOS(STATIC_6587), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6590_0_buildExpression_New(EOS(STATIC_6590), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6590_0_buildExpression_New(EOS(STATIC_6590), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6593_0_buildExpression_Duplicate(EOS(STATIC_6593), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6593_0_buildExpression_Duplicate(EOS(STATIC_6593), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6596_0_buildExpression_ConstantStackPush(EOS(STATIC_6596), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6596_0_buildExpression_ConstantStackPush(EOS(STATIC_6596), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6599_0_buildExpression_Load(EOS(STATIC_6599), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6599_0_buildExpression_Load(EOS(STATIC_6599), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6602_0_buildExpression_InvokeMethod(EOS(STATIC_6602), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6602_0_buildExpression_InvokeMethod(EOS(STATIC_6602), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6605_0__init__Load(EOS(STATIC_6605), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6605_0__init__Load(EOS(STATIC_6605), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6610_0__init__InvokeMethod(EOS(STATIC_6610), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6610_0__init__InvokeMethod(EOS(STATIC_6610), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6613_0__init__Load(EOS(STATIC_6613), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6613_0__init__Load(EOS(STATIC_6613), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6615_0__init__Load(EOS(STATIC_6615), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6615_0__init__Load(EOS(STATIC_6615), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6617_0__init__FieldAccess(EOS(STATIC_6617), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6617_0__init__FieldAccess(EOS(STATIC_6617), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6619_0__init__Load(EOS(STATIC_6619), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6619_0__init__Load(EOS(STATIC_6619), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6620_0__init__Load(EOS(STATIC_6620), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6620_0__init__Load(EOS(STATIC_6620), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6622_0__init__FieldAccess(EOS(STATIC_6622), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6622_0__init__FieldAccess(EOS(STATIC_6622), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6624_0__init__Return(EOS(STATIC_6624), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6624_0__init__Return(EOS(STATIC_6624), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6626_0_buildExpression_Store(EOS(STATIC_6626), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6626_0_buildExpression_Store(EOS(STATIC_6626), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6628_0_buildExpression_Load(EOS(STATIC_6628), java.lang.Object(ARRAY(i1485)), i1485, i1486) :|: TRUE
f6628_0_buildExpression_Load(EOS(STATIC_6628), java.lang.Object(ARRAY(i1485)), i1485, i1486) -> f6630_0_buildExpression_Load(EOS(STATIC_6630), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) :|: TRUE
f6630_0_buildExpression_Load(EOS(STATIC_6630), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486) -> f6632_0_buildExpression_ConstantStackPush(EOS(STATIC_6632), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) :|: TRUE
f6632_0_buildExpression_ConstantStackPush(EOS(STATIC_6632), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485) -> f6634_0_buildExpression_IntArithmetic(EOS(STATIC_6634), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485, 1) :|: TRUE
f6634_0_buildExpression_IntArithmetic(EOS(STATIC_6634), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485, matching1) -> f6636_0_buildExpression_GT(EOS(STATIC_6636), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1485 - 1) :|: i1485 > 0 && matching1 = 1
f6636_0_buildExpression_GT(EOS(STATIC_6636), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1598) -> f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485)), i1485, i1486, i1486, i1598) :|: TRUE
Combined rules. Obtained 4 IRulesP rules:
f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1486:0, i1594:0) -> f6241_0_buildExpression_Load(EOS(STATIC_6241), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0 + 1, i1486:0 + 1) :|: i1594:0 < i1486:0
f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1486:0, i1594:0) -> f6241_0_buildExpression_Load(EOS(STATIC_6241), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0 + 1, i1486:0 + 1) :|: i1594:0 >= i1486:0
f6241_0_buildExpression_Load(EOS(STATIC_6241), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1486:0) -> f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1486:0, i1485:0 - 1) :|: i1486:0 <= i1485:0 && i1485:0 > 0 && i1486:0 <= i1485:0 - 1
f6241_0_buildExpression_Load(EOS(STATIC_6241), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1486:0) -> f6601_0_buildExpression_GT(EOS(STATIC_6601), java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1486:0, i1485:0 - 1) :|: i1486:0 <= i1485:0 && i1485:0 > 0 && i1486:0 > i1485:0 - 1
Filtered constant ground arguments:
   f6601_0_buildExpression_GT(x1, x2, x3, x4, x5, x6) -> f6601_0_buildExpression_GT(x2, x3, x4, x5, x6)
   f6241_0_buildExpression_Load(x1, x2, x3, x4, x5) -> f6241_0_buildExpression_Load(x2, x3, x4, x5)
Filtered duplicate arguments:
   f6601_0_buildExpression_GT(x1, x2, x3, x4, x5) -> f6601_0_buildExpression_GT(x1, x2, x4, x5)
   f6241_0_buildExpression_Load(x1, x2, x3, x4) -> f6241_0_buildExpression_Load(x1, x2, x4)
Finished conversion. Obtained 4 rules.P rules:
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1594:0, i1485:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0 + 1, i1485:0) :|: i1594:0 < i1486:0
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1594:0, i1485:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0 + 1, i1485:0) :|: i1594:0 >= i1486:0
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1485:0) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1485:0 - 1, i1485:0) :|: i1485:0 > 0 && i1486:0 <= i1485:0 - 1 && i1486:0 <= i1485:0
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1485:0) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1485:0 - 1, i1485:0) :|: i1485:0 > 0 && i1486:0 > i1485:0 - 1 && i1486:0 <= i1485:0

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

(42)
Obligation:
Rules:
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1594:0, i1485:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0 + 1, i1485:0) :|: i1594:0 < i1486:0
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x)), x, x1, x2, x) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x)), x, x1 + 1, x) :|: x2 >= x1
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x3)), x3, x4, x3) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x3)), x3, x4, x3 - 1, x3) :|: x3 > 0 && x4 <= x3 - 1 && x4 <= x3
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x5)), x5, x6, x5) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x5)), x5, x6, x5 - 1, x5) :|: x5 > 0 && x6 > x5 - 1 && x6 <= x5

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

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

(44)
Obligation:
Rules:
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1594:0, i1485:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, arith, i1485:0) :|: i1594:0 < i1486:0 && arith = i1486:0 + 1
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x7)), x7, x8, x9, x7) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x7)), x7, x10, x7) :|: x9 >= x8 && x10 = x8 + 1
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x11)), x11, x12, x11) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x11)), x11, x12, x13, x11) :|: x11 > 0 && x12 <= x11 - 1 && x12 <= x11 && x13 = x11 - 1
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x14)), x14, x15, x14) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x14)), x14, x15, x16, x14) :|: x14 > 0 && x15 > x14 - 1 && x15 <= x14 && x16 = x14 - 1

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

(45) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1594:0, i1485:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, arith, i1485:0) :|: i1594:0 < i1486:0 && arith = i1486:0 + 1
(2) f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x7)), x7, x8, x9, x7) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x7)), x7, x10, x7) :|: x9 >= x8 && x10 = x8 + 1
(3) f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x11)), x11, x12, x11) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x11)), x11, x12, x13, x11) :|: x11 > 0 && x12 <= x11 - 1 && x12 <= x11 && x13 = x11 - 1
(4) f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x14)), x14, x15, x14) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x14)), x14, x15, x16, x14) :|: x14 > 0 && x15 > x14 - 1 && x15 <= x14 && x16 = x14 - 1

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

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

(46)
Obligation:

Termination digraph:
Nodes:
(1) f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0)), i1485:0, i1486:0, i1594:0, i1485:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0)), i1485:0, arith, i1485:0) :|: i1594:0 < i1486:0 && arith = i1486:0 + 1
(2) f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x14)), x14, x15, x14) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x14)), x14, x15, x16, x14) :|: x14 > 0 && x15 > x14 - 1 && x15 <= x14 && x16 = x14 - 1
(3) f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x7)), x7, x8, x9, x7) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x7)), x7, x10, x7) :|: x9 >= x8 && x10 = x8 + 1
(4) f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x11)), x11, x12, x11) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x11)), x11, x12, x13, x11) :|: x11 > 0 && x12 <= x11 - 1 && x12 <= x11 && x13 = x11 - 1

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

This digraph is fully evaluated!

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

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

(48)
Obligation:
Rules:
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x11:0)), x11:0, x12:0, x11:0) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x11:0)), x11:0, x12:0, x11:0 - 1, x11:0) :|: x11:0 > 0 && x12:0 <= x11:0 - 1 && x12:0 <= x11:0
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(i1485:0:0)), i1485:0:0, i1486:0:0, i1594:0:0, i1485:0:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(i1485:0:0)), i1485:0:0, i1486:0:0 + 1, i1485:0:0) :|: i1594:0:0 < i1486:0:0
f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x7:0)), x7:0, x8:0, x9:0, x7:0) -> f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x7:0)), x7:0, x8:0 + 1, x7:0) :|: x9:0 >= x8:0
f6241_0_buildExpression_Load(java.lang.Object(ARRAY(x14:0)), x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(java.lang.Object(ARRAY(x14:0)), x14:0, x15:0, x14:0 - 1, x14:0) :|: x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0

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

(49) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f6241_0_buildExpression_Load(VARIABLE, VARIABLE, INTEGER, VARIABLE)
java.lang.Object(VARIABLE)
ARRAY(VARIABLE)
f6601_0_buildExpression_GT(VARIABLE, VARIABLE, INTEGER, INTEGER, VARIABLE)
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(50)
Obligation:
Rules:
f6241_0_buildExpression_Load(c, x11:0, x12:0, x11:0) -> f6601_0_buildExpression_GT(c1, x11:0, x12:0, c2, x11:0) :|: c2 = x11:0 - 1 && (c1 = 0 && c = 0) && (x11:0 > 0 && x12:0 <= x11:0 - 1 && x12:0 <= x11:0)
f6601_0_buildExpression_GT(c3, i1485:0:0, i1486:0:0, i1594:0:0, i1485:0:0) -> f6241_0_buildExpression_Load(c4, i1485:0:0, c5, i1485:0:0) :|: c5 = i1486:0:0 + 1 && (c4 = 0 && c3 = 0) && i1594:0:0 < i1486:0:0
f6601_0_buildExpression_GT(c6, x7:0, x8:0, x9:0, x7:0) -> f6241_0_buildExpression_Load(c7, x7:0, c8, x7:0) :|: c8 = x8:0 + 1 && (c7 = 0 && c6 = 0) && x9:0 >= x8:0
f6241_0_buildExpression_Load(c9, x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(c10, x14:0, x15:0, c11, x14:0) :|: c11 = x14:0 - 1 && (c10 = 0 && c9 = 0) && (x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0)

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

(51) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f6241_0_buildExpression_Load(x, x1, x2, x3)] = -1 + c*x + 2*x1 - x2
[f6601_0_buildExpression_GT(x4, x5, x6, x7, x8)] = -1 + c4*x4 + 2*x5 - x6

The following rules are decreasing:
f6601_0_buildExpression_GT(c3, i1485:0:0, i1486:0:0, i1594:0:0, i1485:0:0) -> f6241_0_buildExpression_Load(c4, i1485:0:0, c5, i1485:0:0) :|: c5 = i1486:0:0 + 1 && (c4 = 0 && c3 = 0) && i1594:0:0 < i1486:0:0
f6601_0_buildExpression_GT(c6, x7:0, x8:0, x9:0, x7:0) -> f6241_0_buildExpression_Load(c7, x7:0, c8, x7:0) :|: c8 = x8:0 + 1 && (c7 = 0 && c6 = 0) && x9:0 >= x8:0
The following rules are bounded:
f6241_0_buildExpression_Load(c, x11:0, x12:0, x11:0) -> f6601_0_buildExpression_GT(c1, x11:0, x12:0, c2, x11:0) :|: c2 = x11:0 - 1 && (c1 = 0 && c = 0) && (x11:0 > 0 && x12:0 <= x11:0 - 1 && x12:0 <= x11:0)
f6241_0_buildExpression_Load(c9, x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(c10, x14:0, x15:0, c11, x14:0) :|: c11 = x14:0 - 1 && (c10 = 0 && c9 = 0) && (x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0)

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

(52)
Complex Obligation (AND)

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

(53)
Obligation:
Rules:
f6241_0_buildExpression_Load(c, x11:0, x12:0, x11:0) -> f6601_0_buildExpression_GT(c1, x11:0, x12:0, c2, x11:0) :|: c2 = x11:0 - 1 && (c1 = 0 && c = 0) && (x11:0 > 0 && x12:0 <= x11:0 - 1 && x12:0 <= x11:0)
f6241_0_buildExpression_Load(c9, x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(c10, x14:0, x15:0, c11, x14:0) :|: c11 = x14:0 - 1 && (c10 = 0 && c9 = 0) && (x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0)

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

(54) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f6241_0_buildExpression_Load(x, x1, x2, x3)] = c*x + x1
[f6601_0_buildExpression_GT(x4, x5, x6, x7, x8)] = c4*x4 + x6

The following rules are decreasing:
f6241_0_buildExpression_Load(c, x11:0, x12:0, x11:0) -> f6601_0_buildExpression_GT(c1, x11:0, x12:0, c2, x11:0) :|: c2 = x11:0 - 1 && (c1 = 0 && c = 0) && (x11:0 > 0 && x12:0 <= x11:0 - 1 && x12:0 <= x11:0)
The following rules are bounded:
f6241_0_buildExpression_Load(c, x11:0, x12:0, x11:0) -> f6601_0_buildExpression_GT(c1, x11:0, x12:0, c2, x11:0) :|: c2 = x11:0 - 1 && (c1 = 0 && c = 0) && (x11:0 > 0 && x12:0 <= x11:0 - 1 && x12:0 <= x11:0)
f6241_0_buildExpression_Load(c9, x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(c10, x14:0, x15:0, c11, x14:0) :|: c11 = x14:0 - 1 && (c10 = 0 && c9 = 0) && (x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0)

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

(55)
Obligation:
Rules:
f6241_0_buildExpression_Load(c9, x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(c10, x14:0, x15:0, c11, x14:0) :|: c11 = x14:0 - 1 && (c10 = 0 && c9 = 0) && (x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0)

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

(56) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f6241_0_buildExpression_Load(x, x1, x2, x3)] = c*x
[f6601_0_buildExpression_GT(x4, x5, x6, x7, x8)] = -1 + c4*x4

The following rules are decreasing:
f6241_0_buildExpression_Load(c9, x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(c10, x14:0, x15:0, c11, x14:0) :|: c11 = x14:0 - 1 && (c10 = 0 && c9 = 0) && (x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0)
The following rules are bounded:
f6241_0_buildExpression_Load(c9, x14:0, x15:0, x14:0) -> f6601_0_buildExpression_GT(c10, x14:0, x15:0, c11, x14:0) :|: c11 = x14:0 - 1 && (c10 = 0 && c9 = 0) && (x14:0 > 0 && x15:0 > x14:0 - 1 && x15:0 <= x14:0)

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

(57)
YES

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

(58)
Obligation:
Rules:
f6601_0_buildExpression_GT(c3, i1485:0:0, i1486:0:0, i1594:0:0, i1485:0:0) -> f6241_0_buildExpression_Load(c4, i1485:0:0, c5, i1485:0:0) :|: c5 = i1486:0:0 + 1 && (c4 = 0 && c3 = 0) && i1594:0:0 < i1486:0:0
f6601_0_buildExpression_GT(c6, x7:0, x8:0, x9:0, x7:0) -> f6241_0_buildExpression_Load(c7, x7:0, c8, x7:0) :|: c8 = x8:0 + 1 && (c7 = 0 && c6 = 0) && x9:0 >= x8:0

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

(59) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f6601_0_buildExpression_GT(x, x1, x2, x3, x4)] = c*x
[f6241_0_buildExpression_Load(x5, x6, x7, x8)] = -1 + c5*x5

The following rules are decreasing:
f6601_0_buildExpression_GT(c3, i1485:0:0, i1486:0:0, i1594:0:0, i1485:0:0) -> f6241_0_buildExpression_Load(c4, i1485:0:0, c5, i1485:0:0) :|: c5 = i1486:0:0 + 1 && (c4 = 0 && c3 = 0) && i1594:0:0 < i1486:0:0
f6601_0_buildExpression_GT(c6, x7:0, x8:0, x9:0, x7:0) -> f6241_0_buildExpression_Load(c7, x7:0, c8, x7:0) :|: c8 = x8:0 + 1 && (c7 = 0 && c6 = 0) && x9:0 >= x8:0
The following rules are bounded:
f6601_0_buildExpression_GT(c3, i1485:0:0, i1486:0:0, i1594:0:0, i1485:0:0) -> f6241_0_buildExpression_Load(c4, i1485:0:0, c5, i1485:0:0) :|: c5 = i1486:0:0 + 1 && (c4 = 0 && c3 = 0) && i1594:0:0 < i1486:0:0
f6601_0_buildExpression_GT(c6, x7:0, x8:0, x9:0, x7:0) -> f6241_0_buildExpression_Load(c7, x7:0, c8, x7:0) :|: c8 = x8:0 + 1 && (c7 = 0 && c6 = 0) && x9:0 >= x8:0

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

(60)
YES