Termination of the given JBC could be proven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_25 (Sun Microsystems Inc.) Main-Class: AlternatingGrowReduceRec/AlternatingGrowReduceRec

package AlternatingGrowReduceRec;

public class AlternatingGrowReduceRec {
	AlternatingGrowReduceRec next;

	public static void main(String[] argv) {
		Random.args = argv;
		AlternatingGrowReduceRec list = createList(Random.random());
		growReduce(0, list);
	}

	public static void growReduce(int mode, AlternatingGrowReduceRec list) {
		if (list == null) return;
		if (mode == 0) {
			list = list.next.next.next.next;
		} else if (mode == 1) {
			list = new AlternatingGrowReduceRec(list);
		} else if (mode > 1) {
			list = new AlternatingGrowReduceRec(new AlternatingGrowReduceRec(list));
		}

		mode++;
		if (mode > 2) {
			growReduce(0, list);
		} else {
			growReduce(mode, list);
		}
	}

	public AlternatingGrowReduceRec(AlternatingGrowReduceRec old) {
		this.next = old;
	}

	public static AlternatingGrowReduceRec createList(int length) {
		AlternatingGrowReduceRec res = new AlternatingGrowReduceRec(null);
		if (length > 1) {
			res.next = createList(length - 1);
		}
		return res;
	}
}


package AlternatingGrowReduceRec;

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

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

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

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

AlternatingGrowReduceRec.AlternatingGrowReduceRec.createList(I)LAlternatingGrowReduceRec/AlternatingGrowReduceRec;: Graph of 33 nodes with 0 SCCs.

AlternatingGrowReduceRec.AlternatingGrowReduceRec.growReduce(ILAlternatingGrowReduceRec/AlternatingGrowReduceRec;)V: Graph of 293 nodes with 0 SCCs.

(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 2 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: AlternatingGrowReduceRec.AlternatingGrowReduceRec.growReduce(ILAlternatingGrowReduceRec/AlternatingGrowReduceRec;)V
SCC calls the following helper methods: AlternatingGrowReduceRec.AlternatingGrowReduceRec.growReduce(ILAlternatingGrowReduceRec/AlternatingGrowReduceRec;)V
Performed SCC analyses: UsedFieldsAnalysis

(6) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 143 rules for P and 150 rules for R.

P rules:
1413_0_growReduce_NONNULL(EOS(STATIC_1413), i96, java.lang.Object(o720sub), java.lang.Object(o720sub)) → 1414_0_growReduce_NONNULL(EOS(STATIC_1414), i96, java.lang.Object(o720sub), java.lang.Object(o720sub))
1414_0_growReduce_NONNULL(EOS(STATIC_1414), i96, java.lang.Object(o720sub), java.lang.Object(o720sub)) → 1417_0_growReduce_Load(EOS(STATIC_1417), i96, java.lang.Object(o720sub))
1417_0_growReduce_Load(EOS(STATIC_1417), i96, java.lang.Object(o720sub)) → 1420_0_growReduce_NE(EOS(STATIC_1420), i96, java.lang.Object(o720sub), i96)
1420_0_growReduce_NE(EOS(STATIC_1420), i98, java.lang.Object(o720sub), i98) → 1423_0_growReduce_NE(EOS(STATIC_1423), i98, java.lang.Object(o720sub), i98)
1420_0_growReduce_NE(EOS(STATIC_1420), matching1, java.lang.Object(o720sub), matching2) → 1424_0_growReduce_NE(EOS(STATIC_1424), 0, java.lang.Object(o720sub), 0) | &&(=(matching1, 0), =(matching2, 0))
1423_0_growReduce_NE(EOS(STATIC_1423), i98, java.lang.Object(o720sub), i98) → 1427_0_growReduce_Load(EOS(STATIC_1427), i98, java.lang.Object(o720sub)) | >(i98, 0)
1427_0_growReduce_Load(EOS(STATIC_1427), i98, java.lang.Object(o720sub)) → 1431_0_growReduce_ConstantStackPush(EOS(STATIC_1431), i98, java.lang.Object(o720sub), i98)
1431_0_growReduce_ConstantStackPush(EOS(STATIC_1431), i98, java.lang.Object(o720sub), i98) → 1436_0_growReduce_NE(EOS(STATIC_1436), i98, java.lang.Object(o720sub), i98, 1)
1436_0_growReduce_NE(EOS(STATIC_1436), matching1, java.lang.Object(o720sub), matching2, matching3) → 1439_0_growReduce_NE(EOS(STATIC_1439), 1, java.lang.Object(o720sub), 1, 1) | &&(&&(=(matching1, 1), =(matching2, 1)), =(matching3, 1))
1436_0_growReduce_NE(EOS(STATIC_1436), matching1, java.lang.Object(o720sub), matching2, matching3) → 1440_0_growReduce_NE(EOS(STATIC_1440), 2, java.lang.Object(o720sub), 2, 1) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 1))
1439_0_growReduce_NE(EOS(STATIC_1439), matching1, java.lang.Object(o720sub), matching2, matching3) → 1444_0_growReduce_New(EOS(STATIC_1444), 1, java.lang.Object(o720sub)) | &&(&&(=(matching1, 1), =(matching2, 1)), =(matching3, 1))
1444_0_growReduce_New(EOS(STATIC_1444), matching1, java.lang.Object(o720sub)) → 1451_0_growReduce_Duplicate(EOS(STATIC_1451), 1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 1)
1451_0_growReduce_Duplicate(EOS(STATIC_1451), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1457_0_growReduce_Load(EOS(STATIC_1457), 1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 1)
1457_0_growReduce_Load(EOS(STATIC_1457), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1467_0_growReduce_InvokeMethod(EOS(STATIC_1467), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 1)
1467_0_growReduce_InvokeMethod(EOS(STATIC_1467), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1476_0_<init>_Load(EOS(STATIC_1476), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 1)
1476_0_<init>_Load(EOS(STATIC_1476), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1501_0_<init>_InvokeMethod(EOS(STATIC_1501), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 1)
1501_0_<init>_InvokeMethod(EOS(STATIC_1501), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1514_0_<init>_Load(EOS(STATIC_1514), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 1)
1514_0_<init>_Load(EOS(STATIC_1514), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1524_0_<init>_Load(EOS(STATIC_1524), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 1)
1524_0_<init>_Load(EOS(STATIC_1524), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1542_0_<init>_FieldAccess(EOS(STATIC_1542), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 1)
1542_0_<init>_FieldAccess(EOS(STATIC_1542), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1557_0_<init>_Return(EOS(STATIC_1557), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(o720sub)) | =(matching1, 1)
1557_0_<init>_Return(EOS(STATIC_1557), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(o720sub)) → 1566_0_growReduce_Store(EOS(STATIC_1566), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1566_0_growReduce_Store(EOS(STATIC_1566), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1581_0_growReduce_JMP(EOS(STATIC_1581), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1581_0_growReduce_JMP(EOS(STATIC_1581), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1601_0_growReduce_Inc(EOS(STATIC_1601), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1601_0_growReduce_Inc(EOS(STATIC_1601), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1619_0_growReduce_Load(EOS(STATIC_1619), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1619_0_growReduce_Load(EOS(STATIC_1619), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1639_0_growReduce_ConstantStackPush(EOS(STATIC_1639), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), 2) | =(matching1, 2)
1639_0_growReduce_ConstantStackPush(EOS(STATIC_1639), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), matching2) → 1663_0_growReduce_LE(EOS(STATIC_1663), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), 2, 2) | &&(=(matching1, 2), =(matching2, 2))
1663_0_growReduce_LE(EOS(STATIC_1663), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), matching2, matching3) → 1683_0_growReduce_Load(EOS(STATIC_1683), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 2))
1683_0_growReduce_Load(EOS(STATIC_1683), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1701_0_growReduce_Load(EOS(STATIC_1701), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), 2) | =(matching1, 2)
1701_0_growReduce_Load(EOS(STATIC_1701), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), matching1) → 1723_0_growReduce_InvokeMethod(EOS(STATIC_1723), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1723_0_growReduce_InvokeMethod(EOS(STATIC_1723), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1747_1_growReduce_InvokeMethod(1747_0_growReduce_Load(EOS(STATIC_1747), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1747_0_growReduce_Load(EOS(STATIC_1747), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1768_0_growReduce_Load(EOS(STATIC_1768), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1768_0_growReduce_Load(EOS(STATIC_1768), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1817_0_growReduce_Load(EOS(STATIC_1817), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1817_0_growReduce_Load(EOS(STATIC_1817), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))) → 1410_0_growReduce_Load(EOS(STATIC_1410), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))) | =(matching1, 2)
1410_0_growReduce_Load(EOS(STATIC_1410), i96, o716) → 1413_0_growReduce_NONNULL(EOS(STATIC_1413), i96, o716, o716)
1440_0_growReduce_NE(EOS(STATIC_1440), matching1, java.lang.Object(o720sub), matching2, matching3) → 1446_0_growReduce_Load(EOS(STATIC_1446), 2, java.lang.Object(o720sub)) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 1))
1446_0_growReduce_Load(EOS(STATIC_1446), matching1, java.lang.Object(o720sub)) → 1452_0_growReduce_ConstantStackPush(EOS(STATIC_1452), 2, java.lang.Object(o720sub), 2) | =(matching1, 2)
1452_0_growReduce_ConstantStackPush(EOS(STATIC_1452), matching1, java.lang.Object(o720sub), matching2) → 1459_0_growReduce_LE(EOS(STATIC_1459), 2, java.lang.Object(o720sub), 2, 1) | &&(=(matching1, 2), =(matching2, 2))
1459_0_growReduce_LE(EOS(STATIC_1459), matching1, java.lang.Object(o720sub), matching2, matching3) → 1468_0_growReduce_New(EOS(STATIC_1468), 2, java.lang.Object(o720sub)) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 1))
1468_0_growReduce_New(EOS(STATIC_1468), matching1, java.lang.Object(o720sub)) → 1477_0_growReduce_Duplicate(EOS(STATIC_1477), 2, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1477_0_growReduce_Duplicate(EOS(STATIC_1477), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1490_0_growReduce_New(EOS(STATIC_1490), 2, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1490_0_growReduce_New(EOS(STATIC_1490), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1503_0_growReduce_Duplicate(EOS(STATIC_1503), 2, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1503_0_growReduce_Duplicate(EOS(STATIC_1503), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1515_0_growReduce_Load(EOS(STATIC_1515), 2, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1515_0_growReduce_Load(EOS(STATIC_1515), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1525_0_growReduce_InvokeMethod(EOS(STATIC_1525), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 2)
1525_0_growReduce_InvokeMethod(EOS(STATIC_1525), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1544_0_<init>_Load(EOS(STATIC_1544), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 2)
1544_0_<init>_Load(EOS(STATIC_1544), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1568_0_<init>_InvokeMethod(EOS(STATIC_1568), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1568_0_<init>_InvokeMethod(EOS(STATIC_1568), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1583_0_<init>_Load(EOS(STATIC_1583), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 2)
1583_0_<init>_Load(EOS(STATIC_1583), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1602_0_<init>_Load(EOS(STATIC_1602), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1602_0_<init>_Load(EOS(STATIC_1602), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1621_0_<init>_FieldAccess(EOS(STATIC_1621), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 2)
1621_0_<init>_FieldAccess(EOS(STATIC_1621), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1642_0_<init>_Return(EOS(STATIC_1642), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(o720sub)) | =(matching1, 2)
1642_0_<init>_Return(EOS(STATIC_1642), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(o720sub)) → 1664_0_growReduce_InvokeMethod(EOS(STATIC_1664), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1664_0_growReduce_InvokeMethod(EOS(STATIC_1664), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1685_0_<init>_Load(EOS(STATIC_1685), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1685_0_<init>_Load(EOS(STATIC_1685), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1725_0_<init>_InvokeMethod(EOS(STATIC_1725), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1725_0_<init>_InvokeMethod(EOS(STATIC_1725), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1749_0_<init>_Load(EOS(STATIC_1749), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1749_0_<init>_Load(EOS(STATIC_1749), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1771_0_<init>_Load(EOS(STATIC_1771), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1771_0_<init>_Load(EOS(STATIC_1771), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1786_0_<init>_FieldAccess(EOS(STATIC_1786), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1786_0_<init>_FieldAccess(EOS(STATIC_1786), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1820_0_<init>_Return(EOS(STATIC_1820), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1820_0_<init>_Return(EOS(STATIC_1820), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1847_0_growReduce_Store(EOS(STATIC_1847), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
1847_0_growReduce_Store(EOS(STATIC_1847), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 1879_0_growReduce_Inc(EOS(STATIC_1879), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
1879_0_growReduce_Inc(EOS(STATIC_1879), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 1908_0_growReduce_Load(EOS(STATIC_1908), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
1908_0_growReduce_Load(EOS(STATIC_1908), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 1946_0_growReduce_ConstantStackPush(EOS(STATIC_1946), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))))
1946_0_growReduce_ConstantStackPush(EOS(STATIC_1946), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 1991_0_growReduce_LE(EOS(STATIC_1991), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), 2)
1991_0_growReduce_LE(EOS(STATIC_1991), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), matching1) → 2026_0_growReduce_ConstantStackPush(EOS(STATIC_2026), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
2026_0_growReduce_ConstantStackPush(EOS(STATIC_2026), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2063_0_growReduce_Load(EOS(STATIC_2063), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), 0)
2063_0_growReduce_Load(EOS(STATIC_2063), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), matching1) → 2093_0_growReduce_InvokeMethod(EOS(STATIC_2093), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 0)
2093_0_growReduce_InvokeMethod(EOS(STATIC_2093), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2114_1_growReduce_InvokeMethod(2114_0_growReduce_Load(EOS(STATIC_2114), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 0)
2114_0_growReduce_Load(EOS(STATIC_2114), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2130_0_growReduce_Load(EOS(STATIC_2130), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 0)
2130_0_growReduce_Load(EOS(STATIC_2130), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2156_0_growReduce_Load(EOS(STATIC_2156), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 0)
2156_0_growReduce_Load(EOS(STATIC_2156), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))))) → 1410_0_growReduce_Load(EOS(STATIC_1410), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))))) | =(matching1, 0)
1424_0_growReduce_NE(EOS(STATIC_1424), matching1, java.lang.Object(o720sub), matching2) → 1428_0_growReduce_Load(EOS(STATIC_1428), 0, java.lang.Object(o720sub)) | &&(=(matching1, 0), =(matching2, 0))
1428_0_growReduce_Load(EOS(STATIC_1428), matching1, java.lang.Object(o720sub)) → 1433_0_growReduce_FieldAccess(EOS(STATIC_1433), 0, java.lang.Object(o720sub)) | =(matching1, 0)
1433_0_growReduce_FieldAccess(EOS(STATIC_1433), matching1, java.lang.Object(o720sub)) → 1437_0_growReduce_FieldAccess(EOS(STATIC_1437), 0, java.lang.Object(o720sub)) | =(matching1, 0)
1433_0_growReduce_FieldAccess(EOS(STATIC_1433), matching1, java.lang.Object(o720sub)) → 1438_0_growReduce_FieldAccess(EOS(STATIC_1438), 0, java.lang.Object(o720sub)) | =(matching1, 0)
1437_0_growReduce_FieldAccess(EOS(STATIC_1437), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o722))) → 1442_0_growReduce_FieldAccess(EOS(STATIC_1442), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o722))) | =(matching1, 0)
1442_0_growReduce_FieldAccess(EOS(STATIC_1442), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o722))) → 1447_0_growReduce_FieldAccess(EOS(STATIC_1447), 0, o722) | =(matching1, 0)
1447_0_growReduce_FieldAccess(EOS(STATIC_1447), matching1, java.lang.Object(o736sub)) → 1453_0_growReduce_FieldAccess(EOS(STATIC_1453), 0, java.lang.Object(o736sub)) | =(matching1, 0)
1453_0_growReduce_FieldAccess(EOS(STATIC_1453), matching1, java.lang.Object(o736sub)) → 1461_0_growReduce_FieldAccess(EOS(STATIC_1461), 0, java.lang.Object(o736sub)) | =(matching1, 0)
1453_0_growReduce_FieldAccess(EOS(STATIC_1453), matching1, java.lang.Object(o736sub)) → 1462_0_growReduce_FieldAccess(EOS(STATIC_1462), 0, java.lang.Object(o736sub)) | =(matching1, 0)
1461_0_growReduce_FieldAccess(EOS(STATIC_1461), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o741))) → 1469_0_growReduce_FieldAccess(EOS(STATIC_1469), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o741))) | =(matching1, 0)
1469_0_growReduce_FieldAccess(EOS(STATIC_1469), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o741))) → 1482_0_growReduce_FieldAccess(EOS(STATIC_1482), 0, o741) | =(matching1, 0)
1482_0_growReduce_FieldAccess(EOS(STATIC_1482), matching1, java.lang.Object(o766sub)) → 1491_0_growReduce_FieldAccess(EOS(STATIC_1491), 0, java.lang.Object(o766sub)) | =(matching1, 0)
1491_0_growReduce_FieldAccess(EOS(STATIC_1491), matching1, java.lang.Object(o766sub)) → 1506_0_growReduce_FieldAccess(EOS(STATIC_1506), 0, java.lang.Object(o766sub)) | =(matching1, 0)
1491_0_growReduce_FieldAccess(EOS(STATIC_1491), matching1, java.lang.Object(o766sub)) → 1507_0_growReduce_FieldAccess(EOS(STATIC_1507), 0, java.lang.Object(o766sub)) | =(matching1, 0)
1506_0_growReduce_FieldAccess(EOS(STATIC_1506), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o777))) → 1516_0_growReduce_FieldAccess(EOS(STATIC_1516), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o777))) | =(matching1, 0)
1516_0_growReduce_FieldAccess(EOS(STATIC_1516), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o777))) → 1529_0_growReduce_FieldAccess(EOS(STATIC_1529), 0, o777) | =(matching1, 0)
1529_0_growReduce_FieldAccess(EOS(STATIC_1529), matching1, java.lang.Object(o813sub)) → 1545_0_growReduce_FieldAccess(EOS(STATIC_1545), 0, java.lang.Object(o813sub)) | =(matching1, 0)
1545_0_growReduce_FieldAccess(EOS(STATIC_1545), matching1, java.lang.Object(o813sub)) → 1559_0_growReduce_FieldAccess(EOS(STATIC_1559), 0, java.lang.Object(o813sub)) | =(matching1, 0)
1545_0_growReduce_FieldAccess(EOS(STATIC_1545), matching1, java.lang.Object(o813sub)) → 1560_0_growReduce_FieldAccess(EOS(STATIC_1560), 0, java.lang.Object(o813sub)) | =(matching1, 0)
1559_0_growReduce_FieldAccess(EOS(STATIC_1559), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o823))) → 1570_0_growReduce_FieldAccess(EOS(STATIC_1570), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o823))) | =(matching1, 0)
1570_0_growReduce_FieldAccess(EOS(STATIC_1570), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o823))) → 1584_0_growReduce_Store(EOS(STATIC_1584), 0, o823) | =(matching1, 0)
1584_0_growReduce_Store(EOS(STATIC_1584), matching1, o823) → 1604_0_growReduce_JMP(EOS(STATIC_1604), 0, o823) | =(matching1, 0)
1604_0_growReduce_JMP(EOS(STATIC_1604), matching1, o823) → 1625_0_growReduce_Inc(EOS(STATIC_1625), 0, o823) | =(matching1, 0)
1625_0_growReduce_Inc(EOS(STATIC_1625), matching1, o823) → 1645_0_growReduce_Load(EOS(STATIC_1645), 1, o823) | =(matching1, 0)
1645_0_growReduce_Load(EOS(STATIC_1645), matching1, o823) → 1668_0_growReduce_ConstantStackPush(EOS(STATIC_1668), 1, o823, 1) | =(matching1, 1)
1668_0_growReduce_ConstantStackPush(EOS(STATIC_1668), matching1, o823, matching2) → 1688_0_growReduce_LE(EOS(STATIC_1688), 1, o823, 1) | &&(=(matching1, 1), =(matching2, 1))
1688_0_growReduce_LE(EOS(STATIC_1688), matching1, o823, matching2) → 1704_0_growReduce_Load(EOS(STATIC_1704), 1, o823) | &&(=(matching1, 1), =(matching2, 1))
1704_0_growReduce_Load(EOS(STATIC_1704), matching1, o823) → 1729_0_growReduce_Load(EOS(STATIC_1729), o823, 1) | =(matching1, 1)
1729_0_growReduce_Load(EOS(STATIC_1729), o823, matching1) → 1753_0_growReduce_InvokeMethod(EOS(STATIC_1753), 1, o823) | =(matching1, 1)
1753_0_growReduce_InvokeMethod(EOS(STATIC_1753), matching1, o823) → 1772_1_growReduce_InvokeMethod(1772_0_growReduce_Load(EOS(STATIC_1772), 1, o823), 1, o823) | =(matching1, 1)
1772_0_growReduce_Load(EOS(STATIC_1772), matching1, o823) → 1788_0_growReduce_Load(EOS(STATIC_1788), 1, o823) | =(matching1, 1)
1788_0_growReduce_Load(EOS(STATIC_1788), matching1, o823) → 1410_0_growReduce_Load(EOS(STATIC_1410), 1, o823) | =(matching1, 1)
1560_0_growReduce_FieldAccess(EOS(STATIC_1560), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o825))) → 1571_0_growReduce_FieldAccess(EOS(STATIC_1571), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o825))) | =(matching1, 0)
1571_0_growReduce_FieldAccess(EOS(STATIC_1571), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o825))) → 1589_0_growReduce_Store(EOS(STATIC_1589), 0, o825) | =(matching1, 0)
1589_0_growReduce_Store(EOS(STATIC_1589), matching1, o825) → 1610_0_growReduce_JMP(EOS(STATIC_1610), 0, o825) | =(matching1, 0)
1610_0_growReduce_JMP(EOS(STATIC_1610), matching1, o825) → 1630_0_growReduce_Inc(EOS(STATIC_1630), 0, o825) | =(matching1, 0)
1630_0_growReduce_Inc(EOS(STATIC_1630), matching1, o825) → 1651_0_growReduce_Load(EOS(STATIC_1651), 1, o825) | =(matching1, 0)
1651_0_growReduce_Load(EOS(STATIC_1651), matching1, o825) → 1672_0_growReduce_ConstantStackPush(EOS(STATIC_1672), 1, o825, 1) | =(matching1, 1)
1672_0_growReduce_ConstantStackPush(EOS(STATIC_1672), matching1, o825, matching2) → 1690_0_growReduce_LE(EOS(STATIC_1690), 1, o825, 1) | &&(=(matching1, 1), =(matching2, 1))
1690_0_growReduce_LE(EOS(STATIC_1690), matching1, o825, matching2) → 1709_0_growReduce_Load(EOS(STATIC_1709), 1, o825) | &&(=(matching1, 1), =(matching2, 1))
1709_0_growReduce_Load(EOS(STATIC_1709), matching1, o825) → 1734_0_growReduce_Load(EOS(STATIC_1734), o825, 1) | =(matching1, 1)
1734_0_growReduce_Load(EOS(STATIC_1734), o825, matching1) → 1755_0_growReduce_InvokeMethod(EOS(STATIC_1755), 1, o825) | =(matching1, 1)
1755_0_growReduce_InvokeMethod(EOS(STATIC_1755), matching1, o825) → 1773_1_growReduce_InvokeMethod(1773_0_growReduce_Load(EOS(STATIC_1773), 1, o825), 1, o825) | =(matching1, 1)
1773_0_growReduce_Load(EOS(STATIC_1773), matching1, o825) → 1790_0_growReduce_Load(EOS(STATIC_1790), 1, o825) | =(matching1, 1)
1790_0_growReduce_Load(EOS(STATIC_1790), matching1, o825) → 1853_0_growReduce_Load(EOS(STATIC_1853), 1, o825) | =(matching1, 1)
1853_0_growReduce_Load(EOS(STATIC_1853), matching1, o825) → 1410_0_growReduce_Load(EOS(STATIC_1410), 1, o825) | =(matching1, 1)
1507_0_growReduce_FieldAccess(EOS(STATIC_1507), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o779))) → 1518_0_growReduce_FieldAccess(EOS(STATIC_1518), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o779))) | =(matching1, 0)
1518_0_growReduce_FieldAccess(EOS(STATIC_1518), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o779))) → 1534_0_growReduce_FieldAccess(EOS(STATIC_1534), 0, o779) | =(matching1, 0)
1534_0_growReduce_FieldAccess(EOS(STATIC_1534), matching1, o779) → 1510_0_growReduce_FieldAccess(EOS(STATIC_1510), 0, o779) | =(matching1, 0)
1510_0_growReduce_FieldAccess(EOS(STATIC_1510), matching1, java.lang.Object(o781sub)) → 1521_0_growReduce_FieldAccess(EOS(STATIC_1521), 0, java.lang.Object(o781sub)) | =(matching1, 0)
1521_0_growReduce_FieldAccess(EOS(STATIC_1521), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o810))) → 1536_0_growReduce_FieldAccess(EOS(STATIC_1536), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o810))) | =(matching1, 0)
1536_0_growReduce_FieldAccess(EOS(STATIC_1536), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o810))) → 1552_0_growReduce_Store(EOS(STATIC_1552), 0, o810) | =(matching1, 0)
1552_0_growReduce_Store(EOS(STATIC_1552), matching1, o810) → 1564_0_growReduce_JMP(EOS(STATIC_1564), 0, o810) | =(matching1, 0)
1564_0_growReduce_JMP(EOS(STATIC_1564), matching1, o810) → 1575_0_growReduce_Inc(EOS(STATIC_1575), 0, o810) | =(matching1, 0)
1575_0_growReduce_Inc(EOS(STATIC_1575), matching1, o810) → 1595_0_growReduce_Load(EOS(STATIC_1595), 1, o810) | =(matching1, 0)
1595_0_growReduce_Load(EOS(STATIC_1595), matching1, o810) → 1617_0_growReduce_ConstantStackPush(EOS(STATIC_1617), 1, o810, 1) | =(matching1, 1)
1617_0_growReduce_ConstantStackPush(EOS(STATIC_1617), matching1, o810, matching2) → 1632_0_growReduce_LE(EOS(STATIC_1632), 1, o810, 1) | &&(=(matching1, 1), =(matching2, 1))
1632_0_growReduce_LE(EOS(STATIC_1632), matching1, o810, matching2) → 1656_0_growReduce_Load(EOS(STATIC_1656), 1, o810) | &&(=(matching1, 1), =(matching2, 1))
1656_0_growReduce_Load(EOS(STATIC_1656), matching1, o810) → 1680_0_growReduce_Load(EOS(STATIC_1680), o810, 1) | =(matching1, 1)
1680_0_growReduce_Load(EOS(STATIC_1680), o810, matching1) → 1693_0_growReduce_InvokeMethod(EOS(STATIC_1693), 1, o810) | =(matching1, 1)
1693_0_growReduce_InvokeMethod(EOS(STATIC_1693), matching1, o810) → 1715_1_growReduce_InvokeMethod(1715_0_growReduce_Load(EOS(STATIC_1715), 1, o810), 1, o810) | =(matching1, 1)
1715_0_growReduce_Load(EOS(STATIC_1715), matching1, o810) → 1742_0_growReduce_Load(EOS(STATIC_1742), 1, o810) | =(matching1, 1)
1742_0_growReduce_Load(EOS(STATIC_1742), matching1, o810) → 1779_0_growReduce_Load(EOS(STATIC_1779), 1, o810) | =(matching1, 1)
1779_0_growReduce_Load(EOS(STATIC_1779), matching1, o810) → 1410_0_growReduce_Load(EOS(STATIC_1410), 1, o810) | =(matching1, 1)
1462_0_growReduce_FieldAccess(EOS(STATIC_1462), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o743))) → 1470_0_growReduce_FieldAccess(EOS(STATIC_1470), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o743))) | =(matching1, 0)
1470_0_growReduce_FieldAccess(EOS(STATIC_1470), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o743))) → 1485_0_growReduce_FieldAccess(EOS(STATIC_1485), 0, o743) | =(matching1, 0)
1485_0_growReduce_FieldAccess(EOS(STATIC_1485), matching1, o743) → 1473_0_growReduce_FieldAccess(EOS(STATIC_1473), 0, o743) | =(matching1, 0)
1473_0_growReduce_FieldAccess(EOS(STATIC_1473), matching1, java.lang.Object(o765sub)) → 1487_0_growReduce_FieldAccess(EOS(STATIC_1487), 0, java.lang.Object(o765sub)) | =(matching1, 0)
1487_0_growReduce_FieldAccess(EOS(STATIC_1487), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o768))) → 1496_0_growReduce_FieldAccess(EOS(STATIC_1496), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o768))) | =(matching1, 0)
1496_0_growReduce_FieldAccess(EOS(STATIC_1496), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o768))) → 1510_0_growReduce_FieldAccess(EOS(STATIC_1510), 0, o768) | =(matching1, 0)
1438_0_growReduce_FieldAccess(EOS(STATIC_1438), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o724))) → 1443_0_growReduce_FieldAccess(EOS(STATIC_1443), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o724))) | =(matching1, 0)
1443_0_growReduce_FieldAccess(EOS(STATIC_1443), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o724))) → 1450_0_growReduce_FieldAccess(EOS(STATIC_1450), 0, o724) | =(matching1, 0)
1450_0_growReduce_FieldAccess(EOS(STATIC_1450), matching1, java.lang.Object(o737sub)) → 1455_0_growReduce_FieldAccess(EOS(STATIC_1455), 0, java.lang.Object(o737sub)) | =(matching1, 0)
1455_0_growReduce_FieldAccess(EOS(STATIC_1455), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o739))) → 1464_0_growReduce_FieldAccess(EOS(STATIC_1464), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o739))) | =(matching1, 0)
1464_0_growReduce_FieldAccess(EOS(STATIC_1464), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o739))) → 1473_0_growReduce_FieldAccess(EOS(STATIC_1473), 0, o739) | =(matching1, 0)
R rules:
1413_0_growReduce_NONNULL(EOS(STATIC_1413), i96, NULL, NULL) → 1415_0_growReduce_NONNULL(EOS(STATIC_1415), i96, NULL, NULL)
1415_0_growReduce_NONNULL(EOS(STATIC_1415), i96, NULL, NULL) → 1419_0_growReduce_Return(EOS(STATIC_1419), i96, NULL)
1447_0_growReduce_FieldAccess(EOS(STATIC_1447), matching1, NULL) → 1454_0_growReduce_FieldAccess(EOS(STATIC_1454), 0, NULL) | =(matching1, 0)
1450_0_growReduce_FieldAccess(EOS(STATIC_1450), matching1, NULL) → 1456_0_growReduce_FieldAccess(EOS(STATIC_1456), 0, NULL) | =(matching1, 0)
1454_0_growReduce_FieldAccess(EOS(STATIC_1454), matching1, NULL) → 1463_0_growReduce_FieldAccess(EOS(STATIC_1463), 0, NULL) | =(matching1, 0)
1456_0_growReduce_FieldAccess(EOS(STATIC_1456), matching1, NULL) → 1466_0_growReduce_FieldAccess(EOS(STATIC_1466), 0, NULL) | =(matching1, 0)
1463_0_growReduce_FieldAccess(EOS(STATIC_1463), matching1, NULL) → 1471_0_<init>_Load(EOS(STATIC_1471), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1466_0_growReduce_FieldAccess(EOS(STATIC_1466), matching1, NULL) → 1474_0_<init>_Load(EOS(STATIC_1474), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1471_0_<init>_Load(EOS(STATIC_1471), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1494_0_<init>_InvokeMethod(EOS(STATIC_1494), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1473_0_growReduce_FieldAccess(EOS(STATIC_1473), matching1, NULL) → 1488_0_growReduce_FieldAccess(EOS(STATIC_1488), 0, NULL) | =(matching1, 0)
1474_0_<init>_Load(EOS(STATIC_1474), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1500_0_<init>_InvokeMethod(EOS(STATIC_1500), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1482_0_growReduce_FieldAccess(EOS(STATIC_1482), matching1, NULL) → 1493_0_growReduce_FieldAccess(EOS(STATIC_1493), 0, NULL) | =(matching1, 0)
1488_0_growReduce_FieldAccess(EOS(STATIC_1488), matching1, NULL) → 1497_0_growReduce_FieldAccess(EOS(STATIC_1497), 0, NULL) | =(matching1, 0)
1493_0_growReduce_FieldAccess(EOS(STATIC_1493), matching1, NULL) → 1508_0_growReduce_FieldAccess(EOS(STATIC_1508), 0, NULL) | =(matching1, 0)
1494_0_<init>_InvokeMethod(EOS(STATIC_1494), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1500_0_<init>_InvokeMethod(EOS(STATIC_1500), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1497_0_growReduce_FieldAccess(EOS(STATIC_1497), matching1, NULL) → 1512_0_<init>_Load(EOS(STATIC_1512), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1500_0_<init>_InvokeMethod(EOS(STATIC_1500), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1513_0_<init>_Load(EOS(STATIC_1513), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1508_0_growReduce_FieldAccess(EOS(STATIC_1508), matching1, NULL) → 1519_0_<init>_Load(EOS(STATIC_1519), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1510_0_growReduce_FieldAccess(EOS(STATIC_1510), matching1, NULL) → 1522_0_growReduce_FieldAccess(EOS(STATIC_1522), 0, NULL) | =(matching1, 0)
1512_0_<init>_Load(EOS(STATIC_1512), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1540_0_<init>_InvokeMethod(EOS(STATIC_1540), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1513_0_<init>_Load(EOS(STATIC_1513), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1541_0_<init>_InvokeMethod(EOS(STATIC_1541), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1519_0_<init>_Load(EOS(STATIC_1519), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1550_0_<init>_InvokeMethod(EOS(STATIC_1550), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1522_0_growReduce_FieldAccess(EOS(STATIC_1522), matching1, NULL) → 1538_0_growReduce_FieldAccess(EOS(STATIC_1538), 0, NULL) | =(matching1, 0)
1529_0_growReduce_FieldAccess(EOS(STATIC_1529), matching1, NULL) → 1546_0_growReduce_FieldAccess(EOS(STATIC_1546), 0, NULL) | =(matching1, 0)
1538_0_growReduce_FieldAccess(EOS(STATIC_1538), matching1, NULL) → 1553_0_<init>_Load(EOS(STATIC_1553), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1540_0_<init>_InvokeMethod(EOS(STATIC_1540), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1555_0_<init>_Load(EOS(STATIC_1555), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1541_0_<init>_InvokeMethod(EOS(STATIC_1541), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1556_0_<init>_Load(EOS(STATIC_1556), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1546_0_growReduce_FieldAccess(EOS(STATIC_1546), matching1, NULL) → 1561_0_growReduce_FieldAccess(EOS(STATIC_1561), 0, NULL) | =(matching1, 0)
1550_0_<init>_InvokeMethod(EOS(STATIC_1550), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1563_0_<init>_Load(EOS(STATIC_1563), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1553_0_<init>_Load(EOS(STATIC_1553), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1576_0_<init>_InvokeMethod(EOS(STATIC_1576), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1555_0_<init>_Load(EOS(STATIC_1555), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1578_0_<init>_InvokeMethod(EOS(STATIC_1578), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1556_0_<init>_Load(EOS(STATIC_1556), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1580_0_<init>_InvokeMethod(EOS(STATIC_1580), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1561_0_growReduce_FieldAccess(EOS(STATIC_1561), matching1, NULL) → 1573_0_<init>_Load(EOS(STATIC_1573), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1563_0_<init>_Load(EOS(STATIC_1563), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1593_0_<init>_InvokeMethod(EOS(STATIC_1593), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1573_0_<init>_Load(EOS(STATIC_1573), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1614_0_<init>_InvokeMethod(EOS(STATIC_1614), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1576_0_<init>_InvokeMethod(EOS(STATIC_1576), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1596_0_<init>_Load(EOS(STATIC_1596), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1578_0_<init>_InvokeMethod(EOS(STATIC_1578), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1598_0_<init>_Load(EOS(STATIC_1598), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1580_0_<init>_InvokeMethod(EOS(STATIC_1580), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1599_0_<init>_Load(EOS(STATIC_1599), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1593_0_<init>_InvokeMethod(EOS(STATIC_1593), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1616_0_<init>_Load(EOS(STATIC_1616), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1596_0_<init>_Load(EOS(STATIC_1596), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1634_0_<init>_InvokeMethod(EOS(STATIC_1634), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1598_0_<init>_Load(EOS(STATIC_1598), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1636_0_<init>_InvokeMethod(EOS(STATIC_1636), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1599_0_<init>_Load(EOS(STATIC_1599), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1637_0_<init>_InvokeMethod(EOS(STATIC_1637), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1614_0_<init>_InvokeMethod(EOS(STATIC_1614), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1631_0_<init>_Load(EOS(STATIC_1631), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1616_0_<init>_Load(EOS(STATIC_1616), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1654_0_<init>_InvokeMethod(EOS(STATIC_1654), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1631_0_<init>_Load(EOS(STATIC_1631), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1677_0_<init>_InvokeMethod(EOS(STATIC_1677), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1634_0_<init>_InvokeMethod(EOS(STATIC_1634), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1657_0_<init>_Load(EOS(STATIC_1657), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1636_0_<init>_InvokeMethod(EOS(STATIC_1636), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1659_0_<init>_Load(EOS(STATIC_1659), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1637_0_<init>_InvokeMethod(EOS(STATIC_1637), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1661_0_<init>_Load(EOS(STATIC_1661), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1654_0_<init>_InvokeMethod(EOS(STATIC_1654), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1678_0_<init>_Load(EOS(STATIC_1678), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1657_0_<init>_Load(EOS(STATIC_1657), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1695_0_<init>_InvokeMethod(EOS(STATIC_1695), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1659_0_<init>_Load(EOS(STATIC_1659), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1697_0_<init>_InvokeMethod(EOS(STATIC_1697), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1661_0_<init>_Load(EOS(STATIC_1661), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1681_0_<init>_Load(EOS(STATIC_1681), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1677_0_<init>_InvokeMethod(EOS(STATIC_1677), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1691_0_<init>_Load(EOS(STATIC_1691), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1678_0_<init>_Load(EOS(STATIC_1678), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1714_0_<init>_InvokeMethod(EOS(STATIC_1714), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1681_0_<init>_Load(EOS(STATIC_1681), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1699_0_<init>_FieldAccess(EOS(STATIC_1699), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1691_0_<init>_Load(EOS(STATIC_1691), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1738_0_<init>_InvokeMethod(EOS(STATIC_1738), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1695_0_<init>_InvokeMethod(EOS(STATIC_1695), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1716_0_<init>_Load(EOS(STATIC_1716), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1697_0_<init>_InvokeMethod(EOS(STATIC_1697), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1718_0_<init>_Load(EOS(STATIC_1718), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1699_0_<init>_FieldAccess(EOS(STATIC_1699), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1722_0_<init>_Load(EOS(STATIC_1722), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1714_0_<init>_InvokeMethod(EOS(STATIC_1714), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1740_0_<init>_Load(EOS(STATIC_1740), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(EOS(STATIC_1419), matching1, NULL), matching2, NULL) → 1838_0_growReduce_Return(EOS(STATIC_1838), 1, NULL, 1, NULL) | &&(=(matching1, 1), =(matching2, 1))
1715_1_growReduce_InvokeMethod(2383_0_growReduce_Return(EOS(STATIC_2383)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2076))) → 2401_0_growReduce_Return(EOS(STATIC_2401), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2076))) | =(matching1, 1)
1716_0_<init>_Load(EOS(STATIC_1716), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1764_0_<init>_InvokeMethod(EOS(STATIC_1764), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1718_0_<init>_Load(EOS(STATIC_1718), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1744_0_<init>_Load(EOS(STATIC_1744), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1722_0_<init>_Load(EOS(STATIC_1722), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1746_0_<init>_InvokeMethod(EOS(STATIC_1746), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1738_0_<init>_InvokeMethod(EOS(STATIC_1738), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1757_0_<init>_Load(EOS(STATIC_1757), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1740_0_<init>_Load(EOS(STATIC_1740), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1762_0_<init>_Load(EOS(STATIC_1762), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1744_0_<init>_Load(EOS(STATIC_1744), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1765_0_<init>_FieldAccess(EOS(STATIC_1765), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1746_0_<init>_InvokeMethod(EOS(STATIC_1746), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1767_0_<init>_StackPop(EOS(STATIC_1767), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1747_1_growReduce_InvokeMethod(2360_0_growReduce_Return(EOS(STATIC_2360)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) → 2376_0_growReduce_Return(EOS(STATIC_2376), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) | =(matching1, 2)
1757_0_<init>_Load(EOS(STATIC_1757), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1792_0_<init>_InvokeMethod(EOS(STATIC_1792), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1762_0_<init>_Load(EOS(STATIC_1762), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1777_0_<init>_FieldAccess(EOS(STATIC_1777), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1764_0_<init>_InvokeMethod(EOS(STATIC_1764), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1782_0_<init>_Load(EOS(STATIC_1782), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1765_0_<init>_FieldAccess(EOS(STATIC_1765), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1784_0_<init>_Load(EOS(STATIC_1784), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1767_0_<init>_StackPop(EOS(STATIC_1767), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1785_0_<init>_Return(EOS(STATIC_1785), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1772_1_growReduce_InvokeMethod(1419_0_growReduce_Return(EOS(STATIC_1419), matching1, NULL), matching2, NULL) → 1880_0_growReduce_Return(EOS(STATIC_1880), 1, NULL, 1, NULL) | &&(=(matching1, 1), =(matching2, 1))
1772_1_growReduce_InvokeMethod(2383_0_growReduce_Return(EOS(STATIC_2383)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2079))) → 2415_0_growReduce_Return(EOS(STATIC_2415), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2079))) | =(matching1, 1)
1773_1_growReduce_InvokeMethod(1419_0_growReduce_Return(EOS(STATIC_1419), matching1, NULL), matching2, NULL) → 1913_0_growReduce_Return(EOS(STATIC_1913), 1, NULL, 1, NULL) | &&(=(matching1, 1), =(matching2, 1))
1773_1_growReduce_InvokeMethod(2383_0_growReduce_Return(EOS(STATIC_2383)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2083))) → 2426_0_growReduce_Return(EOS(STATIC_2426), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2083))) | =(matching1, 1)
1777_0_<init>_FieldAccess(EOS(STATIC_1777), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1806_0_<init>_Load(EOS(STATIC_1806), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1782_0_<init>_Load(EOS(STATIC_1782), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1812_0_<init>_Load(EOS(STATIC_1812), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1784_0_<init>_Load(EOS(STATIC_1784), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1813_0_<init>_InvokeMethod(EOS(STATIC_1813), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1785_0_<init>_Return(EOS(STATIC_1785), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1814_0_<init>_Return(EOS(STATIC_1814), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1792_0_<init>_InvokeMethod(EOS(STATIC_1792), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1825_0_<init>_Load(EOS(STATIC_1825), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1806_0_<init>_Load(EOS(STATIC_1806), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1837_0_<init>_InvokeMethod(EOS(STATIC_1837), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1812_0_<init>_Load(EOS(STATIC_1812), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1839_0_<init>_FieldAccess(EOS(STATIC_1839), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1813_0_<init>_InvokeMethod(EOS(STATIC_1813), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1841_0_<init>_StackPop(EOS(STATIC_1841), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1814_0_<init>_Return(EOS(STATIC_1814), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1842_0_<init>_Return(EOS(STATIC_1842), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1825_0_<init>_Load(EOS(STATIC_1825), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1857_0_<init>_Load(EOS(STATIC_1857), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1837_0_<init>_InvokeMethod(EOS(STATIC_1837), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1867_0_<init>_StackPop(EOS(STATIC_1867), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1838_0_growReduce_Return(EOS(STATIC_1838), matching1, NULL, matching2, NULL) → 1868_0_growReduce_Return(EOS(STATIC_1868)) | &&(=(matching1, 1), =(matching2, 1))
1839_0_<init>_FieldAccess(EOS(STATIC_1839), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1873_0_<init>_Load(EOS(STATIC_1873), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1841_0_<init>_StackPop(EOS(STATIC_1841), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1875_0_<init>_Return(EOS(STATIC_1875), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1842_0_<init>_Return(EOS(STATIC_1842), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1877_0_<init>_Return(EOS(STATIC_1877), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1857_0_<init>_Load(EOS(STATIC_1857), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1891_0_<init>_FieldAccess(EOS(STATIC_1891), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1867_0_<init>_StackPop(EOS(STATIC_1867), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1899_0_<init>_Return(EOS(STATIC_1899), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1873_0_<init>_Load(EOS(STATIC_1873), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1903_0_<init>_InvokeMethod(EOS(STATIC_1903), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1875_0_<init>_Return(EOS(STATIC_1875), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1904_0_<init>_Return(EOS(STATIC_1904), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1877_0_<init>_Return(EOS(STATIC_1877), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 1907_0_growReduce_FieldAccess(EOS(STATIC_1907), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1880_0_growReduce_Return(EOS(STATIC_1880), matching1, NULL, matching2, NULL) → 1912_0_growReduce_Return(EOS(STATIC_1912)) | &&(=(matching1, 1), =(matching2, 1))
1891_0_<init>_FieldAccess(EOS(STATIC_1891), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1929_0_<init>_Load(EOS(STATIC_1929), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1899_0_<init>_Return(EOS(STATIC_1899), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1936_0_<init>_Return(EOS(STATIC_1936), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1903_0_<init>_InvokeMethod(EOS(STATIC_1903), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1942_0_<init>_StackPop(EOS(STATIC_1942), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1904_0_<init>_Return(EOS(STATIC_1904), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1943_0_<init>_Return(EOS(STATIC_1943), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1912_0_growReduce_Return(EOS(STATIC_1912)) → 1953_0_growReduce_Return(EOS(STATIC_1953))
1913_0_growReduce_Return(EOS(STATIC_1913), matching1, NULL, matching2, NULL) → 1953_0_growReduce_Return(EOS(STATIC_1953)) | &&(=(matching1, 1), =(matching2, 1))
1929_0_<init>_Load(EOS(STATIC_1929), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1969_0_<init>_InvokeMethod(EOS(STATIC_1969), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1936_0_<init>_Return(EOS(STATIC_1936), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1974_0_<init>_Return(EOS(STATIC_1974), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1942_0_<init>_StackPop(EOS(STATIC_1942), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1983_0_<init>_Return(EOS(STATIC_1983), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1943_0_<init>_Return(EOS(STATIC_1943), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1985_0_<init>_Return(EOS(STATIC_1985), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1969_0_<init>_InvokeMethod(EOS(STATIC_1969), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2012_0_<init>_StackPop(EOS(STATIC_2012), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1974_0_<init>_Return(EOS(STATIC_1974), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2016_0_<init>_Return(EOS(STATIC_2016), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1983_0_<init>_Return(EOS(STATIC_1983), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2018_0_<init>_Return(EOS(STATIC_2018), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
1985_0_<init>_Return(EOS(STATIC_1985), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2019_0_growReduce_FieldAccess(EOS(STATIC_2019), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2012_0_<init>_StackPop(EOS(STATIC_2012), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2053_0_<init>_Return(EOS(STATIC_2053), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
2016_0_<init>_Return(EOS(STATIC_2016), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2056_0_growReduce_FieldAccess(EOS(STATIC_2056), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2018_0_<init>_Return(EOS(STATIC_2018), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2059_0_<init>_Return(EOS(STATIC_2059), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
2053_0_<init>_Return(EOS(STATIC_2053), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2078_0_<init>_Return(EOS(STATIC_2078), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
2059_0_<init>_Return(EOS(STATIC_2059), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2082_0_<init>_Return(EOS(STATIC_2082), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2078_0_<init>_Return(EOS(STATIC_2078), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2097_0_<init>_Return(EOS(STATIC_2097), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) | =(matching1, 0)
2082_0_<init>_Return(EOS(STATIC_2082), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2108_0_growReduce_FieldAccess(EOS(STATIC_2108), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2097_0_<init>_Return(EOS(STATIC_2097), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 2117_0_<init>_Return(EOS(STATIC_2117), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return(EOS(STATIC_1868)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2207_0_growReduce_Return(EOS(STATIC_2207), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) | =(matching1, 0)
2114_1_growReduce_InvokeMethod(1912_0_growReduce_Return(EOS(STATIC_1912)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2212_0_growReduce_Return(EOS(STATIC_2212), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) | =(matching1, 0)
2114_1_growReduce_InvokeMethod(1953_0_growReduce_Return(EOS(STATIC_1953)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2214_0_growReduce_Return(EOS(STATIC_2214), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) | =(matching1, 0)
2114_1_growReduce_InvokeMethod(2108_0_growReduce_FieldAccess(EOS(STATIC_2108), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL), matching2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))) → 2217_0_growReduce_FieldAccess(EOS(STATIC_2217), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | &&(=(matching1, 0), =(matching2, 0))
2114_1_growReduce_InvokeMethod(2136_0_growReduce_FieldAccess(EOS(STATIC_2136), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL), matching2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))) → 2220_0_growReduce_FieldAccess(EOS(STATIC_2220), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | &&(=(matching1, 0), =(matching2, 0))
2114_1_growReduce_InvokeMethod(2433_0_growReduce_Return(EOS(STATIC_2433)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2368))))))))))) → 2485_0_growReduce_Return(EOS(STATIC_2485), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2368))))))))))) | =(matching1, 0)
2114_1_growReduce_InvokeMethod(2439_0_growReduce_Return(EOS(STATIC_2439)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2383))))))))))) → 2496_0_growReduce_Return(EOS(STATIC_2496), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2383))))))))))) | =(matching1, 0)
2114_1_growReduce_InvokeMethod(2448_0_growReduce_Return(EOS(STATIC_2448)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2398))))))))))) → 2507_0_growReduce_Return(EOS(STATIC_2507), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2398))))))))))) | =(matching1, 0)
2117_0_<init>_Return(EOS(STATIC_2117), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2136_0_growReduce_FieldAccess(EOS(STATIC_2136), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2207_0_growReduce_Return(EOS(STATIC_2207), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2329_0_growReduce_Return(EOS(STATIC_2329), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) | =(matching1, 0)
2212_0_growReduce_Return(EOS(STATIC_2212), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2207_0_growReduce_Return(EOS(STATIC_2207), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) | =(matching1, 0)
2214_0_growReduce_Return(EOS(STATIC_2214), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2207_0_growReduce_Return(EOS(STATIC_2207), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) | =(matching1, 0)
2217_0_growReduce_FieldAccess(EOS(STATIC_2217), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching2, NULL) → 2223_0_growReduce_InvokeMethod(EOS(STATIC_2223), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))) | &&(=(matching1, 0), =(matching2, 0))
2220_0_growReduce_FieldAccess(EOS(STATIC_2220), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching2, NULL) → 2217_0_growReduce_FieldAccess(EOS(STATIC_2217), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | &&(=(matching1, 0), =(matching2, 0))
2329_0_growReduce_Return(EOS(STATIC_2329), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o1988))))))))) → 2342_0_growReduce_Return(EOS(STATIC_2342), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o1988))))))))) | =(matching1, 0)
2342_0_growReduce_Return(EOS(STATIC_2342), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2016))))))))) → 2357_0_growReduce_JMP(EOS(STATIC_2357)) | =(matching1, 0)
2357_0_growReduce_JMP(EOS(STATIC_2357)) → 2360_0_growReduce_Return(EOS(STATIC_2360))
2376_0_growReduce_Return(EOS(STATIC_2376), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) → 2377_0_growReduce_Return(EOS(STATIC_2377), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) | =(matching1, 2)
2377_0_growReduce_Return(EOS(STATIC_2377), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2060))))) → 2383_0_growReduce_Return(EOS(STATIC_2383)) | =(matching1, 2)
2401_0_growReduce_Return(EOS(STATIC_2401), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2076))) → 2402_0_growReduce_Return(EOS(STATIC_2402), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2076))) | =(matching1, 1)
2402_0_growReduce_Return(EOS(STATIC_2402), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2090))) → 2433_0_growReduce_Return(EOS(STATIC_2433)) | =(matching1, 1)
2415_0_growReduce_Return(EOS(STATIC_2415), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2079))) → 2416_0_growReduce_Return(EOS(STATIC_2416), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2079))) | =(matching1, 1)
2416_0_growReduce_Return(EOS(STATIC_2416), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2138))) → 2439_0_growReduce_Return(EOS(STATIC_2439)) | =(matching1, 1)
2426_0_growReduce_Return(EOS(STATIC_2426), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2083))) → 2427_0_growReduce_Return(EOS(STATIC_2427), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2083))) | =(matching1, 1)
2427_0_growReduce_Return(EOS(STATIC_2427), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2186))) → 2448_0_growReduce_Return(EOS(STATIC_2448)) | =(matching1, 1)
2485_0_growReduce_Return(EOS(STATIC_2485), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2368))))))))))) → 2342_0_growReduce_Return(EOS(STATIC_2342), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2368))))))))))) | =(matching1, 0)
2496_0_growReduce_Return(EOS(STATIC_2496), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2383))))))))))) → 2342_0_growReduce_Return(EOS(STATIC_2342), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2383))))))))))) | =(matching1, 0)
2507_0_growReduce_Return(EOS(STATIC_2507), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2398))))))))))) → 2342_0_growReduce_Return(EOS(STATIC_2342), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2398))))))))))) | =(matching1, 0)

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

P rules:
1413_0_growReduce_NONNULL(EOS(STATIC_1413), 1, java.lang.Object(x1), java.lang.Object(x1)) → 1747_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(EOS(STATIC_1413), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(x1))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(x1)))), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(x1))))
1413_0_growReduce_NONNULL(EOS(STATIC_1413), 2, java.lang.Object(x1), java.lang.Object(x1)) → 2114_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(EOS(STATIC_1413), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(x1))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(x1)))))), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(x1))))))
1413_0_growReduce_NONNULL(EOS(STATIC_1413), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1)))))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))))))) → 1772_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(EOS(STATIC_1413), 1, x1, x1), 1, x1)
1413_0_growReduce_NONNULL(EOS(STATIC_1413), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1)))))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))))))) → 1773_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(EOS(STATIC_1413), 1, x1, x1), 1, x1)
1413_0_growReduce_NONNULL(EOS(STATIC_1413), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1)))))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))))))) → 1715_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(EOS(STATIC_1413), 1, x1, x1), 1, x1)
R rules:
1413_0_growReduce_NONNULL(EOS(STATIC_1413), x0, NULL, NULL) → 1419_0_growReduce_Return(EOS(STATIC_1419), x0, NULL)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(EOS(STATIC_1419), 1, NULL), 1, NULL) → 1868_0_growReduce_Return(EOS(STATIC_1868))
1773_1_growReduce_InvokeMethod(1419_0_growReduce_Return(EOS(STATIC_1419), 1, NULL), 1, NULL) → 1953_0_growReduce_Return(EOS(STATIC_1953))
1772_1_growReduce_InvokeMethod(1419_0_growReduce_Return(EOS(STATIC_1419), 1, NULL), 1, NULL) → 1953_0_growReduce_Return(EOS(STATIC_1953))
2114_1_growReduce_InvokeMethod(2108_0_growReduce_FieldAccess(EOS(STATIC_2108), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))) → 2223_0_growReduce_InvokeMethod(EOS(STATIC_2223), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)))))))
2114_1_growReduce_InvokeMethod(2136_0_growReduce_FieldAccess(EOS(STATIC_2136), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))) → 2223_0_growReduce_InvokeMethod(EOS(STATIC_2223), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)))))))
2114_1_growReduce_InvokeMethod(2433_0_growReduce_Return(EOS(STATIC_2433)), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))))))))) → 2360_0_growReduce_Return(EOS(STATIC_2360))
2114_1_growReduce_InvokeMethod(2439_0_growReduce_Return(EOS(STATIC_2439)), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))))))))) → 2360_0_growReduce_Return(EOS(STATIC_2360))
2114_1_growReduce_InvokeMethod(2448_0_growReduce_Return(EOS(STATIC_2448)), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))))))))) → 2360_0_growReduce_Return(EOS(STATIC_2360))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return(EOS(STATIC_1868)), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2360_0_growReduce_Return(EOS(STATIC_2360))
2114_1_growReduce_InvokeMethod(1912_0_growReduce_Return(EOS(STATIC_1912)), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2360_0_growReduce_Return(EOS(STATIC_2360))
2114_1_growReduce_InvokeMethod(1953_0_growReduce_Return(EOS(STATIC_1953)), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))))))))) → 2360_0_growReduce_Return(EOS(STATIC_2360))
1747_1_growReduce_InvokeMethod(2360_0_growReduce_Return(EOS(STATIC_2360)), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))) → 2383_0_growReduce_Return(EOS(STATIC_2383))
1715_1_growReduce_InvokeMethod(2383_0_growReduce_Return(EOS(STATIC_2383)), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))) → 2433_0_growReduce_Return(EOS(STATIC_2433))
1772_1_growReduce_InvokeMethod(2383_0_growReduce_Return(EOS(STATIC_2383)), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))) → 2439_0_growReduce_Return(EOS(STATIC_2439))
1773_1_growReduce_InvokeMethod(2383_0_growReduce_Return(EOS(STATIC_2383)), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))) → 2448_0_growReduce_Return(EOS(STATIC_2448))

Filtered ground terms:

1715_1_growReduce_InvokeMethod(x1, x2, x3) → 1715_1_growReduce_InvokeMethod(x1, x3)
1413_0_growReduce_NONNULL(x1, x2, x3, x4) → 1413_0_growReduce_NONNULL(x2, x3, x4)
AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1, x2) → AlternatingGrowReduceRec.AlternatingGrowReduceRec(x2)
1773_1_growReduce_InvokeMethod(x1, x2, x3) → 1773_1_growReduce_InvokeMethod(x1, x3)
1772_1_growReduce_InvokeMethod(x1, x2, x3) → 1772_1_growReduce_InvokeMethod(x1, x3)
2114_1_growReduce_InvokeMethod(x1, x2, x3) → 2114_1_growReduce_InvokeMethod(x1, x3)
1747_1_growReduce_InvokeMethod(x1, x2, x3) → 1747_1_growReduce_InvokeMethod(x1, x3)
2448_0_growReduce_Return(x1) → 2448_0_growReduce_Return
2383_0_growReduce_Return(x1) → 2383_0_growReduce_Return
2439_0_growReduce_Return(x1) → 2439_0_growReduce_Return
2433_0_growReduce_Return(x1) → 2433_0_growReduce_Return
2360_0_growReduce_Return(x1) → 2360_0_growReduce_Return
1953_0_growReduce_Return(x1) → 1953_0_growReduce_Return
1912_0_growReduce_Return(x1) → 1912_0_growReduce_Return
1868_0_growReduce_Return(x1) → 1868_0_growReduce_Return
2223_0_growReduce_InvokeMethod(x1, x2, x3, x4) → 2223_0_growReduce_InvokeMethod
java.lang.NullPointerException(x1) → java.lang.NullPointerException
java.lang.RuntimeException(x1) → java.lang.RuntimeException
java.lang.Exception(x1) → java.lang.Exception
java.lang.Throwable(x1) → java.lang.Throwable
2136_0_growReduce_FieldAccess(x1, x2, x3, x4) → 2136_0_growReduce_FieldAccess
2108_0_growReduce_FieldAccess(x1, x2, x3, x4) → 2108_0_growReduce_FieldAccess
1419_0_growReduce_Return(x1, x2, x3) → 1419_0_growReduce_Return(x2)

Filtered duplicate args:

1413_0_growReduce_NONNULL(x1, x2, x3) → 1413_0_growReduce_NONNULL(x1, x3)

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

P rules:
1413_0_growReduce_NONNULL(1, java.lang.Object(x1)) → 1747_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1)))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1))))
1413_0_growReduce_NONNULL(2, java.lang.Object(x1)) → 2114_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1)))))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1))))))
1413_0_growReduce_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))) → 1772_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(1, x1), x1)
1413_0_growReduce_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))) → 1773_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(1, x1), x1)
1413_0_growReduce_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))) → 1715_1_growReduce_InvokeMethod(1413_0_growReduce_NONNULL(1, x1), x1)
R rules:
1413_0_growReduce_NONNULL(x0, NULL) → 1419_0_growReduce_Return(x0)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(1), NULL) → 1868_0_growReduce_Return
1773_1_growReduce_InvokeMethod(1419_0_growReduce_Return(1), NULL) → 1953_0_growReduce_Return
1772_1_growReduce_InvokeMethod(1419_0_growReduce_Return(1), NULL) → 1953_0_growReduce_Return
2114_1_growReduce_InvokeMethod(2108_0_growReduce_FieldAccess, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 2223_0_growReduce_InvokeMethod
2114_1_growReduce_InvokeMethod(2136_0_growReduce_FieldAccess, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 2223_0_growReduce_InvokeMethod
2114_1_growReduce_InvokeMethod(2433_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))))) → 2360_0_growReduce_Return
2114_1_growReduce_InvokeMethod(2439_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))))) → 2360_0_growReduce_Return
2114_1_growReduce_InvokeMethod(2448_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))))) → 2360_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 2360_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1912_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 2360_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1953_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 2360_0_growReduce_Return
1747_1_growReduce_InvokeMethod(2360_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 2383_0_growReduce_Return
1715_1_growReduce_InvokeMethod(2383_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 2433_0_growReduce_Return
1772_1_growReduce_InvokeMethod(2383_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 2439_0_growReduce_Return
1773_1_growReduce_InvokeMethod(2383_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 2448_0_growReduce_Return

Performed bisimulation on rules. Used the following equivalence classes: {[1715_1_growReduce_InvokeMethod_2, 1773_1_growReduce_InvokeMethod_2, 1772_1_growReduce_InvokeMethod_2]=1715_1_growReduce_InvokeMethod_2, [1868_0_growReduce_Return, 1953_0_growReduce_Return, 2108_0_growReduce_FieldAccess, 2223_0_growReduce_InvokeMethod, 2136_0_growReduce_FieldAccess, 2433_0_growReduce_Return, 2360_0_growReduce_Return, 2439_0_growReduce_Return, 2448_0_growReduce_Return, 1912_0_growReduce_Return, 2383_0_growReduce_Return]=1868_0_growReduce_Return}

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

P rules:
1413_0_GROWREDUCE_NONNULL(1, java.lang.Object(x1)) → 1413_0_GROWREDUCE_NONNULL(2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1))))
1413_0_GROWREDUCE_NONNULL(2, java.lang.Object(x1)) → 1413_0_GROWREDUCE_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1))))))
1413_0_GROWREDUCE_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))) → 1413_0_GROWREDUCE_NONNULL(1, x1)
R rules:
1413_0_growReduce_NONNULL(x0, NULL) → 1419_0_growReduce_Return(x0)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(1), NULL) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))))) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 1868_0_growReduce_Return
1747_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 1868_0_growReduce_Return
1715_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 1868_0_growReduce_Return

(7) Obligation:

IDP problem:
The following function symbols are pre-defined:

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

The following domains are used:
none


The ITRS R consists of the following rules:
1413_0_growReduce_NONNULL(x0, NULL) → 1419_0_growReduce_Return(x0)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(1), NULL) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))))) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 1868_0_growReduce_Return
1747_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 1868_0_growReduce_Return
1715_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 1868_0_growReduce_Return

The integer pair graph contains the following rules and edges:
(0): 1413_0_GROWREDUCE_NONNULL(1, java.lang.Object(x1[0])) → 1413_0_GROWREDUCE_NONNULL(2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
(1): 1413_0_GROWREDUCE_NONNULL(2, java.lang.Object(x1[1])) → 1413_0_GROWREDUCE_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
(2): 1413_0_GROWREDUCE_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2]))))))))) → 1413_0_GROWREDUCE_NONNULL(1, x1[2])

(0) -> (0), if (2 →^* 1∧java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))) →^* java.lang.Object(x1[0]'))

(0) -> (1), if java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))) →^* java.lang.Object(x1[1])

(0) -> (2), if (2 →^* 0∧java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))) →^* java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2])))))))))

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

(1) -> (1), if (0 →^* 2∧java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))) →^* java.lang.Object(x1[1]'))

(1) -> (2), if java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))) →^* java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2]))))))))

(2) -> (0), if x1[2] →^* java.lang.Object(x1[0])

(2) -> (1), if (1 →^* 2∧x1[2] →^* java.lang.Object(x1[1]))

(2) -> (2), if (1 →^* 0∧x1[2] →^* java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2]')))))))))

The set Q consists of the following terms:
1413_0_growReduce_NONNULL(x0, NULL)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(1), NULL)
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1747_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1715_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))

(8) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(9) Obligation:

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

1413_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2]))))))))) → 1413_0_GROWREDUCE_NONNULL(pos(s(01)), x1[2])

The TRS R consists of the following rules:

1413_0_growReduce_NONNULL(x0, NULL) → 1419_0_growReduce_Return(x0)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(pos(s(01))), NULL) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))))))))) → 1868_0_growReduce_Return
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 1868_0_growReduce_Return
1747_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 1868_0_growReduce_Return
1715_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 1868_0_growReduce_Return

The set Q consists of the following terms:

1413_0_growReduce_NONNULL(x0, NULL)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(pos(s(01))), NULL)
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1747_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1715_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))

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

(10) UsableRulesProof (EQUIVALENT transformation)

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

(11) Obligation:

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

1413_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2]))))))))) → 1413_0_GROWREDUCE_NONNULL(pos(s(01)), x1[2])

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

1413_0_growReduce_NONNULL(x0, NULL)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(pos(s(01))), NULL)
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1747_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1715_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))

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

(12) QReductionProof (EQUIVALENT transformation)

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

1413_0_growReduce_NONNULL(x0, NULL)
1715_1_growReduce_InvokeMethod(1419_0_growReduce_Return(pos(s(01))), NULL)
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))))))))
2114_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1747_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1715_1_growReduce_InvokeMethod(1868_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))

(13) Obligation:

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

1413_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2]))))))))) → 1413_0_GROWREDUCE_NONNULL(pos(s(01)), x1[2])

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

(14) QDPOrderProof (EQUIVALENT transformation)

We use the reduction pair processor [LPAR04].

The following pairs can be oriented strictly and are deleted.

1413_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))

The remaining pairs can at least be oriented weakly.
Used ordering: Matrix interpretation [MATRO] to (N^2, +, *, >=, >) :

POL(1413_0_GROWREDUCE_NONNULL(x1, x2)) =

0

+

[ 1, 1 ]

·

x1

+

[ 1, 0 ]

·

x2

POL(pos(x1)) =

/ 0 \ \ 0 /

+

/ 0 1 \ \ 0 1 /

·

x1

POL(s(x1)) =

/ 0 \ \ 1 /

+

/ 0 0 \ \ 1 0 /

·

x1

POL(01) =

/ 1 \ \ 0 /

POL(java.lang.Object(x1)) =

/ 0 \ \ 0 /

+

/ 1 0 \ \ 0 0 /

·

x1

POL(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1)) =

/ 1 \ \ 0 /

+

/ 1 0 \ \ 0 0 /

·

x1

The following usable rules [FROCOS05] were oriented: none

(15) Obligation:

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

1413_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1413_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1[2]))))))))) → 1413_0_GROWREDUCE_NONNULL(pos(s(01)), x1[2])

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

(16) DependencyGraphProof (EQUIVALENT transformation)

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

(17) TRUE

(18) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: AlternatingGrowReduceRec.AlternatingGrowReduceRec.createList(I)LAlternatingGrowReduceRec/AlternatingGrowReduceRec;
SCC calls the following helper methods: AlternatingGrowReduceRec.AlternatingGrowReduceRec.createList(I)LAlternatingGrowReduceRec/AlternatingGrowReduceRec;
Performed SCC analyses: UsedFieldsAnalysis

(19) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 22 rules for P and 10 rules for R.

P rules:
156_0_createList_Duplicate(EOS(STATIC_156), i18) → 161_0_createList_ConstantStackPush(EOS(STATIC_161), i18)
161_0_createList_ConstantStackPush(EOS(STATIC_161), i18) → 168_0_createList_InvokeMethod(EOS(STATIC_168), i18)
168_0_createList_InvokeMethod(EOS(STATIC_168), i18) → 175_0_<init>_Load(EOS(STATIC_175), i18)
175_0_<init>_Load(EOS(STATIC_175), i18) → 183_0_<init>_InvokeMethod(EOS(STATIC_183), i18)
183_0_<init>_InvokeMethod(EOS(STATIC_183), i18) → 193_0_<init>_Load(EOS(STATIC_193), i18)
193_0_<init>_Load(EOS(STATIC_193), i18) → 201_0_<init>_Load(EOS(STATIC_201), i18)
201_0_<init>_Load(EOS(STATIC_201), i18) → 208_0_<init>_FieldAccess(EOS(STATIC_208), i18)
208_0_<init>_FieldAccess(EOS(STATIC_208), i18) → 215_0_<init>_Return(EOS(STATIC_215), i18)
215_0_<init>_Return(EOS(STATIC_215), i18) → 219_0_createList_Store(EOS(STATIC_219), i18)
219_0_createList_Store(EOS(STATIC_219), i18) → 224_0_createList_Load(EOS(STATIC_224), i18)
224_0_createList_Load(EOS(STATIC_224), i18) → 229_0_createList_ConstantStackPush(EOS(STATIC_229), i18, i18)
229_0_createList_ConstantStackPush(EOS(STATIC_229), i18, i18) → 233_0_createList_LE(EOS(STATIC_233), i18, i18, 1)
233_0_createList_LE(EOS(STATIC_233), i26, i26, matching1) → 237_0_createList_LE(EOS(STATIC_237), i26, i26, 1) | =(matching1, 1)
237_0_createList_LE(EOS(STATIC_237), i26, i26, matching1) → 242_0_createList_Load(EOS(STATIC_242), i26) | &&(>(i26, 1), =(matching1, 1))
242_0_createList_Load(EOS(STATIC_242), i26) → 244_0_createList_Load(EOS(STATIC_244), i26)
244_0_createList_Load(EOS(STATIC_244), i26) → 246_0_createList_ConstantStackPush(EOS(STATIC_246), i26)
246_0_createList_ConstantStackPush(EOS(STATIC_246), i26) → 255_0_createList_IntArithmetic(EOS(STATIC_255), i26, 1)
255_0_createList_IntArithmetic(EOS(STATIC_255), i26, matching1) → 259_0_createList_InvokeMethod(EOS(STATIC_259), -(i26, 1)) | &&(>(i26, 0), =(matching1, 1))
259_0_createList_InvokeMethod(EOS(STATIC_259), i30) → 263_1_createList_InvokeMethod(263_0_createList_New(EOS(STATIC_263), i30), i30)
263_0_createList_New(EOS(STATIC_263), i30) → 267_0_createList_New(EOS(STATIC_267), i30)
267_0_createList_New(EOS(STATIC_267), i30) → 149_0_createList_New(EOS(STATIC_149), i30)
149_0_createList_New(EOS(STATIC_149), i18) → 156_0_createList_Duplicate(EOS(STATIC_156), i18)
R rules:
233_0_createList_LE(EOS(STATIC_233), i25, i25, matching1) → 236_0_createList_LE(EOS(STATIC_236), i25, i25, 1) | =(matching1, 1)
236_0_createList_LE(EOS(STATIC_236), i25, i25, matching1) → 241_0_createList_Load(EOS(STATIC_241)) | &&(<=(i25, 1), =(matching1, 1))
241_0_createList_Load(EOS(STATIC_241)) → 243_0_createList_Return(EOS(STATIC_243))
263_1_createList_InvokeMethod(243_0_createList_Return(EOS(STATIC_243)), matching1) → 283_0_createList_Return(EOS(STATIC_283), 1) | =(matching1, 1)
263_1_createList_InvokeMethod(355_0_createList_Return(EOS(STATIC_355)), i52) → 384_0_createList_Return(EOS(STATIC_384), i52)
283_0_createList_Return(EOS(STATIC_283), matching1) → 333_0_createList_Return(EOS(STATIC_333), 1) | =(matching1, 1)
333_0_createList_Return(EOS(STATIC_333), i45) → 340_0_createList_FieldAccess(EOS(STATIC_340))
340_0_createList_FieldAccess(EOS(STATIC_340)) → 348_0_createList_Load(EOS(STATIC_348))
348_0_createList_Load(EOS(STATIC_348)) → 355_0_createList_Return(EOS(STATIC_355))
384_0_createList_Return(EOS(STATIC_384), i52) → 333_0_createList_Return(EOS(STATIC_333), i52)

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

P rules:
156_0_createList_Duplicate(EOS(STATIC_156), x0) → 263_1_createList_InvokeMethod(156_0_createList_Duplicate(EOS(STATIC_156), -(x0, 1)), -(x0, 1)) | >(x0, 1)
R rules:
263_1_createList_InvokeMethod(243_0_createList_Return(EOS(STATIC_243)), 1) → 355_0_createList_Return(EOS(STATIC_355))
263_1_createList_InvokeMethod(355_0_createList_Return(EOS(STATIC_355)), x0) → 355_0_createList_Return(EOS(STATIC_355))

Filtered ground terms:

156_0_createList_Duplicate(x1, x2) → 156_0_createList_Duplicate(x2)
Cond_156_0_createList_Duplicate(x1, x2, x3) → Cond_156_0_createList_Duplicate(x1, x3)
355_0_createList_Return(x1) → 355_0_createList_Return
243_0_createList_Return(x1) → 243_0_createList_Return

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

P rules:
156_0_createList_Duplicate(x0) → 263_1_createList_InvokeMethod(156_0_createList_Duplicate(-(x0, 1)), -(x0, 1)) | >(x0, 1)
R rules:
263_1_createList_InvokeMethod(243_0_createList_Return, 1) → 355_0_createList_Return
263_1_createList_InvokeMethod(355_0_createList_Return, x0) → 355_0_createList_Return

Performed bisimulation on rules. Used the following equivalence classes: {[243_0_createList_Return, 355_0_createList_Return]=243_0_createList_Return}

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

P rules:
156_0_CREATELIST_DUPLICATE(x0) → COND_156_0_CREATELIST_DUPLICATE(>(x0, 1), x0)
COND_156_0_CREATELIST_DUPLICATE(TRUE, x0) → 156_0_CREATELIST_DUPLICATE(-(x0, 1))
R rules:
263_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
263_1_createList_InvokeMethod(243_0_createList_Return, x0) → 243_0_createList_Return

(20) Obligation:

IDP problem:
The following function symbols are pre-defined:

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

The following domains are used:

Integer

The ITRS R consists of the following rules:
263_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
263_1_createList_InvokeMethod(243_0_createList_Return, x0) → 243_0_createList_Return

The integer pair graph contains the following rules and edges:
(0): 156_0_CREATELIST_DUPLICATE(x0[0]) → COND_156_0_CREATELIST_DUPLICATE(x0[0] > 1, x0[0])
(1): COND_156_0_CREATELIST_DUPLICATE(TRUE, x0[1]) → 156_0_CREATELIST_DUPLICATE(x0[1] - 1)

(0) -> (1), if (x0[0] > 1 ∧x0[0] →^* x0[1])

(1) -> (0), if (x0[1] - 1 →^* x0[0])

The set Q consists of the following terms:
263_1_createList_InvokeMethod(243_0_createList_Return, x0)

(21) IDPNonInfProof (SOUND transformation)

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

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


For Pair 156_0_CREATELIST_DUPLICATE(x0) → COND_156_0_CREATELIST_DUPLICATE(>(x0, 1), x0) the following chains were created:

• We consider the chain 156_0_CREATELIST_DUPLICATE(x0[0]) → COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0]), COND_156_0_CREATELIST_DUPLICATE(TRUE, x0[1]) → 156_0_CREATELIST_DUPLICATE(-(x0[1], 1)) which results in the following constraint:
  

  (1)    (>(x0[0], 1)=TRUE∧x0[0]=x0[1] ⇒ 156_0_CREATELIST_DUPLICATE(x0[0])≥NonInfC∧156_0_CREATELIST_DUPLICATE(x0[0])≥COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])∧(U^Increasing(COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])), ≥))

  
  
  We simplified constraint (1) using rule (IV) which results in the following new constraint:
  

  (2)    (>(x0[0], 1)=TRUE ⇒ 156_0_CREATELIST_DUPLICATE(x0[0])≥NonInfC∧156_0_CREATELIST_DUPLICATE(x0[0])≥COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])∧(U^Increasing(COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])), ≥))

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

  (3)    (x0[0] + [-2] ≥ 0 ⇒ (U^Increasing(COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_10] + [(2)bni_10]x0[0] ≥ 0∧[(-1)bso_11] ≥ 0)

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

  (4)    (x0[0] + [-2] ≥ 0 ⇒ (U^Increasing(COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_10] + [(2)bni_10]x0[0] ≥ 0∧[(-1)bso_11] ≥ 0)

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

  (5)    (x0[0] + [-2] ≥ 0 ⇒ (U^Increasing(COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_10] + [(2)bni_10]x0[0] ≥ 0∧[(-1)bso_11] ≥ 0)

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

  (6)    (x0[0] ≥ 0 ⇒ (U^Increasing(COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_10 + (4)bni_10] + [(2)bni_10]x0[0] ≥ 0∧[(-1)bso_11] ≥ 0)

  
  
  

For Pair COND_156_0_CREATELIST_DUPLICATE(TRUE, x0) → 156_0_CREATELIST_DUPLICATE(-(x0, 1)) the following chains were created:

• We consider the chain COND_156_0_CREATELIST_DUPLICATE(TRUE, x0[1]) → 156_0_CREATELIST_DUPLICATE(-(x0[1], 1)) which results in the following constraint:
  

  (7)    (COND_156_0_CREATELIST_DUPLICATE(TRUE, x0[1])≥NonInfC∧COND_156_0_CREATELIST_DUPLICATE(TRUE, x0[1])≥156_0_CREATELIST_DUPLICATE(-(x0[1], 1))∧(U^Increasing(156_0_CREATELIST_DUPLICATE(-(x0[1], 1))), ≥))

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

  (8)    ((U^Increasing(156_0_CREATELIST_DUPLICATE(-(x0[1], 1))), ≥)∧[bni_12] = 0∧[2 + (-1)bso_13] ≥ 0)

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

  (9)    ((U^Increasing(156_0_CREATELIST_DUPLICATE(-(x0[1], 1))), ≥)∧[bni_12] = 0∧[2 + (-1)bso_13] ≥ 0)

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

  (10)    ((U^Increasing(156_0_CREATELIST_DUPLICATE(-(x0[1], 1))), ≥)∧[bni_12] = 0∧[2 + (-1)bso_13] ≥ 0)

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

  (11)    ((U^Increasing(156_0_CREATELIST_DUPLICATE(-(x0[1], 1))), ≥)∧[bni_12] = 0∧0 = 0∧[2 + (-1)bso_13] ≥ 0)

  
  
  

To summarize, we get the following constraints P_≥ for the following pairs.

• 156_0_CREATELIST_DUPLICATE(x0) → COND_156_0_CREATELIST_DUPLICATE(>(x0, 1), x0)
  
  • (x0[0] ≥ 0 ⇒ (U^Increasing(COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_10 + (4)bni_10] + [(2)bni_10]x0[0] ≥ 0∧[(-1)bso_11] ≥ 0)
    
  
  
• COND_156_0_CREATELIST_DUPLICATE(TRUE, x0) → 156_0_CREATELIST_DUPLICATE(-(x0, 1))
  
  • ((U^Increasing(156_0_CREATELIST_DUPLICATE(-(x0[1], 1))), ≥)∧[bni_12] = 0∧0 = 0∧[2 + (-1)bso_13] ≥ 0)
    
  
  

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

POL(TRUE) = 0   
POL(FALSE) = 0   
POL(263_1_createList_InvokeMethod(x₁, x₂)) = [-1]   
POL(243_0_createList_Return) = [-1]   
POL(1) = [1]   
POL(156_0_CREATELIST_DUPLICATE(x₁)) = [2]x₁   
POL(COND_156_0_CREATELIST_DUPLICATE(x₁, x₂)) = [2]x₂   
POL(>(x₁, x₂)) = [-1]   
POL(-(x₁, x₂)) = x₁ + [-1]x₂   

The following pairs are in P_>:

COND_156_0_CREATELIST_DUPLICATE(TRUE, x0[1]) → 156_0_CREATELIST_DUPLICATE(-(x0[1], 1))

The following pairs are in P_bound:

156_0_CREATELIST_DUPLICATE(x0[0]) → COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])

The following pairs are in P_≥:

156_0_CREATELIST_DUPLICATE(x0[0]) → COND_156_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])

There are no usable rules.

(22) Complex Obligation (AND)

(23) Obligation:

IDP problem:
The following function symbols are pre-defined:

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

The following domains are used:

Integer

The ITRS R consists of the following rules:
263_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
263_1_createList_InvokeMethod(243_0_createList_Return, x0) → 243_0_createList_Return

The integer pair graph contains the following rules and edges:
(0): 156_0_CREATELIST_DUPLICATE(x0[0]) → COND_156_0_CREATELIST_DUPLICATE(x0[0] > 1, x0[0])


The set Q consists of the following terms:
263_1_createList_InvokeMethod(243_0_createList_Return, x0)

(24) IDependencyGraphProof (EQUIVALENT transformation)

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

(25) TRUE

(26) Obligation:

IDP problem:
The following function symbols are pre-defined:

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

The following domains are used:

Integer

The ITRS R consists of the following rules:
263_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
263_1_createList_InvokeMethod(243_0_createList_Return, x0) → 243_0_createList_Return

The integer pair graph contains the following rules and edges:
(1): COND_156_0_CREATELIST_DUPLICATE(TRUE, x0[1]) → 156_0_CREATELIST_DUPLICATE(x0[1] - 1)


The set Q consists of the following terms:
263_1_createList_InvokeMethod(243_0_createList_Return, x0)

(27) IDependencyGraphProof (EQUIVALENT transformation)

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

(28) TRUE