20.53/6.86	YES
20.53/6.87	proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
20.53/6.87	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
20.53/6.87	
20.53/6.87	
20.53/6.87	termination of the given Bare JBC problem could be proven:
20.53/6.87	
20.53/6.87	(0) Bare JBC problem
20.53/6.87	(1) BareJBCToJBCProof [EQUIVALENT, 96 ms]
20.53/6.87	(2) JBC problem
20.53/6.87	(3) JBCToGraph [EQUIVALENT, 2058 ms]
20.53/6.87	(4) JBCTerminationGraph
20.53/6.87	(5) TerminationGraphToSCCProof [SOUND, 0 ms]
20.53/6.87	(6) AND
20.53/6.87	    (7) JBCTerminationSCC
20.53/6.87	        (8) SCCToQDPProof [SOUND, 157 ms]
20.53/6.87	        (9) QDP
20.53/6.87	        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
20.53/6.87	        (11) YES
20.53/6.87	    (12) JBCTerminationSCC
20.53/6.87	        (13) SCCToIRSProof [SOUND, 357 ms]
20.53/6.87	        (14) IRSwT
20.53/6.87	        (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
20.53/6.87	        (16) IRSwT
20.53/6.87	        (17) IRSwTTerminationDigraphProof [EQUIVALENT, 216 ms]
20.53/6.87	        (18) IRSwT
20.53/6.87	        (19) IntTRSCompressionProof [EQUIVALENT, 0 ms]
20.53/6.87	        (20) IRSwT
20.53/6.87	        (21) TempFilterProof [SOUND, 4 ms]
20.53/6.87	        (22) IRSwT
20.53/6.87	        (23) IRSwTToQDPProof [SOUND, 0 ms]
20.53/6.87	        (24) QDP
20.53/6.87	        (25) QDPSizeChangeProof [EQUIVALENT, 0 ms]
20.53/6.88	        (26) YES
20.53/6.88	    (27) JBCTerminationSCC
20.53/6.88	        (28) SCCToIRSProof [SOUND, 49 ms]
20.53/6.88	        (29) IRSwT
20.53/6.88	        (30) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
20.53/6.88	        (31) IRSwT
20.53/6.88	        (32) IRSwTTerminationDigraphProof [EQUIVALENT, 0 ms]
20.53/6.88	        (33) IRSwT
20.53/6.88	        (34) IntTRSCompressionProof [EQUIVALENT, 1 ms]
20.53/6.88	        (35) IRSwT
20.53/6.88	        (36) TempFilterProof [SOUND, 40 ms]
20.53/6.88	        (37) IntTRS
20.53/6.88	        (38) PolynomialOrderProcessor [EQUIVALENT, 12 ms]
20.53/6.88	        (39) YES
20.53/6.88	    (40) JBCTerminationSCC
20.53/6.88	        (41) SCCToIRSProof [SOUND, 234 ms]
20.53/6.88	        (42) IRSwT
20.53/6.88	        (43) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
20.53/6.88	        (44) IRSwT
20.53/6.88	        (45) IRSwTTerminationDigraphProof [EQUIVALENT, 45 ms]
20.53/6.88	        (46) IRSwT
20.53/6.88	        (47) IntTRSCompressionProof [EQUIVALENT, 0 ms]
20.53/6.88	        (48) IRSwT
20.53/6.88	        (49) TempFilterProof [SOUND, 57 ms]
20.53/6.88	        (50) IntTRS
20.53/6.88	        (51) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
20.53/6.88	        (52) IntTRS
20.53/6.88	        (53) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
20.53/6.88	        (54) YES
20.53/6.88	
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(0)
20.53/6.88	Obligation:
20.53/6.88	need to prove termination of the following program:
20.53/6.88	public class Infix2Postfix {
20.53/6.88	    public static LinkedList buildExpression(int n) {
20.53/6.88		LinkedList exp = null;
20.53/6.88		for (int i = 1; i <= n; i++) {
20.53/6.88		    if (i <= n-1) exp = new LinkedList(')', exp);
20.53/6.88		    exp = new LinkedList(')', exp);
20.53/6.88		    exp = new LinkedList('b', exp);
20.53/6.88		    exp = new LinkedList('+', exp);
20.53/6.88		    exp = new LinkedList('a', exp);
20.53/6.88		    exp = new LinkedList('(', exp);
20.53/6.88		    if (i <= n-1) exp = new LinkedList('*', exp);
20.53/6.88		}
20.53/6.88	
20.53/6.88		for (int i = 1; i < n; i++)
20.53/6.88		    exp = new LinkedList('(', exp);
20.53/6.88	
20.53/6.88		return exp;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public static LinkedList toPostfix(LinkedList infix) {
20.53/6.88		LinkedList operators = null, operands = null;
20.53/6.88		while (infix != null) {
20.53/6.88		    char c = infix.getFirst();
20.53/6.88		    switch (c) {
20.53/6.88		    case '(': break;
20.53/6.88		    case '+': case '-': case '*': case '/':
20.53/6.88			operators = new LinkedList(c, operators);
20.53/6.88			break;
20.53/6.88		    case ')':
20.53/6.88			operands = new LinkedList(operators.getFirst(), operands);
20.53/6.88			operators = operators.getTail();
20.53/6.88			break;
20.53/6.88		    default:
20.53/6.88			operands = new LinkedList(c, operands);
20.53/6.88		    }
20.53/6.88		    infix = infix.getTail();
20.53/6.88		}
20.53/6.88	
20.53/6.88		LinkedList postfix = null;
20.53/6.88		while (operands != null) {
20.53/6.88		    postfix = new LinkedList(operands.getFirst(), postfix);
20.53/6.88		    operands = operands.getTail();
20.53/6.88		}
20.53/6.88	
20.53/6.88		return postfix;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public static void  main(String args[]) {
20.53/6.88		LinkedList infix = buildExpression(args.length);
20.53/6.88		// System.out.println("infix = " + infix);
20.53/6.88		LinkedList postfix = toPostfix(infix);
20.53/6.88		// System.out.println("postfix = " + postfix);
20.53/6.88	    }
20.53/6.88	}
20.53/6.88	
20.53/6.88	
20.53/6.88	public class LinkedList {
20.53/6.88	    private char head;
20.53/6.88	    private LinkedList tail;
20.53/6.88	
20.53/6.88	    public LinkedList(char head, LinkedList tail) {
20.53/6.88		this.head = head;
20.53/6.88		this.tail = tail;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public char getFirst() {
20.53/6.88		return this.head;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public LinkedList getTail() {
20.53/6.88		return this.tail;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    /*
20.53/6.88	    public String toString() {
20.53/6.88		return head + (tail == null ? "" : " " + tail.toString());
20.53/6.88	    }
20.53/6.88	    */
20.53/6.88	}
20.53/6.88	
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(1) BareJBCToJBCProof (EQUIVALENT)
20.53/6.88	initialized classpath
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(2)
20.53/6.88	Obligation:
20.53/6.88	need to prove termination of the following program:
20.53/6.88	public class Infix2Postfix {
20.53/6.88	    public static LinkedList buildExpression(int n) {
20.53/6.88		LinkedList exp = null;
20.53/6.88		for (int i = 1; i <= n; i++) {
20.53/6.88		    if (i <= n-1) exp = new LinkedList(')', exp);
20.53/6.88		    exp = new LinkedList(')', exp);
20.53/6.88		    exp = new LinkedList('b', exp);
20.53/6.88		    exp = new LinkedList('+', exp);
20.53/6.88		    exp = new LinkedList('a', exp);
20.53/6.88		    exp = new LinkedList('(', exp);
20.53/6.88		    if (i <= n-1) exp = new LinkedList('*', exp);
20.53/6.88		}
20.53/6.88	
20.53/6.88		for (int i = 1; i < n; i++)
20.53/6.88		    exp = new LinkedList('(', exp);
20.53/6.88	
20.53/6.88		return exp;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public static LinkedList toPostfix(LinkedList infix) {
20.53/6.88		LinkedList operators = null, operands = null;
20.53/6.88		while (infix != null) {
20.53/6.88		    char c = infix.getFirst();
20.53/6.88		    switch (c) {
20.53/6.88		    case '(': break;
20.53/6.88		    case '+': case '-': case '*': case '/':
20.53/6.88			operators = new LinkedList(c, operators);
20.53/6.88			break;
20.53/6.88		    case ')':
20.53/6.88			operands = new LinkedList(operators.getFirst(), operands);
20.53/6.88			operators = operators.getTail();
20.53/6.88			break;
20.53/6.88		    default:
20.53/6.88			operands = new LinkedList(c, operands);
20.53/6.88		    }
20.53/6.88		    infix = infix.getTail();
20.53/6.88		}
20.53/6.88	
20.53/6.88		LinkedList postfix = null;
20.53/6.88		while (operands != null) {
20.53/6.88		    postfix = new LinkedList(operands.getFirst(), postfix);
20.53/6.88		    operands = operands.getTail();
20.53/6.88		}
20.53/6.88	
20.53/6.88		return postfix;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public static void  main(String args[]) {
20.53/6.88		LinkedList infix = buildExpression(args.length);
20.53/6.88		// System.out.println("infix = " + infix);
20.53/6.88		LinkedList postfix = toPostfix(infix);
20.53/6.88		// System.out.println("postfix = " + postfix);
20.53/6.88	    }
20.53/6.88	}
20.53/6.88	
20.53/6.88	
20.53/6.88	public class LinkedList {
20.53/6.88	    private char head;
20.53/6.88	    private LinkedList tail;
20.53/6.88	
20.53/6.88	    public LinkedList(char head, LinkedList tail) {
20.53/6.88		this.head = head;
20.53/6.88		this.tail = tail;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public char getFirst() {
20.53/6.88		return this.head;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    public LinkedList getTail() {
20.53/6.88		return this.tail;
20.53/6.88	    }
20.53/6.88	
20.53/6.88	    /*
20.53/6.88	    public String toString() {
20.53/6.88		return head + (tail == null ? "" : " " + tail.toString());
20.53/6.88	    }
20.53/6.88	    */
20.53/6.88	}
20.53/6.88	
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(3) JBCToGraph (EQUIVALENT)
20.53/6.88	Constructed TerminationGraph.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(4)
20.53/6.88	Obligation:
20.53/6.88	Termination Graph based on JBC Program:
20.53/6.88	Infix2Postfix.main([Ljava/lang/String;)V: Graph of 264 nodes with 2 SCCs.
20.53/6.88	
20.53/6.88	
20.53/6.88	
20.53/6.88	Infix2Postfix.toPostfix(LLinkedList;)LLinkedList;: Graph of 292 nodes with 2 SCCs.
20.53/6.88	
20.53/6.88	
20.53/6.88	
20.53/6.88	
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(5) TerminationGraphToSCCProof (SOUND)
20.53/6.88	Splitted TerminationGraph to 4 SCCss.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(6)
20.53/6.88	Complex Obligation (AND)
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(7)
20.53/6.88	Obligation:
20.53/6.88	SCC of termination graph based on JBC Program.
20.53/6.88	SCC contains nodes from the following methods: Infix2Postfix.toPostfix(LLinkedList;)LLinkedList;
20.53/6.88	SCC calls the following helper methods: 
20.53/6.88	Performed SCC analyses:
20.53/6.88	*Used field analysis yielded the following read fields:
20.53/6.88	*LinkedList: [head, tail]
20.53/6.88	*Marker field analysis yielded the following relations that could be markers:
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(8) SCCToQDPProof (SOUND)
20.53/6.88	Transformed TerminationGraph SCC to QDP. Log: 
20.53/6.88	Generated 31 rules for P and 0 rules for R.P rules:
20.53/6.88	f6291_0_toPostfix_NULL(EOS(STATIC_6291), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) -> f6294_0_toPostfix_NULL(EOS(STATIC_6294), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) :|: TRUE
20.53/6.88	f6294_0_toPostfix_NULL(EOS(STATIC_6294), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) -> f6298_0_toPostfix_New(EOS(STATIC_6298), java.lang.Object(o18726sub)) :|: TRUE
20.53/6.88	f6298_0_toPostfix_New(EOS(STATIC_6298), java.lang.Object(o18726sub)) -> f6302_0_toPostfix_Duplicate(EOS(STATIC_6302), java.lang.Object(o18726sub)) :|: TRUE
20.53/6.88	f6302_0_toPostfix_Duplicate(EOS(STATIC_6302), java.lang.Object(o18726sub)) -> f6306_0_toPostfix_Load(EOS(STATIC_6306), java.lang.Object(o18726sub)) :|: TRUE
20.53/6.88	f6306_0_toPostfix_Load(EOS(STATIC_6306), java.lang.Object(o18726sub)) -> f6310_0_toPostfix_InvokeMethod(EOS(STATIC_6310), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) :|: TRUE
20.53/6.88	f6310_0_toPostfix_InvokeMethod(EOS(STATIC_6310), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) -> f6315_0_getFirst_Load(EOS(STATIC_6315), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) :|: TRUE
20.53/6.88	f6315_0_getFirst_Load(EOS(STATIC_6315), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) -> f6324_0_getFirst_FieldAccess(EOS(STATIC_6324), java.lang.Object(o18726sub), java.lang.Object(o18726sub)) :|: TRUE
20.53/6.88	f6324_0_getFirst_FieldAccess(EOS(STATIC_6324), java.lang.Object(LinkedList(EOC, i1383, o18740)), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6329_0_getFirst_FieldAccess(EOS(STATIC_6329), java.lang.Object(LinkedList(EOC, i1383, o18740)), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6329_0_getFirst_FieldAccess(EOS(STATIC_6329), java.lang.Object(LinkedList(EOC, i1383, o18740)), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6334_0_getFirst_Return(EOS(STATIC_6334), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6334_0_getFirst_Return(EOS(STATIC_6334), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6339_0_toPostfix_Load(EOS(STATIC_6339), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6339_0_toPostfix_Load(EOS(STATIC_6339), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6344_0_toPostfix_InvokeMethod(EOS(STATIC_6344), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6344_0_toPostfix_InvokeMethod(EOS(STATIC_6344), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6346_0__init__Load(EOS(STATIC_6346), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6346_0__init__Load(EOS(STATIC_6346), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6353_0__init__InvokeMethod(EOS(STATIC_6353), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6353_0__init__InvokeMethod(EOS(STATIC_6353), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6357_0__init__Load(EOS(STATIC_6357), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6357_0__init__Load(EOS(STATIC_6357), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6364_0__init__Load(EOS(STATIC_6364), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6364_0__init__Load(EOS(STATIC_6364), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6370_0__init__FieldAccess(EOS(STATIC_6370), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6370_0__init__FieldAccess(EOS(STATIC_6370), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6376_0__init__Load(EOS(STATIC_6376), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6376_0__init__Load(EOS(STATIC_6376), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6381_0__init__Load(EOS(STATIC_6381), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6381_0__init__Load(EOS(STATIC_6381), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6385_0__init__FieldAccess(EOS(STATIC_6385), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6385_0__init__FieldAccess(EOS(STATIC_6385), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6389_0__init__Return(EOS(STATIC_6389), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6389_0__init__Return(EOS(STATIC_6389), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6393_0_toPostfix_Store(EOS(STATIC_6393), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6393_0_toPostfix_Store(EOS(STATIC_6393), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6397_0_toPostfix_Load(EOS(STATIC_6397), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6397_0_toPostfix_Load(EOS(STATIC_6397), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6402_0_toPostfix_InvokeMethod(EOS(STATIC_6402), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6402_0_toPostfix_InvokeMethod(EOS(STATIC_6402), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6406_0_getTail_Load(EOS(STATIC_6406), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6406_0_getTail_Load(EOS(STATIC_6406), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6414_0_getTail_FieldAccess(EOS(STATIC_6414), java.lang.Object(LinkedList(EOC, i1383, o18740))) :|: TRUE
20.53/6.88	f6414_0_getTail_FieldAccess(EOS(STATIC_6414), java.lang.Object(LinkedList(EOC, i1383, o18740))) -> f6417_0_getTail_Return(EOS(STATIC_6417), o18740) :|: TRUE
20.53/6.88	f6417_0_getTail_Return(EOS(STATIC_6417), o18740) -> f6422_0_toPostfix_Store(EOS(STATIC_6422), o18740) :|: TRUE
20.53/6.88	f6422_0_toPostfix_Store(EOS(STATIC_6422), o18740) -> f6427_0_toPostfix_JMP(EOS(STATIC_6427), o18740) :|: TRUE
20.53/6.88	f6427_0_toPostfix_JMP(EOS(STATIC_6427), o18740) -> f6432_0_toPostfix_Load(EOS(STATIC_6432), o18740) :|: TRUE
20.53/6.88	f6432_0_toPostfix_Load(EOS(STATIC_6432), o18740) -> f6288_0_toPostfix_Load(EOS(STATIC_6288), o18740) :|: TRUE
20.53/6.88	f6288_0_toPostfix_Load(EOS(STATIC_6288), o18711) -> f6291_0_toPostfix_NULL(EOS(STATIC_6291), o18711, o18711) :|: TRUE
20.53/6.88	R rules:
20.53/6.88	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
20.53/6.88	f6291_0_toPostfix_NULL(EOS(STATIC_6291), java.lang.Object(LinkedList(EOC, i1383:0, o18740:0)), java.lang.Object(LinkedList(EOC, i1383:0, o18740:0))) -> f6291_0_toPostfix_NULL(EOS(STATIC_6291), o18740:0, o18740:0) :|: TRUE
20.53/6.88	R rules:
20.53/6.88	Filtered ground terms:
20.53/6.88	   f6291_0_toPostfix_NULL(x1, x2, x3) -> f6291_0_toPostfix_NULL(x2, x3)
20.53/6.88	   EOS(x1) -> EOS
20.53/6.88	   LinkedList(x1, x2, x3) -> LinkedList(x2, x3)
20.53/6.88	Filtered unneeded arguments:
20.53/6.88	   LinkedList(x1, x2) -> LinkedList(x2)
20.53/6.88	Filtered duplicate args:
20.53/6.88	   f6291_0_toPostfix_NULL(x1, x2) -> f6291_0_toPostfix_NULL(x2)
20.53/6.88	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
20.53/6.88	F6291_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o18740:0:0))) -> F6291_0_TOPOSTFIX_NULL(o18740:0:0) :|: TRUE
20.53/6.88	R rules:
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(9)
20.53/6.88	Obligation:
20.53/6.88	Q DP problem:
20.53/6.88	The TRS P consists of the following rules:
20.53/6.88	
20.53/6.88	   F6291_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o18740:0:0))) -> F6291_0_TOPOSTFIX_NULL(o18740:0:0)
20.53/6.88	
20.53/6.88	R is empty.
20.53/6.88	Q is empty.
20.53/6.88	We have to consider all minimal (P,Q,R)-chains.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(10) QDPSizeChangeProof (EQUIVALENT)
20.53/6.88	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. 
20.53/6.88	
20.53/6.88	From the DPs we obtained the following set of size-change graphs:
20.53/6.88	*F6291_0_TOPOSTFIX_NULL(java.lang.Object(LinkedList(o18740:0:0))) -> F6291_0_TOPOSTFIX_NULL(o18740:0:0)
20.53/6.88	The graph contains the following edges 1 > 1
20.53/6.88	
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(11)
20.53/6.88	YES
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(12)
20.53/6.88	Obligation:
20.53/6.88	SCC of termination graph based on JBC Program.
20.53/6.88	SCC contains nodes from the following methods: Infix2Postfix.toPostfix(LLinkedList;)LLinkedList;
20.53/6.88	SCC calls the following helper methods: 
20.53/6.88	Performed SCC analyses:
20.53/6.88	*Used field analysis yielded the following read fields:
20.53/6.88	*LinkedList: [head, tail]
20.53/6.88	*Marker field analysis yielded the following relations that could be markers:
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(13) SCCToIRSProof (SOUND)
20.53/6.88	Transformed FIGraph SCCs to intTRSs. Log: 
20.53/6.88	Generated rules. Obtained 234 IRulesP rules:
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) -> f5731_0_toPostfix_NULL(EOS(STATIC_5731), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) :|: TRUE
20.53/6.88	f5731_0_toPostfix_NULL(EOS(STATIC_5731), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) -> f5735_0_toPostfix_Load(EOS(STATIC_5735), java.lang.Object(o16536sub), o16522) :|: TRUE
20.53/6.88	f5735_0_toPostfix_Load(EOS(STATIC_5735), java.lang.Object(o16536sub), o16522) -> f5741_0_toPostfix_InvokeMethod(EOS(STATIC_5741), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) :|: TRUE
20.53/6.88	f5741_0_toPostfix_InvokeMethod(EOS(STATIC_5741), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) -> f5747_0_getFirst_Load(EOS(STATIC_5747), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) :|: TRUE
20.53/6.88	f5747_0_getFirst_Load(EOS(STATIC_5747), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) -> f5758_0_getFirst_FieldAccess(EOS(STATIC_5758), java.lang.Object(o16536sub), o16522, java.lang.Object(o16536sub)) :|: TRUE
20.53/6.88	f5758_0_getFirst_FieldAccess(EOS(STATIC_5758), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) -> f5765_0_getFirst_FieldAccess(EOS(STATIC_5765), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) :|: TRUE
20.53/6.88	f5765_0_getFirst_FieldAccess(EOS(STATIC_5765), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) -> f5771_0_getFirst_Return(EOS(STATIC_5771), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5771_0_getFirst_Return(EOS(STATIC_5771), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5777_0_toPostfix_Store(EOS(STATIC_5777), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5777_0_toPostfix_Store(EOS(STATIC_5777), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5783_0_toPostfix_Load(EOS(STATIC_5783), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5783_0_toPostfix_Load(EOS(STATIC_5783), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5788_0_toPostfix_TableSwitch(EOS(STATIC_5788), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) :|: TRUE
20.53/6.88	f5788_0_toPostfix_TableSwitch(EOS(STATIC_5788), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) -> f5795_0_toPostfix_TableSwitch(EOS(STATIC_5795), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) :|: TRUE
20.53/6.88	f5788_0_toPostfix_TableSwitch(EOS(STATIC_5788), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) -> f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) :|: TRUE
20.53/6.88	f5788_0_toPostfix_TableSwitch(EOS(STATIC_5788), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) -> f5797_0_toPostfix_TableSwitch(EOS(STATIC_5797), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) :|: TRUE
20.53/6.88	f5795_0_toPostfix_TableSwitch(EOS(STATIC_5795), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) -> f5802_0_toPostfix_New(EOS(STATIC_5802), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: i1202 < 40
20.53/6.88	f5802_0_toPostfix_New(EOS(STATIC_5802), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5817_0_toPostfix_Duplicate(EOS(STATIC_5817), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5817_0_toPostfix_Duplicate(EOS(STATIC_5817), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5831_0_toPostfix_Load(EOS(STATIC_5831), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5831_0_toPostfix_Load(EOS(STATIC_5831), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5844_0_toPostfix_Load(EOS(STATIC_5844), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5844_0_toPostfix_Load(EOS(STATIC_5844), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5857_0_toPostfix_InvokeMethod(EOS(STATIC_5857), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5857_0_toPostfix_InvokeMethod(EOS(STATIC_5857), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5868_0__init__Load(EOS(STATIC_5868), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5868_0__init__Load(EOS(STATIC_5868), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5894_0__init__InvokeMethod(EOS(STATIC_5894), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5894_0__init__InvokeMethod(EOS(STATIC_5894), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5900_0__init__Load(EOS(STATIC_5900), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5900_0__init__Load(EOS(STATIC_5900), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5914_0__init__Load(EOS(STATIC_5914), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5914_0__init__Load(EOS(STATIC_5914), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5929_0__init__FieldAccess(EOS(STATIC_5929), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	f5929_0__init__FieldAccess(EOS(STATIC_5929), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5943_0__init__Load(EOS(STATIC_5943), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) :|: TRUE
20.53/6.88	f5943_0__init__Load(EOS(STATIC_5943), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) -> f5957_0__init__Load(EOS(STATIC_5957), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) :|: TRUE
20.53/6.88	f5957_0__init__Load(EOS(STATIC_5957), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) -> f5971_0__init__FieldAccess(EOS(STATIC_5971), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) :|: TRUE
20.53/6.88	f5971_0__init__FieldAccess(EOS(STATIC_5971), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) -> f5984_0__init__Return(EOS(STATIC_5984), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) :|: TRUE
20.53/6.88	f5984_0__init__Return(EOS(STATIC_5984), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) -> f5997_0_toPostfix_Store(EOS(STATIC_5997), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) :|: TRUE
20.53/6.88	f5997_0_toPostfix_Store(EOS(STATIC_5997), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) -> f6011_0_toPostfix_Load(EOS(STATIC_6011), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) :|: TRUE
20.53/6.88	f6011_0_toPostfix_Load(EOS(STATIC_6011), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522) -> f6023_0_toPostfix_InvokeMethod(EOS(STATIC_6023), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) :|: TRUE
20.53/6.88	f6023_0_toPostfix_InvokeMethod(EOS(STATIC_6023), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) -> f6036_0_getTail_Load(EOS(STATIC_6036), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) :|: TRUE
20.53/6.88	f6036_0_getTail_Load(EOS(STATIC_6036), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) -> f6060_0_getTail_FieldAccess(EOS(STATIC_6060), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) :|: TRUE
20.53/6.88	f6060_0_getTail_FieldAccess(EOS(STATIC_6060), o16522, java.lang.Object(LinkedList(EOC, i1202, o16579))) -> f6071_0_getTail_Return(EOS(STATIC_6071), o16522, o16579) :|: TRUE
20.53/6.88	f6071_0_getTail_Return(EOS(STATIC_6071), o16522, o16579) -> f6081_0_toPostfix_Store(EOS(STATIC_6081), o16522, o16579) :|: TRUE
20.53/6.88	f6081_0_toPostfix_Store(EOS(STATIC_6081), o16522, o16579) -> f6095_0_toPostfix_JMP(EOS(STATIC_6095), o16579, o16522) :|: TRUE
20.53/6.88	f6095_0_toPostfix_JMP(EOS(STATIC_6095), o16579, o16522) -> f6109_0_toPostfix_Load(EOS(STATIC_6109), o16579, o16522) :|: TRUE
20.53/6.88	f6109_0_toPostfix_Load(EOS(STATIC_6109), o16579, o16522) -> f5722_0_toPostfix_Load(EOS(STATIC_5722), o16579, o16522) :|: TRUE
20.53/6.88	f5722_0_toPostfix_Load(EOS(STATIC_5722), o16521, o16522) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16521, o16522, o16521) :|: TRUE
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5803_0_toPostfix_TableSwitch(EOS(STATIC_5803), java.lang.Object(LinkedList(EOC, 40, o16579)), o16522, 40, 40) :|: TRUE && matching1 = 40 && matching2 = 40 && matching3 = 40
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5804_0_toPostfix_TableSwitch(EOS(STATIC_5804), java.lang.Object(LinkedList(EOC, 41, o16579)), o16522, 41, 41) :|: TRUE && matching1 = 41 && matching2 = 41 && matching3 = 41
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5805_0_toPostfix_TableSwitch(EOS(STATIC_5805), java.lang.Object(LinkedList(EOC, 42, o16579)), o16522, 42, 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5806_0_toPostfix_TableSwitch(EOS(STATIC_5806), java.lang.Object(LinkedList(EOC, 43, o16579)), o16522, 43, 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5807_0_toPostfix_TableSwitch(EOS(STATIC_5807), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44, 44) :|: TRUE && matching1 = 44 && matching2 = 44 && matching3 = 44
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5808_0_toPostfix_TableSwitch(EOS(STATIC_5808), java.lang.Object(LinkedList(EOC, 45, o16579)), o16522, 45, 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5809_0_toPostfix_TableSwitch(EOS(STATIC_5809), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46, 46) :|: TRUE && matching1 = 46 && matching2 = 46 && matching3 = 46
20.53/6.88	f5796_0_toPostfix_TableSwitch(EOS(STATIC_5796), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5810_0_toPostfix_TableSwitch(EOS(STATIC_5810), java.lang.Object(LinkedList(EOC, 47, o16579)), o16522, 47, 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
20.53/6.88	f5803_0_toPostfix_TableSwitch(EOS(STATIC_5803), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5818_0_toPostfix_JMP(EOS(STATIC_5818), java.lang.Object(LinkedList(EOC, 40, o16579)), o16522) :|: TRUE && matching1 = 40 && matching2 = 40 && matching3 = 40
20.53/6.88	f5818_0_toPostfix_JMP(EOS(STATIC_5818), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5832_0_toPostfix_Load(EOS(STATIC_5832), java.lang.Object(LinkedList(EOC, 40, o16579)), o16522) :|: TRUE && matching1 = 40
20.53/6.88	f5832_0_toPostfix_Load(EOS(STATIC_5832), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5845_0_toPostfix_InvokeMethod(EOS(STATIC_5845), o16522, java.lang.Object(LinkedList(EOC, 40, o16579))) :|: TRUE && matching1 = 40
20.53/6.88	f5845_0_toPostfix_InvokeMethod(EOS(STATIC_5845), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f5858_0_getTail_Load(EOS(STATIC_5858), o16522, java.lang.Object(LinkedList(EOC, 40, o16579))) :|: TRUE && matching1 = 40
20.53/6.88	f5858_0_getTail_Load(EOS(STATIC_5858), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f5881_0_getTail_FieldAccess(EOS(STATIC_5881), o16522, java.lang.Object(LinkedList(EOC, 40, o16579))) :|: TRUE && matching1 = 40
20.53/6.88	f5881_0_getTail_FieldAccess(EOS(STATIC_5881), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f5895_0_getTail_Return(EOS(STATIC_5895), o16522, o16579) :|: TRUE && matching1 = 40
20.53/6.88	f5895_0_getTail_Return(EOS(STATIC_5895), o16522, o16579) -> f5901_0_toPostfix_Store(EOS(STATIC_5901), o16522, o16579) :|: TRUE
20.53/6.88	f5901_0_toPostfix_Store(EOS(STATIC_5901), o16522, o16579) -> f5915_0_toPostfix_JMP(EOS(STATIC_5915), o16579, o16522) :|: TRUE
20.53/6.88	f5915_0_toPostfix_JMP(EOS(STATIC_5915), o16579, o16522) -> f5930_0_toPostfix_Load(EOS(STATIC_5930), o16579, o16522) :|: TRUE
20.53/6.88	f5930_0_toPostfix_Load(EOS(STATIC_5930), o16579, o16522) -> f5722_0_toPostfix_Load(EOS(STATIC_5722), o16579, o16522) :|: TRUE
20.53/6.88	f5804_0_toPostfix_TableSwitch(EOS(STATIC_5804), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5819_0_toPostfix_New(EOS(STATIC_5819), java.lang.Object(LinkedList(EOC, 41, o16579)), o16522) :|: TRUE && matching1 = 41 && matching2 = 41 && matching3 = 41
20.53/6.88	f5819_0_toPostfix_New(EOS(STATIC_5819), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5833_0_toPostfix_Duplicate(EOS(STATIC_5833), java.lang.Object(LinkedList(EOC, 41, o16579)), o16522) :|: TRUE && matching1 = 41
20.53/6.88	f5833_0_toPostfix_Duplicate(EOS(STATIC_5833), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5846_0_toPostfix_Load(EOS(STATIC_5846), java.lang.Object(LinkedList(EOC, 41, o16579)), o16522) :|: TRUE && matching1 = 41
20.53/6.88	f5846_0_toPostfix_Load(EOS(STATIC_5846), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5859_0_toPostfix_InvokeMethod(EOS(STATIC_5859), java.lang.Object(LinkedList(EOC, 41, o16579)), o16522, o16522) :|: TRUE && matching1 = 41
20.53/6.88	f5859_0_toPostfix_InvokeMethod(EOS(STATIC_5859), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(o16746sub), java.lang.Object(o16746sub)) -> f5869_0_toPostfix_InvokeMethod(EOS(STATIC_5869), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(o16746sub), java.lang.Object(o16746sub)) :|: TRUE && matching1 = 41
20.53/6.88	f5869_0_toPostfix_InvokeMethod(EOS(STATIC_5869), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(o16746sub), java.lang.Object(o16746sub)) -> f5882_0_getFirst_Load(EOS(STATIC_5882), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(o16746sub), java.lang.Object(o16746sub)) :|: TRUE && matching1 = 41
20.53/6.88	f5882_0_getFirst_Load(EOS(STATIC_5882), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(o16746sub), java.lang.Object(o16746sub)) -> f5902_0_getFirst_FieldAccess(EOS(STATIC_5902), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(o16746sub), java.lang.Object(o16746sub)) :|: TRUE && matching1 = 41
20.53/6.88	f5902_0_getFirst_FieldAccess(EOS(STATIC_5902), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f5916_0_getFirst_FieldAccess(EOS(STATIC_5916), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f5916_0_getFirst_FieldAccess(EOS(STATIC_5916), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f5931_0_getFirst_Return(EOS(STATIC_5931), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f5931_0_getFirst_Return(EOS(STATIC_5931), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f5944_0_toPostfix_Load(EOS(STATIC_5944), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f5944_0_toPostfix_Load(EOS(STATIC_5944), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f5958_0_toPostfix_InvokeMethod(EOS(STATIC_5958), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f5958_0_toPostfix_InvokeMethod(EOS(STATIC_5958), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f5972_0__init__Load(EOS(STATIC_5972), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f5972_0__init__Load(EOS(STATIC_5972), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f5998_0__init__InvokeMethod(EOS(STATIC_5998), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f5998_0__init__InvokeMethod(EOS(STATIC_5998), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f6012_0__init__Load(EOS(STATIC_6012), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f6012_0__init__Load(EOS(STATIC_6012), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f6024_0__init__Load(EOS(STATIC_6024), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f6024_0__init__Load(EOS(STATIC_6024), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f6037_0__init__FieldAccess(EOS(STATIC_6037), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) :|: TRUE && matching1 = 41
20.53/6.88	f6037_0__init__FieldAccess(EOS(STATIC_6037), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865)), i1216) -> f6049_0__init__Load(EOS(STATIC_6049), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6049_0__init__Load(EOS(STATIC_6049), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6061_0__init__Load(EOS(STATIC_6061), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6061_0__init__Load(EOS(STATIC_6061), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6072_0__init__FieldAccess(EOS(STATIC_6072), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6072_0__init__FieldAccess(EOS(STATIC_6072), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6082_0__init__Return(EOS(STATIC_6082), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6082_0__init__Return(EOS(STATIC_6082), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6096_0_toPostfix_Store(EOS(STATIC_6096), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6096_0_toPostfix_Store(EOS(STATIC_6096), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6110_0_toPostfix_Load(EOS(STATIC_6110), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6110_0_toPostfix_Load(EOS(STATIC_6110), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6122_0_toPostfix_InvokeMethod(EOS(STATIC_6122), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6122_0_toPostfix_InvokeMethod(EOS(STATIC_6122), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6134_0_getTail_Load(EOS(STATIC_6134), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6134_0_getTail_Load(EOS(STATIC_6134), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6151_0_getTail_FieldAccess(EOS(STATIC_6151), java.lang.Object(LinkedList(EOC, 41, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) :|: TRUE && matching1 = 41
20.53/6.88	f6151_0_getTail_FieldAccess(EOS(STATIC_6151), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, i1216, o16865))) -> f6159_0_getTail_Return(EOS(STATIC_6159), java.lang.Object(LinkedList(EOC, 41, o16579)), o16865) :|: TRUE && matching1 = 41
20.53/6.88	f6159_0_getTail_Return(EOS(STATIC_6159), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16865) -> f6166_0_toPostfix_Store(EOS(STATIC_6166), java.lang.Object(LinkedList(EOC, 41, o16579)), o16865) :|: TRUE && matching1 = 41
20.53/6.88	f6166_0_toPostfix_Store(EOS(STATIC_6166), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16865) -> f6171_0_toPostfix_JMP(EOS(STATIC_6171), java.lang.Object(LinkedList(EOC, 41, o16579)), o16865) :|: TRUE && matching1 = 41
20.53/6.88	f6171_0_toPostfix_JMP(EOS(STATIC_6171), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16865) -> f6177_0_toPostfix_Load(EOS(STATIC_6177), java.lang.Object(LinkedList(EOC, 41, o16579)), o16865) :|: TRUE && matching1 = 41
20.53/6.88	f6177_0_toPostfix_Load(EOS(STATIC_6177), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16865) -> f6182_0_toPostfix_InvokeMethod(EOS(STATIC_6182), o16865, java.lang.Object(LinkedList(EOC, 41, o16579))) :|: TRUE && matching1 = 41
20.53/6.88	f6182_0_toPostfix_InvokeMethod(EOS(STATIC_6182), o16865, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6188_0_getTail_Load(EOS(STATIC_6188), o16865, java.lang.Object(LinkedList(EOC, 41, o16579))) :|: TRUE && matching1 = 41
20.53/6.88	f6188_0_getTail_Load(EOS(STATIC_6188), o16865, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6199_0_getTail_FieldAccess(EOS(STATIC_6199), o16865, java.lang.Object(LinkedList(EOC, 41, o16579))) :|: TRUE && matching1 = 41
20.53/6.88	f6199_0_getTail_FieldAccess(EOS(STATIC_6199), o16865, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6203_0_getTail_Return(EOS(STATIC_6203), o16865, o16579) :|: TRUE && matching1 = 41
20.53/6.88	f6203_0_getTail_Return(EOS(STATIC_6203), o16865, o16579) -> f6071_0_getTail_Return(EOS(STATIC_6071), o16865, o16579) :|: TRUE
20.53/6.88	f5805_0_toPostfix_TableSwitch(EOS(STATIC_5805), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5820_0_toPostfix_New(EOS(STATIC_5820), java.lang.Object(LinkedList(EOC, 42, o16579)), o16522, 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
20.53/6.88	f5820_0_toPostfix_New(EOS(STATIC_5820), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5834_0_toPostfix_Duplicate(EOS(STATIC_5834), java.lang.Object(LinkedList(EOC, 42, o16579)), o16522, 42, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f5834_0_toPostfix_Duplicate(EOS(STATIC_5834), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5847_0_toPostfix_Load(EOS(STATIC_5847), java.lang.Object(LinkedList(EOC, 42, o16579)), o16522, 42, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 0
20.53/6.88	f5847_0_toPostfix_Load(EOS(STATIC_5847), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5860_0_toPostfix_Load(EOS(STATIC_5860), java.lang.Object(LinkedList(EOC, 42, o16579)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 0 && matching4 = 0
20.53/6.88	f5860_0_toPostfix_Load(EOS(STATIC_5860), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5871_0_toPostfix_InvokeMethod(EOS(STATIC_5871), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16522) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
20.53/6.88	f5871_0_toPostfix_InvokeMethod(EOS(STATIC_5871), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5884_0__init__Load(EOS(STATIC_5884), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16522) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
20.53/6.88	f5884_0__init__Load(EOS(STATIC_5884), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5904_0__init__InvokeMethod(EOS(STATIC_5904), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
20.53/6.88	f5904_0__init__InvokeMethod(EOS(STATIC_5904), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5918_0__init__Load(EOS(STATIC_5918), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16522) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 && matching5 = 0
20.53/6.88	f5918_0__init__Load(EOS(STATIC_5918), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5932_0__init__Load(EOS(STATIC_5932), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 42, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42
20.53/6.88	f5932_0__init__Load(EOS(STATIC_5932), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5946_0__init__FieldAccess(EOS(STATIC_5946), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), 42) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 42 && matching5 = 0
20.53/6.88	f5946_0__init__FieldAccess(EOS(STATIC_5946), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5960_0__init__Load(EOS(STATIC_5960), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 42, NULL)), java.lang.Object(LinkedList(EOC, 42, NULL)), o16522) :|: TRUE && matching1 = 42 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 42
20.53/6.88	f5960_0__init__Load(EOS(STATIC_5960), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f5973_0__init__Load(EOS(STATIC_5973), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 42, NULL)), o16522, java.lang.Object(LinkedList(EOC, 42, NULL))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
20.53/6.88	f5973_0__init__Load(EOS(STATIC_5973), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5986_0__init__FieldAccess(EOS(STATIC_5986), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 42, NULL)), java.lang.Object(LinkedList(EOC, 42, NULL)), o16522) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
20.53/6.88	f5986_0__init__FieldAccess(EOS(STATIC_5986), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f6000_0__init__Return(EOS(STATIC_6000), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 42, o16522))) :|: TRUE && matching1 = 42 && matching2 = 42 && matching3 = 42
20.53/6.88	f6000_0__init__Return(EOS(STATIC_6000), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6013_0_toPostfix_Store(EOS(STATIC_6013), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 42, o16522))) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f6013_0_toPostfix_Store(EOS(STATIC_6013), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6026_0_toPostfix_JMP(EOS(STATIC_6026), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 42, o16522))) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f6026_0_toPostfix_JMP(EOS(STATIC_6026), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6039_0_toPostfix_Load(EOS(STATIC_6039), java.lang.Object(LinkedList(EOC, 42, o16579)), java.lang.Object(LinkedList(EOC, 42, o16522))) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f6039_0_toPostfix_Load(EOS(STATIC_6039), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6051_0_toPostfix_InvokeMethod(EOS(STATIC_6051), java.lang.Object(LinkedList(EOC, 42, o16522)), java.lang.Object(LinkedList(EOC, 42, o16579))) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f6051_0_toPostfix_InvokeMethod(EOS(STATIC_6051), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6063_0_getTail_Load(EOS(STATIC_6063), java.lang.Object(LinkedList(EOC, 42, o16522)), java.lang.Object(LinkedList(EOC, 42, o16579))) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f6063_0_getTail_Load(EOS(STATIC_6063), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6084_0_getTail_FieldAccess(EOS(STATIC_6084), java.lang.Object(LinkedList(EOC, 42, o16522)), java.lang.Object(LinkedList(EOC, 42, o16579))) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f6084_0_getTail_FieldAccess(EOS(STATIC_6084), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6098_0_getTail_Return(EOS(STATIC_6098), java.lang.Object(LinkedList(EOC, 42, o16522)), o16579) :|: TRUE && matching1 = 42 && matching2 = 42
20.53/6.88	f6098_0_getTail_Return(EOS(STATIC_6098), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6112_0_toPostfix_Store(EOS(STATIC_6112), java.lang.Object(LinkedList(EOC, 42, o16522)), o16579) :|: TRUE && matching1 = 42
20.53/6.88	f6112_0_toPostfix_Store(EOS(STATIC_6112), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6124_0_toPostfix_JMP(EOS(STATIC_6124), o16579, java.lang.Object(LinkedList(EOC, 42, o16522))) :|: TRUE && matching1 = 42
20.53/6.88	f6124_0_toPostfix_JMP(EOS(STATIC_6124), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f6136_0_toPostfix_Load(EOS(STATIC_6136), o16579, java.lang.Object(LinkedList(EOC, 42, o16522))) :|: TRUE && matching1 = 42
20.53/6.88	f6136_0_toPostfix_Load(EOS(STATIC_6136), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f5722_0_toPostfix_Load(EOS(STATIC_5722), o16579, java.lang.Object(LinkedList(EOC, 42, o16522))) :|: TRUE && matching1 = 42
20.53/6.88	f5806_0_toPostfix_TableSwitch(EOS(STATIC_5806), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5821_0_toPostfix_New(EOS(STATIC_5821), java.lang.Object(LinkedList(EOC, 43, o16579)), o16522, 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
20.53/6.88	f5821_0_toPostfix_New(EOS(STATIC_5821), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5835_0_toPostfix_Duplicate(EOS(STATIC_5835), java.lang.Object(LinkedList(EOC, 43, o16579)), o16522, 43, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f5835_0_toPostfix_Duplicate(EOS(STATIC_5835), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5848_0_toPostfix_Load(EOS(STATIC_5848), java.lang.Object(LinkedList(EOC, 43, o16579)), o16522, 43, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 0
20.53/6.88	f5848_0_toPostfix_Load(EOS(STATIC_5848), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5861_0_toPostfix_Load(EOS(STATIC_5861), java.lang.Object(LinkedList(EOC, 43, o16579)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 0 && matching4 = 0
20.53/6.88	f5861_0_toPostfix_Load(EOS(STATIC_5861), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5872_0_toPostfix_InvokeMethod(EOS(STATIC_5872), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16522) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
20.53/6.88	f5872_0_toPostfix_InvokeMethod(EOS(STATIC_5872), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5885_0__init__Load(EOS(STATIC_5885), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16522) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
20.53/6.88	f5885_0__init__Load(EOS(STATIC_5885), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5905_0__init__InvokeMethod(EOS(STATIC_5905), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
20.53/6.88	f5905_0__init__InvokeMethod(EOS(STATIC_5905), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5919_0__init__Load(EOS(STATIC_5919), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16522) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 && matching5 = 0
20.53/6.88	f5919_0__init__Load(EOS(STATIC_5919), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5933_0__init__Load(EOS(STATIC_5933), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 43, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43
20.53/6.88	f5933_0__init__Load(EOS(STATIC_5933), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5947_0__init__FieldAccess(EOS(STATIC_5947), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), 43) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 43 && matching5 = 0
20.53/6.88	f5947_0__init__FieldAccess(EOS(STATIC_5947), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5961_0__init__Load(EOS(STATIC_5961), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 43, NULL)), java.lang.Object(LinkedList(EOC, 43, NULL)), o16522) :|: TRUE && matching1 = 43 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 43
20.53/6.88	f5961_0__init__Load(EOS(STATIC_5961), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f5974_0__init__Load(EOS(STATIC_5974), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 43, NULL)), o16522, java.lang.Object(LinkedList(EOC, 43, NULL))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
20.53/6.88	f5974_0__init__Load(EOS(STATIC_5974), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5987_0__init__FieldAccess(EOS(STATIC_5987), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 43, NULL)), java.lang.Object(LinkedList(EOC, 43, NULL)), o16522) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
20.53/6.88	f5987_0__init__FieldAccess(EOS(STATIC_5987), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f6001_0__init__Return(EOS(STATIC_6001), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 43, o16522))) :|: TRUE && matching1 = 43 && matching2 = 43 && matching3 = 43
20.53/6.88	f6001_0__init__Return(EOS(STATIC_6001), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6014_0_toPostfix_Store(EOS(STATIC_6014), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 43, o16522))) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f6014_0_toPostfix_Store(EOS(STATIC_6014), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6027_0_toPostfix_JMP(EOS(STATIC_6027), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 43, o16522))) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f6027_0_toPostfix_JMP(EOS(STATIC_6027), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6040_0_toPostfix_Load(EOS(STATIC_6040), java.lang.Object(LinkedList(EOC, 43, o16579)), java.lang.Object(LinkedList(EOC, 43, o16522))) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f6040_0_toPostfix_Load(EOS(STATIC_6040), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6052_0_toPostfix_InvokeMethod(EOS(STATIC_6052), java.lang.Object(LinkedList(EOC, 43, o16522)), java.lang.Object(LinkedList(EOC, 43, o16579))) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f6052_0_toPostfix_InvokeMethod(EOS(STATIC_6052), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6064_0_getTail_Load(EOS(STATIC_6064), java.lang.Object(LinkedList(EOC, 43, o16522)), java.lang.Object(LinkedList(EOC, 43, o16579))) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f6064_0_getTail_Load(EOS(STATIC_6064), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6085_0_getTail_FieldAccess(EOS(STATIC_6085), java.lang.Object(LinkedList(EOC, 43, o16522)), java.lang.Object(LinkedList(EOC, 43, o16579))) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f6085_0_getTail_FieldAccess(EOS(STATIC_6085), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6099_0_getTail_Return(EOS(STATIC_6099), java.lang.Object(LinkedList(EOC, 43, o16522)), o16579) :|: TRUE && matching1 = 43 && matching2 = 43
20.53/6.88	f6099_0_getTail_Return(EOS(STATIC_6099), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6113_0_toPostfix_Store(EOS(STATIC_6113), java.lang.Object(LinkedList(EOC, 43, o16522)), o16579) :|: TRUE && matching1 = 43
20.53/6.88	f6113_0_toPostfix_Store(EOS(STATIC_6113), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6125_0_toPostfix_JMP(EOS(STATIC_6125), o16579, java.lang.Object(LinkedList(EOC, 43, o16522))) :|: TRUE && matching1 = 43
20.53/6.88	f6125_0_toPostfix_JMP(EOS(STATIC_6125), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f6137_0_toPostfix_Load(EOS(STATIC_6137), o16579, java.lang.Object(LinkedList(EOC, 43, o16522))) :|: TRUE && matching1 = 43
20.53/6.88	f6137_0_toPostfix_Load(EOS(STATIC_6137), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f5722_0_toPostfix_Load(EOS(STATIC_5722), o16579, java.lang.Object(LinkedList(EOC, 43, o16522))) :|: TRUE && matching1 = 43
20.53/6.88	f5807_0_toPostfix_TableSwitch(EOS(STATIC_5807), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5822_0_toPostfix_New(EOS(STATIC_5822), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44 && matching3 = 44
20.53/6.88	f5822_0_toPostfix_New(EOS(STATIC_5822), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5836_0_toPostfix_Duplicate(EOS(STATIC_5836), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5836_0_toPostfix_Duplicate(EOS(STATIC_5836), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5849_0_toPostfix_Load(EOS(STATIC_5849), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5849_0_toPostfix_Load(EOS(STATIC_5849), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5862_0_toPostfix_Load(EOS(STATIC_5862), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5862_0_toPostfix_Load(EOS(STATIC_5862), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5873_0_toPostfix_InvokeMethod(EOS(STATIC_5873), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5873_0_toPostfix_InvokeMethod(EOS(STATIC_5873), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5886_0__init__Load(EOS(STATIC_5886), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5886_0__init__Load(EOS(STATIC_5886), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5906_0__init__InvokeMethod(EOS(STATIC_5906), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5906_0__init__InvokeMethod(EOS(STATIC_5906), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5920_0__init__Load(EOS(STATIC_5920), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5920_0__init__Load(EOS(STATIC_5920), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5934_0__init__Load(EOS(STATIC_5934), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5934_0__init__Load(EOS(STATIC_5934), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5948_0__init__FieldAccess(EOS(STATIC_5948), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522, 44) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5948_0__init__FieldAccess(EOS(STATIC_5948), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5962_0__init__Load(EOS(STATIC_5962), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522) :|: TRUE && matching1 = 44 && matching2 = 44
20.53/6.88	f5962_0__init__Load(EOS(STATIC_5962), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5975_0__init__Load(EOS(STATIC_5975), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522) :|: TRUE && matching1 = 44
20.53/6.88	f5975_0__init__Load(EOS(STATIC_5975), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5988_0__init__FieldAccess(EOS(STATIC_5988), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522) :|: TRUE && matching1 = 44
20.53/6.88	f5988_0__init__FieldAccess(EOS(STATIC_5988), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6002_0__init__Return(EOS(STATIC_6002), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522) :|: TRUE && matching1 = 44
20.53/6.88	f6002_0__init__Return(EOS(STATIC_6002), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6015_0_toPostfix_Store(EOS(STATIC_6015), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522) :|: TRUE && matching1 = 44
20.53/6.88	f6015_0_toPostfix_Store(EOS(STATIC_6015), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6028_0_toPostfix_Load(EOS(STATIC_6028), java.lang.Object(LinkedList(EOC, 44, o16579)), o16522) :|: TRUE && matching1 = 44
20.53/6.88	f6028_0_toPostfix_Load(EOS(STATIC_6028), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6041_0_toPostfix_InvokeMethod(EOS(STATIC_6041), o16522, java.lang.Object(LinkedList(EOC, 44, o16579))) :|: TRUE && matching1 = 44
20.53/6.88	f6041_0_toPostfix_InvokeMethod(EOS(STATIC_6041), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6053_0_getTail_Load(EOS(STATIC_6053), o16522, java.lang.Object(LinkedList(EOC, 44, o16579))) :|: TRUE && matching1 = 44
20.53/6.88	f6053_0_getTail_Load(EOS(STATIC_6053), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6074_0_getTail_FieldAccess(EOS(STATIC_6074), o16522, java.lang.Object(LinkedList(EOC, 44, o16579))) :|: TRUE && matching1 = 44
20.53/6.88	f6074_0_getTail_FieldAccess(EOS(STATIC_6074), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6086_0_getTail_Return(EOS(STATIC_6086), o16522, o16579) :|: TRUE && matching1 = 44
20.53/6.88	f6086_0_getTail_Return(EOS(STATIC_6086), o16522, o16579) -> f6203_0_getTail_Return(EOS(STATIC_6203), o16522, o16579) :|: TRUE
20.53/6.88	f5808_0_toPostfix_TableSwitch(EOS(STATIC_5808), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5823_0_toPostfix_New(EOS(STATIC_5823), java.lang.Object(LinkedList(EOC, 45, o16579)), o16522, 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
20.53/6.88	f5823_0_toPostfix_New(EOS(STATIC_5823), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5837_0_toPostfix_Duplicate(EOS(STATIC_5837), java.lang.Object(LinkedList(EOC, 45, o16579)), o16522, 45, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f5837_0_toPostfix_Duplicate(EOS(STATIC_5837), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5850_0_toPostfix_Load(EOS(STATIC_5850), java.lang.Object(LinkedList(EOC, 45, o16579)), o16522, 45, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 0
20.53/6.88	f5850_0_toPostfix_Load(EOS(STATIC_5850), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5863_0_toPostfix_Load(EOS(STATIC_5863), java.lang.Object(LinkedList(EOC, 45, o16579)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 0 && matching4 = 0
20.53/6.88	f5863_0_toPostfix_Load(EOS(STATIC_5863), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5874_0_toPostfix_InvokeMethod(EOS(STATIC_5874), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16522) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
20.53/6.88	f5874_0_toPostfix_InvokeMethod(EOS(STATIC_5874), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5887_0__init__Load(EOS(STATIC_5887), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16522) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
20.53/6.88	f5887_0__init__Load(EOS(STATIC_5887), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5907_0__init__InvokeMethod(EOS(STATIC_5907), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
20.53/6.88	f5907_0__init__InvokeMethod(EOS(STATIC_5907), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5921_0__init__Load(EOS(STATIC_5921), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16522) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 && matching5 = 0
20.53/6.88	f5921_0__init__Load(EOS(STATIC_5921), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5935_0__init__Load(EOS(STATIC_5935), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 45, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45
20.53/6.88	f5935_0__init__Load(EOS(STATIC_5935), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5949_0__init__FieldAccess(EOS(STATIC_5949), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), 45) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 45 && matching5 = 0
20.53/6.88	f5949_0__init__FieldAccess(EOS(STATIC_5949), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5963_0__init__Load(EOS(STATIC_5963), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 45, NULL)), java.lang.Object(LinkedList(EOC, 45, NULL)), o16522) :|: TRUE && matching1 = 45 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 45
20.53/6.88	f5963_0__init__Load(EOS(STATIC_5963), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f5976_0__init__Load(EOS(STATIC_5976), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 45, NULL)), o16522, java.lang.Object(LinkedList(EOC, 45, NULL))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
20.53/6.88	f5976_0__init__Load(EOS(STATIC_5976), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5989_0__init__FieldAccess(EOS(STATIC_5989), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 45, NULL)), java.lang.Object(LinkedList(EOC, 45, NULL)), o16522) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
20.53/6.88	f5989_0__init__FieldAccess(EOS(STATIC_5989), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f6003_0__init__Return(EOS(STATIC_6003), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 45, o16522))) :|: TRUE && matching1 = 45 && matching2 = 45 && matching3 = 45
20.53/6.88	f6003_0__init__Return(EOS(STATIC_6003), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6016_0_toPostfix_Store(EOS(STATIC_6016), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 45, o16522))) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f6016_0_toPostfix_Store(EOS(STATIC_6016), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6029_0_toPostfix_JMP(EOS(STATIC_6029), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 45, o16522))) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f6029_0_toPostfix_JMP(EOS(STATIC_6029), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6042_0_toPostfix_Load(EOS(STATIC_6042), java.lang.Object(LinkedList(EOC, 45, o16579)), java.lang.Object(LinkedList(EOC, 45, o16522))) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f6042_0_toPostfix_Load(EOS(STATIC_6042), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6054_0_toPostfix_InvokeMethod(EOS(STATIC_6054), java.lang.Object(LinkedList(EOC, 45, o16522)), java.lang.Object(LinkedList(EOC, 45, o16579))) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f6054_0_toPostfix_InvokeMethod(EOS(STATIC_6054), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6065_0_getTail_Load(EOS(STATIC_6065), java.lang.Object(LinkedList(EOC, 45, o16522)), java.lang.Object(LinkedList(EOC, 45, o16579))) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f6065_0_getTail_Load(EOS(STATIC_6065), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6087_0_getTail_FieldAccess(EOS(STATIC_6087), java.lang.Object(LinkedList(EOC, 45, o16522)), java.lang.Object(LinkedList(EOC, 45, o16579))) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f6087_0_getTail_FieldAccess(EOS(STATIC_6087), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6101_0_getTail_Return(EOS(STATIC_6101), java.lang.Object(LinkedList(EOC, 45, o16522)), o16579) :|: TRUE && matching1 = 45 && matching2 = 45
20.53/6.88	f6101_0_getTail_Return(EOS(STATIC_6101), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6115_0_toPostfix_Store(EOS(STATIC_6115), java.lang.Object(LinkedList(EOC, 45, o16522)), o16579) :|: TRUE && matching1 = 45
20.53/6.88	f6115_0_toPostfix_Store(EOS(STATIC_6115), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6127_0_toPostfix_JMP(EOS(STATIC_6127), o16579, java.lang.Object(LinkedList(EOC, 45, o16522))) :|: TRUE && matching1 = 45
20.53/6.88	f6127_0_toPostfix_JMP(EOS(STATIC_6127), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f6138_0_toPostfix_Load(EOS(STATIC_6138), o16579, java.lang.Object(LinkedList(EOC, 45, o16522))) :|: TRUE && matching1 = 45
20.53/6.88	f6138_0_toPostfix_Load(EOS(STATIC_6138), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f5722_0_toPostfix_Load(EOS(STATIC_5722), o16579, java.lang.Object(LinkedList(EOC, 45, o16522))) :|: TRUE && matching1 = 45
20.53/6.88	f5809_0_toPostfix_TableSwitch(EOS(STATIC_5809), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5824_0_toPostfix_New(EOS(STATIC_5824), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46 && matching3 = 46
20.53/6.88	f5824_0_toPostfix_New(EOS(STATIC_5824), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5838_0_toPostfix_Duplicate(EOS(STATIC_5838), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5838_0_toPostfix_Duplicate(EOS(STATIC_5838), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5851_0_toPostfix_Load(EOS(STATIC_5851), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5851_0_toPostfix_Load(EOS(STATIC_5851), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5864_0_toPostfix_Load(EOS(STATIC_5864), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5864_0_toPostfix_Load(EOS(STATIC_5864), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5875_0_toPostfix_InvokeMethod(EOS(STATIC_5875), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5875_0_toPostfix_InvokeMethod(EOS(STATIC_5875), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5888_0__init__Load(EOS(STATIC_5888), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5888_0__init__Load(EOS(STATIC_5888), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5908_0__init__InvokeMethod(EOS(STATIC_5908), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5908_0__init__InvokeMethod(EOS(STATIC_5908), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5922_0__init__Load(EOS(STATIC_5922), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5922_0__init__Load(EOS(STATIC_5922), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5936_0__init__Load(EOS(STATIC_5936), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5936_0__init__Load(EOS(STATIC_5936), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5950_0__init__FieldAccess(EOS(STATIC_5950), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522, 46) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5950_0__init__FieldAccess(EOS(STATIC_5950), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5964_0__init__Load(EOS(STATIC_5964), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522) :|: TRUE && matching1 = 46 && matching2 = 46
20.53/6.88	f5964_0__init__Load(EOS(STATIC_5964), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5977_0__init__Load(EOS(STATIC_5977), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522) :|: TRUE && matching1 = 46
20.53/6.88	f5977_0__init__Load(EOS(STATIC_5977), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f5990_0__init__FieldAccess(EOS(STATIC_5990), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522) :|: TRUE && matching1 = 46
20.53/6.88	f5990_0__init__FieldAccess(EOS(STATIC_5990), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6004_0__init__Return(EOS(STATIC_6004), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522) :|: TRUE && matching1 = 46
20.53/6.88	f6004_0__init__Return(EOS(STATIC_6004), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6017_0_toPostfix_Store(EOS(STATIC_6017), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522) :|: TRUE && matching1 = 46
20.53/6.88	f6017_0_toPostfix_Store(EOS(STATIC_6017), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6030_0_toPostfix_Load(EOS(STATIC_6030), java.lang.Object(LinkedList(EOC, 46, o16579)), o16522) :|: TRUE && matching1 = 46
20.53/6.88	f6030_0_toPostfix_Load(EOS(STATIC_6030), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522) -> f6043_0_toPostfix_InvokeMethod(EOS(STATIC_6043), o16522, java.lang.Object(LinkedList(EOC, 46, o16579))) :|: TRUE && matching1 = 46
20.53/6.88	f6043_0_toPostfix_InvokeMethod(EOS(STATIC_6043), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6055_0_getTail_Load(EOS(STATIC_6055), o16522, java.lang.Object(LinkedList(EOC, 46, o16579))) :|: TRUE && matching1 = 46
20.53/6.88	f6055_0_getTail_Load(EOS(STATIC_6055), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6075_0_getTail_FieldAccess(EOS(STATIC_6075), o16522, java.lang.Object(LinkedList(EOC, 46, o16579))) :|: TRUE && matching1 = 46
20.53/6.88	f6075_0_getTail_FieldAccess(EOS(STATIC_6075), o16522, java.lang.Object(LinkedList(EOC, matching1, o16579))) -> f6088_0_getTail_Return(EOS(STATIC_6088), o16522, o16579) :|: TRUE && matching1 = 46
20.53/6.88	f6088_0_getTail_Return(EOS(STATIC_6088), o16522, o16579) -> f6203_0_getTail_Return(EOS(STATIC_6203), o16522, o16579) :|: TRUE
20.53/6.88	f5810_0_toPostfix_TableSwitch(EOS(STATIC_5810), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, matching3) -> f5825_0_toPostfix_New(EOS(STATIC_5825), java.lang.Object(LinkedList(EOC, 47, o16579)), o16522, 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
20.53/6.88	f5825_0_toPostfix_New(EOS(STATIC_5825), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2) -> f5839_0_toPostfix_Duplicate(EOS(STATIC_5839), java.lang.Object(LinkedList(EOC, 47, o16579)), o16522, 47, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f5839_0_toPostfix_Duplicate(EOS(STATIC_5839), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5852_0_toPostfix_Load(EOS(STATIC_5852), java.lang.Object(LinkedList(EOC, 47, o16579)), o16522, 47, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 0
20.53/6.88	f5852_0_toPostfix_Load(EOS(STATIC_5852), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, matching2, java.lang.Object(LinkedList(EOC, matching3, NULL)), java.lang.Object(LinkedList(EOC, matching4, NULL))) -> f5865_0_toPostfix_Load(EOS(STATIC_5865), java.lang.Object(LinkedList(EOC, 47, o16579)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 0 && matching4 = 0
20.53/6.88	f5865_0_toPostfix_Load(EOS(STATIC_5865), java.lang.Object(LinkedList(EOC, matching1, o16579)), o16522, java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4) -> f5876_0_toPostfix_InvokeMethod(EOS(STATIC_5876), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16522) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
20.53/6.88	f5876_0_toPostfix_InvokeMethod(EOS(STATIC_5876), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5889_0__init__Load(EOS(STATIC_5889), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16522) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
20.53/6.88	f5889_0__init__Load(EOS(STATIC_5889), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5909_0__init__InvokeMethod(EOS(STATIC_5909), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
20.53/6.88	f5909_0__init__InvokeMethod(EOS(STATIC_5909), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5923_0__init__Load(EOS(STATIC_5923), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16522) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 && matching5 = 0
20.53/6.88	f5923_0__init__Load(EOS(STATIC_5923), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522) -> f5937_0__init__Load(EOS(STATIC_5937), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), 47, o16522, java.lang.Object(LinkedList(EOC, 0, NULL))) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47
20.53/6.88	f5937_0__init__Load(EOS(STATIC_5937), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), matching4, o16522, java.lang.Object(LinkedList(EOC, matching5, NULL))) -> f5951_0__init__FieldAccess(EOS(STATIC_5951), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 0, NULL)), java.lang.Object(LinkedList(EOC, 0, NULL)), o16522, java.lang.Object(LinkedList(EOC, 0, NULL)), 47) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 47 && matching5 = 0
20.53/6.88	f5951_0__init__FieldAccess(EOS(STATIC_5951), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching4, NULL)), matching5) -> f5965_0__init__Load(EOS(STATIC_5965), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 47, NULL)), java.lang.Object(LinkedList(EOC, 47, NULL)), o16522) :|: TRUE && matching1 = 47 && matching2 = 0 && matching3 = 0 && matching4 = 0 && matching5 = 47
20.53/6.88	f5965_0__init__Load(EOS(STATIC_5965), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f5978_0__init__Load(EOS(STATIC_5978), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 47, NULL)), o16522, java.lang.Object(LinkedList(EOC, 47, NULL))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
20.53/6.88	f5978_0__init__Load(EOS(STATIC_5978), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), o16522, java.lang.Object(LinkedList(EOC, matching3, NULL))) -> f5991_0__init__FieldAccess(EOS(STATIC_5991), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 47, NULL)), java.lang.Object(LinkedList(EOC, 47, NULL)), o16522) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
20.53/6.88	f5991_0__init__FieldAccess(EOS(STATIC_5991), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, NULL)), java.lang.Object(LinkedList(EOC, matching3, NULL)), o16522) -> f6005_0__init__Return(EOS(STATIC_6005), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 47, o16522))) :|: TRUE && matching1 = 47 && matching2 = 47 && matching3 = 47
20.53/6.88	f6005_0__init__Return(EOS(STATIC_6005), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6018_0_toPostfix_Store(EOS(STATIC_6018), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 47, o16522))) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f6018_0_toPostfix_Store(EOS(STATIC_6018), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6031_0_toPostfix_JMP(EOS(STATIC_6031), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 47, o16522))) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f6031_0_toPostfix_JMP(EOS(STATIC_6031), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6044_0_toPostfix_Load(EOS(STATIC_6044), java.lang.Object(LinkedList(EOC, 47, o16579)), java.lang.Object(LinkedList(EOC, 47, o16522))) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f6044_0_toPostfix_Load(EOS(STATIC_6044), java.lang.Object(LinkedList(EOC, matching1, o16579)), java.lang.Object(LinkedList(EOC, matching2, o16522))) -> f6056_0_toPostfix_InvokeMethod(EOS(STATIC_6056), java.lang.Object(LinkedList(EOC, 47, o16522)), java.lang.Object(LinkedList(EOC, 47, o16579))) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f6056_0_toPostfix_InvokeMethod(EOS(STATIC_6056), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6066_0_getTail_Load(EOS(STATIC_6066), java.lang.Object(LinkedList(EOC, 47, o16522)), java.lang.Object(LinkedList(EOC, 47, o16579))) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f6066_0_getTail_Load(EOS(STATIC_6066), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6089_0_getTail_FieldAccess(EOS(STATIC_6089), java.lang.Object(LinkedList(EOC, 47, o16522)), java.lang.Object(LinkedList(EOC, 47, o16579))) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f6089_0_getTail_FieldAccess(EOS(STATIC_6089), java.lang.Object(LinkedList(EOC, matching1, o16522)), java.lang.Object(LinkedList(EOC, matching2, o16579))) -> f6103_0_getTail_Return(EOS(STATIC_6103), java.lang.Object(LinkedList(EOC, 47, o16522)), o16579) :|: TRUE && matching1 = 47 && matching2 = 47
20.53/6.88	f6103_0_getTail_Return(EOS(STATIC_6103), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6117_0_toPostfix_Store(EOS(STATIC_6117), java.lang.Object(LinkedList(EOC, 47, o16522)), o16579) :|: TRUE && matching1 = 47
20.53/6.88	f6117_0_toPostfix_Store(EOS(STATIC_6117), java.lang.Object(LinkedList(EOC, matching1, o16522)), o16579) -> f6129_0_toPostfix_JMP(EOS(STATIC_6129), o16579, java.lang.Object(LinkedList(EOC, 47, o16522))) :|: TRUE && matching1 = 47
20.53/6.88	f6129_0_toPostfix_JMP(EOS(STATIC_6129), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f6139_0_toPostfix_Load(EOS(STATIC_6139), o16579, java.lang.Object(LinkedList(EOC, 47, o16522))) :|: TRUE && matching1 = 47
20.53/6.88	f6139_0_toPostfix_Load(EOS(STATIC_6139), o16579, java.lang.Object(LinkedList(EOC, matching1, o16522))) -> f5722_0_toPostfix_Load(EOS(STATIC_5722), o16579, java.lang.Object(LinkedList(EOC, 47, o16522))) :|: TRUE && matching1 = 47
20.53/6.88	f5797_0_toPostfix_TableSwitch(EOS(STATIC_5797), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202, i1202) -> f5811_0_toPostfix_New(EOS(STATIC_5811), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: i1202 > 47
20.53/6.88	f5811_0_toPostfix_New(EOS(STATIC_5811), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) -> f5802_0_toPostfix_New(EOS(STATIC_5802), java.lang.Object(LinkedList(EOC, i1202, o16579)), o16522, i1202) :|: TRUE
20.53/6.88	Combined rules. Obtained 10 IRulesP rules:
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, i1202:0, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, o16522:0, o16579:0) :|: i1202:0 > 47
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, i1202:0, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, o16522:0, o16579:0) :|: i1202:0 < 40
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 44, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, 44, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, o16522:0, o16579:0) :|: TRUE
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 41, o16579:0)), java.lang.Object(LinkedList(EOC, i1216:0, o16865:0)), java.lang.Object(LinkedList(EOC, 41, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, o16865:0, o16579:0) :|: TRUE
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 47, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, 47, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, java.lang.Object(LinkedList(EOC, 47, o16522:0)), o16579:0) :|: TRUE
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 45, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, 45, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, java.lang.Object(LinkedList(EOC, 45, o16522:0)), o16579:0) :|: TRUE
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 46, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, 46, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, o16522:0, o16579:0) :|: TRUE
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 43, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, 43, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, java.lang.Object(LinkedList(EOC, 43, o16522:0)), o16579:0) :|: TRUE
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 40, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, 40, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, o16522:0, o16579:0) :|: TRUE
20.53/6.88	f5726_0_toPostfix_NULL(EOS(STATIC_5726), java.lang.Object(LinkedList(EOC, 42, o16579:0)), o16522:0, java.lang.Object(LinkedList(EOC, 42, o16579:0))) -> f5726_0_toPostfix_NULL(EOS(STATIC_5726), o16579:0, java.lang.Object(LinkedList(EOC, 42, o16522:0)), o16579:0) :|: TRUE
20.53/6.88	Filtered constant ground arguments:
20.53/6.88	   f5726_0_toPostfix_NULL(x1, x2, x3, x4) -> f5726_0_toPostfix_NULL(x2, x3, x4)
20.53/6.88	   EOS(x1) -> EOS
20.53/6.88	   LinkedList(x1, x2, x3) -> LinkedList(x2, x3)
20.53/6.88	Filtered duplicate arguments:
20.53/6.88	   f5726_0_toPostfix_NULL(x1, x2, x3) -> f5726_0_toPostfix_NULL(x2, x3)
20.53/6.88	Finished conversion. Obtained 10 rules.P rules:
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: i1202:0 > 47
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: i1202:0 < 40
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(cons_44, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: TRUE && cons_44 = 44
20.53/6.88	f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(i1216:0, o16865:0)), java.lang.Object(LinkedList(cons_41, o16579:0))) -> f5726_0_toPostfix_NULL(o16865:0, o16579:0) :|: TRUE && cons_41 = 41
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(cons_47, o16579:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(47, o16522:0)), o16579:0) :|: TRUE && cons_47 = 47
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(cons_45, o16579:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(45, o16522:0)), o16579:0) :|: TRUE && cons_45 = 45
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(cons_46, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: TRUE && cons_46 = 46
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(cons_43, o16579:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(43, o16522:0)), o16579:0) :|: TRUE && cons_43 = 43
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(cons_40, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: TRUE && cons_40 = 40
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(cons_42, o16579:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(42, o16522:0)), o16579:0) :|: TRUE && cons_42 = 42
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(14)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: i1202:0 > 47
20.53/6.88	f5726_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5726_0_toPostfix_NULL(x, x2) :|: x1 < 40
20.53/6.88	f5726_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5726_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 44
20.53/6.88	f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5726_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
20.53/6.88	f5726_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
20.53/6.88	f5726_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
20.53/6.88	f5726_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5726_0_toPostfix_NULL(x16, x18) :|: TRUE && x17 = 46
20.53/6.88	f5726_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x19)), x21) :|: TRUE && x20 = 43
20.53/6.88	f5726_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5726_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
20.53/6.88	f5726_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(15) IRSFormatTransformerProof (EQUIVALENT)
20.53/6.88	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(16)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: i1202:0 > 47
20.53/6.88	f5726_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5726_0_toPostfix_NULL(x, x2) :|: x1 < 40
20.53/6.88	f5726_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5726_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 44
20.53/6.88	f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5726_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
20.53/6.88	f5726_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
20.53/6.88	f5726_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
20.53/6.88	f5726_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5726_0_toPostfix_NULL(x16, x18) :|: TRUE && x17 = 46
20.53/6.88	f5726_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x19)), x21) :|: TRUE && x20 = 43
20.53/6.88	f5726_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5726_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
20.53/6.88	f5726_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(17) IRSwTTerminationDigraphProof (EQUIVALENT)
20.53/6.88	Constructed termination digraph!
20.53/6.88	Nodes:
20.53/6.88	(1) f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: i1202:0 > 47
20.53/6.88	(2) f5726_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5726_0_toPostfix_NULL(x, x2) :|: x1 < 40
20.53/6.88	(3) f5726_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5726_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 44
20.53/6.88	(4) f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5726_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
20.53/6.88	(5) f5726_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
20.53/6.88	(6) f5726_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
20.53/6.88	(7) f5726_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5726_0_toPostfix_NULL(x16, x18) :|: TRUE && x17 = 46
20.53/6.88	(8) f5726_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x19)), x21) :|: TRUE && x20 = 43
20.53/6.88	(9) f5726_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5726_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
20.53/6.88	(10) f5726_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42
20.53/6.88	
20.53/6.88	Arcs:
20.53/6.88	(1) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(2) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(3) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(4) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(5) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(6) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(7) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(8) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(9) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(10) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	
20.53/6.88	This digraph is fully evaluated!
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(18)
20.53/6.88	Obligation:
20.53/6.88	
20.53/6.88	Termination digraph:
20.53/6.88	Nodes:
20.53/6.88	(1) f5726_0_toPostfix_NULL(o16522:0, java.lang.Object(LinkedList(i1202:0, o16579:0))) -> f5726_0_toPostfix_NULL(o16522:0, o16579:0) :|: i1202:0 > 47
20.53/6.88	(2) f5726_0_toPostfix_NULL(x, java.lang.Object(LinkedList(x1, x2))) -> f5726_0_toPostfix_NULL(x, x2) :|: x1 < 40
20.53/6.88	(3) f5726_0_toPostfix_NULL(x3, java.lang.Object(LinkedList(x4, x5))) -> f5726_0_toPostfix_NULL(x3, x5) :|: TRUE && x4 = 44
20.53/6.88	(4) f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6, x7)), java.lang.Object(LinkedList(x8, x9))) -> f5726_0_toPostfix_NULL(x7, x9) :|: TRUE && x8 = 41
20.53/6.88	(5) f5726_0_toPostfix_NULL(x10, java.lang.Object(LinkedList(x11, x12))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10)), x12) :|: TRUE && x11 = 47
20.53/6.88	(6) f5726_0_toPostfix_NULL(x13, java.lang.Object(LinkedList(x14, x15))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13)), x15) :|: TRUE && x14 = 45
20.53/6.88	(7) f5726_0_toPostfix_NULL(x16, java.lang.Object(LinkedList(x17, x18))) -> f5726_0_toPostfix_NULL(x16, x18) :|: TRUE && x17 = 46
20.53/6.88	(8) f5726_0_toPostfix_NULL(x19, java.lang.Object(LinkedList(x20, x21))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x19)), x21) :|: TRUE && x20 = 43
20.53/6.88	(9) f5726_0_toPostfix_NULL(x22, java.lang.Object(LinkedList(x23, x24))) -> f5726_0_toPostfix_NULL(x22, x24) :|: TRUE && x23 = 40
20.53/6.88	(10) f5726_0_toPostfix_NULL(x25, java.lang.Object(LinkedList(x26, x27))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25)), x27) :|: TRUE && x26 = 42
20.53/6.88	
20.53/6.88	Arcs:
20.53/6.88	(1) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(2) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(3) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(4) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(5) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(6) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(7) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(8) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(9) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	(10) -> (1), (2), (3), (4), (5), (6), (7), (8), (9), (10)
20.53/6.88	
20.53/6.88	This digraph is fully evaluated!
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(19) IntTRSCompressionProof (EQUIVALENT)
20.53/6.88	Compressed rules.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(20)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f5726_0_toPostfix_NULL(x16:0, java.lang.Object(LinkedList(cons_46, x18:0))) -> f5726_0_toPostfix_NULL(x16:0, x18:0) :|: TRUE && cons_46 = 46
20.53/6.88	f5726_0_toPostfix_NULL(x22:0, java.lang.Object(LinkedList(cons_40, x24:0))) -> f5726_0_toPostfix_NULL(x22:0, x24:0) :|: TRUE && cons_40 = 40
20.53/6.88	f5726_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(cons_43, x21:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(43, x19:0)), x21:0) :|: TRUE && cons_43 = 43
20.53/6.88	f5726_0_toPostfix_NULL(x25:0, java.lang.Object(LinkedList(cons_42, x27:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(42, x25:0)), x27:0) :|: TRUE && cons_42 = 42
20.53/6.88	f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(cons_41, x9:0))) -> f5726_0_toPostfix_NULL(x7:0, x9:0) :|: TRUE && cons_41 = 41
20.53/6.88	f5726_0_toPostfix_NULL(x10:0, java.lang.Object(LinkedList(cons_47, x12:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(47, x10:0)), x12:0) :|: TRUE && cons_47 = 47
20.53/6.88	f5726_0_toPostfix_NULL(x13:0, java.lang.Object(LinkedList(cons_45, x15:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(45, x13:0)), x15:0) :|: TRUE && cons_45 = 45
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0:0, java.lang.Object(LinkedList(i1202:0:0, o16579:0:0))) -> f5726_0_toPostfix_NULL(o16522:0:0, o16579:0:0) :|: i1202:0:0 > 47
20.53/6.88	f5726_0_toPostfix_NULL(x3:0, java.lang.Object(LinkedList(cons_44, x5:0))) -> f5726_0_toPostfix_NULL(x3:0, x5:0) :|: TRUE && cons_44 = 44
20.53/6.88	f5726_0_toPostfix_NULL(x:0, java.lang.Object(LinkedList(x1:0, x2:0))) -> f5726_0_toPostfix_NULL(x:0, x2:0) :|: x1:0 < 40
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(21) TempFilterProof (SOUND)
20.53/6.88	Used the following sort dictionary for filtering: 
20.53/6.88	f5726_0_toPostfix_NULL(VARIABLE, VARIABLE)
20.53/6.88	java.lang.Object(VARIABLE)
20.53/6.88	LinkedList(VARIABLE, VARIABLE)
20.53/6.88	Removed predefined arithmetic.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(22)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f5726_0_toPostfix_NULL(x16:0, java.lang.Object(LinkedList(predef, x18:0))) -> f5726_0_toPostfix_NULL(x16:0, x18:0)
20.53/6.88	f5726_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(predef, x21:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, x19:0)), x21:0)
20.53/6.88	f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(predef, x9:0))) -> f5726_0_toPostfix_NULL(x7:0, x9:0)
20.53/6.88	f5726_0_toPostfix_NULL(o16522:0:0, java.lang.Object(LinkedList(i1202:0:0, o16579:0:0))) -> f5726_0_toPostfix_NULL(o16522:0:0, o16579:0:0)
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(23) IRSwTToQDPProof (SOUND)
20.53/6.88	Removed the integers and created a QDP-Problem.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(24)
20.53/6.88	Obligation:
20.53/6.88	Q DP problem:
20.53/6.88	The TRS P consists of the following rules:
20.53/6.88	
20.53/6.88	   f5726_0_toPostfix_NULL(x16:0, java.lang.Object(LinkedList(predef, x18:0))) -> f5726_0_toPostfix_NULL(x16:0, x18:0)
20.53/6.88	   f5726_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(predef, x21:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, x19:0)), x21:0)
20.53/6.88	   f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(predef, x9:0))) -> f5726_0_toPostfix_NULL(x7:0, x9:0)
20.53/6.88	   f5726_0_toPostfix_NULL(o16522:0:0, java.lang.Object(LinkedList(i1202:0:0, o16579:0:0))) -> f5726_0_toPostfix_NULL(o16522:0:0, o16579:0:0)
20.53/6.88	
20.53/6.88	R is empty.
20.53/6.88	Q is empty.
20.53/6.88	We have to consider all (P,Q,R)-chains.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(25) QDPSizeChangeProof (EQUIVALENT)
20.53/6.88	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. 
20.53/6.88	
20.53/6.88	From the DPs we obtained the following set of size-change graphs:
20.53/6.88	*f5726_0_toPostfix_NULL(x16:0, java.lang.Object(LinkedList(predef, x18:0))) -> f5726_0_toPostfix_NULL(x16:0, x18:0)
20.53/6.88	The graph contains the following edges 1 >= 1, 2 > 2
20.53/6.88	
20.53/6.88	
20.53/6.88	*f5726_0_toPostfix_NULL(x19:0, java.lang.Object(LinkedList(predef, x21:0))) -> f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(predef, x19:0)), x21:0)
20.53/6.88	The graph contains the following edges 2 > 2
20.53/6.88	
20.53/6.88	
20.53/6.88	*f5726_0_toPostfix_NULL(java.lang.Object(LinkedList(x6:0, x7:0)), java.lang.Object(LinkedList(predef, x9:0))) -> f5726_0_toPostfix_NULL(x7:0, x9:0)
20.53/6.88	The graph contains the following edges 1 > 1, 2 > 2
20.53/6.88	
20.53/6.88	
20.53/6.88	*f5726_0_toPostfix_NULL(o16522:0:0, java.lang.Object(LinkedList(i1202:0:0, o16579:0:0))) -> f5726_0_toPostfix_NULL(o16522:0:0, o16579:0:0)
20.53/6.88	The graph contains the following edges 1 >= 1, 2 > 2
20.53/6.88	
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(26)
20.53/6.88	YES
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(27)
20.53/6.88	Obligation:
20.53/6.88	SCC of termination graph based on JBC Program.
20.53/6.88	SCC contains nodes from the following methods: Infix2Postfix.main([Ljava/lang/String;)V
20.53/6.88	SCC calls the following helper methods: 
20.53/6.88	Performed SCC analyses:
20.53/6.88	*Used field analysis yielded the following read fields:
20.53/6.88	
20.53/6.88	*Marker field analysis yielded the following relations that could be markers:
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(28) SCCToIRSProof (SOUND)
20.53/6.88	Transformed FIGraph SCCs to intTRSs. Log: 
20.53/6.88	Generated rules. Obtained 22 IRulesP rules:
20.53/6.88	f6567_0_buildExpression_Load(EOS(STATIC_6567), java.lang.Object(ARRAY(i1470)), i1470, i1471, i1471) -> f6570_0_buildExpression_GE(EOS(STATIC_6570), java.lang.Object(ARRAY(i1470)), i1470, i1471, i1471, i1470) :|: TRUE
20.53/6.88	f6570_0_buildExpression_GE(EOS(STATIC_6570), java.lang.Object(ARRAY(i1470)), i1470, i1471, i1471, i1470) -> f6574_0_buildExpression_GE(EOS(STATIC_6574), java.lang.Object(ARRAY(i1470)), i1470, i1471, i1471, i1470) :|: i1471 < i1470
20.53/6.88	f6574_0_buildExpression_GE(EOS(STATIC_6574), java.lang.Object(ARRAY(i1470)), i1470, i1471, i1471, i1470) -> f6578_0_buildExpression_New(EOS(STATIC_6578), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: i1471 < i1470
20.53/6.88	f6578_0_buildExpression_New(EOS(STATIC_6578), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6582_0_buildExpression_Duplicate(EOS(STATIC_6582), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6582_0_buildExpression_Duplicate(EOS(STATIC_6582), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6586_0_buildExpression_ConstantStackPush(EOS(STATIC_6586), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6586_0_buildExpression_ConstantStackPush(EOS(STATIC_6586), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6590_0_buildExpression_Load(EOS(STATIC_6590), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6590_0_buildExpression_Load(EOS(STATIC_6590), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6594_0_buildExpression_InvokeMethod(EOS(STATIC_6594), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6594_0_buildExpression_InvokeMethod(EOS(STATIC_6594), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6596_0__init__Load(EOS(STATIC_6596), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6596_0__init__Load(EOS(STATIC_6596), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6602_0__init__InvokeMethod(EOS(STATIC_6602), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6602_0__init__InvokeMethod(EOS(STATIC_6602), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6605_0__init__Load(EOS(STATIC_6605), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6605_0__init__Load(EOS(STATIC_6605), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6608_0__init__Load(EOS(STATIC_6608), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6608_0__init__Load(EOS(STATIC_6608), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6614_0__init__FieldAccess(EOS(STATIC_6614), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6614_0__init__FieldAccess(EOS(STATIC_6614), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6619_0__init__Load(EOS(STATIC_6619), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6619_0__init__Load(EOS(STATIC_6619), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6624_0__init__Load(EOS(STATIC_6624), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6624_0__init__Load(EOS(STATIC_6624), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6628_0__init__FieldAccess(EOS(STATIC_6628), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6628_0__init__FieldAccess(EOS(STATIC_6628), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6631_0__init__Return(EOS(STATIC_6631), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6631_0__init__Return(EOS(STATIC_6631), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6634_0_buildExpression_Store(EOS(STATIC_6634), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6634_0_buildExpression_Store(EOS(STATIC_6634), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6637_0_buildExpression_Inc(EOS(STATIC_6637), java.lang.Object(ARRAY(i1470)), i1470, i1471) :|: TRUE
20.53/6.88	f6637_0_buildExpression_Inc(EOS(STATIC_6637), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6640_0_buildExpression_JMP(EOS(STATIC_6640), java.lang.Object(ARRAY(i1470)), i1470, i1471 + 1) :|: TRUE
20.53/6.88	f6640_0_buildExpression_JMP(EOS(STATIC_6640), java.lang.Object(ARRAY(i1470)), i1470, i1476) -> f6643_0_buildExpression_Load(EOS(STATIC_6643), java.lang.Object(ARRAY(i1470)), i1470, i1476) :|: TRUE
20.53/6.88	f6643_0_buildExpression_Load(EOS(STATIC_6643), java.lang.Object(ARRAY(i1470)), i1470, i1476) -> f6564_0_buildExpression_Load(EOS(STATIC_6564), java.lang.Object(ARRAY(i1470)), i1470, i1476) :|: TRUE
20.53/6.88	f6564_0_buildExpression_Load(EOS(STATIC_6564), java.lang.Object(ARRAY(i1470)), i1470, i1471) -> f6567_0_buildExpression_Load(EOS(STATIC_6567), java.lang.Object(ARRAY(i1470)), i1470, i1471, i1471) :|: TRUE
20.53/6.88	Combined rules. Obtained 1 IRulesP rules:
20.53/6.88	f6567_0_buildExpression_Load(EOS(STATIC_6567), java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0, i1471:0) -> f6567_0_buildExpression_Load(EOS(STATIC_6567), java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0 + 1, i1471:0 + 1) :|: i1471:0 < i1470:0
20.53/6.88	Filtered constant ground arguments:
20.53/6.88	   f6567_0_buildExpression_Load(x1, x2, x3, x4, x5) -> f6567_0_buildExpression_Load(x2, x3, x4, x5)
20.53/6.88	   EOS(x1) -> EOS
20.53/6.88	Filtered duplicate arguments:
20.53/6.88	   f6567_0_buildExpression_Load(x1, x2, x3, x4) -> f6567_0_buildExpression_Load(x1, x2, x4)
20.53/6.88	Finished conversion. Obtained 1 rules.P rules:
20.53/6.88	f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0, i1470:0) -> f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0 + 1, i1470:0) :|: i1471:0 < i1470:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(29)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0, i1470:0) -> f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0 + 1, i1470:0) :|: i1471:0 < i1470:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(30) IRSFormatTransformerProof (EQUIVALENT)
20.53/6.88	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(31)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0, i1470:0) -> f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, arith, i1470:0) :|: i1471:0 < i1470:0 && arith = i1471:0 + 1
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(32) IRSwTTerminationDigraphProof (EQUIVALENT)
20.53/6.88	Constructed termination digraph!
20.53/6.88	Nodes:
20.53/6.88	(1) f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0, i1470:0) -> f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, arith, i1470:0) :|: i1471:0 < i1470:0 && arith = i1471:0 + 1
20.53/6.88	
20.53/6.88	Arcs:
20.53/6.88	(1) -> (1)
20.53/6.88	
20.53/6.88	This digraph is fully evaluated!
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(33)
20.53/6.88	Obligation:
20.53/6.88	
20.53/6.88	Termination digraph:
20.53/6.88	Nodes:
20.53/6.88	(1) f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, i1471:0, i1470:0) -> f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0)), i1470:0, arith, i1470:0) :|: i1471:0 < i1470:0 && arith = i1471:0 + 1
20.53/6.88	
20.53/6.88	Arcs:
20.53/6.88	(1) -> (1)
20.53/6.88	
20.53/6.88	This digraph is fully evaluated!
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(34) IntTRSCompressionProof (EQUIVALENT)
20.53/6.88	Compressed rules.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(35)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0:0)), i1470:0:0, i1471:0:0, i1470:0:0) -> f6567_0_buildExpression_Load(java.lang.Object(ARRAY(i1470:0:0)), i1470:0:0, i1471:0:0 + 1, i1470:0:0) :|: i1471:0:0 < i1470:0:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(36) TempFilterProof (SOUND)
20.53/6.88	Used the following sort dictionary for filtering: 
20.53/6.88	f6567_0_buildExpression_Load(VARIABLE, INTEGER, INTEGER, INTEGER)
20.53/6.88	java.lang.Object(VARIABLE)
20.53/6.88	ARRAY(INTEGER)
20.53/6.88	Replaced non-predefined constructor symbols by 0.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(37)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6567_0_buildExpression_Load(c, i1470:0:0, i1471:0:0, i1470:0:0) -> f6567_0_buildExpression_Load(c1, i1470:0:0, c2, i1470:0:0) :|: c2 = i1471:0:0 + 1 && (c1 = 0 && c = 0) && i1471:0:0 < i1470:0:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(38) PolynomialOrderProcessor (EQUIVALENT)
20.53/6.88	Found the following polynomial interpretation:
20.53/6.88	[f6567_0_buildExpression_Load(x, x1, x2, x3)] = c*x - x2 + x3
20.53/6.88	
20.53/6.88	The following rules are decreasing:
20.53/6.88	f6567_0_buildExpression_Load(c, i1470:0:0, i1471:0:0, i1470:0:0) -> f6567_0_buildExpression_Load(c1, i1470:0:0, c2, i1470:0:0) :|: c2 = i1471:0:0 + 1 && (c1 = 0 && c = 0) && i1471:0:0 < i1470:0:0
20.53/6.88	The following rules are bounded:
20.53/6.88	f6567_0_buildExpression_Load(c, i1470:0:0, i1471:0:0, i1470:0:0) -> f6567_0_buildExpression_Load(c1, i1470:0:0, c2, i1470:0:0) :|: c2 = i1471:0:0 + 1 && (c1 = 0 && c = 0) && i1471:0:0 < i1470:0:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(39)
20.53/6.88	YES
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(40)
20.53/6.88	Obligation:
20.53/6.88	SCC of termination graph based on JBC Program.
20.53/6.88	SCC contains nodes from the following methods: Infix2Postfix.main([Ljava/lang/String;)V
20.53/6.88	SCC calls the following helper methods: 
20.53/6.88	Performed SCC analyses:
20.53/6.88	*Used field analysis yielded the following read fields:
20.53/6.88	
20.53/6.88	*Marker field analysis yielded the following relations that could be markers:
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(41) SCCToIRSProof (SOUND)
20.53/6.88	Transformed FIGraph SCCs to intTRSs. Log: 
20.53/6.88	Generated rules. Obtained 211 IRulesP rules:
20.53/6.88	f6284_0_buildExpression_Load(EOS(STATIC_6284), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) -> f6286_0_buildExpression_GT(EOS(STATIC_6286), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) :|: TRUE
20.53/6.88	f6286_0_buildExpression_GT(EOS(STATIC_6286), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) -> f6290_0_buildExpression_GT(EOS(STATIC_6290), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) :|: i1371 <= i1370
20.53/6.88	f6290_0_buildExpression_GT(EOS(STATIC_6290), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) -> f6293_0_buildExpression_Load(EOS(STATIC_6293), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: i1371 <= i1370
20.53/6.88	f6293_0_buildExpression_Load(EOS(STATIC_6293), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6297_0_buildExpression_Load(EOS(STATIC_6297), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) :|: TRUE
20.53/6.88	f6297_0_buildExpression_Load(EOS(STATIC_6297), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) -> f6301_0_buildExpression_ConstantStackPush(EOS(STATIC_6301), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) :|: TRUE
20.53/6.88	f6301_0_buildExpression_ConstantStackPush(EOS(STATIC_6301), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) -> f6305_0_buildExpression_IntArithmetic(EOS(STATIC_6305), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370, 1) :|: TRUE
20.53/6.88	f6305_0_buildExpression_IntArithmetic(EOS(STATIC_6305), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370, matching1) -> f6309_0_buildExpression_GT(EOS(STATIC_6309), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370 - 1) :|: i1370 > 0 && matching1 = 1
20.53/6.88	f6309_0_buildExpression_GT(EOS(STATIC_6309), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1379) -> f6313_0_buildExpression_GT(EOS(STATIC_6313), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1379) :|: i1371 > i1379
20.53/6.88	f6309_0_buildExpression_GT(EOS(STATIC_6309), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1379) -> f6314_0_buildExpression_GT(EOS(STATIC_6314), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1379) :|: i1371 <= i1379
20.53/6.88	f6313_0_buildExpression_GT(EOS(STATIC_6313), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1379) -> f6318_0_buildExpression_New(EOS(STATIC_6318), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: i1371 > i1379
20.53/6.88	f6318_0_buildExpression_New(EOS(STATIC_6318), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6322_0_buildExpression_Duplicate(EOS(STATIC_6322), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6322_0_buildExpression_Duplicate(EOS(STATIC_6322), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6327_0_buildExpression_ConstantStackPush(EOS(STATIC_6327), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6327_0_buildExpression_ConstantStackPush(EOS(STATIC_6327), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6332_0_buildExpression_Load(EOS(STATIC_6332), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6332_0_buildExpression_Load(EOS(STATIC_6332), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6337_0_buildExpression_InvokeMethod(EOS(STATIC_6337), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6337_0_buildExpression_InvokeMethod(EOS(STATIC_6337), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6342_0__init__Load(EOS(STATIC_6342), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6342_0__init__Load(EOS(STATIC_6342), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6348_0__init__InvokeMethod(EOS(STATIC_6348), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6348_0__init__InvokeMethod(EOS(STATIC_6348), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6351_0__init__Load(EOS(STATIC_6351), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6351_0__init__Load(EOS(STATIC_6351), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6355_0__init__Load(EOS(STATIC_6355), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6355_0__init__Load(EOS(STATIC_6355), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6362_0__init__FieldAccess(EOS(STATIC_6362), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6362_0__init__FieldAccess(EOS(STATIC_6362), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6368_0__init__Load(EOS(STATIC_6368), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6368_0__init__Load(EOS(STATIC_6368), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6374_0__init__Load(EOS(STATIC_6374), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6374_0__init__Load(EOS(STATIC_6374), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6379_0__init__FieldAccess(EOS(STATIC_6379), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6379_0__init__FieldAccess(EOS(STATIC_6379), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6383_0__init__Return(EOS(STATIC_6383), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6383_0__init__Return(EOS(STATIC_6383), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6387_0_buildExpression_Store(EOS(STATIC_6387), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6387_0_buildExpression_Store(EOS(STATIC_6387), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6391_0_buildExpression_New(EOS(STATIC_6391), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6391_0_buildExpression_New(EOS(STATIC_6391), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6395_0_buildExpression_Duplicate(EOS(STATIC_6395), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6395_0_buildExpression_Duplicate(EOS(STATIC_6395), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6400_0_buildExpression_ConstantStackPush(EOS(STATIC_6400), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6400_0_buildExpression_ConstantStackPush(EOS(STATIC_6400), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6404_0_buildExpression_Load(EOS(STATIC_6404), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6404_0_buildExpression_Load(EOS(STATIC_6404), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6408_0_buildExpression_InvokeMethod(EOS(STATIC_6408), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6408_0_buildExpression_InvokeMethod(EOS(STATIC_6408), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6412_0__init__Load(EOS(STATIC_6412), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6412_0__init__Load(EOS(STATIC_6412), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6420_0__init__InvokeMethod(EOS(STATIC_6420), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6420_0__init__InvokeMethod(EOS(STATIC_6420), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6425_0__init__Load(EOS(STATIC_6425), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6425_0__init__Load(EOS(STATIC_6425), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6430_0__init__Load(EOS(STATIC_6430), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6430_0__init__Load(EOS(STATIC_6430), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6435_0__init__FieldAccess(EOS(STATIC_6435), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6435_0__init__FieldAccess(EOS(STATIC_6435), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6439_0__init__Load(EOS(STATIC_6439), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6439_0__init__Load(EOS(STATIC_6439), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6442_0__init__Load(EOS(STATIC_6442), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6442_0__init__Load(EOS(STATIC_6442), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6445_0__init__FieldAccess(EOS(STATIC_6445), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6445_0__init__FieldAccess(EOS(STATIC_6445), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6448_0__init__Return(EOS(STATIC_6448), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6448_0__init__Return(EOS(STATIC_6448), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6451_0_buildExpression_Store(EOS(STATIC_6451), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6451_0_buildExpression_Store(EOS(STATIC_6451), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6457_0_buildExpression_New(EOS(STATIC_6457), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6457_0_buildExpression_New(EOS(STATIC_6457), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6462_0_buildExpression_Duplicate(EOS(STATIC_6462), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6462_0_buildExpression_Duplicate(EOS(STATIC_6462), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6467_0_buildExpression_ConstantStackPush(EOS(STATIC_6467), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6467_0_buildExpression_ConstantStackPush(EOS(STATIC_6467), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6471_0_buildExpression_Load(EOS(STATIC_6471), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6471_0_buildExpression_Load(EOS(STATIC_6471), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6474_0_buildExpression_InvokeMethod(EOS(STATIC_6474), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6474_0_buildExpression_InvokeMethod(EOS(STATIC_6474), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6477_0__init__Load(EOS(STATIC_6477), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6477_0__init__Load(EOS(STATIC_6477), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6481_0__init__InvokeMethod(EOS(STATIC_6481), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6481_0__init__InvokeMethod(EOS(STATIC_6481), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6485_0__init__Load(EOS(STATIC_6485), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6485_0__init__Load(EOS(STATIC_6485), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6488_0__init__Load(EOS(STATIC_6488), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6488_0__init__Load(EOS(STATIC_6488), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6491_0__init__FieldAccess(EOS(STATIC_6491), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6491_0__init__FieldAccess(EOS(STATIC_6491), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6495_0__init__Load(EOS(STATIC_6495), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6495_0__init__Load(EOS(STATIC_6495), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6499_0__init__Load(EOS(STATIC_6499), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6499_0__init__Load(EOS(STATIC_6499), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6503_0__init__FieldAccess(EOS(STATIC_6503), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6503_0__init__FieldAccess(EOS(STATIC_6503), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6507_0__init__Return(EOS(STATIC_6507), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6507_0__init__Return(EOS(STATIC_6507), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6511_0_buildExpression_Store(EOS(STATIC_6511), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6511_0_buildExpression_Store(EOS(STATIC_6511), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6515_0_buildExpression_New(EOS(STATIC_6515), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6515_0_buildExpression_New(EOS(STATIC_6515), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6519_0_buildExpression_Duplicate(EOS(STATIC_6519), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6519_0_buildExpression_Duplicate(EOS(STATIC_6519), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6522_0_buildExpression_ConstantStackPush(EOS(STATIC_6522), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6522_0_buildExpression_ConstantStackPush(EOS(STATIC_6522), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6525_0_buildExpression_Load(EOS(STATIC_6525), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6525_0_buildExpression_Load(EOS(STATIC_6525), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6528_0_buildExpression_InvokeMethod(EOS(STATIC_6528), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6528_0_buildExpression_InvokeMethod(EOS(STATIC_6528), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6531_0__init__Load(EOS(STATIC_6531), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6531_0__init__Load(EOS(STATIC_6531), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6540_0__init__InvokeMethod(EOS(STATIC_6540), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6540_0__init__InvokeMethod(EOS(STATIC_6540), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6545_0__init__Load(EOS(STATIC_6545), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6545_0__init__Load(EOS(STATIC_6545), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6549_0__init__Load(EOS(STATIC_6549), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6549_0__init__Load(EOS(STATIC_6549), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6552_0__init__FieldAccess(EOS(STATIC_6552), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6552_0__init__FieldAccess(EOS(STATIC_6552), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6555_0__init__Load(EOS(STATIC_6555), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6555_0__init__Load(EOS(STATIC_6555), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6558_0__init__Load(EOS(STATIC_6558), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6558_0__init__Load(EOS(STATIC_6558), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6561_0__init__FieldAccess(EOS(STATIC_6561), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6561_0__init__FieldAccess(EOS(STATIC_6561), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6565_0__init__Return(EOS(STATIC_6565), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6565_0__init__Return(EOS(STATIC_6565), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6568_0_buildExpression_Store(EOS(STATIC_6568), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6568_0_buildExpression_Store(EOS(STATIC_6568), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6571_0_buildExpression_New(EOS(STATIC_6571), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6571_0_buildExpression_New(EOS(STATIC_6571), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6575_0_buildExpression_Duplicate(EOS(STATIC_6575), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6575_0_buildExpression_Duplicate(EOS(STATIC_6575), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6579_0_buildExpression_ConstantStackPush(EOS(STATIC_6579), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6579_0_buildExpression_ConstantStackPush(EOS(STATIC_6579), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6583_0_buildExpression_Load(EOS(STATIC_6583), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6583_0_buildExpression_Load(EOS(STATIC_6583), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6587_0_buildExpression_InvokeMethod(EOS(STATIC_6587), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6587_0_buildExpression_InvokeMethod(EOS(STATIC_6587), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6591_0__init__Load(EOS(STATIC_6591), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6591_0__init__Load(EOS(STATIC_6591), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6597_0__init__InvokeMethod(EOS(STATIC_6597), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6597_0__init__InvokeMethod(EOS(STATIC_6597), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6600_0__init__Load(EOS(STATIC_6600), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6600_0__init__Load(EOS(STATIC_6600), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6603_0__init__Load(EOS(STATIC_6603), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6603_0__init__Load(EOS(STATIC_6603), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6606_0__init__FieldAccess(EOS(STATIC_6606), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6606_0__init__FieldAccess(EOS(STATIC_6606), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6609_0__init__Load(EOS(STATIC_6609), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6609_0__init__Load(EOS(STATIC_6609), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6615_0__init__Load(EOS(STATIC_6615), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6615_0__init__Load(EOS(STATIC_6615), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6620_0__init__FieldAccess(EOS(STATIC_6620), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6620_0__init__FieldAccess(EOS(STATIC_6620), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6625_0__init__Return(EOS(STATIC_6625), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6625_0__init__Return(EOS(STATIC_6625), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6629_0_buildExpression_Store(EOS(STATIC_6629), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6629_0_buildExpression_Store(EOS(STATIC_6629), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6632_0_buildExpression_Load(EOS(STATIC_6632), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6632_0_buildExpression_Load(EOS(STATIC_6632), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6635_0_buildExpression_Load(EOS(STATIC_6635), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) :|: TRUE
20.53/6.88	f6635_0_buildExpression_Load(EOS(STATIC_6635), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) -> f6638_0_buildExpression_ConstantStackPush(EOS(STATIC_6638), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) :|: TRUE
20.53/6.88	f6638_0_buildExpression_ConstantStackPush(EOS(STATIC_6638), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) -> f6641_0_buildExpression_IntArithmetic(EOS(STATIC_6641), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370, 1) :|: TRUE
20.53/6.88	f6641_0_buildExpression_IntArithmetic(EOS(STATIC_6641), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370, matching1) -> f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370 - 1) :|: i1370 > 0 && matching1 = 1
20.53/6.88	f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1479) -> f6646_0_buildExpression_GT(EOS(STATIC_6646), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1479) :|: i1371 > i1479
20.53/6.88	f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1479) -> f6647_0_buildExpression_GT(EOS(STATIC_6647), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1479) :|: i1371 <= i1479
20.53/6.88	f6646_0_buildExpression_GT(EOS(STATIC_6646), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1479) -> f6649_0_buildExpression_Inc(EOS(STATIC_6649), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: i1371 > i1479
20.53/6.88	f6649_0_buildExpression_Inc(EOS(STATIC_6649), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6651_0_buildExpression_JMP(EOS(STATIC_6651), java.lang.Object(ARRAY(i1370)), i1370, i1371 + 1) :|: TRUE
20.53/6.88	f6651_0_buildExpression_JMP(EOS(STATIC_6651), java.lang.Object(ARRAY(i1370)), i1370, i1480) -> f6654_0_buildExpression_Load(EOS(STATIC_6654), java.lang.Object(ARRAY(i1370)), i1370, i1480) :|: TRUE
20.53/6.88	f6654_0_buildExpression_Load(EOS(STATIC_6654), java.lang.Object(ARRAY(i1370)), i1370, i1480) -> f6282_0_buildExpression_Load(EOS(STATIC_6282), java.lang.Object(ARRAY(i1370)), i1370, i1480) :|: TRUE
20.53/6.88	f6282_0_buildExpression_Load(EOS(STATIC_6282), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6284_0_buildExpression_Load(EOS(STATIC_6284), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) :|: TRUE
20.53/6.88	f6647_0_buildExpression_GT(EOS(STATIC_6647), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1479) -> f6650_0_buildExpression_New(EOS(STATIC_6650), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: i1371 <= i1479
20.53/6.88	f6650_0_buildExpression_New(EOS(STATIC_6650), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6652_0_buildExpression_Duplicate(EOS(STATIC_6652), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6652_0_buildExpression_Duplicate(EOS(STATIC_6652), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6655_0_buildExpression_ConstantStackPush(EOS(STATIC_6655), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6655_0_buildExpression_ConstantStackPush(EOS(STATIC_6655), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6657_0_buildExpression_Load(EOS(STATIC_6657), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6657_0_buildExpression_Load(EOS(STATIC_6657), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6659_0_buildExpression_InvokeMethod(EOS(STATIC_6659), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6659_0_buildExpression_InvokeMethod(EOS(STATIC_6659), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6661_0__init__Load(EOS(STATIC_6661), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6661_0__init__Load(EOS(STATIC_6661), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6664_0__init__InvokeMethod(EOS(STATIC_6664), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6664_0__init__InvokeMethod(EOS(STATIC_6664), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6666_0__init__Load(EOS(STATIC_6666), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6666_0__init__Load(EOS(STATIC_6666), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6668_0__init__Load(EOS(STATIC_6668), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6668_0__init__Load(EOS(STATIC_6668), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6670_0__init__FieldAccess(EOS(STATIC_6670), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6670_0__init__FieldAccess(EOS(STATIC_6670), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6672_0__init__Load(EOS(STATIC_6672), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6672_0__init__Load(EOS(STATIC_6672), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6674_0__init__Load(EOS(STATIC_6674), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6674_0__init__Load(EOS(STATIC_6674), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6676_0__init__FieldAccess(EOS(STATIC_6676), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6676_0__init__FieldAccess(EOS(STATIC_6676), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6678_0__init__Return(EOS(STATIC_6678), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6678_0__init__Return(EOS(STATIC_6678), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6680_0_buildExpression_Store(EOS(STATIC_6680), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6680_0_buildExpression_Store(EOS(STATIC_6680), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6681_0_buildExpression_Inc(EOS(STATIC_6681), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6681_0_buildExpression_Inc(EOS(STATIC_6681), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6682_0_buildExpression_JMP(EOS(STATIC_6682), java.lang.Object(ARRAY(i1370)), i1370, i1371 + 1) :|: TRUE
20.53/6.88	f6682_0_buildExpression_JMP(EOS(STATIC_6682), java.lang.Object(ARRAY(i1370)), i1370, i1485) -> f6683_0_buildExpression_Load(EOS(STATIC_6683), java.lang.Object(ARRAY(i1370)), i1370, i1485) :|: TRUE
20.53/6.88	f6683_0_buildExpression_Load(EOS(STATIC_6683), java.lang.Object(ARRAY(i1370)), i1370, i1485) -> f6282_0_buildExpression_Load(EOS(STATIC_6282), java.lang.Object(ARRAY(i1370)), i1370, i1485) :|: TRUE
20.53/6.88	f6314_0_buildExpression_GT(EOS(STATIC_6314), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1379) -> f6319_0_buildExpression_New(EOS(STATIC_6319), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: i1371 <= i1379
20.53/6.88	f6319_0_buildExpression_New(EOS(STATIC_6319), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6323_0_buildExpression_Duplicate(EOS(STATIC_6323), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6323_0_buildExpression_Duplicate(EOS(STATIC_6323), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6328_0_buildExpression_ConstantStackPush(EOS(STATIC_6328), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6328_0_buildExpression_ConstantStackPush(EOS(STATIC_6328), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6333_0_buildExpression_Load(EOS(STATIC_6333), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6333_0_buildExpression_Load(EOS(STATIC_6333), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6338_0_buildExpression_InvokeMethod(EOS(STATIC_6338), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6338_0_buildExpression_InvokeMethod(EOS(STATIC_6338), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6343_0__init__Load(EOS(STATIC_6343), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6343_0__init__Load(EOS(STATIC_6343), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6349_0__init__InvokeMethod(EOS(STATIC_6349), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6349_0__init__InvokeMethod(EOS(STATIC_6349), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6352_0__init__Load(EOS(STATIC_6352), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6352_0__init__Load(EOS(STATIC_6352), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6356_0__init__Load(EOS(STATIC_6356), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6356_0__init__Load(EOS(STATIC_6356), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6363_0__init__FieldAccess(EOS(STATIC_6363), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6363_0__init__FieldAccess(EOS(STATIC_6363), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6369_0__init__Load(EOS(STATIC_6369), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6369_0__init__Load(EOS(STATIC_6369), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6375_0__init__Load(EOS(STATIC_6375), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6375_0__init__Load(EOS(STATIC_6375), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6380_0__init__FieldAccess(EOS(STATIC_6380), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6380_0__init__FieldAccess(EOS(STATIC_6380), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6384_0__init__Return(EOS(STATIC_6384), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6384_0__init__Return(EOS(STATIC_6384), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6388_0_buildExpression_Store(EOS(STATIC_6388), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6388_0_buildExpression_Store(EOS(STATIC_6388), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6392_0_buildExpression_New(EOS(STATIC_6392), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6392_0_buildExpression_New(EOS(STATIC_6392), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6396_0_buildExpression_Duplicate(EOS(STATIC_6396), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6396_0_buildExpression_Duplicate(EOS(STATIC_6396), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6401_0_buildExpression_ConstantStackPush(EOS(STATIC_6401), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6401_0_buildExpression_ConstantStackPush(EOS(STATIC_6401), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6405_0_buildExpression_Load(EOS(STATIC_6405), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6405_0_buildExpression_Load(EOS(STATIC_6405), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6409_0_buildExpression_InvokeMethod(EOS(STATIC_6409), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6409_0_buildExpression_InvokeMethod(EOS(STATIC_6409), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6413_0__init__Load(EOS(STATIC_6413), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6413_0__init__Load(EOS(STATIC_6413), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6421_0__init__InvokeMethod(EOS(STATIC_6421), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6421_0__init__InvokeMethod(EOS(STATIC_6421), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6426_0__init__Load(EOS(STATIC_6426), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6426_0__init__Load(EOS(STATIC_6426), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6431_0__init__Load(EOS(STATIC_6431), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6431_0__init__Load(EOS(STATIC_6431), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6436_0__init__FieldAccess(EOS(STATIC_6436), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6436_0__init__FieldAccess(EOS(STATIC_6436), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6440_0__init__Load(EOS(STATIC_6440), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6440_0__init__Load(EOS(STATIC_6440), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6443_0__init__Load(EOS(STATIC_6443), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6443_0__init__Load(EOS(STATIC_6443), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6446_0__init__FieldAccess(EOS(STATIC_6446), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6446_0__init__FieldAccess(EOS(STATIC_6446), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6449_0__init__Return(EOS(STATIC_6449), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6449_0__init__Return(EOS(STATIC_6449), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6452_0_buildExpression_Store(EOS(STATIC_6452), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6452_0_buildExpression_Store(EOS(STATIC_6452), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6458_0_buildExpression_New(EOS(STATIC_6458), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6458_0_buildExpression_New(EOS(STATIC_6458), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6463_0_buildExpression_Duplicate(EOS(STATIC_6463), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6463_0_buildExpression_Duplicate(EOS(STATIC_6463), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6468_0_buildExpression_ConstantStackPush(EOS(STATIC_6468), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6468_0_buildExpression_ConstantStackPush(EOS(STATIC_6468), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6472_0_buildExpression_Load(EOS(STATIC_6472), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6472_0_buildExpression_Load(EOS(STATIC_6472), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6475_0_buildExpression_InvokeMethod(EOS(STATIC_6475), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6475_0_buildExpression_InvokeMethod(EOS(STATIC_6475), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6478_0__init__Load(EOS(STATIC_6478), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6478_0__init__Load(EOS(STATIC_6478), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6482_0__init__InvokeMethod(EOS(STATIC_6482), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6482_0__init__InvokeMethod(EOS(STATIC_6482), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6486_0__init__Load(EOS(STATIC_6486), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6486_0__init__Load(EOS(STATIC_6486), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6489_0__init__Load(EOS(STATIC_6489), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6489_0__init__Load(EOS(STATIC_6489), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6492_0__init__FieldAccess(EOS(STATIC_6492), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6492_0__init__FieldAccess(EOS(STATIC_6492), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6496_0__init__Load(EOS(STATIC_6496), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6496_0__init__Load(EOS(STATIC_6496), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6500_0__init__Load(EOS(STATIC_6500), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6500_0__init__Load(EOS(STATIC_6500), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6504_0__init__FieldAccess(EOS(STATIC_6504), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6504_0__init__FieldAccess(EOS(STATIC_6504), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6508_0__init__Return(EOS(STATIC_6508), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6508_0__init__Return(EOS(STATIC_6508), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6512_0_buildExpression_Store(EOS(STATIC_6512), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6512_0_buildExpression_Store(EOS(STATIC_6512), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6516_0_buildExpression_New(EOS(STATIC_6516), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6516_0_buildExpression_New(EOS(STATIC_6516), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6520_0_buildExpression_Duplicate(EOS(STATIC_6520), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6520_0_buildExpression_Duplicate(EOS(STATIC_6520), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6523_0_buildExpression_ConstantStackPush(EOS(STATIC_6523), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6523_0_buildExpression_ConstantStackPush(EOS(STATIC_6523), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6526_0_buildExpression_Load(EOS(STATIC_6526), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6526_0_buildExpression_Load(EOS(STATIC_6526), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6529_0_buildExpression_InvokeMethod(EOS(STATIC_6529), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6529_0_buildExpression_InvokeMethod(EOS(STATIC_6529), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6532_0__init__Load(EOS(STATIC_6532), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6532_0__init__Load(EOS(STATIC_6532), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6541_0__init__InvokeMethod(EOS(STATIC_6541), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6541_0__init__InvokeMethod(EOS(STATIC_6541), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6546_0__init__Load(EOS(STATIC_6546), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6546_0__init__Load(EOS(STATIC_6546), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6550_0__init__Load(EOS(STATIC_6550), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6550_0__init__Load(EOS(STATIC_6550), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6553_0__init__FieldAccess(EOS(STATIC_6553), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6553_0__init__FieldAccess(EOS(STATIC_6553), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6556_0__init__Load(EOS(STATIC_6556), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6556_0__init__Load(EOS(STATIC_6556), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6559_0__init__Load(EOS(STATIC_6559), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6559_0__init__Load(EOS(STATIC_6559), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6562_0__init__FieldAccess(EOS(STATIC_6562), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6562_0__init__FieldAccess(EOS(STATIC_6562), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6566_0__init__Return(EOS(STATIC_6566), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6566_0__init__Return(EOS(STATIC_6566), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6569_0_buildExpression_Store(EOS(STATIC_6569), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6569_0_buildExpression_Store(EOS(STATIC_6569), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6572_0_buildExpression_New(EOS(STATIC_6572), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6572_0_buildExpression_New(EOS(STATIC_6572), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6576_0_buildExpression_Duplicate(EOS(STATIC_6576), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6576_0_buildExpression_Duplicate(EOS(STATIC_6576), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6580_0_buildExpression_ConstantStackPush(EOS(STATIC_6580), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6580_0_buildExpression_ConstantStackPush(EOS(STATIC_6580), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6584_0_buildExpression_Load(EOS(STATIC_6584), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6584_0_buildExpression_Load(EOS(STATIC_6584), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6588_0_buildExpression_InvokeMethod(EOS(STATIC_6588), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6588_0_buildExpression_InvokeMethod(EOS(STATIC_6588), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6592_0__init__Load(EOS(STATIC_6592), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6592_0__init__Load(EOS(STATIC_6592), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6598_0__init__InvokeMethod(EOS(STATIC_6598), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6598_0__init__InvokeMethod(EOS(STATIC_6598), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6601_0__init__Load(EOS(STATIC_6601), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6601_0__init__Load(EOS(STATIC_6601), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6604_0__init__Load(EOS(STATIC_6604), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6604_0__init__Load(EOS(STATIC_6604), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6607_0__init__FieldAccess(EOS(STATIC_6607), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6607_0__init__FieldAccess(EOS(STATIC_6607), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6610_0__init__Load(EOS(STATIC_6610), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6610_0__init__Load(EOS(STATIC_6610), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6616_0__init__Load(EOS(STATIC_6616), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6616_0__init__Load(EOS(STATIC_6616), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6621_0__init__FieldAccess(EOS(STATIC_6621), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6621_0__init__FieldAccess(EOS(STATIC_6621), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6626_0__init__Return(EOS(STATIC_6626), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6626_0__init__Return(EOS(STATIC_6626), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6630_0_buildExpression_Store(EOS(STATIC_6630), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6630_0_buildExpression_Store(EOS(STATIC_6630), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6633_0_buildExpression_New(EOS(STATIC_6633), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6633_0_buildExpression_New(EOS(STATIC_6633), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6636_0_buildExpression_Duplicate(EOS(STATIC_6636), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6636_0_buildExpression_Duplicate(EOS(STATIC_6636), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6639_0_buildExpression_ConstantStackPush(EOS(STATIC_6639), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6639_0_buildExpression_ConstantStackPush(EOS(STATIC_6639), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6642_0_buildExpression_Load(EOS(STATIC_6642), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6642_0_buildExpression_Load(EOS(STATIC_6642), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6645_0_buildExpression_InvokeMethod(EOS(STATIC_6645), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6645_0_buildExpression_InvokeMethod(EOS(STATIC_6645), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6648_0__init__Load(EOS(STATIC_6648), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6648_0__init__Load(EOS(STATIC_6648), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6653_0__init__InvokeMethod(EOS(STATIC_6653), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6653_0__init__InvokeMethod(EOS(STATIC_6653), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6656_0__init__Load(EOS(STATIC_6656), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6656_0__init__Load(EOS(STATIC_6656), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6658_0__init__Load(EOS(STATIC_6658), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6658_0__init__Load(EOS(STATIC_6658), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6660_0__init__FieldAccess(EOS(STATIC_6660), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6660_0__init__FieldAccess(EOS(STATIC_6660), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6662_0__init__Load(EOS(STATIC_6662), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6662_0__init__Load(EOS(STATIC_6662), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6663_0__init__Load(EOS(STATIC_6663), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6663_0__init__Load(EOS(STATIC_6663), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6665_0__init__FieldAccess(EOS(STATIC_6665), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6665_0__init__FieldAccess(EOS(STATIC_6665), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6667_0__init__Return(EOS(STATIC_6667), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6667_0__init__Return(EOS(STATIC_6667), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6669_0_buildExpression_Store(EOS(STATIC_6669), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6669_0_buildExpression_Store(EOS(STATIC_6669), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6671_0_buildExpression_Load(EOS(STATIC_6671), java.lang.Object(ARRAY(i1370)), i1370, i1371) :|: TRUE
20.53/6.88	f6671_0_buildExpression_Load(EOS(STATIC_6671), java.lang.Object(ARRAY(i1370)), i1370, i1371) -> f6673_0_buildExpression_Load(EOS(STATIC_6673), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) :|: TRUE
20.53/6.88	f6673_0_buildExpression_Load(EOS(STATIC_6673), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371) -> f6675_0_buildExpression_ConstantStackPush(EOS(STATIC_6675), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) :|: TRUE
20.53/6.88	f6675_0_buildExpression_ConstantStackPush(EOS(STATIC_6675), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370) -> f6677_0_buildExpression_IntArithmetic(EOS(STATIC_6677), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370, 1) :|: TRUE
20.53/6.88	f6677_0_buildExpression_IntArithmetic(EOS(STATIC_6677), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370, matching1) -> f6679_0_buildExpression_GT(EOS(STATIC_6679), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1370 - 1) :|: i1370 > 0 && matching1 = 1
20.53/6.88	f6679_0_buildExpression_GT(EOS(STATIC_6679), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1483) -> f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370)), i1370, i1371, i1371, i1483) :|: TRUE
20.53/6.88	Combined rules. Obtained 4 IRulesP rules:
20.53/6.88	f6284_0_buildExpression_Load(EOS(STATIC_6284), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1371:0) -> f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1371:0, i1370:0 - 1) :|: i1371:0 <= i1370:0 && i1370:0 > 0 && i1371:0 <= i1370:0 - 1
20.53/6.88	f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1371:0, i1479:0) -> f6284_0_buildExpression_Load(EOS(STATIC_6284), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0 + 1, i1371:0 + 1) :|: i1479:0 < i1371:0
20.53/6.88	f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1371:0, i1479:0) -> f6284_0_buildExpression_Load(EOS(STATIC_6284), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0 + 1, i1371:0 + 1) :|: i1479:0 >= i1371:0
20.53/6.88	f6284_0_buildExpression_Load(EOS(STATIC_6284), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1371:0) -> f6644_0_buildExpression_GT(EOS(STATIC_6644), java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1371:0, i1370:0 - 1) :|: i1371:0 <= i1370:0 && i1370:0 > 0 && i1371:0 > i1370:0 - 1
20.53/6.88	Filtered constant ground arguments:
20.53/6.88	   f6284_0_buildExpression_Load(x1, x2, x3, x4, x5) -> f6284_0_buildExpression_Load(x2, x3, x4, x5)
20.53/6.88	   f6644_0_buildExpression_GT(x1, x2, x3, x4, x5, x6) -> f6644_0_buildExpression_GT(x2, x3, x4, x5, x6)
20.53/6.88	Filtered duplicate arguments:
20.53/6.88	   f6284_0_buildExpression_Load(x1, x2, x3, x4) -> f6284_0_buildExpression_Load(x1, x2, x4)
20.53/6.88	   f6644_0_buildExpression_GT(x1, x2, x3, x4, x5) -> f6644_0_buildExpression_GT(x1, x2, x4, x5)
20.53/6.88	Finished conversion. Obtained 4 rules.P rules:
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0 - 1, i1370:0) :|: i1370:0 > 0 && i1371:0 <= i1370:0 - 1 && i1371:0 <= i1370:0
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1479:0, i1370:0) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0 + 1, i1370:0) :|: i1479:0 < i1371:0
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1479:0, i1370:0) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0 + 1, i1370:0) :|: i1479:0 >= i1371:0
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0 - 1, i1370:0) :|: i1370:0 > 0 && i1371:0 > i1370:0 - 1 && i1371:0 <= i1370:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(42)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0 - 1, i1370:0) :|: i1370:0 > 0 && i1371:0 <= i1370:0 - 1 && i1371:0 <= i1370:0
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x)), x, x1, x2, x) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x)), x, x1 + 1, x) :|: x2 < x1
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x3)), x3, x4, x5, x3) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x3)), x3, x4 + 1, x3) :|: x5 >= x4
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x6)), x6, x7, x6) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x6)), x6, x7, x6 - 1, x6) :|: x6 > 0 && x7 > x6 - 1 && x7 <= x6
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(43) IRSFormatTransformerProof (EQUIVALENT)
20.53/6.88	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(44)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, arith, i1370:0) :|: i1370:0 > 0 && i1371:0 <= i1370:0 - 1 && i1371:0 <= i1370:0 && arith = i1370:0 - 1
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x8)), x8, x9, x10, x8) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x8)), x8, x11, x8) :|: x10 < x9 && x11 = x9 + 1
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x12)), x12, x13, x14, x12) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x12)), x12, x15, x12) :|: x14 >= x13 && x15 = x13 + 1
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x16)), x16, x17, x16) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x16)), x16, x17, x18, x16) :|: x16 > 0 && x17 > x16 - 1 && x17 <= x16 && x18 = x16 - 1
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(45) IRSwTTerminationDigraphProof (EQUIVALENT)
20.53/6.88	Constructed termination digraph!
20.53/6.88	Nodes:
20.53/6.88	(1) f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, arith, i1370:0) :|: i1370:0 > 0 && i1371:0 <= i1370:0 - 1 && i1371:0 <= i1370:0 && arith = i1370:0 - 1
20.53/6.88	(2) f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x8)), x8, x9, x10, x8) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x8)), x8, x11, x8) :|: x10 < x9 && x11 = x9 + 1
20.53/6.88	(3) f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x12)), x12, x13, x14, x12) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x12)), x12, x15, x12) :|: x14 >= x13 && x15 = x13 + 1
20.53/6.88	(4) f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x16)), x16, x17, x16) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x16)), x16, x17, x18, x16) :|: x16 > 0 && x17 > x16 - 1 && x17 <= x16 && x18 = x16 - 1
20.53/6.88	
20.53/6.88	Arcs:
20.53/6.88	(1) -> (3)
20.53/6.88	(2) -> (1), (4)
20.53/6.88	(3) -> (1), (4)
20.53/6.88	(4) -> (2)
20.53/6.88	
20.53/6.88	This digraph is fully evaluated!
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(46)
20.53/6.88	Obligation:
20.53/6.88	
20.53/6.88	Termination digraph:
20.53/6.88	Nodes:
20.53/6.88	(1) f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, i1370:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0)), i1370:0, i1371:0, arith, i1370:0) :|: i1370:0 > 0 && i1371:0 <= i1370:0 - 1 && i1371:0 <= i1370:0 && arith = i1370:0 - 1
20.53/6.88	(2) f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x8)), x8, x9, x10, x8) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x8)), x8, x11, x8) :|: x10 < x9 && x11 = x9 + 1
20.53/6.88	(3) f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x16)), x16, x17, x16) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x16)), x16, x17, x18, x16) :|: x16 > 0 && x17 > x16 - 1 && x17 <= x16 && x18 = x16 - 1
20.53/6.88	(4) f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x12)), x12, x13, x14, x12) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x12)), x12, x15, x12) :|: x14 >= x13 && x15 = x13 + 1
20.53/6.88	
20.53/6.88	Arcs:
20.53/6.88	(1) -> (4)
20.53/6.88	(2) -> (1), (3)
20.53/6.88	(3) -> (2)
20.53/6.88	(4) -> (1), (3)
20.53/6.88	
20.53/6.88	This digraph is fully evaluated!
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(47) IntTRSCompressionProof (EQUIVALENT)
20.53/6.88	Compressed rules.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(48)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x8:0)), x8:0, x9:0, x10:0, x8:0) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x8:0)), x8:0, x9:0 + 1, x8:0) :|: x9:0 > x10:0
20.53/6.88	f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x12:0)), x12:0, x13:0, x14:0, x12:0) -> f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x12:0)), x12:0, x13:0 + 1, x12:0) :|: x14:0 >= x13:0
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(x16:0)), x16:0, x17:0, x16:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(x16:0)), x16:0, x17:0, x16:0 - 1, x16:0) :|: x16:0 > 0 && x17:0 > x16:0 - 1 && x17:0 <= x16:0
20.53/6.88	f6284_0_buildExpression_Load(java.lang.Object(ARRAY(i1370:0:0)), i1370:0:0, i1371:0:0, i1370:0:0) -> f6644_0_buildExpression_GT(java.lang.Object(ARRAY(i1370:0:0)), i1370:0:0, i1371:0:0, i1370:0:0 - 1, i1370:0:0) :|: i1370:0:0 > 0 && i1371:0:0 <= i1370:0:0 - 1 && i1371:0:0 <= i1370:0:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(49) TempFilterProof (SOUND)
20.53/6.88	Used the following sort dictionary for filtering: 
20.53/6.88	f6644_0_buildExpression_GT(VARIABLE, VARIABLE, INTEGER, INTEGER, VARIABLE)
20.53/6.88	java.lang.Object(VARIABLE)
20.53/6.88	ARRAY(VARIABLE)
20.53/6.88	f6284_0_buildExpression_Load(VARIABLE, VARIABLE, INTEGER, VARIABLE)
20.53/6.88	Replaced non-predefined constructor symbols by 0.
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(50)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6644_0_buildExpression_GT(c, x8:0, x9:0, x10:0, x8:0) -> f6284_0_buildExpression_Load(c1, x8:0, c2, x8:0) :|: c2 = x9:0 + 1 && (c1 = 0 && c = 0) && x9:0 > x10:0
20.53/6.88	f6644_0_buildExpression_GT(c3, x12:0, x13:0, x14:0, x12:0) -> f6284_0_buildExpression_Load(c4, x12:0, c5, x12:0) :|: c5 = x13:0 + 1 && (c4 = 0 && c3 = 0) && x14:0 >= x13:0
20.53/6.88	f6284_0_buildExpression_Load(c6, x16:0, x17:0, x16:0) -> f6644_0_buildExpression_GT(c7, x16:0, x17:0, c8, x16:0) :|: c8 = x16:0 - 1 && (c7 = 0 && c6 = 0) && (x16:0 > 0 && x17:0 > x16:0 - 1 && x17:0 <= x16:0)
20.53/6.88	f6284_0_buildExpression_Load(c9, i1370:0:0, i1371:0:0, i1370:0:0) -> f6644_0_buildExpression_GT(c10, i1370:0:0, i1371:0:0, c11, i1370:0:0) :|: c11 = i1370:0:0 - 1 && (c10 = 0 && c9 = 0) && (i1370:0:0 > 0 && i1371:0:0 <= i1370:0:0 - 1 && i1371:0:0 <= i1370:0:0)
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(51) PolynomialOrderProcessor (EQUIVALENT)
20.53/6.88	Found the following polynomial interpretation:
20.53/6.88	[f6644_0_buildExpression_GT(x, x1, x2, x3, x4)] = -1 + c*x + x1 - x2
20.53/6.88	[f6284_0_buildExpression_Load(x5, x6, x7, x8)] = c5*x5 - x7 + x8
20.53/6.88	
20.53/6.88	The following rules are decreasing:
20.53/6.88	f6284_0_buildExpression_Load(c6, x16:0, x17:0, x16:0) -> f6644_0_buildExpression_GT(c7, x16:0, x17:0, c8, x16:0) :|: c8 = x16:0 - 1 && (c7 = 0 && c6 = 0) && (x16:0 > 0 && x17:0 > x16:0 - 1 && x17:0 <= x16:0)
20.53/6.88	f6284_0_buildExpression_Load(c9, i1370:0:0, i1371:0:0, i1370:0:0) -> f6644_0_buildExpression_GT(c10, i1370:0:0, i1371:0:0, c11, i1370:0:0) :|: c11 = i1370:0:0 - 1 && (c10 = 0 && c9 = 0) && (i1370:0:0 > 0 && i1371:0:0 <= i1370:0:0 - 1 && i1371:0:0 <= i1370:0:0)
20.53/6.88	The following rules are bounded:
20.53/6.88	f6284_0_buildExpression_Load(c6, x16:0, x17:0, x16:0) -> f6644_0_buildExpression_GT(c7, x16:0, x17:0, c8, x16:0) :|: c8 = x16:0 - 1 && (c7 = 0 && c6 = 0) && (x16:0 > 0 && x17:0 > x16:0 - 1 && x17:0 <= x16:0)
20.53/6.88	f6284_0_buildExpression_Load(c9, i1370:0:0, i1371:0:0, i1370:0:0) -> f6644_0_buildExpression_GT(c10, i1370:0:0, i1371:0:0, c11, i1370:0:0) :|: c11 = i1370:0:0 - 1 && (c10 = 0 && c9 = 0) && (i1370:0:0 > 0 && i1371:0:0 <= i1370:0:0 - 1 && i1371:0:0 <= i1370:0:0)
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(52)
20.53/6.88	Obligation:
20.53/6.88	Rules:
20.53/6.88	f6644_0_buildExpression_GT(c, x8:0, x9:0, x10:0, x8:0) -> f6284_0_buildExpression_Load(c1, x8:0, c2, x8:0) :|: c2 = x9:0 + 1 && (c1 = 0 && c = 0) && x9:0 > x10:0
20.53/6.88	f6644_0_buildExpression_GT(c3, x12:0, x13:0, x14:0, x12:0) -> f6284_0_buildExpression_Load(c4, x12:0, c5, x12:0) :|: c5 = x13:0 + 1 && (c4 = 0 && c3 = 0) && x14:0 >= x13:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(53) PolynomialOrderProcessor (EQUIVALENT)
20.53/6.88	Found the following polynomial interpretation:
20.53/6.88	[f6644_0_buildExpression_GT(x, x1, x2, x3, x4)] = c*x
20.53/6.88	[f6284_0_buildExpression_Load(x5, x6, x7, x8)] = -1 + c5*x5
20.53/6.88	
20.53/6.88	The following rules are decreasing:
20.53/6.88	f6644_0_buildExpression_GT(c, x8:0, x9:0, x10:0, x8:0) -> f6284_0_buildExpression_Load(c1, x8:0, c2, x8:0) :|: c2 = x9:0 + 1 && (c1 = 0 && c = 0) && x9:0 > x10:0
20.53/6.88	f6644_0_buildExpression_GT(c3, x12:0, x13:0, x14:0, x12:0) -> f6284_0_buildExpression_Load(c4, x12:0, c5, x12:0) :|: c5 = x13:0 + 1 && (c4 = 0 && c3 = 0) && x14:0 >= x13:0
20.53/6.88	The following rules are bounded:
20.53/6.88	f6644_0_buildExpression_GT(c, x8:0, x9:0, x10:0, x8:0) -> f6284_0_buildExpression_Load(c1, x8:0, c2, x8:0) :|: c2 = x9:0 + 1 && (c1 = 0 && c = 0) && x9:0 > x10:0
20.53/6.88	f6644_0_buildExpression_GT(c3, x12:0, x13:0, x14:0, x12:0) -> f6284_0_buildExpression_Load(c4, x12:0, c5, x12:0) :|: c5 = x13:0 + 1 && (c4 = 0 && c3 = 0) && x14:0 >= x13:0
20.53/6.88	
20.53/6.88	----------------------------------------
20.53/6.88	
20.53/6.88	(54)
20.53/6.88	YES
20.71/6.92	EOF