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:
1417_0_growReduce_NONNULL(EOS(STATIC_1417), i96, java.lang.Object(o720sub), java.lang.Object(o720sub)) → 1419_0_growReduce_NONNULL(EOS(STATIC_1419), i96, java.lang.Object(o720sub), java.lang.Object(o720sub))
1419_0_growReduce_NONNULL(EOS(STATIC_1419), i96, java.lang.Object(o720sub), java.lang.Object(o720sub)) → 1422_0_growReduce_Load(EOS(STATIC_1422), i96, java.lang.Object(o720sub))
1422_0_growReduce_Load(EOS(STATIC_1422), i96, java.lang.Object(o720sub)) → 1425_0_growReduce_NE(EOS(STATIC_1425), i96, java.lang.Object(o720sub), i96)
1425_0_growReduce_NE(EOS(STATIC_1425), i98, java.lang.Object(o720sub), i98) → 1428_0_growReduce_NE(EOS(STATIC_1428), i98, java.lang.Object(o720sub), i98)
1425_0_growReduce_NE(EOS(STATIC_1425), matching1, java.lang.Object(o720sub), matching2) → 1429_0_growReduce_NE(EOS(STATIC_1429), 0, java.lang.Object(o720sub), 0) | &&(=(matching1, 0), =(matching2, 0))
1428_0_growReduce_NE(EOS(STATIC_1428), i98, java.lang.Object(o720sub), i98) → 1431_0_growReduce_Load(EOS(STATIC_1431), i98, java.lang.Object(o720sub)) | >(i98, 0)
1431_0_growReduce_Load(EOS(STATIC_1431), i98, java.lang.Object(o720sub)) → 1434_0_growReduce_ConstantStackPush(EOS(STATIC_1434), i98, java.lang.Object(o720sub), i98)
1434_0_growReduce_ConstantStackPush(EOS(STATIC_1434), i98, java.lang.Object(o720sub), i98) → 1438_0_growReduce_NE(EOS(STATIC_1438), i98, java.lang.Object(o720sub), i98, 1)
1438_0_growReduce_NE(EOS(STATIC_1438), matching1, java.lang.Object(o720sub), matching2, matching3) → 1443_0_growReduce_NE(EOS(STATIC_1443), 1, java.lang.Object(o720sub), 1, 1) | &&(&&(=(matching1, 1), =(matching2, 1)), =(matching3, 1))
1438_0_growReduce_NE(EOS(STATIC_1438), matching1, java.lang.Object(o720sub), matching2, matching3) → 1444_0_growReduce_NE(EOS(STATIC_1444), 2, java.lang.Object(o720sub), 2, 1) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 1))
1443_0_growReduce_NE(EOS(STATIC_1443), matching1, java.lang.Object(o720sub), matching2, matching3) → 1447_0_growReduce_New(EOS(STATIC_1447), 1, java.lang.Object(o720sub)) | &&(&&(=(matching1, 1), =(matching2, 1)), =(matching3, 1))
1447_0_growReduce_New(EOS(STATIC_1447), matching1, java.lang.Object(o720sub)) → 1453_0_growReduce_Duplicate(EOS(STATIC_1453), 1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 1)
1453_0_growReduce_Duplicate(EOS(STATIC_1453), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1460_0_growReduce_Load(EOS(STATIC_1460), 1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 1)
1460_0_growReduce_Load(EOS(STATIC_1460), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1469_0_growReduce_InvokeMethod(EOS(STATIC_1469), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) | =(matching1, 1)
1469_0_growReduce_InvokeMethod(EOS(STATIC_1469), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(o720sub)) → 1481_0_<init>_Load(EOS(STATIC_1481), 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)
1481_0_<init>_Load(EOS(STATIC_1481), 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)) → 1506_0_<init>_InvokeMethod(EOS(STATIC_1506), 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)
1506_0_<init>_InvokeMethod(EOS(STATIC_1506), 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))) → 1519_0_<init>_Load(EOS(STATIC_1519), 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)
1519_0_<init>_Load(EOS(STATIC_1519), 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)) → 1529_0_<init>_Load(EOS(STATIC_1529), 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)
1529_0_<init>_Load(EOS(STATIC_1529), 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))) → 1546_0_<init>_FieldAccess(EOS(STATIC_1546), 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)
1546_0_<init>_FieldAccess(EOS(STATIC_1546), 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)) → 1561_0_<init>_Return(EOS(STATIC_1561), 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)
1561_0_<init>_Return(EOS(STATIC_1561), 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)) → 1570_0_growReduce_Store(EOS(STATIC_1570), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1570_0_growReduce_Store(EOS(STATIC_1570), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1582_0_growReduce_JMP(EOS(STATIC_1582), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1582_0_growReduce_JMP(EOS(STATIC_1582), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1603_0_growReduce_Inc(EOS(STATIC_1603), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1603_0_growReduce_Inc(EOS(STATIC_1603), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1623_0_growReduce_Load(EOS(STATIC_1623), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 1)
1623_0_growReduce_Load(EOS(STATIC_1623), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1644_0_growReduce_ConstantStackPush(EOS(STATIC_1644), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), 2) | =(matching1, 2)
1644_0_growReduce_ConstantStackPush(EOS(STATIC_1644), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), matching2) → 1666_0_growReduce_LE(EOS(STATIC_1666), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), 2, 2) | &&(=(matching1, 2), =(matching2, 2))
1666_0_growReduce_LE(EOS(STATIC_1666), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), matching2, matching3) → 1686_0_growReduce_Load(EOS(STATIC_1686), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 2))
1686_0_growReduce_Load(EOS(STATIC_1686), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1704_0_growReduce_Load(EOS(STATIC_1704), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), 2) | =(matching1, 2)
1704_0_growReduce_Load(EOS(STATIC_1704), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))), matching1) → 1727_0_growReduce_InvokeMethod(EOS(STATIC_1727), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1727_0_growReduce_InvokeMethod(EOS(STATIC_1727), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1750_1_growReduce_InvokeMethod(1750_0_growReduce_Load(EOS(STATIC_1750), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1750_0_growReduce_Load(EOS(STATIC_1750), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1773_0_growReduce_Load(EOS(STATIC_1773), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1773_0_growReduce_Load(EOS(STATIC_1773), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) → 1821_0_growReduce_Load(EOS(STATIC_1821), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))) | =(matching1, 2)
1821_0_growReduce_Load(EOS(STATIC_1821), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))) → 1415_0_growReduce_Load(EOS(STATIC_1415), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))) | =(matching1, 2)
1415_0_growReduce_Load(EOS(STATIC_1415), i96, o716) → 1417_0_growReduce_NONNULL(EOS(STATIC_1417), i96, o716, o716)
1444_0_growReduce_NE(EOS(STATIC_1444), matching1, java.lang.Object(o720sub), matching2, matching3) → 1448_0_growReduce_Load(EOS(STATIC_1448), 2, java.lang.Object(o720sub)) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 1))
1448_0_growReduce_Load(EOS(STATIC_1448), matching1, java.lang.Object(o720sub)) → 1454_0_growReduce_ConstantStackPush(EOS(STATIC_1454), 2, java.lang.Object(o720sub), 2) | =(matching1, 2)
1454_0_growReduce_ConstantStackPush(EOS(STATIC_1454), matching1, java.lang.Object(o720sub), matching2) → 1461_0_growReduce_LE(EOS(STATIC_1461), 2, java.lang.Object(o720sub), 2, 1) | &&(=(matching1, 2), =(matching2, 2))
1461_0_growReduce_LE(EOS(STATIC_1461), matching1, java.lang.Object(o720sub), matching2, matching3) → 1471_0_growReduce_New(EOS(STATIC_1471), 2, java.lang.Object(o720sub)) | &&(&&(=(matching1, 2), =(matching2, 2)), =(matching3, 1))
1471_0_growReduce_New(EOS(STATIC_1471), matching1, java.lang.Object(o720sub)) → 1482_0_growReduce_Duplicate(EOS(STATIC_1482), 2, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1482_0_growReduce_Duplicate(EOS(STATIC_1482), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1495_0_growReduce_New(EOS(STATIC_1495), 2, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) | =(matching1, 2)
1495_0_growReduce_New(EOS(STATIC_1495), matching1, java.lang.Object(o720sub), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL)), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, NULL))) → 1507_0_growReduce_Duplicate(EOS(STATIC_1507), 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)
1507_0_growReduce_Duplicate(EOS(STATIC_1507), 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))) → 1520_0_growReduce_Load(EOS(STATIC_1520), 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)
1520_0_growReduce_Load(EOS(STATIC_1520), 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))) → 1530_0_growReduce_InvokeMethod(EOS(STATIC_1530), 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)
1530_0_growReduce_InvokeMethod(EOS(STATIC_1530), 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)) → 1548_0_<init>_Load(EOS(STATIC_1548), 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)
1548_0_<init>_Load(EOS(STATIC_1548), 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)) → 1572_0_<init>_InvokeMethod(EOS(STATIC_1572), 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)
1572_0_<init>_InvokeMethod(EOS(STATIC_1572), 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))) → 1584_0_<init>_Load(EOS(STATIC_1584), 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)
1584_0_<init>_Load(EOS(STATIC_1584), 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)) → 1605_0_<init>_Load(EOS(STATIC_1605), 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)
1605_0_<init>_Load(EOS(STATIC_1605), 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))) → 1625_0_<init>_FieldAccess(EOS(STATIC_1625), 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)
1625_0_<init>_FieldAccess(EOS(STATIC_1625), 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)) → 1647_0_<init>_Return(EOS(STATIC_1647), 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)
1647_0_<init>_Return(EOS(STATIC_1647), 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)) → 1668_0_growReduce_InvokeMethod(EOS(STATIC_1668), 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)
1668_0_growReduce_InvokeMethod(EOS(STATIC_1668), 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)))) → 1687_0_<init>_Load(EOS(STATIC_1687), 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)
1687_0_<init>_Load(EOS(STATIC_1687), 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)))) → 1728_0_<init>_InvokeMethod(EOS(STATIC_1728), 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)
1728_0_<init>_InvokeMethod(EOS(STATIC_1728), 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))) → 1752_0_<init>_Load(EOS(STATIC_1752), 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)
1752_0_<init>_Load(EOS(STATIC_1752), 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)))) → 1774_0_<init>_Load(EOS(STATIC_1774), 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)
1774_0_<init>_Load(EOS(STATIC_1774), 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))) → 1789_0_<init>_FieldAccess(EOS(STATIC_1789), 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)
1789_0_<init>_FieldAccess(EOS(STATIC_1789), 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)))) → 1823_0_<init>_Return(EOS(STATIC_1823), 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)
1823_0_<init>_Return(EOS(STATIC_1823), 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)))) → 1850_0_growReduce_Store(EOS(STATIC_1850), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
1850_0_growReduce_Store(EOS(STATIC_1850), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 1892_0_growReduce_Inc(EOS(STATIC_1892), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
1892_0_growReduce_Inc(EOS(STATIC_1892), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 1921_0_growReduce_Load(EOS(STATIC_1921), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
1921_0_growReduce_Load(EOS(STATIC_1921), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 1959_0_growReduce_ConstantStackPush(EOS(STATIC_1959), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))))
1959_0_growReduce_ConstantStackPush(EOS(STATIC_1959), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2001_0_growReduce_LE(EOS(STATIC_2001), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), 2)
2001_0_growReduce_LE(EOS(STATIC_2001), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), matching1) → 2047_0_growReduce_ConstantStackPush(EOS(STATIC_2047), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 2)
2047_0_growReduce_ConstantStackPush(EOS(STATIC_2047), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2084_0_growReduce_Load(EOS(STATIC_2084), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), 0)
2084_0_growReduce_Load(EOS(STATIC_2084), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub))))), matching1) → 2109_0_growReduce_InvokeMethod(EOS(STATIC_2109), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 0)
2109_0_growReduce_InvokeMethod(EOS(STATIC_2109), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2134_1_growReduce_InvokeMethod(2134_0_growReduce_Load(EOS(STATIC_2134), 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)
2134_0_growReduce_Load(EOS(STATIC_2134), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2151_0_growReduce_Load(EOS(STATIC_2151), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 0)
2151_0_growReduce_Load(EOS(STATIC_2151), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) → 2176_0_growReduce_Load(EOS(STATIC_2176), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(o720sub)))))) | =(matching1, 0)
2176_0_growReduce_Load(EOS(STATIC_2176), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))))) → 1415_0_growReduce_Load(EOS(STATIC_1415), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o717))))) | =(matching1, 0)
1429_0_growReduce_NE(EOS(STATIC_1429), matching1, java.lang.Object(o720sub), matching2) → 1432_0_growReduce_Load(EOS(STATIC_1432), 0, java.lang.Object(o720sub)) | &&(=(matching1, 0), =(matching2, 0))
1432_0_growReduce_Load(EOS(STATIC_1432), matching1, java.lang.Object(o720sub)) → 1436_0_growReduce_FieldAccess(EOS(STATIC_1436), 0, java.lang.Object(o720sub)) | =(matching1, 0)
1436_0_growReduce_FieldAccess(EOS(STATIC_1436), matching1, java.lang.Object(o720sub)) → 1440_0_growReduce_FieldAccess(EOS(STATIC_1440), 0, java.lang.Object(o720sub)) | =(matching1, 0)
1436_0_growReduce_FieldAccess(EOS(STATIC_1436), matching1, java.lang.Object(o720sub)) → 1441_0_growReduce_FieldAccess(EOS(STATIC_1441), 0, java.lang.Object(o720sub)) | =(matching1, 0)
1440_0_growReduce_FieldAccess(EOS(STATIC_1440), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o722))) → 1445_0_growReduce_FieldAccess(EOS(STATIC_1445), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o722))) | =(matching1, 0)
1445_0_growReduce_FieldAccess(EOS(STATIC_1445), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o722))) → 1449_0_growReduce_FieldAccess(EOS(STATIC_1449), 0, o722) | =(matching1, 0)
1449_0_growReduce_FieldAccess(EOS(STATIC_1449), matching1, java.lang.Object(o736sub)) → 1456_0_growReduce_FieldAccess(EOS(STATIC_1456), 0, java.lang.Object(o736sub)) | =(matching1, 0)
1456_0_growReduce_FieldAccess(EOS(STATIC_1456), matching1, java.lang.Object(o736sub)) → 1463_0_growReduce_FieldAccess(EOS(STATIC_1463), 0, java.lang.Object(o736sub)) | =(matching1, 0)
1456_0_growReduce_FieldAccess(EOS(STATIC_1456), matching1, java.lang.Object(o736sub)) → 1464_0_growReduce_FieldAccess(EOS(STATIC_1464), 0, java.lang.Object(o736sub)) | =(matching1, 0)
1463_0_growReduce_FieldAccess(EOS(STATIC_1463), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o741))) → 1473_0_growReduce_FieldAccess(EOS(STATIC_1473), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o741))) | =(matching1, 0)
1473_0_growReduce_FieldAccess(EOS(STATIC_1473), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o741))) → 1486_0_growReduce_FieldAccess(EOS(STATIC_1486), 0, o741) | =(matching1, 0)
1486_0_growReduce_FieldAccess(EOS(STATIC_1486), matching1, java.lang.Object(o771sub)) → 1497_0_growReduce_FieldAccess(EOS(STATIC_1497), 0, java.lang.Object(o771sub)) | =(matching1, 0)
1497_0_growReduce_FieldAccess(EOS(STATIC_1497), matching1, java.lang.Object(o771sub)) → 1509_0_growReduce_FieldAccess(EOS(STATIC_1509), 0, java.lang.Object(o771sub)) | =(matching1, 0)
1497_0_growReduce_FieldAccess(EOS(STATIC_1497), matching1, java.lang.Object(o771sub)) → 1510_0_growReduce_FieldAccess(EOS(STATIC_1510), 0, java.lang.Object(o771sub)) | =(matching1, 0)
1509_0_growReduce_FieldAccess(EOS(STATIC_1509), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o782))) → 1522_0_growReduce_FieldAccess(EOS(STATIC_1522), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o782))) | =(matching1, 0)
1522_0_growReduce_FieldAccess(EOS(STATIC_1522), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o782))) → 1535_0_growReduce_FieldAccess(EOS(STATIC_1535), 0, o782) | =(matching1, 0)
1535_0_growReduce_FieldAccess(EOS(STATIC_1535), matching1, java.lang.Object(o812sub)) → 1550_0_growReduce_FieldAccess(EOS(STATIC_1550), 0, java.lang.Object(o812sub)) | =(matching1, 0)
1550_0_growReduce_FieldAccess(EOS(STATIC_1550), matching1, java.lang.Object(o812sub)) → 1563_0_growReduce_FieldAccess(EOS(STATIC_1563), 0, java.lang.Object(o812sub)) | =(matching1, 0)
1550_0_growReduce_FieldAccess(EOS(STATIC_1550), matching1, java.lang.Object(o812sub)) → 1564_0_growReduce_FieldAccess(EOS(STATIC_1564), 0, java.lang.Object(o812sub)) | =(matching1, 0)
1563_0_growReduce_FieldAccess(EOS(STATIC_1563), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o822))) → 1573_0_growReduce_FieldAccess(EOS(STATIC_1573), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o822))) | =(matching1, 0)
1573_0_growReduce_FieldAccess(EOS(STATIC_1573), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o822))) → 1588_0_growReduce_Store(EOS(STATIC_1588), 0, o822) | =(matching1, 0)
1588_0_growReduce_Store(EOS(STATIC_1588), matching1, o822) → 1609_0_growReduce_JMP(EOS(STATIC_1609), 0, o822) | =(matching1, 0)
1609_0_growReduce_JMP(EOS(STATIC_1609), matching1, o822) → 1629_0_growReduce_Inc(EOS(STATIC_1629), 0, o822) | =(matching1, 0)
1629_0_growReduce_Inc(EOS(STATIC_1629), matching1, o822) → 1651_0_growReduce_Load(EOS(STATIC_1651), 1, o822) | =(matching1, 0)
1651_0_growReduce_Load(EOS(STATIC_1651), matching1, o822) → 1673_0_growReduce_ConstantStackPush(EOS(STATIC_1673), 1, o822, 1) | =(matching1, 1)
1673_0_growReduce_ConstantStackPush(EOS(STATIC_1673), matching1, o822, matching2) → 1690_0_growReduce_LE(EOS(STATIC_1690), 1, o822, 1) | &&(=(matching1, 1), =(matching2, 1))
1690_0_growReduce_LE(EOS(STATIC_1690), matching1, o822, matching2) → 1708_0_growReduce_Load(EOS(STATIC_1708), 1, o822) | &&(=(matching1, 1), =(matching2, 1))
1708_0_growReduce_Load(EOS(STATIC_1708), matching1, o822) → 1733_0_growReduce_Load(EOS(STATIC_1733), o822, 1) | =(matching1, 1)
1733_0_growReduce_Load(EOS(STATIC_1733), o822, matching1) → 1754_0_growReduce_InvokeMethod(EOS(STATIC_1754), 1, o822) | =(matching1, 1)
1754_0_growReduce_InvokeMethod(EOS(STATIC_1754), matching1, o822) → 1775_1_growReduce_InvokeMethod(1775_0_growReduce_Load(EOS(STATIC_1775), 1, o822), 1, o822) | =(matching1, 1)
1775_0_growReduce_Load(EOS(STATIC_1775), matching1, o822) → 1790_0_growReduce_Load(EOS(STATIC_1790), 1, o822) | =(matching1, 1)
1790_0_growReduce_Load(EOS(STATIC_1790), matching1, o822) → 1415_0_growReduce_Load(EOS(STATIC_1415), 1, o822) | =(matching1, 1)
1564_0_growReduce_FieldAccess(EOS(STATIC_1564), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o824))) → 1575_0_growReduce_FieldAccess(EOS(STATIC_1575), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o824))) | =(matching1, 0)
1575_0_growReduce_FieldAccess(EOS(STATIC_1575), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o824))) → 1593_0_growReduce_Store(EOS(STATIC_1593), 0, o824) | =(matching1, 0)
1593_0_growReduce_Store(EOS(STATIC_1593), matching1, o824) → 1613_0_growReduce_JMP(EOS(STATIC_1613), 0, o824) | =(matching1, 0)
1613_0_growReduce_JMP(EOS(STATIC_1613), matching1, o824) → 1633_0_growReduce_Inc(EOS(STATIC_1633), 0, o824) | =(matching1, 0)
1633_0_growReduce_Inc(EOS(STATIC_1633), matching1, o824) → 1656_0_growReduce_Load(EOS(STATIC_1656), 1, o824) | =(matching1, 0)
1656_0_growReduce_Load(EOS(STATIC_1656), matching1, o824) → 1677_0_growReduce_ConstantStackPush(EOS(STATIC_1677), 1, o824, 1) | =(matching1, 1)
1677_0_growReduce_ConstantStackPush(EOS(STATIC_1677), matching1, o824, matching2) → 1695_0_growReduce_LE(EOS(STATIC_1695), 1, o824, 1) | &&(=(matching1, 1), =(matching2, 1))
1695_0_growReduce_LE(EOS(STATIC_1695), matching1, o824, matching2) → 1713_0_growReduce_Load(EOS(STATIC_1713), 1, o824) | &&(=(matching1, 1), =(matching2, 1))
1713_0_growReduce_Load(EOS(STATIC_1713), matching1, o824) → 1737_0_growReduce_Load(EOS(STATIC_1737), o824, 1) | =(matching1, 1)
1737_0_growReduce_Load(EOS(STATIC_1737), o824, matching1) → 1760_0_growReduce_InvokeMethod(EOS(STATIC_1760), 1, o824) | =(matching1, 1)
1760_0_growReduce_InvokeMethod(EOS(STATIC_1760), matching1, o824) → 1776_1_growReduce_InvokeMethod(1776_0_growReduce_Load(EOS(STATIC_1776), 1, o824), 1, o824) | =(matching1, 1)
1776_0_growReduce_Load(EOS(STATIC_1776), matching1, o824) → 1791_0_growReduce_Load(EOS(STATIC_1791), 1, o824) | =(matching1, 1)
1791_0_growReduce_Load(EOS(STATIC_1791), matching1, o824) → 1855_0_growReduce_Load(EOS(STATIC_1855), 1, o824) | =(matching1, 1)
1855_0_growReduce_Load(EOS(STATIC_1855), matching1, o824) → 1415_0_growReduce_Load(EOS(STATIC_1415), 1, o824) | =(matching1, 1)
1510_0_growReduce_FieldAccess(EOS(STATIC_1510), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o784))) → 1523_0_growReduce_FieldAccess(EOS(STATIC_1523), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o784))) | =(matching1, 0)
1523_0_growReduce_FieldAccess(EOS(STATIC_1523), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o784))) → 1538_0_growReduce_FieldAccess(EOS(STATIC_1538), 0, o784) | =(matching1, 0)
1538_0_growReduce_FieldAccess(EOS(STATIC_1538), matching1, o784) → 1514_0_growReduce_FieldAccess(EOS(STATIC_1514), 0, o784) | =(matching1, 0)
1514_0_growReduce_FieldAccess(EOS(STATIC_1514), matching1, java.lang.Object(o786sub)) → 1526_0_growReduce_FieldAccess(EOS(STATIC_1526), 0, java.lang.Object(o786sub)) | =(matching1, 0)
1526_0_growReduce_FieldAccess(EOS(STATIC_1526), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o809))) → 1540_0_growReduce_FieldAccess(EOS(STATIC_1540), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o809))) | =(matching1, 0)
1540_0_growReduce_FieldAccess(EOS(STATIC_1540), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o809))) → 1554_0_growReduce_Store(EOS(STATIC_1554), 0, o809) | =(matching1, 0)
1554_0_growReduce_Store(EOS(STATIC_1554), matching1, o809) → 1569_0_growReduce_JMP(EOS(STATIC_1569), 0, o809) | =(matching1, 0)
1569_0_growReduce_JMP(EOS(STATIC_1569), matching1, o809) → 1578_0_growReduce_Inc(EOS(STATIC_1578), 0, o809) | =(matching1, 0)
1578_0_growReduce_Inc(EOS(STATIC_1578), matching1, o809) → 1597_0_growReduce_Load(EOS(STATIC_1597), 1, o809) | =(matching1, 0)
1597_0_growReduce_Load(EOS(STATIC_1597), matching1, o809) → 1621_0_growReduce_ConstantStackPush(EOS(STATIC_1621), 1, o809, 1) | =(matching1, 1)
1621_0_growReduce_ConstantStackPush(EOS(STATIC_1621), matching1, o809, matching2) → 1637_0_growReduce_LE(EOS(STATIC_1637), 1, o809, 1) | &&(=(matching1, 1), =(matching2, 1))
1637_0_growReduce_LE(EOS(STATIC_1637), matching1, o809, matching2) → 1662_0_growReduce_Load(EOS(STATIC_1662), 1, o809) | &&(=(matching1, 1), =(matching2, 1))
1662_0_growReduce_Load(EOS(STATIC_1662), matching1, o809) → 1684_0_growReduce_Load(EOS(STATIC_1684), o809, 1) | =(matching1, 1)
1684_0_growReduce_Load(EOS(STATIC_1684), o809, matching1) → 1699_0_growReduce_InvokeMethod(EOS(STATIC_1699), 1, o809) | =(matching1, 1)
1699_0_growReduce_InvokeMethod(EOS(STATIC_1699), matching1, o809) → 1719_1_growReduce_InvokeMethod(1719_0_growReduce_Load(EOS(STATIC_1719), 1, o809), 1, o809) | =(matching1, 1)
1719_0_growReduce_Load(EOS(STATIC_1719), matching1, o809) → 1746_0_growReduce_Load(EOS(STATIC_1746), 1, o809) | =(matching1, 1)
1746_0_growReduce_Load(EOS(STATIC_1746), matching1, o809) → 1782_0_growReduce_Load(EOS(STATIC_1782), 1, o809) | =(matching1, 1)
1782_0_growReduce_Load(EOS(STATIC_1782), matching1, o809) → 1415_0_growReduce_Load(EOS(STATIC_1415), 1, o809) | =(matching1, 1)
1464_0_growReduce_FieldAccess(EOS(STATIC_1464), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o743))) → 1474_0_growReduce_FieldAccess(EOS(STATIC_1474), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o743))) | =(matching1, 0)
1474_0_growReduce_FieldAccess(EOS(STATIC_1474), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o743))) → 1491_0_growReduce_FieldAccess(EOS(STATIC_1491), 0, o743) | =(matching1, 0)
1491_0_growReduce_FieldAccess(EOS(STATIC_1491), matching1, o743) → 1478_0_growReduce_FieldAccess(EOS(STATIC_1478), 0, o743) | =(matching1, 0)
1478_0_growReduce_FieldAccess(EOS(STATIC_1478), matching1, java.lang.Object(o770sub)) → 1493_0_growReduce_FieldAccess(EOS(STATIC_1493), 0, java.lang.Object(o770sub)) | =(matching1, 0)
1493_0_growReduce_FieldAccess(EOS(STATIC_1493), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o773))) → 1501_0_growReduce_FieldAccess(EOS(STATIC_1501), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o773))) | =(matching1, 0)
1501_0_growReduce_FieldAccess(EOS(STATIC_1501), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o773))) → 1514_0_growReduce_FieldAccess(EOS(STATIC_1514), 0, o773) | =(matching1, 0)
1441_0_growReduce_FieldAccess(EOS(STATIC_1441), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o724))) → 1446_0_growReduce_FieldAccess(EOS(STATIC_1446), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o724))) | =(matching1, 0)
1446_0_growReduce_FieldAccess(EOS(STATIC_1446), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o724))) → 1452_0_growReduce_FieldAccess(EOS(STATIC_1452), 0, o724) | =(matching1, 0)
1452_0_growReduce_FieldAccess(EOS(STATIC_1452), matching1, java.lang.Object(o737sub)) → 1458_0_growReduce_FieldAccess(EOS(STATIC_1458), 0, java.lang.Object(o737sub)) | =(matching1, 0)
1458_0_growReduce_FieldAccess(EOS(STATIC_1458), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o739))) → 1467_0_growReduce_FieldAccess(EOS(STATIC_1467), 0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o739))) | =(matching1, 0)
1467_0_growReduce_FieldAccess(EOS(STATIC_1467), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o739))) → 1478_0_growReduce_FieldAccess(EOS(STATIC_1478), 0, o739) | =(matching1, 0)
R rules:
1417_0_growReduce_NONNULL(EOS(STATIC_1417), i96, NULL, NULL) → 1420_0_growReduce_NONNULL(EOS(STATIC_1420), i96, NULL, NULL)
1420_0_growReduce_NONNULL(EOS(STATIC_1420), i96, NULL, NULL) → 1423_0_growReduce_Return(EOS(STATIC_1423), i96, NULL)
1449_0_growReduce_FieldAccess(EOS(STATIC_1449), matching1, NULL) → 1457_0_growReduce_FieldAccess(EOS(STATIC_1457), 0, NULL) | =(matching1, 0)
1452_0_growReduce_FieldAccess(EOS(STATIC_1452), matching1, NULL) → 1459_0_growReduce_FieldAccess(EOS(STATIC_1459), 0, NULL) | =(matching1, 0)
1457_0_growReduce_FieldAccess(EOS(STATIC_1457), matching1, NULL) → 1465_0_growReduce_FieldAccess(EOS(STATIC_1465), 0, NULL) | =(matching1, 0)
1459_0_growReduce_FieldAccess(EOS(STATIC_1459), matching1, NULL) → 1468_0_growReduce_FieldAccess(EOS(STATIC_1468), 0, NULL) | =(matching1, 0)
1465_0_growReduce_FieldAccess(EOS(STATIC_1465), matching1, NULL) → 1476_0_<init>_Load(EOS(STATIC_1476), 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)
1468_0_growReduce_FieldAccess(EOS(STATIC_1468), matching1, NULL) → 1479_0_<init>_Load(EOS(STATIC_1479), 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)
1476_0_<init>_Load(EOS(STATIC_1476), 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)
1478_0_growReduce_FieldAccess(EOS(STATIC_1478), matching1, NULL) → 1494_0_growReduce_FieldAccess(EOS(STATIC_1494), 0, NULL) | =(matching1, 0)
1479_0_<init>_Load(EOS(STATIC_1479), 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)))))) → 1505_0_<init>_InvokeMethod(EOS(STATIC_1505), 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)
1486_0_growReduce_FieldAccess(EOS(STATIC_1486), matching1, NULL) → 1498_0_growReduce_FieldAccess(EOS(STATIC_1498), 0, NULL) | =(matching1, 0)
1494_0_growReduce_FieldAccess(EOS(STATIC_1494), matching1, NULL) → 1503_0_growReduce_FieldAccess(EOS(STATIC_1503), 0, NULL) | =(matching1, 0)
1498_0_growReduce_FieldAccess(EOS(STATIC_1498), matching1, NULL) → 1511_0_growReduce_FieldAccess(EOS(STATIC_1511), 0, NULL) | =(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)))))) → 1505_0_<init>_InvokeMethod(EOS(STATIC_1505), 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)
1503_0_growReduce_FieldAccess(EOS(STATIC_1503), matching1, NULL) → 1515_0_<init>_Load(EOS(STATIC_1515), 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)
1505_0_<init>_InvokeMethod(EOS(STATIC_1505), 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)))))) → 1517_0_<init>_Load(EOS(STATIC_1517), 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)
1511_0_growReduce_FieldAccess(EOS(STATIC_1511), matching1, NULL) → 1524_0_<init>_Load(EOS(STATIC_1524), 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)
1514_0_growReduce_FieldAccess(EOS(STATIC_1514), matching1, NULL) → 1527_0_growReduce_FieldAccess(EOS(STATIC_1527), 0, NULL) | =(matching1, 0)
1515_0_<init>_Load(EOS(STATIC_1515), 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)))))) → 1543_0_<init>_InvokeMethod(EOS(STATIC_1543), 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)
1517_0_<init>_Load(EOS(STATIC_1517), 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)))))) → 1545_0_<init>_InvokeMethod(EOS(STATIC_1545), 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)
1524_0_<init>_Load(EOS(STATIC_1524), 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)))))) → 1552_0_<init>_InvokeMethod(EOS(STATIC_1552), 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)
1527_0_growReduce_FieldAccess(EOS(STATIC_1527), matching1, NULL) → 1542_0_growReduce_FieldAccess(EOS(STATIC_1542), 0, NULL) | =(matching1, 0)
1535_0_growReduce_FieldAccess(EOS(STATIC_1535), matching1, NULL) → 1551_0_growReduce_FieldAccess(EOS(STATIC_1551), 0, NULL) | =(matching1, 0)
1542_0_growReduce_FieldAccess(EOS(STATIC_1542), matching1, NULL) → 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)))))) | =(matching1, 0)
1543_0_<init>_InvokeMethod(EOS(STATIC_1543), 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)))))) → 1557_0_<init>_Load(EOS(STATIC_1557), 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)
1545_0_<init>_InvokeMethod(EOS(STATIC_1545), 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)))))) → 1558_0_<init>_Load(EOS(STATIC_1558), 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)
1551_0_growReduce_FieldAccess(EOS(STATIC_1551), matching1, NULL) → 1566_0_growReduce_FieldAccess(EOS(STATIC_1566), 0, NULL) | =(matching1, 0)
1552_0_<init>_InvokeMethod(EOS(STATIC_1552), 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)))))) → 1567_0_<init>_Load(EOS(STATIC_1567), 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)
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)))))) → 1579_0_<init>_InvokeMethod(EOS(STATIC_1579), 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)
1557_0_<init>_Load(EOS(STATIC_1557), 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)))))) → 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)))))) | =(matching1, 0)
1558_0_<init>_Load(EOS(STATIC_1558), 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)))))) → 1581_0_<init>_InvokeMethod(EOS(STATIC_1581), 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)
1566_0_growReduce_FieldAccess(EOS(STATIC_1566), matching1, NULL) → 1576_0_<init>_Load(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)
1567_0_<init>_Load(EOS(STATIC_1567), 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)))))) → 1596_0_<init>_InvokeMethod(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)
1576_0_<init>_Load(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)))))) → 1619_0_<init>_InvokeMethod(EOS(STATIC_1619), 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)
1579_0_<init>_InvokeMethod(EOS(STATIC_1579), 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)))))) → 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)))))) | =(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)))))) → 1600_0_<init>_Load(EOS(STATIC_1600), 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)
1581_0_<init>_InvokeMethod(EOS(STATIC_1581), 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)))))) → 1601_0_<init>_Load(EOS(STATIC_1601), 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)
1596_0_<init>_InvokeMethod(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)))))) → 1620_0_<init>_Load(EOS(STATIC_1620), 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)
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)))))) → 1640_0_<init>_InvokeMethod(EOS(STATIC_1640), 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)
1600_0_<init>_Load(EOS(STATIC_1600), 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)))))) → 1641_0_<init>_InvokeMethod(EOS(STATIC_1641), 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)
1601_0_<init>_Load(EOS(STATIC_1601), 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)))))) → 1643_0_<init>_InvokeMethod(EOS(STATIC_1643), 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)
1619_0_<init>_InvokeMethod(EOS(STATIC_1619), 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)))))) → 1635_0_<init>_Load(EOS(STATIC_1635), 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)
1620_0_<init>_Load(EOS(STATIC_1620), 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)))))) → 1660_0_<init>_InvokeMethod(EOS(STATIC_1660), 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)
1635_0_<init>_Load(EOS(STATIC_1635), 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)))))) → 1682_0_<init>_InvokeMethod(EOS(STATIC_1682), 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)
1640_0_<init>_InvokeMethod(EOS(STATIC_1640), 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)))))) → 1663_0_<init>_Load(EOS(STATIC_1663), 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)
1641_0_<init>_InvokeMethod(EOS(STATIC_1641), 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)))))) → 1664_0_<init>_Load(EOS(STATIC_1664), 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)
1643_0_<init>_InvokeMethod(EOS(STATIC_1643), 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)))))) → 1665_0_<init>_Load(EOS(STATIC_1665), 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)
1660_0_<init>_InvokeMethod(EOS(STATIC_1660), 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)))))) → 1683_0_<init>_Load(EOS(STATIC_1683), 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)
1663_0_<init>_Load(EOS(STATIC_1663), 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)))))) → 1700_0_<init>_InvokeMethod(EOS(STATIC_1700), 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)
1664_0_<init>_Load(EOS(STATIC_1664), 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)))))) → 1701_0_<init>_InvokeMethod(EOS(STATIC_1701), 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)
1665_0_<init>_Load(EOS(STATIC_1665), 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)))))) → 1685_0_<init>_Load(EOS(STATIC_1685), 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)
1682_0_<init>_InvokeMethod(EOS(STATIC_1682), 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)))))) → 1697_0_<init>_Load(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)))))) | =(matching1, 0)
1683_0_<init>_Load(EOS(STATIC_1683), 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)))))) → 1717_0_<init>_InvokeMethod(EOS(STATIC_1717), 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)
1685_0_<init>_Load(EOS(STATIC_1685), 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)))))) → 1703_0_<init>_FieldAccess(EOS(STATIC_1703), 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)
1697_0_<init>_Load(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)))))) → 1740_0_<init>_InvokeMethod(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)))))) | =(matching1, 0)
1700_0_<init>_InvokeMethod(EOS(STATIC_1700), 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)))))) → 1720_0_<init>_Load(EOS(STATIC_1720), 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)
1701_0_<init>_InvokeMethod(EOS(STATIC_1701), 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)))))) → 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)
1703_0_<init>_FieldAccess(EOS(STATIC_1703), 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)))))) → 1725_0_<init>_Load(EOS(STATIC_1725), 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)
1717_0_<init>_InvokeMethod(EOS(STATIC_1717), 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)))))) → 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)))))) | =(matching1, 0)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(EOS(STATIC_1423), matching1, NULL), matching2, NULL) → 1839_0_growReduce_Return(EOS(STATIC_1839), 1, NULL, 1, NULL) | &&(=(matching1, 1), =(matching2, 1))
1719_1_growReduce_InvokeMethod(2403_0_growReduce_Return(EOS(STATIC_2403)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2075))) → 2424_0_growReduce_Return(EOS(STATIC_2424), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2075))) | =(matching1, 1)
1720_0_<init>_Load(EOS(STATIC_1720), 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>_InvokeMethod(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))))), 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)))))) → 1748_0_<init>_Load(EOS(STATIC_1748), 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)
1725_0_<init>_Load(EOS(STATIC_1725), 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)))))) → 1749_0_<init>_InvokeMethod(EOS(STATIC_1749), 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>_InvokeMethod(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)))))) → 1761_0_<init>_Load(EOS(STATIC_1761), 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)
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)))))) → 1764_0_<init>_Load(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)
1748_0_<init>_Load(EOS(STATIC_1748), 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)))))) → 1769_0_<init>_FieldAccess(EOS(STATIC_1769), 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)
1749_0_<init>_InvokeMethod(EOS(STATIC_1749), 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)))))) → 1771_0_<init>_StackPop(EOS(STATIC_1771), 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)
1750_1_growReduce_InvokeMethod(2382_0_growReduce_Return(EOS(STATIC_2382)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) → 2396_0_growReduce_Return(EOS(STATIC_2396), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) | =(matching1, 2)
1761_0_<init>_Load(EOS(STATIC_1761), 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)))))) → 1796_0_<init>_InvokeMethod(EOS(STATIC_1796), 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)
1764_0_<init>_Load(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)))))) → 1780_0_<init>_FieldAccess(EOS(STATIC_1780), 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)
1767_0_<init>_InvokeMethod(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))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1783_0_<init>_Load(EOS(STATIC_1783), 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)
1769_0_<init>_FieldAccess(EOS(STATIC_1769), 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)))))) → 1786_0_<init>_Load(EOS(STATIC_1786), 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)
1771_0_<init>_StackPop(EOS(STATIC_1771), 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)))))) → 1787_0_<init>_Return(EOS(STATIC_1787), 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)
1775_1_growReduce_InvokeMethod(1423_0_growReduce_Return(EOS(STATIC_1423), matching1, NULL), matching2, NULL) → 1893_0_growReduce_Return(EOS(STATIC_1893), 1, NULL, 1, NULL) | &&(=(matching1, 1), =(matching2, 1))
1775_1_growReduce_InvokeMethod(2403_0_growReduce_Return(EOS(STATIC_2403)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2078))) → 2434_0_growReduce_Return(EOS(STATIC_2434), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2078))) | =(matching1, 1)
1776_1_growReduce_InvokeMethod(1423_0_growReduce_Return(EOS(STATIC_1423), matching1, NULL), matching2, NULL) → 1926_0_growReduce_Return(EOS(STATIC_1926), 1, NULL, 1, NULL) | &&(=(matching1, 1), =(matching2, 1))
1776_1_growReduce_InvokeMethod(2403_0_growReduce_Return(EOS(STATIC_2403)), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2082))) → 2446_0_growReduce_Return(EOS(STATIC_2446), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2082))) | =(matching1, 1)
1780_0_<init>_FieldAccess(EOS(STATIC_1780), 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)))))) → 1809_0_<init>_Load(EOS(STATIC_1809), 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)
1783_0_<init>_Load(EOS(STATIC_1783), 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)))))) → 1815_0_<init>_Load(EOS(STATIC_1815), 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)
1786_0_<init>_Load(EOS(STATIC_1786), 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)))))) → 1816_0_<init>_InvokeMethod(EOS(STATIC_1816), 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)
1787_0_<init>_Return(EOS(STATIC_1787), 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)))))) → 1818_0_<init>_Return(EOS(STATIC_1818), 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)
1796_0_<init>_InvokeMethod(EOS(STATIC_1796), 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)))))) → 1829_0_<init>_Load(EOS(STATIC_1829), 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)
1809_0_<init>_Load(EOS(STATIC_1809), 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)))))) → 1838_0_<init>_InvokeMethod(EOS(STATIC_1838), 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)
1815_0_<init>_Load(EOS(STATIC_1815), 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)))))) → 1842_0_<init>_FieldAccess(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))))), java.lang.Object(java.lang.Throwable(java.lang.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)
1816_0_<init>_InvokeMethod(EOS(STATIC_1816), 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)))))) → 1844_0_<init>_StackPop(EOS(STATIC_1844), 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)
1818_0_<init>_Return(EOS(STATIC_1818), 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)))))) → 1846_0_<init>_Return(EOS(STATIC_1846), 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)
1829_0_<init>_Load(EOS(STATIC_1829), 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)))))) → 1860_0_<init>_Load(EOS(STATIC_1860), 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)
1838_0_<init>_InvokeMethod(EOS(STATIC_1838), 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)))))) → 1878_0_<init>_StackPop(EOS(STATIC_1878), 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)
1839_0_growReduce_Return(EOS(STATIC_1839), matching1, NULL, matching2, NULL) → 1880_0_growReduce_Return(EOS(STATIC_1880)) | &&(=(matching1, 1), =(matching2, 1))
1842_0_<init>_FieldAccess(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))))), java.lang.Object(java.lang.Throwable(java.lang.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)))))) → 1886_0_<init>_Load(EOS(STATIC_1886), 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)
1844_0_<init>_StackPop(EOS(STATIC_1844), 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)))))) → 1888_0_<init>_Return(EOS(STATIC_1888), 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)
1846_0_<init>_Return(EOS(STATIC_1846), 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)))))) → 1889_0_<init>_Return(EOS(STATIC_1889), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1860_0_<init>_Load(EOS(STATIC_1860), 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)))))) → 1903_0_<init>_FieldAccess(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))))), java.lang.Object(java.lang.Throwable(java.lang.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)
1878_0_<init>_StackPop(EOS(STATIC_1878), 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)))))) → 1912_0_<init>_Return(EOS(STATIC_1912), 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)
1886_0_<init>_Load(EOS(STATIC_1886), 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)))))) → 1917_0_<init>_InvokeMethod(EOS(STATIC_1917), 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)
1888_0_<init>_Return(EOS(STATIC_1888), 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)))))) → 1918_0_<init>_Return(EOS(STATIC_1918), 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)
1889_0_<init>_Return(EOS(STATIC_1889), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 1919_0_growReduce_FieldAccess(EOS(STATIC_1919), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1893_0_growReduce_Return(EOS(STATIC_1893), matching1, NULL, matching2, NULL) → 1925_0_growReduce_Return(EOS(STATIC_1925)) | &&(=(matching1, 1), =(matching2, 1))
1903_0_<init>_FieldAccess(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))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1939_0_<init>_Load(EOS(STATIC_1939), 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)
1912_0_<init>_Return(EOS(STATIC_1912), 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)))))) → 1946_0_<init>_Return(EOS(STATIC_1946), 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)
1917_0_<init>_InvokeMethod(EOS(STATIC_1917), 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)))))) → 1954_0_<init>_StackPop(EOS(STATIC_1954), 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)
1918_0_<init>_Return(EOS(STATIC_1918), 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)))))) → 1956_0_<init>_Return(EOS(STATIC_1956), 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)
1925_0_growReduce_Return(EOS(STATIC_1925)) → 1963_0_growReduce_Return(EOS(STATIC_1963))
1926_0_growReduce_Return(EOS(STATIC_1926), matching1, NULL, matching2, NULL) → 1963_0_growReduce_Return(EOS(STATIC_1963)) | &&(=(matching1, 1), =(matching2, 1))
1939_0_<init>_Load(EOS(STATIC_1939), 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)))))) → 1980_0_<init>_InvokeMethod(EOS(STATIC_1980), 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)
1946_0_<init>_Return(EOS(STATIC_1946), 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)))))) → 1986_0_<init>_Return(EOS(STATIC_1986), 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)
1954_0_<init>_StackPop(EOS(STATIC_1954), 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)))))) → 1993_0_<init>_Return(EOS(STATIC_1993), 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)
1956_0_<init>_Return(EOS(STATIC_1956), 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)))))) → 1994_0_<init>_Return(EOS(STATIC_1994), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1980_0_<init>_InvokeMethod(EOS(STATIC_1980), 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)))))) → 2028_0_<init>_StackPop(EOS(STATIC_2028), 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)
1986_0_<init>_Return(EOS(STATIC_1986), 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)))))) → 2033_0_<init>_Return(EOS(STATIC_2033), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
1993_0_<init>_Return(EOS(STATIC_1993), 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)))))) → 2037_0_<init>_Return(EOS(STATIC_2037), 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)
1994_0_<init>_Return(EOS(STATIC_1994), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2039_0_growReduce_FieldAccess(EOS(STATIC_2039), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2028_0_<init>_StackPop(EOS(STATIC_2028), 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)))))) → 2071_0_<init>_Return(EOS(STATIC_2071), 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)
2033_0_<init>_Return(EOS(STATIC_2033), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2076_0_growReduce_FieldAccess(EOS(STATIC_2076), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2037_0_<init>_Return(EOS(STATIC_2037), 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)))))) → 2079_0_<init>_Return(EOS(STATIC_2079), 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)
2071_0_<init>_Return(EOS(STATIC_2071), 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)))))) → 2098_0_<init>_Return(EOS(STATIC_2098), 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)
2079_0_<init>_Return(EOS(STATIC_2079), 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)))))) → 2102_0_<init>_Return(EOS(STATIC_2102), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2098_0_<init>_Return(EOS(STATIC_2098), 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)))))) → 2116_0_<init>_Return(EOS(STATIC_2116), 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)
2102_0_<init>_Return(EOS(STATIC_2102), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2126_0_growReduce_FieldAccess(EOS(STATIC_2126), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2116_0_<init>_Return(EOS(STATIC_2116), 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)))))) → 2138_0_<init>_Return(EOS(STATIC_2138), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return(EOS(STATIC_1880)), 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))))))))) → 2220_0_growReduce_Return(EOS(STATIC_2220), 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)
2134_1_growReduce_InvokeMethod(1925_0_growReduce_Return(EOS(STATIC_1925)), 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))))))))) → 2225_0_growReduce_Return(EOS(STATIC_2225), 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)
2134_1_growReduce_InvokeMethod(1963_0_growReduce_Return(EOS(STATIC_1963)), 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))))))))) → 2229_0_growReduce_Return(EOS(STATIC_2229), 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)
2134_1_growReduce_InvokeMethod(2126_0_growReduce_FieldAccess(EOS(STATIC_2126), 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))))))) → 2233_0_growReduce_FieldAccess(EOS(STATIC_2233), 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))
2134_1_growReduce_InvokeMethod(2158_0_growReduce_FieldAccess(EOS(STATIC_2158), 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))))))) → 2234_0_growReduce_FieldAccess(EOS(STATIC_2234), 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))
2134_1_growReduce_InvokeMethod(2455_0_growReduce_Return(EOS(STATIC_2455)), 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, o2367))))))))))) → 2513_0_growReduce_Return(EOS(STATIC_2513), 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, o2367))))))))))) | =(matching1, 0)
2134_1_growReduce_InvokeMethod(2461_0_growReduce_Return(EOS(STATIC_2461)), 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, o2382))))))))))) → 2523_0_growReduce_Return(EOS(STATIC_2523), 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, o2382))))))))))) | =(matching1, 0)
2134_1_growReduce_InvokeMethod(2471_0_growReduce_Return(EOS(STATIC_2471)), 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))))))))))) → 2535_0_growReduce_Return(EOS(STATIC_2535), 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)
2138_0_<init>_Return(EOS(STATIC_2138), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), matching1, NULL) → 2158_0_growReduce_FieldAccess(EOS(STATIC_2158), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), 0, NULL) | =(matching1, 0)
2220_0_growReduce_Return(EOS(STATIC_2220), 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))))))))) → 2351_0_growReduce_Return(EOS(STATIC_2351), 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)
2225_0_growReduce_Return(EOS(STATIC_2225), 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))))))))) → 2220_0_growReduce_Return(EOS(STATIC_2220), 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)
2229_0_growReduce_Return(EOS(STATIC_2229), 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))))))))) → 2220_0_growReduce_Return(EOS(STATIC_2220), 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)
2233_0_growReduce_FieldAccess(EOS(STATIC_2233), 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) → 2237_0_growReduce_InvokeMethod(EOS(STATIC_2237), 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))
2234_0_growReduce_FieldAccess(EOS(STATIC_2234), 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) → 2233_0_growReduce_FieldAccess(EOS(STATIC_2233), 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))
2351_0_growReduce_Return(EOS(STATIC_2351), 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))))))))) → 2367_0_growReduce_Return(EOS(STATIC_2367), 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)
2367_0_growReduce_Return(EOS(STATIC_2367), 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, o2017))))))))) → 2378_0_growReduce_JMP(EOS(STATIC_2378)) | =(matching1, 0)
2378_0_growReduce_JMP(EOS(STATIC_2378)) → 2382_0_growReduce_Return(EOS(STATIC_2382))
2396_0_growReduce_Return(EOS(STATIC_2396), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) → 2397_0_growReduce_Return(EOS(STATIC_2397), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2056))))) | =(matching1, 2)
2397_0_growReduce_Return(EOS(STATIC_2397), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2060))))) → 2403_0_growReduce_Return(EOS(STATIC_2403)) | =(matching1, 2)
2424_0_growReduce_Return(EOS(STATIC_2424), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2075))) → 2425_0_growReduce_Return(EOS(STATIC_2425), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2075))) | =(matching1, 1)
2425_0_growReduce_Return(EOS(STATIC_2425), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2089))) → 2455_0_growReduce_Return(EOS(STATIC_2455)) | =(matching1, 1)
2434_0_growReduce_Return(EOS(STATIC_2434), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2078))) → 2435_0_growReduce_Return(EOS(STATIC_2435), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2078))) | =(matching1, 1)
2435_0_growReduce_Return(EOS(STATIC_2435), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2137))) → 2461_0_growReduce_Return(EOS(STATIC_2461)) | =(matching1, 1)
2446_0_growReduce_Return(EOS(STATIC_2446), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2082))) → 2447_0_growReduce_Return(EOS(STATIC_2447), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2082))) | =(matching1, 1)
2447_0_growReduce_Return(EOS(STATIC_2447), matching1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, o2186))) → 2471_0_growReduce_Return(EOS(STATIC_2471)) | =(matching1, 1)
2513_0_growReduce_Return(EOS(STATIC_2513), 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, o2367))))))))))) → 2367_0_growReduce_Return(EOS(STATIC_2367), 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, o2367))))))))))) | =(matching1, 0)
2523_0_growReduce_Return(EOS(STATIC_2523), 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, o2382))))))))))) → 2367_0_growReduce_Return(EOS(STATIC_2367), 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, o2382))))))))))) | =(matching1, 0)
2535_0_growReduce_Return(EOS(STATIC_2535), 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))))))))))) → 2367_0_growReduce_Return(EOS(STATIC_2367), 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:
1417_0_growReduce_NONNULL(EOS(STATIC_1417), 1, java.lang.Object(x1), java.lang.Object(x1)) → 1750_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(EOS(STATIC_1417), 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))))
1417_0_growReduce_NONNULL(EOS(STATIC_1417), 2, java.lang.Object(x1), java.lang.Object(x1)) → 2134_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(EOS(STATIC_1417), 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))))))
1417_0_growReduce_NONNULL(EOS(STATIC_1417), 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))))))))) → 1775_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(EOS(STATIC_1417), 1, x1, x1), 1, x1)
1417_0_growReduce_NONNULL(EOS(STATIC_1417), 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))))))))) → 1776_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(EOS(STATIC_1417), 1, x1, x1), 1, x1)
1417_0_growReduce_NONNULL(EOS(STATIC_1417), 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))))))))) → 1719_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(EOS(STATIC_1417), 1, x1, x1), 1, x1)
R rules:
1417_0_growReduce_NONNULL(EOS(STATIC_1417), x0, NULL, NULL) → 1423_0_growReduce_Return(EOS(STATIC_1423), x0, NULL)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(EOS(STATIC_1423), 1, NULL), 1, NULL) → 1880_0_growReduce_Return(EOS(STATIC_1880))
1776_1_growReduce_InvokeMethod(1423_0_growReduce_Return(EOS(STATIC_1423), 1, NULL), 1, NULL) → 1963_0_growReduce_Return(EOS(STATIC_1963))
1775_1_growReduce_InvokeMethod(1423_0_growReduce_Return(EOS(STATIC_1423), 1, NULL), 1, NULL) → 1963_0_growReduce_Return(EOS(STATIC_1963))
2134_1_growReduce_InvokeMethod(2126_0_growReduce_FieldAccess(EOS(STATIC_2126), 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))))))) → 2237_0_growReduce_InvokeMethod(EOS(STATIC_2237), 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)))))))
2134_1_growReduce_InvokeMethod(2158_0_growReduce_FieldAccess(EOS(STATIC_2158), 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))))))) → 2237_0_growReduce_InvokeMethod(EOS(STATIC_2237), 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)))))))
2134_1_growReduce_InvokeMethod(2455_0_growReduce_Return(EOS(STATIC_2455)), 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))))))))))) → 2382_0_growReduce_Return(EOS(STATIC_2382))
2134_1_growReduce_InvokeMethod(2461_0_growReduce_Return(EOS(STATIC_2461)), 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))))))))))) → 2382_0_growReduce_Return(EOS(STATIC_2382))
2134_1_growReduce_InvokeMethod(2471_0_growReduce_Return(EOS(STATIC_2471)), 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))))))))))) → 2382_0_growReduce_Return(EOS(STATIC_2382))
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return(EOS(STATIC_1880)), 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))))))))) → 2382_0_growReduce_Return(EOS(STATIC_2382))
2134_1_growReduce_InvokeMethod(1925_0_growReduce_Return(EOS(STATIC_1925)), 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))))))))) → 2382_0_growReduce_Return(EOS(STATIC_2382))
2134_1_growReduce_InvokeMethod(1963_0_growReduce_Return(EOS(STATIC_1963)), 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))))))))) → 2382_0_growReduce_Return(EOS(STATIC_2382))
1750_1_growReduce_InvokeMethod(2382_0_growReduce_Return(EOS(STATIC_2382)), 2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))))) → 2403_0_growReduce_Return(EOS(STATIC_2403))
1719_1_growReduce_InvokeMethod(2403_0_growReduce_Return(EOS(STATIC_2403)), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))) → 2455_0_growReduce_Return(EOS(STATIC_2455))
1775_1_growReduce_InvokeMethod(2403_0_growReduce_Return(EOS(STATIC_2403)), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))) → 2461_0_growReduce_Return(EOS(STATIC_2461))
1776_1_growReduce_InvokeMethod(2403_0_growReduce_Return(EOS(STATIC_2403)), 1, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(EOC, x1))) → 2471_0_growReduce_Return(EOS(STATIC_2471))

Filtered ground terms:

1719_1_growReduce_InvokeMethod(x1, x2, x3) → 1719_1_growReduce_InvokeMethod(x1, x3)
1417_0_growReduce_NONNULL(x1, x2, x3, x4) → 1417_0_growReduce_NONNULL(x2, x3, x4)
AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1, x2) → AlternatingGrowReduceRec.AlternatingGrowReduceRec(x2)
1776_1_growReduce_InvokeMethod(x1, x2, x3) → 1776_1_growReduce_InvokeMethod(x1, x3)
1775_1_growReduce_InvokeMethod(x1, x2, x3) → 1775_1_growReduce_InvokeMethod(x1, x3)
2134_1_growReduce_InvokeMethod(x1, x2, x3) → 2134_1_growReduce_InvokeMethod(x1, x3)
1750_1_growReduce_InvokeMethod(x1, x2, x3) → 1750_1_growReduce_InvokeMethod(x1, x3)
2471_0_growReduce_Return(x1) → 2471_0_growReduce_Return
2403_0_growReduce_Return(x1) → 2403_0_growReduce_Return
2461_0_growReduce_Return(x1) → 2461_0_growReduce_Return
2455_0_growReduce_Return(x1) → 2455_0_growReduce_Return
2382_0_growReduce_Return(x1) → 2382_0_growReduce_Return
1963_0_growReduce_Return(x1) → 1963_0_growReduce_Return
1925_0_growReduce_Return(x1) → 1925_0_growReduce_Return
1880_0_growReduce_Return(x1) → 1880_0_growReduce_Return
2237_0_growReduce_InvokeMethod(x1, x2, x3, x4) → 2237_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
2158_0_growReduce_FieldAccess(x1, x2, x3, x4) → 2158_0_growReduce_FieldAccess
2126_0_growReduce_FieldAccess(x1, x2, x3, x4) → 2126_0_growReduce_FieldAccess
1423_0_growReduce_Return(x1, x2, x3) → 1423_0_growReduce_Return(x2)

Filtered duplicate args:

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

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

P rules:
1417_0_growReduce_NONNULL(1, java.lang.Object(x1)) → 1750_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1)))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1))))
1417_0_growReduce_NONNULL(2, java.lang.Object(x1)) → 2134_1_growReduce_InvokeMethod(1417_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))))))
1417_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))))))))) → 1775_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(1, x1), x1)
1417_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))))))))) → 1776_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(1, x1), x1)
1417_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))))))))) → 1719_1_growReduce_InvokeMethod(1417_0_growReduce_NONNULL(1, x1), x1)
R rules:
1417_0_growReduce_NONNULL(x0, NULL) → 1423_0_growReduce_Return(x0)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(1), NULL) → 1880_0_growReduce_Return
1776_1_growReduce_InvokeMethod(1423_0_growReduce_Return(1), NULL) → 1963_0_growReduce_Return
1775_1_growReduce_InvokeMethod(1423_0_growReduce_Return(1), NULL) → 1963_0_growReduce_Return
2134_1_growReduce_InvokeMethod(2126_0_growReduce_FieldAccess, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 2237_0_growReduce_InvokeMethod
2134_1_growReduce_InvokeMethod(2158_0_growReduce_FieldAccess, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 2237_0_growReduce_InvokeMethod
2134_1_growReduce_InvokeMethod(2455_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))))))))))) → 2382_0_growReduce_Return
2134_1_growReduce_InvokeMethod(2461_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))))))))))) → 2382_0_growReduce_Return
2134_1_growReduce_InvokeMethod(2471_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))))))))))) → 2382_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 2382_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1925_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 2382_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1963_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 2382_0_growReduce_Return
1750_1_growReduce_InvokeMethod(2382_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 2403_0_growReduce_Return
1719_1_growReduce_InvokeMethod(2403_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 2455_0_growReduce_Return
1775_1_growReduce_InvokeMethod(2403_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 2461_0_growReduce_Return
1776_1_growReduce_InvokeMethod(2403_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 2471_0_growReduce_Return

Performed bisimulation on rules. Used the following equivalence classes: {[1719_1_growReduce_InvokeMethod_2, 1776_1_growReduce_InvokeMethod_2, 1775_1_growReduce_InvokeMethod_2]=1719_1_growReduce_InvokeMethod_2, [1880_0_growReduce_Return, 1963_0_growReduce_Return, 2126_0_growReduce_FieldAccess, 2237_0_growReduce_InvokeMethod, 2158_0_growReduce_FieldAccess, 2455_0_growReduce_Return, 2382_0_growReduce_Return, 2461_0_growReduce_Return, 2471_0_growReduce_Return, 1925_0_growReduce_Return, 2403_0_growReduce_Return]=1880_0_growReduce_Return}

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

P rules:
1417_0_GROWREDUCE_NONNULL(1, java.lang.Object(x1)) → 1417_0_GROWREDUCE_NONNULL(2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1))))
1417_0_GROWREDUCE_NONNULL(2, java.lang.Object(x1)) → 1417_0_GROWREDUCE_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1))))))
1417_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))))))))) → 1417_0_GROWREDUCE_NONNULL(1, x1)
R rules:
1417_0_growReduce_NONNULL(x0, NULL) → 1423_0_growReduce_Return(x0)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(1), NULL) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_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))))))))))) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 1880_0_growReduce_Return
1750_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 1880_0_growReduce_Return
1719_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 1880_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:
1417_0_growReduce_NONNULL(x0, NULL) → 1423_0_growReduce_Return(x0)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(1), NULL) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_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))))))))))) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 1880_0_growReduce_Return
1750_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 1880_0_growReduce_Return
1719_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 1880_0_growReduce_Return

The integer pair graph contains the following rules and edges:
(0): 1417_0_GROWREDUCE_NONNULL(1, java.lang.Object(x1[0])) → 1417_0_GROWREDUCE_NONNULL(2, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
(1): 1417_0_GROWREDUCE_NONNULL(2, java.lang.Object(x1[1])) → 1417_0_GROWREDUCE_NONNULL(0, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
(2): 1417_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]))))))))) → 1417_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:
1417_0_growReduce_NONNULL(x0, NULL)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(1), NULL)
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2134_1_growReduce_InvokeMethod(1880_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)))))))))))
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1750_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1719_1_growReduce_InvokeMethod(1880_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:

1417_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1417_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
1417_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1417_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1417_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]))))))))) → 1417_0_GROWREDUCE_NONNULL(pos(s(01)), x1[2])

The TRS R consists of the following rules:

1417_0_growReduce_NONNULL(x0, NULL) → 1423_0_growReduce_Return(x0)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(pos(s(01))), NULL) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_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))))))))))) → 1880_0_growReduce_Return
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL))))))))) → 1880_0_growReduce_Return
1750_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))))) → 1880_0_growReduce_Return
1719_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x1))) → 1880_0_growReduce_Return

The set Q consists of the following terms:

1417_0_growReduce_NONNULL(x0, NULL)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(pos(s(01))), NULL)
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2134_1_growReduce_InvokeMethod(1880_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)))))))))))
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1750_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1719_1_growReduce_InvokeMethod(1880_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:

1417_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1417_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
1417_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1417_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1417_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]))))))))) → 1417_0_GROWREDUCE_NONNULL(pos(s(01)), x1[2])

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

1417_0_growReduce_NONNULL(x0, NULL)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(pos(s(01))), NULL)
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2134_1_growReduce_InvokeMethod(1880_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)))))))))))
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1750_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1719_1_growReduce_InvokeMethod(1880_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].

1417_0_growReduce_NONNULL(x0, NULL)
1719_1_growReduce_InvokeMethod(1423_0_growReduce_Return(pos(s(01))), NULL)
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))
2134_1_growReduce_InvokeMethod(1880_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)))))))))))
2134_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(NULL)))))))))
1750_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))))
1719_1_growReduce_InvokeMethod(1880_0_growReduce_Return, java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(x0)))

(13) Obligation:

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

1417_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1417_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[0]))))
1417_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1417_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1417_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]))))))))) → 1417_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.

1417_0_GROWREDUCE_NONNULL(pos(s(01)), java.lang.Object(x1[0])) → 1417_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(1417_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:

1417_0_GROWREDUCE_NONNULL(pos(s(s(01))), java.lang.Object(x1[1])) → 1417_0_GROWREDUCE_NONNULL(pos(01), java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(AlternatingGrowReduceRec.AlternatingGrowReduceRec(java.lang.Object(x1[1]))))))
1417_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]))))))))) → 1417_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:
163_0_createList_Duplicate(EOS(STATIC_163), i18) → 168_0_createList_ConstantStackPush(EOS(STATIC_168), i18)
168_0_createList_ConstantStackPush(EOS(STATIC_168), i18) → 174_0_createList_InvokeMethod(EOS(STATIC_174), i18)
174_0_createList_InvokeMethod(EOS(STATIC_174), i18) → 179_0_<init>_Load(EOS(STATIC_179), i18)
179_0_<init>_Load(EOS(STATIC_179), i18) → 190_0_<init>_InvokeMethod(EOS(STATIC_190), i18)
190_0_<init>_InvokeMethod(EOS(STATIC_190), i18) → 200_0_<init>_Load(EOS(STATIC_200), i18)
200_0_<init>_Load(EOS(STATIC_200), i18) → 207_0_<init>_Load(EOS(STATIC_207), i18)
207_0_<init>_Load(EOS(STATIC_207), i18) → 215_0_<init>_FieldAccess(EOS(STATIC_215), i18)
215_0_<init>_FieldAccess(EOS(STATIC_215), i18) → 221_0_<init>_Return(EOS(STATIC_221), i18)
221_0_<init>_Return(EOS(STATIC_221), i18) → 226_0_createList_Store(EOS(STATIC_226), i18)
226_0_createList_Store(EOS(STATIC_226), i18) → 229_0_createList_Load(EOS(STATIC_229), i18)
229_0_createList_Load(EOS(STATIC_229), i18) → 231_0_createList_ConstantStackPush(EOS(STATIC_231), i18, i18)
231_0_createList_ConstantStackPush(EOS(STATIC_231), i18, i18) → 236_0_createList_LE(EOS(STATIC_236), i18, i18, 1)
236_0_createList_LE(EOS(STATIC_236), i26, i26, matching1) → 239_0_createList_LE(EOS(STATIC_239), i26, i26, 1) | =(matching1, 1)
239_0_createList_LE(EOS(STATIC_239), 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) → 247_0_createList_ConstantStackPush(EOS(STATIC_247), i26)
247_0_createList_ConstantStackPush(EOS(STATIC_247), i26) → 260_0_createList_IntArithmetic(EOS(STATIC_260), i26, 1)
260_0_createList_IntArithmetic(EOS(STATIC_260), i26, matching1) → 263_0_createList_InvokeMethod(EOS(STATIC_263), -(i26, 1)) | &&(>(i26, 0), =(matching1, 1))
263_0_createList_InvokeMethod(EOS(STATIC_263), i30) → 267_1_createList_InvokeMethod(267_0_createList_New(EOS(STATIC_267), i30), i30)
267_0_createList_New(EOS(STATIC_267), i30) → 271_0_createList_New(EOS(STATIC_271), i30)
271_0_createList_New(EOS(STATIC_271), i30) → 156_0_createList_New(EOS(STATIC_156), i30)
156_0_createList_New(EOS(STATIC_156), i18) → 163_0_createList_Duplicate(EOS(STATIC_163), i18)
R rules:
236_0_createList_LE(EOS(STATIC_236), i25, i25, matching1) → 238_0_createList_LE(EOS(STATIC_238), i25, i25, 1) | =(matching1, 1)
238_0_createList_LE(EOS(STATIC_238), 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))
267_1_createList_InvokeMethod(243_0_createList_Return(EOS(STATIC_243)), matching1) → 288_0_createList_Return(EOS(STATIC_288), 1) | =(matching1, 1)
267_1_createList_InvokeMethod(358_0_createList_Return(EOS(STATIC_358)), i52) → 388_0_createList_Return(EOS(STATIC_388), i52)
288_0_createList_Return(EOS(STATIC_288), matching1) → 336_0_createList_Return(EOS(STATIC_336), 1) | =(matching1, 1)
336_0_createList_Return(EOS(STATIC_336), i45) → 342_0_createList_FieldAccess(EOS(STATIC_342))
342_0_createList_FieldAccess(EOS(STATIC_342)) → 350_0_createList_Load(EOS(STATIC_350))
350_0_createList_Load(EOS(STATIC_350)) → 358_0_createList_Return(EOS(STATIC_358))
388_0_createList_Return(EOS(STATIC_388), i52) → 336_0_createList_Return(EOS(STATIC_336), i52)

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

P rules:
163_0_createList_Duplicate(EOS(STATIC_163), x0) → 267_1_createList_InvokeMethod(163_0_createList_Duplicate(EOS(STATIC_163), -(x0, 1)), -(x0, 1)) | >(x0, 1)
R rules:
267_1_createList_InvokeMethod(243_0_createList_Return(EOS(STATIC_243)), 1) → 358_0_createList_Return(EOS(STATIC_358))
267_1_createList_InvokeMethod(358_0_createList_Return(EOS(STATIC_358)), x0) → 358_0_createList_Return(EOS(STATIC_358))

Filtered ground terms:

163_0_createList_Duplicate(x1, x2) → 163_0_createList_Duplicate(x2)
Cond_163_0_createList_Duplicate(x1, x2, x3) → Cond_163_0_createList_Duplicate(x1, x3)
358_0_createList_Return(x1) → 358_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:
163_0_createList_Duplicate(x0) → 267_1_createList_InvokeMethod(163_0_createList_Duplicate(-(x0, 1)), -(x0, 1)) | >(x0, 1)
R rules:
267_1_createList_InvokeMethod(243_0_createList_Return, 1) → 358_0_createList_Return
267_1_createList_InvokeMethod(358_0_createList_Return, x0) → 358_0_createList_Return

Performed bisimulation on rules. Used the following equivalence classes: {[243_0_createList_Return, 358_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:
163_0_CREATELIST_DUPLICATE(x0) → COND_163_0_CREATELIST_DUPLICATE(>(x0, 1), x0)
COND_163_0_CREATELIST_DUPLICATE(TRUE, x0) → 163_0_CREATELIST_DUPLICATE(-(x0, 1))
R rules:
267_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
267_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:
267_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
267_1_createList_InvokeMethod(243_0_createList_Return, x0) → 243_0_createList_Return

The integer pair graph contains the following rules and edges:
(0): 163_0_CREATELIST_DUPLICATE(x0[0]) → COND_163_0_CREATELIST_DUPLICATE(x0[0] > 1, x0[0])
(1): COND_163_0_CREATELIST_DUPLICATE(TRUE, x0[1]) → 163_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:
267_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@4768ae23 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 163_0_CREATELIST_DUPLICATE(x0) → COND_163_0_CREATELIST_DUPLICATE(>(x0, 1), x0) the following chains were created:

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

  (1)    (>(x0[0], 1)=TRUE∧x0[0]=x0[1] ⇒ 163_0_CREATELIST_DUPLICATE(x0[0])≥NonInfC∧163_0_CREATELIST_DUPLICATE(x0[0])≥COND_163_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])∧(U^Increasing(COND_163_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 ⇒ 163_0_CREATELIST_DUPLICATE(x0[0])≥NonInfC∧163_0_CREATELIST_DUPLICATE(x0[0])≥COND_163_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])∧(U^Increasing(COND_163_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_163_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_163_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_163_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_163_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_163_0_CREATELIST_DUPLICATE(TRUE, x0) → 163_0_CREATELIST_DUPLICATE(-(x0, 1)) the following chains were created:

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

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

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

  (8)    ((U^Increasing(163_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(163_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(163_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(163_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.

• 163_0_CREATELIST_DUPLICATE(x0) → COND_163_0_CREATELIST_DUPLICATE(>(x0, 1), x0)
  
  • (x0[0] ≥ 0 ⇒ (U^Increasing(COND_163_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_163_0_CREATELIST_DUPLICATE(TRUE, x0) → 163_0_CREATELIST_DUPLICATE(-(x0, 1))
  
  • ((U^Increasing(163_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(267_1_createList_InvokeMethod(x₁, x₂)) = [-1]   
POL(243_0_createList_Return) = [-1]   
POL(1) = [1]   
POL(163_0_CREATELIST_DUPLICATE(x₁)) = [2]x₁   
POL(COND_163_0_CREATELIST_DUPLICATE(x₁, x₂)) = [2]x₂   
POL(>(x₁, x₂)) = [-1]   
POL(-(x₁, x₂)) = x₁ + [-1]x₂   

The following pairs are in P_>:

COND_163_0_CREATELIST_DUPLICATE(TRUE, x0[1]) → 163_0_CREATELIST_DUPLICATE(-(x0[1], 1))

The following pairs are in P_bound:

163_0_CREATELIST_DUPLICATE(x0[0]) → COND_163_0_CREATELIST_DUPLICATE(>(x0[0], 1), x0[0])

The following pairs are in P_≥:

163_0_CREATELIST_DUPLICATE(x0[0]) → COND_163_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:
267_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
267_1_createList_InvokeMethod(243_0_createList_Return, x0) → 243_0_createList_Return

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


The set Q consists of the following terms:
267_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:
267_1_createList_InvokeMethod(243_0_createList_Return, 1) → 243_0_createList_Return
267_1_createList_InvokeMethod(243_0_createList_Return, x0) → 243_0_createList_Return

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


The set Q consists of the following terms:
267_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