/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.jar /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty termination of the given Bare JBC problem could be proven: (0) Bare JBC problem (1) BareJBCToJBCProof [EQUIVALENT, 96 ms] (2) JBC problem (3) JBCToGraph [EQUIVALENT, 927 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 0 ms] (6) AND (7) JBCTerminationSCC (8) SCCToIRSProof [SOUND, 332 ms] (9) IRSwT (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (11) IRSwT (12) IRSwTTerminationDigraphProof [EQUIVALENT, 95 ms] (13) IRSwT (14) IntTRSCompressionProof [EQUIVALENT, 0 ms] (15) IRSwT (16) TempFilterProof [SOUND, 43 ms] (17) IntTRS (18) PolynomialOrderProcessor [EQUIVALENT, 16 ms] (19) YES (20) JBCTerminationSCC (21) SCCToQDPProof [SOUND, 111 ms] (22) QDP (23) QDPSizeChangeProof [EQUIVALENT, 0 ms] (24) YES ---------------------------------------- (0) Obligation: need to prove termination of the following program: public class List { Tree value; List next; public List(Tree value, List next) { this.value = value; this.next = next; } } public class MirrorTree { public static void main(String[] args) { Random.args = args; Tree tree = Tree.createTree(); //Now mirror the left-most path: mirror(tree); } public static void mirror(Tree tree) { Tree cur = tree; while (cur != null) { Tree t = cur.left; cur.left = cur.right; cur.right = t; cur = cur.right; } } } public class Random { static String[] args; static int index = 0; public static int random() { String string = args[index]; index++; return string.length(); } } public class Tree { Tree left; Tree right; Object value; public Tree(Tree l, Tree r) { this.left = l; this.right = r; } public Tree() { } public static Tree createNode() { if (Random.random() == 0) { return null; } Tree result = new Tree(); return result; } public static Tree createTree() { Tree result = createNode(); List list = new List(result, null); int counter = Random.random(); while (counter > 0 && list != null) { Tree first = list.value; list = list.next; if (first != null) { Tree left = createNode(); Tree right = createNode(); first.left = left; first.right = right; list = new List(left, list); list = new List(right, list); } counter--; } return result; } public static void main(String[] args) { Random.args = args; createTree(); } } ---------------------------------------- (1) BareJBCToJBCProof (EQUIVALENT) initialized classpath ---------------------------------------- (2) Obligation: need to prove termination of the following program: public class List { Tree value; List next; public List(Tree value, List next) { this.value = value; this.next = next; } } public class MirrorTree { public static void main(String[] args) { Random.args = args; Tree tree = Tree.createTree(); //Now mirror the left-most path: mirror(tree); } public static void mirror(Tree tree) { Tree cur = tree; while (cur != null) { Tree t = cur.left; cur.left = cur.right; cur.right = t; cur = cur.right; } } } public class Random { static String[] args; static int index = 0; public static int random() { String string = args[index]; index++; return string.length(); } } public class Tree { Tree left; Tree right; Object value; public Tree(Tree l, Tree r) { this.left = l; this.right = r; } public Tree() { } public static Tree createNode() { if (Random.random() == 0) { return null; } Tree result = new Tree(); return result; } public static Tree createTree() { Tree result = createNode(); List list = new List(result, null); int counter = Random.random(); while (counter > 0 && list != null) { Tree first = list.value; list = list.next; if (first != null) { Tree left = createNode(); Tree right = createNode(); first.left = left; first.right = right; list = new List(left, list); list = new List(right, list); } counter--; } return result; } public static void main(String[] args) { Random.args = args; createTree(); } } ---------------------------------------- (3) JBCToGraph (EQUIVALENT) Constructed TerminationGraph. ---------------------------------------- (4) Obligation: Termination Graph based on JBC Program: MirrorTree.main([Ljava/lang/String;)V: Graph of 56 nodes with 1 SCC. Tree.createTree()LTree;: Graph of 404 nodes with 1 SCC. Tree.createNode()LTree;: Graph of 109 nodes with 0 SCCs. ---------------------------------------- (5) TerminationGraphToSCCProof (SOUND) Splitted TerminationGraph to 2 SCCss. ---------------------------------------- (6) Complex Obligation (AND) ---------------------------------------- (7) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: Tree.createTree()LTree; SCC calls the following helper methods: Tree.createNode()LTree; Performed SCC analyses: *Used field analysis yielded the following read fields: *List: [value, next] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (8) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 208 IRulesP rules: f6490_0_createTree_LE(EOS(STATIC_6490), o2213, i2884, i2884) -> f6492_0_createTree_LE(EOS(STATIC_6492), o2213, i2884, i2884) :|: TRUE f6492_0_createTree_LE(EOS(STATIC_6492), o2213, i2884, i2884) -> f6494_0_createTree_Load(EOS(STATIC_6494), o2213, i2884) :|: i2884 > 0 f6494_0_createTree_Load(EOS(STATIC_6494), o2213, i2884) -> f6496_0_createTree_NULL(EOS(STATIC_6496), o2213, i2884, o2213) :|: TRUE f6496_0_createTree_NULL(EOS(STATIC_6496), java.lang.Object(o2220sub), i2884, java.lang.Object(o2220sub)) -> f6498_0_createTree_NULL(EOS(STATIC_6498), java.lang.Object(o2220sub), i2884, java.lang.Object(o2220sub)) :|: TRUE f6498_0_createTree_NULL(EOS(STATIC_6498), java.lang.Object(o2220sub), i2884, java.lang.Object(o2220sub)) -> f6500_0_createTree_Load(EOS(STATIC_6500), java.lang.Object(o2220sub), i2884) :|: TRUE f6500_0_createTree_Load(EOS(STATIC_6500), java.lang.Object(o2220sub), i2884) -> f6503_0_createTree_FieldAccess(EOS(STATIC_6503), java.lang.Object(o2220sub), i2884, java.lang.Object(o2220sub)) :|: TRUE f6503_0_createTree_FieldAccess(EOS(STATIC_6503), java.lang.Object(List(EOC, o2227, o2228)), i2884, java.lang.Object(List(EOC, o2227, o2228))) -> f6504_0_createTree_FieldAccess(EOS(STATIC_6504), java.lang.Object(List(EOC, o2227, o2228)), i2884, java.lang.Object(List(EOC, o2227, o2228))) :|: TRUE f6504_0_createTree_FieldAccess(EOS(STATIC_6504), java.lang.Object(List(EOC, o2227, o2228)), i2884, java.lang.Object(List(EOC, o2227, o2228))) -> f6505_0_createTree_Store(EOS(STATIC_6505), java.lang.Object(List(EOC, o2227, o2228)), i2884, o2227) :|: TRUE f6505_0_createTree_Store(EOS(STATIC_6505), java.lang.Object(List(EOC, o2227, o2228)), i2884, o2227) -> f6506_0_createTree_Load(EOS(STATIC_6506), java.lang.Object(List(EOC, o2227, o2228)), i2884, o2227) :|: TRUE f6506_0_createTree_Load(EOS(STATIC_6506), java.lang.Object(List(EOC, o2227, o2228)), i2884, o2227) -> f6507_0_createTree_FieldAccess(EOS(STATIC_6507), i2884, o2227, java.lang.Object(List(EOC, o2227, o2228))) :|: TRUE f6507_0_createTree_FieldAccess(EOS(STATIC_6507), i2884, o2227, java.lang.Object(List(EOC, o2227, o2228))) -> f6508_0_createTree_Store(EOS(STATIC_6508), i2884, o2227, o2228) :|: TRUE f6508_0_createTree_Store(EOS(STATIC_6508), i2884, o2227, o2228) -> f6509_0_createTree_Load(EOS(STATIC_6509), o2228, i2884, o2227) :|: TRUE f6509_0_createTree_Load(EOS(STATIC_6509), o2228, i2884, o2227) -> f6510_0_createTree_NULL(EOS(STATIC_6510), o2228, i2884, o2227, o2227) :|: TRUE f6510_0_createTree_NULL(EOS(STATIC_6510), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(o2229sub)) -> f6511_0_createTree_NULL(EOS(STATIC_6511), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(o2229sub)) :|: TRUE f6510_0_createTree_NULL(EOS(STATIC_6510), o2228, i2884, NULL, NULL) -> f6512_0_createTree_NULL(EOS(STATIC_6512), o2228, i2884, NULL, NULL) :|: TRUE f6511_0_createTree_NULL(EOS(STATIC_6511), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(o2229sub)) -> f6513_0_createTree_InvokeMethod(EOS(STATIC_6513), o2228, i2884, java.lang.Object(o2229sub)) :|: TRUE f6513_0_createTree_InvokeMethod(EOS(STATIC_6513), o2228, i2884, java.lang.Object(o2229sub)) -> f6515_0_createNode_InvokeMethod(EOS(STATIC_6515)) :|: i2884 >= 1 && i2876 >= 1 f6513_0_createTree_InvokeMethod(EOS(STATIC_6513), o2228, i2884, java.lang.Object(o2229sub)) -> f6515_1_createNode_InvokeMethod(EOS(STATIC_6515), o2228, i2884, java.lang.Object(o2229sub)) :|: i2884 >= 1 && i2876 >= 1 f6515_0_createNode_InvokeMethod(EOS(STATIC_6515)) -> f6757_0_createNode_InvokeMethod(EOS(STATIC_6757)) :|: TRUE f6519_0_createNode_Return(EOS(STATIC_6519), o2228, i2884, java.lang.Object(o2229sub), NULL) -> f6525_0_createTree_Store(EOS(STATIC_6525), o2228, i2884, java.lang.Object(o2229sub), NULL) :|: TRUE f6525_0_createTree_Store(EOS(STATIC_6525), o2228, i2884, java.lang.Object(o2229sub), NULL) -> f6528_0_createTree_InvokeMethod(EOS(STATIC_6528), o2228, i2884, java.lang.Object(o2229sub), NULL) :|: TRUE f6528_0_createTree_InvokeMethod(EOS(STATIC_6528), o2228, i2884, java.lang.Object(o2229sub), NULL) -> f6531_0_createNode_InvokeMethod(EOS(STATIC_6531)) :|: i2884 >= 1 && i2893 >= 1 f6528_0_createTree_InvokeMethod(EOS(STATIC_6528), o2228, i2884, java.lang.Object(o2229sub), NULL) -> f6531_1_createNode_InvokeMethod(EOS(STATIC_6531), o2228, i2884, java.lang.Object(o2229sub), NULL) :|: i2884 >= 1 && i2893 >= 1 f6531_0_createNode_InvokeMethod(EOS(STATIC_6531)) -> f6777_0_createNode_InvokeMethod(EOS(STATIC_6777)) :|: TRUE f6538_0_createNode_Return(EOS(STATIC_6538), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL) -> f6550_0_createTree_Store(EOS(STATIC_6550), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL) :|: TRUE f6550_0_createTree_Store(EOS(STATIC_6550), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL) -> f6556_0_createTree_Load(EOS(STATIC_6556), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL) :|: TRUE f6556_0_createTree_Load(EOS(STATIC_6556), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL) -> f6562_0_createTree_Load(EOS(STATIC_6562), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL, java.lang.Object(o2229sub)) :|: TRUE f6562_0_createTree_Load(EOS(STATIC_6562), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL, java.lang.Object(o2229sub)) -> f6566_0_createTree_FieldAccess(EOS(STATIC_6566), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL, java.lang.Object(o2229sub), NULL) :|: TRUE f6566_0_createTree_FieldAccess(EOS(STATIC_6566), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6573_0_createTree_FieldAccess(EOS(STATIC_6573), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6573_0_createTree_FieldAccess(EOS(STATIC_6573), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6578_0_createTree_Load(EOS(STATIC_6578), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, NULL) :|: TRUE f6578_0_createTree_Load(EOS(STATIC_6578), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, NULL) -> f6582_0_createTree_Load(EOS(STATIC_6582), o2228, i2884, NULL, NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6582_0_createTree_Load(EOS(STATIC_6582), o2228, i2884, NULL, NULL, java.lang.Object(Tree(EOC))) -> f6586_0_createTree_FieldAccess(EOS(STATIC_6586), o2228, i2884, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6586_0_createTree_FieldAccess(EOS(STATIC_6586), o2228, i2884, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6590_0_createTree_New(EOS(STATIC_6590), o2228, i2884, NULL, NULL) :|: TRUE f6590_0_createTree_New(EOS(STATIC_6590), o2228, i2884, NULL, NULL) -> f6594_0_createTree_Duplicate(EOS(STATIC_6594), o2228, i2884, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6594_0_createTree_Duplicate(EOS(STATIC_6594), o2228, i2884, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6598_0_createTree_Load(EOS(STATIC_6598), o2228, i2884, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6598_0_createTree_Load(EOS(STATIC_6598), o2228, i2884, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6602_0_createTree_Load(EOS(STATIC_6602), o2228, i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6602_0_createTree_Load(EOS(STATIC_6602), o2228, i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6606_0_createTree_InvokeMethod(EOS(STATIC_6606), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) :|: TRUE f6606_0_createTree_InvokeMethod(EOS(STATIC_6606), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) -> f6610_0__init__Load(EOS(STATIC_6610), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) :|: TRUE f6610_0__init__Load(EOS(STATIC_6610), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) -> f6614_0__init__InvokeMethod(EOS(STATIC_6614), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6614_0__init__InvokeMethod(EOS(STATIC_6614), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6618_0__init__Load(EOS(STATIC_6618), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) :|: TRUE f6618_0__init__Load(EOS(STATIC_6618), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) -> f6622_0__init__Load(EOS(STATIC_6622), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6622_0__init__Load(EOS(STATIC_6622), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6626_0__init__FieldAccess(EOS(STATIC_6626), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6626_0__init__FieldAccess(EOS(STATIC_6626), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6630_0__init__Load(EOS(STATIC_6630), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) :|: TRUE f6630_0__init__Load(EOS(STATIC_6630), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) -> f6634_0__init__Load(EOS(STATIC_6634), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6634_0__init__Load(EOS(STATIC_6634), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6638_0__init__FieldAccess(EOS(STATIC_6638), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) :|: TRUE f6638_0__init__FieldAccess(EOS(STATIC_6638), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) -> f6642_0__init__Return(EOS(STATIC_6642), i2884, NULL, java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6642_0__init__Return(EOS(STATIC_6642), i2884, NULL, java.lang.Object(List(EOC, NULL, o2228))) -> f6646_0_createTree_Store(EOS(STATIC_6646), i2884, NULL, java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6646_0_createTree_Store(EOS(STATIC_6646), i2884, NULL, java.lang.Object(List(EOC, NULL, o2228))) -> f6650_0_createTree_New(EOS(STATIC_6650), java.lang.Object(List(EOC, NULL, o2228)), i2884, NULL) :|: TRUE f6650_0_createTree_New(EOS(STATIC_6650), java.lang.Object(List(EOC, NULL, o2228)), i2884, NULL) -> f6654_0_createTree_Duplicate(EOS(STATIC_6654), java.lang.Object(List(EOC, NULL, o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6654_0_createTree_Duplicate(EOS(STATIC_6654), java.lang.Object(List(EOC, NULL, o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6658_0_createTree_Load(EOS(STATIC_6658), java.lang.Object(List(EOC, NULL, o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6658_0_createTree_Load(EOS(STATIC_6658), java.lang.Object(List(EOC, NULL, o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6662_0_createTree_Load(EOS(STATIC_6662), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6662_0_createTree_Load(EOS(STATIC_6662), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6666_0_createTree_InvokeMethod(EOS(STATIC_6666), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6666_0_createTree_InvokeMethod(EOS(STATIC_6666), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228))) -> f6670_0__init__Load(EOS(STATIC_6670), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6670_0__init__Load(EOS(STATIC_6670), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228))) -> f6674_0__init__InvokeMethod(EOS(STATIC_6674), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6674_0__init__InvokeMethod(EOS(STATIC_6674), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6678_0__init__Load(EOS(STATIC_6678), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6678_0__init__Load(EOS(STATIC_6678), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228))) -> f6682_0__init__Load(EOS(STATIC_6682), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6682_0__init__Load(EOS(STATIC_6682), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6686_0__init__FieldAccess(EOS(STATIC_6686), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6686_0__init__FieldAccess(EOS(STATIC_6686), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6690_0__init__Load(EOS(STATIC_6690), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6690_0__init__Load(EOS(STATIC_6690), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228))) -> f6694_0__init__Load(EOS(STATIC_6694), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6694_0__init__Load(EOS(STATIC_6694), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6698_0__init__FieldAccess(EOS(STATIC_6698), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6698_0__init__FieldAccess(EOS(STATIC_6698), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228))) -> f6702_0__init__Return(EOS(STATIC_6702), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228))))) :|: TRUE f6702_0__init__Return(EOS(STATIC_6702), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228))))) -> f6706_0_createTree_Store(EOS(STATIC_6706), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228))))) :|: TRUE f6706_0_createTree_Store(EOS(STATIC_6706), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228))))) -> f6710_0_createTree_Inc(EOS(STATIC_6710), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228)))), i2884) :|: TRUE f6710_0_createTree_Inc(EOS(STATIC_6710), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228)))), i2884) -> f6714_0_createTree_JMP(EOS(STATIC_6714), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228)))), i2884 + -1) :|: TRUE f6714_0_createTree_JMP(EOS(STATIC_6714), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228)))), i3956) -> f6718_0_createTree_Load(EOS(STATIC_6718), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228)))), i3956) :|: TRUE f6718_0_createTree_Load(EOS(STATIC_6718), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228)))), i3956) -> f6489_0_createTree_Load(EOS(STATIC_6489), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228)))), i3956) :|: TRUE f6489_0_createTree_Load(EOS(STATIC_6489), o2213, i2877) -> f6490_0_createTree_LE(EOS(STATIC_6490), o2213, i2877, i2877) :|: TRUE f6540_0_createNode_Return(EOS(STATIC_6540), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC))) -> f6551_0_createTree_Store(EOS(STATIC_6551), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6551_0_createTree_Store(EOS(STATIC_6551), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC))) -> f6557_0_createTree_Load(EOS(STATIC_6557), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6557_0_createTree_Load(EOS(STATIC_6557), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC))) -> f6563_0_createTree_Load(EOS(STATIC_6563), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o2229sub)) :|: TRUE f6563_0_createTree_Load(EOS(STATIC_6563), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o2229sub)) -> f6567_0_createTree_FieldAccess(EOS(STATIC_6567), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o2229sub), NULL) :|: TRUE f6567_0_createTree_FieldAccess(EOS(STATIC_6567), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6574_0_createTree_FieldAccess(EOS(STATIC_6574), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6574_0_createTree_FieldAccess(EOS(STATIC_6574), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6579_0_createTree_Load(EOS(STATIC_6579), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6579_0_createTree_Load(EOS(STATIC_6579), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6583_0_createTree_Load(EOS(STATIC_6583), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6583_0_createTree_Load(EOS(STATIC_6583), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6587_0_createTree_FieldAccess(EOS(STATIC_6587), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6587_0_createTree_FieldAccess(EOS(STATIC_6587), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6591_0_createTree_New(EOS(STATIC_6591), o2228, i2884, NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6591_0_createTree_New(EOS(STATIC_6591), o2228, i2884, NULL, java.lang.Object(Tree(EOC))) -> f6595_0_createTree_Duplicate(EOS(STATIC_6595), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6595_0_createTree_Duplicate(EOS(STATIC_6595), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6599_0_createTree_Load(EOS(STATIC_6599), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6599_0_createTree_Load(EOS(STATIC_6599), o2228, i2884, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6603_0_createTree_Load(EOS(STATIC_6603), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6603_0_createTree_Load(EOS(STATIC_6603), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6607_0_createTree_InvokeMethod(EOS(STATIC_6607), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) :|: TRUE f6607_0_createTree_InvokeMethod(EOS(STATIC_6607), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) -> f6611_0__init__Load(EOS(STATIC_6611), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) :|: TRUE f6611_0__init__Load(EOS(STATIC_6611), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) -> f6615_0__init__InvokeMethod(EOS(STATIC_6615), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6615_0__init__InvokeMethod(EOS(STATIC_6615), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6619_0__init__Load(EOS(STATIC_6619), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) :|: TRUE f6619_0__init__Load(EOS(STATIC_6619), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228) -> f6623_0__init__Load(EOS(STATIC_6623), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6623_0__init__Load(EOS(STATIC_6623), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6627_0__init__FieldAccess(EOS(STATIC_6627), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6627_0__init__FieldAccess(EOS(STATIC_6627), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6631_0__init__Load(EOS(STATIC_6631), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) :|: TRUE f6631_0__init__Load(EOS(STATIC_6631), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) -> f6635_0__init__Load(EOS(STATIC_6635), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6635_0__init__Load(EOS(STATIC_6635), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6639_0__init__FieldAccess(EOS(STATIC_6639), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) :|: TRUE f6639_0__init__FieldAccess(EOS(STATIC_6639), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228) -> f6643_0__init__Return(EOS(STATIC_6643), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6643_0__init__Return(EOS(STATIC_6643), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) -> f6647_0_createTree_Store(EOS(STATIC_6647), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6647_0_createTree_Store(EOS(STATIC_6647), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) -> f6651_0_createTree_New(EOS(STATIC_6651), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(Tree(EOC))) :|: TRUE f6651_0_createTree_New(EOS(STATIC_6651), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(Tree(EOC))) -> f6655_0_createTree_Duplicate(EOS(STATIC_6655), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6655_0_createTree_Duplicate(EOS(STATIC_6655), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6659_0_createTree_Load(EOS(STATIC_6659), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6659_0_createTree_Load(EOS(STATIC_6659), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6663_0_createTree_Load(EOS(STATIC_6663), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6663_0_createTree_Load(EOS(STATIC_6663), java.lang.Object(List(EOC, NULL, o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6667_0_createTree_InvokeMethod(EOS(STATIC_6667), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6667_0_createTree_InvokeMethod(EOS(STATIC_6667), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) -> f6671_0__init__Load(EOS(STATIC_6671), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6671_0__init__Load(EOS(STATIC_6671), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) -> f6675_0__init__InvokeMethod(EOS(STATIC_6675), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6675_0__init__InvokeMethod(EOS(STATIC_6675), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6679_0__init__Load(EOS(STATIC_6679), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6679_0__init__Load(EOS(STATIC_6679), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))) -> f6683_0__init__Load(EOS(STATIC_6683), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6683_0__init__Load(EOS(STATIC_6683), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6687_0__init__FieldAccess(EOS(STATIC_6687), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6687_0__init__FieldAccess(EOS(STATIC_6687), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6691_0__init__Load(EOS(STATIC_6691), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6691_0__init__Load(EOS(STATIC_6691), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o2228))) -> f6695_0__init__Load(EOS(STATIC_6695), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6695_0__init__Load(EOS(STATIC_6695), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o2228)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6699_0__init__FieldAccess(EOS(STATIC_6699), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o2228))) :|: TRUE f6699_0__init__FieldAccess(EOS(STATIC_6699), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o2228))) -> f6703_0__init__Return(EOS(STATIC_6703), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))))) :|: TRUE f6703_0__init__Return(EOS(STATIC_6703), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))))) -> f6707_0_createTree_Store(EOS(STATIC_6707), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))))) :|: TRUE f6707_0_createTree_Store(EOS(STATIC_6707), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228))))) -> f6711_0_createTree_Inc(EOS(STATIC_6711), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)))), i2884) :|: TRUE f6711_0_createTree_Inc(EOS(STATIC_6711), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)))), i2884) -> f6715_0_createTree_JMP(EOS(STATIC_6715), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)))), i2884 + -1) :|: TRUE f6715_0_createTree_JMP(EOS(STATIC_6715), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)))), i3959) -> f6719_0_createTree_Load(EOS(STATIC_6719), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)))), i3959) :|: TRUE f6719_0_createTree_Load(EOS(STATIC_6719), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)))), i3959) -> f6489_0_createTree_Load(EOS(STATIC_6489), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228)))), i3959) :|: TRUE f6521_0_createNode_Return(EOS(STATIC_6521), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) -> f6526_0_createTree_Store(EOS(STATIC_6526), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) :|: TRUE f6526_0_createTree_Store(EOS(STATIC_6526), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) -> f6529_0_createTree_InvokeMethod(EOS(STATIC_6529), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) :|: TRUE f6529_0_createTree_InvokeMethod(EOS(STATIC_6529), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) -> f6532_0_createNode_InvokeMethod(EOS(STATIC_6532)) :|: i2884 >= 1 && i2903 >= 1 f6529_0_createTree_InvokeMethod(EOS(STATIC_6529), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) -> f6532_1_createNode_InvokeMethod(EOS(STATIC_6532), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) :|: i2884 >= 1 && i2903 >= 1 f6532_0_createNode_InvokeMethod(EOS(STATIC_6532)) -> f6967_0_createNode_InvokeMethod(EOS(STATIC_6967)) :|: TRUE f6544_0_createNode_Return(EOS(STATIC_6544), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL) -> f6553_0_createTree_Store(EOS(STATIC_6553), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6553_0_createTree_Store(EOS(STATIC_6553), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL) -> f6559_0_createTree_Load(EOS(STATIC_6559), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6559_0_createTree_Load(EOS(STATIC_6559), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL) -> f6564_0_createTree_Load(EOS(STATIC_6564), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o2229sub)) :|: TRUE f6564_0_createTree_Load(EOS(STATIC_6564), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o2229sub)) -> f6570_0_createTree_FieldAccess(EOS(STATIC_6570), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) :|: TRUE f6570_0_createTree_FieldAccess(EOS(STATIC_6570), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6576_0_createTree_FieldAccess(EOS(STATIC_6576), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6576_0_createTree_FieldAccess(EOS(STATIC_6576), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6580_0_createTree_Load(EOS(STATIC_6580), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6580_0_createTree_Load(EOS(STATIC_6580), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6584_0_createTree_Load(EOS(STATIC_6584), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6584_0_createTree_Load(EOS(STATIC_6584), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6588_0_createTree_FieldAccess(EOS(STATIC_6588), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6588_0_createTree_FieldAccess(EOS(STATIC_6588), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) -> f6592_0_createTree_New(EOS(STATIC_6592), o2228, i2884, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6592_0_createTree_New(EOS(STATIC_6592), o2228, i2884, java.lang.Object(Tree(EOC)), NULL) -> f6596_0_createTree_Duplicate(EOS(STATIC_6596), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6596_0_createTree_Duplicate(EOS(STATIC_6596), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6600_0_createTree_Load(EOS(STATIC_6600), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6600_0_createTree_Load(EOS(STATIC_6600), o2228, i2884, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6604_0_createTree_Load(EOS(STATIC_6604), o2228, i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6604_0_createTree_Load(EOS(STATIC_6604), o2228, i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6608_0_createTree_InvokeMethod(EOS(STATIC_6608), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) :|: TRUE f6608_0_createTree_InvokeMethod(EOS(STATIC_6608), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) -> f6612_0__init__Load(EOS(STATIC_6612), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) :|: TRUE f6612_0__init__Load(EOS(STATIC_6612), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) -> f6616_0__init__InvokeMethod(EOS(STATIC_6616), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6616_0__init__InvokeMethod(EOS(STATIC_6616), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6620_0__init__Load(EOS(STATIC_6620), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) :|: TRUE f6620_0__init__Load(EOS(STATIC_6620), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) -> f6624_0__init__Load(EOS(STATIC_6624), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6624_0__init__Load(EOS(STATIC_6624), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6628_0__init__FieldAccess(EOS(STATIC_6628), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6628_0__init__FieldAccess(EOS(STATIC_6628), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6632_0__init__Load(EOS(STATIC_6632), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) :|: TRUE f6632_0__init__Load(EOS(STATIC_6632), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) -> f6636_0__init__Load(EOS(STATIC_6636), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6636_0__init__Load(EOS(STATIC_6636), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6640_0__init__FieldAccess(EOS(STATIC_6640), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) :|: TRUE f6640_0__init__FieldAccess(EOS(STATIC_6640), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) -> f6644_0__init__Return(EOS(STATIC_6644), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6644_0__init__Return(EOS(STATIC_6644), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6648_0_createTree_Store(EOS(STATIC_6648), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6648_0_createTree_Store(EOS(STATIC_6648), i2884, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6652_0_createTree_New(EOS(STATIC_6652), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, NULL) :|: TRUE f6652_0_createTree_New(EOS(STATIC_6652), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, NULL) -> f6656_0_createTree_Duplicate(EOS(STATIC_6656), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6656_0_createTree_Duplicate(EOS(STATIC_6656), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6660_0_createTree_Load(EOS(STATIC_6660), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6660_0_createTree_Load(EOS(STATIC_6660), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6664_0_createTree_Load(EOS(STATIC_6664), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6664_0_createTree_Load(EOS(STATIC_6664), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6668_0_createTree_InvokeMethod(EOS(STATIC_6668), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6668_0_createTree_InvokeMethod(EOS(STATIC_6668), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6672_0__init__Load(EOS(STATIC_6672), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6672_0__init__Load(EOS(STATIC_6672), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6676_0__init__InvokeMethod(EOS(STATIC_6676), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6676_0__init__InvokeMethod(EOS(STATIC_6676), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6680_0__init__Load(EOS(STATIC_6680), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6680_0__init__Load(EOS(STATIC_6680), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6684_0__init__Load(EOS(STATIC_6684), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6684_0__init__Load(EOS(STATIC_6684), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6688_0__init__FieldAccess(EOS(STATIC_6688), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6688_0__init__FieldAccess(EOS(STATIC_6688), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6692_0__init__Load(EOS(STATIC_6692), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6692_0__init__Load(EOS(STATIC_6692), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6696_0__init__Load(EOS(STATIC_6696), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6696_0__init__Load(EOS(STATIC_6696), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6700_0__init__FieldAccess(EOS(STATIC_6700), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6700_0__init__FieldAccess(EOS(STATIC_6700), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6704_0__init__Return(EOS(STATIC_6704), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) :|: TRUE f6704_0__init__Return(EOS(STATIC_6704), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) -> f6708_0_createTree_Store(EOS(STATIC_6708), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) :|: TRUE f6708_0_createTree_Store(EOS(STATIC_6708), i2884, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) -> f6712_0_createTree_Inc(EOS(STATIC_6712), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i2884) :|: TRUE f6712_0_createTree_Inc(EOS(STATIC_6712), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i2884) -> f6716_0_createTree_JMP(EOS(STATIC_6716), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i2884 + -1) :|: TRUE f6716_0_createTree_JMP(EOS(STATIC_6716), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3964) -> f6720_0_createTree_Load(EOS(STATIC_6720), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3964) :|: TRUE f6720_0_createTree_Load(EOS(STATIC_6720), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3964) -> f6489_0_createTree_Load(EOS(STATIC_6489), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3964) :|: TRUE f6546_0_createNode_Return(EOS(STATIC_6546), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6554_0_createTree_Store(EOS(STATIC_6554), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6554_0_createTree_Store(EOS(STATIC_6554), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6560_0_createTree_Load(EOS(STATIC_6560), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6560_0_createTree_Load(EOS(STATIC_6560), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6565_0_createTree_Load(EOS(STATIC_6565), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o2229sub)) :|: TRUE f6565_0_createTree_Load(EOS(STATIC_6565), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o2229sub)) -> f6571_0_createTree_FieldAccess(EOS(STATIC_6571), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) :|: TRUE f6571_0_createTree_FieldAccess(EOS(STATIC_6571), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6577_0_createTree_FieldAccess(EOS(STATIC_6577), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6577_0_createTree_FieldAccess(EOS(STATIC_6577), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6581_0_createTree_Load(EOS(STATIC_6581), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6581_0_createTree_Load(EOS(STATIC_6581), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6585_0_createTree_Load(EOS(STATIC_6585), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6585_0_createTree_Load(EOS(STATIC_6585), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6589_0_createTree_FieldAccess(EOS(STATIC_6589), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6589_0_createTree_FieldAccess(EOS(STATIC_6589), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6593_0_createTree_New(EOS(STATIC_6593), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6593_0_createTree_New(EOS(STATIC_6593), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6597_0_createTree_Duplicate(EOS(STATIC_6597), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6597_0_createTree_Duplicate(EOS(STATIC_6597), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6601_0_createTree_Load(EOS(STATIC_6601), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6601_0_createTree_Load(EOS(STATIC_6601), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6605_0_createTree_Load(EOS(STATIC_6605), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6605_0_createTree_Load(EOS(STATIC_6605), o2228, i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6609_0_createTree_InvokeMethod(EOS(STATIC_6609), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) :|: TRUE f6609_0_createTree_InvokeMethod(EOS(STATIC_6609), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) -> f6613_0__init__Load(EOS(STATIC_6613), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) :|: TRUE f6613_0__init__Load(EOS(STATIC_6613), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) -> f6617_0__init__InvokeMethod(EOS(STATIC_6617), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6617_0__init__InvokeMethod(EOS(STATIC_6617), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6621_0__init__Load(EOS(STATIC_6621), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) :|: TRUE f6621_0__init__Load(EOS(STATIC_6621), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228) -> f6625_0__init__Load(EOS(STATIC_6625), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6625_0__init__Load(EOS(STATIC_6625), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o2228, java.lang.Object(List(EOC, NULL, NULL))) -> f6629_0__init__FieldAccess(EOS(STATIC_6629), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6629_0__init__FieldAccess(EOS(STATIC_6629), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o2228, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6633_0__init__Load(EOS(STATIC_6633), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) :|: TRUE f6633_0__init__Load(EOS(STATIC_6633), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) -> f6637_0__init__Load(EOS(STATIC_6637), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6637_0__init__Load(EOS(STATIC_6637), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6641_0__init__FieldAccess(EOS(STATIC_6641), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) :|: TRUE f6641_0__init__FieldAccess(EOS(STATIC_6641), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o2228) -> f6645_0__init__Return(EOS(STATIC_6645), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6645_0__init__Return(EOS(STATIC_6645), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6649_0_createTree_Store(EOS(STATIC_6649), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6649_0_createTree_Store(EOS(STATIC_6649), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6653_0_createTree_New(EOS(STATIC_6653), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(Tree(EOC))) :|: TRUE f6653_0_createTree_New(EOS(STATIC_6653), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(Tree(EOC))) -> f6657_0_createTree_Duplicate(EOS(STATIC_6657), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6657_0_createTree_Duplicate(EOS(STATIC_6657), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6661_0_createTree_Load(EOS(STATIC_6661), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6661_0_createTree_Load(EOS(STATIC_6661), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6665_0_createTree_Load(EOS(STATIC_6665), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6665_0_createTree_Load(EOS(STATIC_6665), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6669_0_createTree_InvokeMethod(EOS(STATIC_6669), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6669_0_createTree_InvokeMethod(EOS(STATIC_6669), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6673_0__init__Load(EOS(STATIC_6673), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6673_0__init__Load(EOS(STATIC_6673), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6677_0__init__InvokeMethod(EOS(STATIC_6677), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6677_0__init__InvokeMethod(EOS(STATIC_6677), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6681_0__init__Load(EOS(STATIC_6681), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6681_0__init__Load(EOS(STATIC_6681), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6685_0__init__Load(EOS(STATIC_6685), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6685_0__init__Load(EOS(STATIC_6685), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL))) -> f6689_0__init__FieldAccess(EOS(STATIC_6689), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6689_0__init__FieldAccess(EOS(STATIC_6689), i2884, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6693_0__init__Load(EOS(STATIC_6693), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6693_0__init__Load(EOS(STATIC_6693), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6697_0__init__Load(EOS(STATIC_6697), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6697_0__init__Load(EOS(STATIC_6697), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6701_0__init__FieldAccess(EOS(STATIC_6701), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) :|: TRUE f6701_0__init__FieldAccess(EOS(STATIC_6701), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))) -> f6705_0__init__Return(EOS(STATIC_6705), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) :|: TRUE f6705_0__init__Return(EOS(STATIC_6705), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) -> f6709_0_createTree_Store(EOS(STATIC_6709), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) :|: TRUE f6709_0_createTree_Store(EOS(STATIC_6709), i2884, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228))))) -> f6713_0_createTree_Inc(EOS(STATIC_6713), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i2884) :|: TRUE f6713_0_createTree_Inc(EOS(STATIC_6713), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i2884) -> f6717_0_createTree_JMP(EOS(STATIC_6717), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i2884 + -1) :|: TRUE f6717_0_createTree_JMP(EOS(STATIC_6717), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3971) -> f6721_0_createTree_Load(EOS(STATIC_6721), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3971) :|: TRUE f6721_0_createTree_Load(EOS(STATIC_6721), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3971) -> f6489_0_createTree_Load(EOS(STATIC_6489), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228)))), i3971) :|: TRUE f6512_0_createTree_NULL(EOS(STATIC_6512), o2228, i2884, NULL, NULL) -> f6514_0_createTree_Inc(EOS(STATIC_6514), o2228, i2884) :|: TRUE f6514_0_createTree_Inc(EOS(STATIC_6514), o2228, i2884) -> f6516_0_createTree_JMP(EOS(STATIC_6516), o2228, i2884 + -1) :|: TRUE f6516_0_createTree_JMP(EOS(STATIC_6516), o2228, i2889) -> f6518_0_createTree_Load(EOS(STATIC_6518), o2228, i2889) :|: TRUE f6518_0_createTree_Load(EOS(STATIC_6518), o2228, i2889) -> f6489_0_createTree_Load(EOS(STATIC_6489), o2228, i2889) :|: TRUE f6515_1_createNode_InvokeMethod(EOS(STATIC_6515), o2228, i2884, java.lang.Object(o2229sub)) -> f6519_0_createNode_Return(EOS(STATIC_6519), o2228, i2884, java.lang.Object(o2229sub), NULL) :|: TRUE f6515_1_createNode_InvokeMethod(EOS(STATIC_6515), o2228, i2884, java.lang.Object(o2229sub)) -> f6521_0_createNode_Return(EOS(STATIC_6521), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) :|: TRUE f6531_1_createNode_InvokeMethod(EOS(STATIC_6531), o2228, i2884, java.lang.Object(o2229sub), NULL) -> f6538_0_createNode_Return(EOS(STATIC_6538), o2228, i2884, java.lang.Object(o2229sub), NULL, NULL) :|: TRUE f6531_1_createNode_InvokeMethod(EOS(STATIC_6531), o2228, i2884, java.lang.Object(o2229sub), NULL) -> f6540_0_createNode_Return(EOS(STATIC_6540), o2228, i2884, java.lang.Object(o2229sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6532_1_createNode_InvokeMethod(EOS(STATIC_6532), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) -> f6544_0_createNode_Return(EOS(STATIC_6544), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6532_1_createNode_InvokeMethod(EOS(STATIC_6532), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC))) -> f6546_0_createNode_Return(EOS(STATIC_6546), o2228, i2884, java.lang.Object(o2229sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE Combined rules. Obtained 8 IRulesP rules: f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, NULL, o2228:0)), i2884:0, i2884:0) -> f6490_0_createTree_LE(EOS(STATIC_6490), o2228:0, i2884:0 - 1, i2884:0 - 1) :|: i2884:0 > 0 f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228:0)), i2884:0, i2884:0) -> f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o2228:0)))), i2884:0 - 1, i2884:0 - 1) :|: i2884:0 > 0 && i2893:0 > 0 && i2876:0 > 0 f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228:0)), i2884:0, i2884:0) -> f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228:0)))), i2884:0 - 1, i2884:0 - 1) :|: i2884:0 > 0 && i2903:0 > 0 && i2876:0 > 0 f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228:0)), i2884:0, i2884:0) -> f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o2228:0)))), i2884:0 - 1, i2884:0 - 1) :|: i2884:0 > 0 && i2893:0 > 0 && i2876:0 > 0 f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228:0)), i2884:0, i2884:0) -> f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o2228:0)))), i2884:0 - 1, i2884:0 - 1) :|: i2884:0 > 0 && i2903:0 > 0 && i2876:0 > 0 Removed following non-SCC rules: f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(o2229sub:0), o2228:0)), i2884:0, i2884:0) -> f6757_0_createNode_InvokeMethod(EOS(STATIC_6757)) :|: i2884:0 > 0 && i2876:0 > 0 f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(o2229sub:0), o2228:0)), i2884:0, i2884:0) -> f6777_0_createNode_InvokeMethod(EOS(STATIC_6777)) :|: i2884:0 > 0 && i2893:0 > 0 && i2876:0 > 0 f6490_0_createTree_LE(EOS(STATIC_6490), java.lang.Object(List(EOC, java.lang.Object(o2229sub:0), o2228:0)), i2884:0, i2884:0) -> f6967_0_createNode_InvokeMethod(EOS(STATIC_6967)) :|: i2884:0 > 0 && i2903:0 > 0 && i2876:0 > 0 Filtered constant ground arguments: f6490_0_createTree_LE(x1, x2, x3, x4) -> f6490_0_createTree_LE(x2, x3, x4) EOS(x1) -> EOS List(x1, x2, x3) -> List(x2, x3) Tree(x1) -> Tree Filtered duplicate arguments: f6490_0_createTree_LE(x1, x2, x3) -> f6490_0_createTree_LE(x1, x3) Finished conversion. Obtained 5 rules.P rules: f6490_0_createTree_LE(java.lang.Object(List(NULL, o2228:0)), i2884:0) -> f6490_0_createTree_LE(o2228:0, i2884:0 - 1) :|: i2884:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o2228:0)), i2884:0) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o2228:0)))), i2884:0 - 1) :|: i2893:0 > 0 && i2876:0 > 0 && i2884:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o2228:0)), i2884:0) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o2228:0)))), i2884:0 - 1) :|: i2903:0 > 0 && i2876:0 > 0 && i2884:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o2228:0)), i2884:0) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, o2228:0)))), i2884:0 - 1) :|: i2893:0 > 0 && i2876:0 > 0 && i2884:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o2228:0)), i2884:0) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o2228:0)))), i2884:0 - 1) :|: i2903:0 > 0 && i2876:0 > 0 && i2884:0 > 0 ---------------------------------------- (9) Obligation: Rules: f6490_0_createTree_LE(java.lang.Object(List(NULL, o2228:0)), i2884:0) -> f6490_0_createTree_LE(o2228:0, i2884:0 - 1) :|: i2884:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x)), x1) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x)))), x1 - 1) :|: x2 > 0 && x3 > 0 && x1 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x4)), x5) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x4)))), x5 - 1) :|: x6 > 0 && x7 > 0 && x5 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x8)), x9) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x8)))), x9 - 1) :|: x10 > 0 && x11 > 0 && x9 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x12)), x13) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x12)))), x13 - 1) :|: x14 > 0 && x15 > 0 && x13 > 0 ---------------------------------------- (10) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (11) Obligation: Rules: f6490_0_createTree_LE(java.lang.Object(List(NULL, o2228:0)), i2884:0) -> f6490_0_createTree_LE(o2228:0, arith) :|: i2884:0 > 0 && arith = i2884:0 - 1 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x16)), x17) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x16)))), x18) :|: x19 > 0 && x20 > 0 && x17 > 0 && x18 = x17 - 1 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x21)), x22) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x21)))), x23) :|: x24 > 0 && x25 > 0 && x22 > 0 && x23 = x22 - 1 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x26)), x27) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x26)))), x28) :|: x29 > 0 && x30 > 0 && x27 > 0 && x28 = x27 - 1 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x31)), x32) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x31)))), x33) :|: x34 > 0 && x35 > 0 && x32 > 0 && x33 = x32 - 1 ---------------------------------------- (12) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f6490_0_createTree_LE(java.lang.Object(List(NULL, o2228:0)), i2884:0) -> f6490_0_createTree_LE(o2228:0, arith) :|: i2884:0 > 0 && arith = i2884:0 - 1 (2) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x16)), x17) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x16)))), x18) :|: x19 > 0 && x20 > 0 && x17 > 0 && x18 = x17 - 1 (3) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x21)), x22) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x21)))), x23) :|: x24 > 0 && x25 > 0 && x22 > 0 && x23 = x22 - 1 (4) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x26)), x27) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x26)))), x28) :|: x29 > 0 && x30 > 0 && x27 > 0 && x28 = x27 - 1 (5) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x31)), x32) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x31)))), x33) :|: x34 > 0 && x35 > 0 && x32 > 0 && x33 = x32 - 1 Arcs: (1) -> (1), (2), (3), (4), (5) (2) -> (2), (3), (4), (5) (3) -> (2), (3), (4), (5) (4) -> (1) (5) -> (1) This digraph is fully evaluated! ---------------------------------------- (13) Obligation: Termination digraph: Nodes: (1) f6490_0_createTree_LE(java.lang.Object(List(NULL, o2228:0)), i2884:0) -> f6490_0_createTree_LE(o2228:0, arith) :|: i2884:0 > 0 && arith = i2884:0 - 1 (2) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x31)), x32) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x31)))), x33) :|: x34 > 0 && x35 > 0 && x32 > 0 && x33 = x32 - 1 (3) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x26)), x27) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x26)))), x28) :|: x29 > 0 && x30 > 0 && x27 > 0 && x28 = x27 - 1 (4) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x16)), x17) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x16)))), x18) :|: x19 > 0 && x20 > 0 && x17 > 0 && x18 = x17 - 1 (5) f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x21)), x22) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x21)))), x23) :|: x24 > 0 && x25 > 0 && x22 > 0 && x23 = x22 - 1 Arcs: (1) -> (1), (2), (3), (4), (5) (2) -> (1) (3) -> (1) (4) -> (2), (3), (4), (5) (5) -> (2), (3), (4), (5) This digraph is fully evaluated! ---------------------------------------- (14) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (15) Obligation: Rules: f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x16:0)), x17:0) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x16:0)))), x17:0 - 1) :|: x19:0 > 0 && x20:0 > 0 && x17:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x21:0)), x22:0) -> f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x21:0)))), x22:0 - 1) :|: x24:0 > 0 && x25:0 > 0 && x22:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x26:0)), x27:0) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x26:0)))), x27:0 - 1) :|: x29:0 > 0 && x30:0 > 0 && x27:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x31:0)), x32:0) -> f6490_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x31:0)))), x32:0 - 1) :|: x34:0 > 0 && x35:0 > 0 && x32:0 > 0 f6490_0_createTree_LE(java.lang.Object(List(NULL, o2228:0:0)), i2884:0:0) -> f6490_0_createTree_LE(o2228:0:0, i2884:0:0 - 1) :|: i2884:0:0 > 0 ---------------------------------------- (16) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f6490_0_createTree_LE(VARIABLE, INTEGER) java.lang.Object(VARIABLE) List(VARIABLE, VARIABLE) Tree() NULL() Replaced non-predefined constructor symbols by 0. ---------------------------------------- (17) Obligation: Rules: f6490_0_createTree_LE(c, x17:0) -> f6490_0_createTree_LE(c1, c2) :|: c2 = x17:0 - 1 && (c1 = 0 && c = 0) && (x19:0 > 0 && x20:0 > 0 && x17:0 > 0) f6490_0_createTree_LE(c12, i2884:0:0) -> f6490_0_createTree_LE(o2228:0:0, c13) :|: c13 = i2884:0:0 - 1 && c12 = 0 && i2884:0:0 > 0 ---------------------------------------- (18) PolynomialOrderProcessor (EQUIVALENT) Found the following polynomial interpretation: [f6490_0_createTree_LE(x, x1)] = x1 The following rules are decreasing: f6490_0_createTree_LE(c, x17:0) -> f6490_0_createTree_LE(c1, c2) :|: c2 = x17:0 - 1 && (c1 = 0 && c = 0) && (x19:0 > 0 && x20:0 > 0 && x17:0 > 0) f6490_0_createTree_LE(c12, i2884:0:0) -> f6490_0_createTree_LE(o2228:0:0, c13) :|: c13 = i2884:0:0 - 1 && c12 = 0 && i2884:0:0 > 0 The following rules are bounded: f6490_0_createTree_LE(c, x17:0) -> f6490_0_createTree_LE(c1, c2) :|: c2 = x17:0 - 1 && (c1 = 0 && c = 0) && (x19:0 > 0 && x20:0 > 0 && x17:0 > 0) f6490_0_createTree_LE(c12, i2884:0:0) -> f6490_0_createTree_LE(o2228:0:0, c13) :|: c13 = i2884:0:0 - 1 && c12 = 0 && i2884:0:0 > 0 ---------------------------------------- (19) YES ---------------------------------------- (20) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: MirrorTree.main([Ljava/lang/String;)V SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *Tree: [left, right] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (21) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 19 rules for P and 0 rules for R.P rules: f4753_0_mirror_NULL(EOS(STATIC_4753), java.lang.Object(o1172sub), java.lang.Object(o1172sub)) -> f4757_0_mirror_NULL(EOS(STATIC_4757), java.lang.Object(o1172sub), java.lang.Object(o1172sub)) :|: TRUE f4757_0_mirror_NULL(EOS(STATIC_4757), java.lang.Object(o1172sub), java.lang.Object(o1172sub)) -> f4761_0_mirror_Load(EOS(STATIC_4761), java.lang.Object(o1172sub)) :|: TRUE f4761_0_mirror_Load(EOS(STATIC_4761), java.lang.Object(o1172sub)) -> f4769_0_mirror_FieldAccess(EOS(STATIC_4769), java.lang.Object(o1172sub), java.lang.Object(o1172sub)) :|: TRUE f4769_0_mirror_FieldAccess(EOS(STATIC_4769), java.lang.Object(Tree(EOC, o1177, o1178)), java.lang.Object(Tree(EOC, o1177, o1178))) -> f4785_0_mirror_FieldAccess(EOS(STATIC_4785), java.lang.Object(Tree(EOC, o1177, o1178)), java.lang.Object(Tree(EOC, o1177, o1178))) :|: TRUE f4785_0_mirror_FieldAccess(EOS(STATIC_4785), java.lang.Object(Tree(EOC, o1177, o1178)), java.lang.Object(Tree(EOC, o1177, o1178))) -> f4789_0_mirror_Store(EOS(STATIC_4789), java.lang.Object(Tree(EOC, o1177, o1178)), o1177) :|: TRUE f4789_0_mirror_Store(EOS(STATIC_4789), java.lang.Object(Tree(EOC, o1177, o1178)), o1177) -> f4791_0_mirror_Load(EOS(STATIC_4791), java.lang.Object(Tree(EOC, o1177, o1178)), o1177) :|: TRUE f4791_0_mirror_Load(EOS(STATIC_4791), java.lang.Object(Tree(EOC, o1177, o1178)), o1177) -> f4821_0_mirror_Load(EOS(STATIC_4821), java.lang.Object(Tree(EOC, o1177, o1178)), o1177, java.lang.Object(Tree(EOC, o1177, o1178))) :|: TRUE f4821_0_mirror_Load(EOS(STATIC_4821), java.lang.Object(Tree(EOC, o1177, o1178)), o1177, java.lang.Object(Tree(EOC, o1177, o1178))) -> f5148_0_mirror_FieldAccess(EOS(STATIC_5148), java.lang.Object(Tree(EOC, o1177, o1178)), o1177, java.lang.Object(Tree(EOC, o1177, o1178)), java.lang.Object(Tree(EOC, o1177, o1178))) :|: TRUE f5148_0_mirror_FieldAccess(EOS(STATIC_5148), java.lang.Object(Tree(EOC, o1177, o1178)), o1177, java.lang.Object(Tree(EOC, o1177, o1178)), java.lang.Object(Tree(EOC, o1177, o1178))) -> f5159_0_mirror_FieldAccess(EOS(STATIC_5159), java.lang.Object(Tree(EOC, o1177, o1178)), o1177, java.lang.Object(Tree(EOC, o1177, o1178)), o1178) :|: TRUE f5159_0_mirror_FieldAccess(EOS(STATIC_5159), java.lang.Object(Tree(EOC, o1177, o1178)), o1177, java.lang.Object(Tree(EOC, o1177, o1178)), o1178) -> f5170_0_mirror_Load(EOS(STATIC_5170), java.lang.Object(Tree(EOC, o1178, o1178)), o1177) :|: TRUE f5170_0_mirror_Load(EOS(STATIC_5170), java.lang.Object(Tree(EOC, o1178, o1178)), o1177) -> f5190_0_mirror_Load(EOS(STATIC_5190), java.lang.Object(Tree(EOC, o1178, o1178)), o1177, java.lang.Object(Tree(EOC, o1178, o1178))) :|: TRUE f5190_0_mirror_Load(EOS(STATIC_5190), java.lang.Object(Tree(EOC, o1178, o1178)), o1177, java.lang.Object(Tree(EOC, o1178, o1178))) -> f5223_0_mirror_FieldAccess(EOS(STATIC_5223), java.lang.Object(Tree(EOC, o1178, o1178)), java.lang.Object(Tree(EOC, o1178, o1178)), o1177) :|: TRUE f5223_0_mirror_FieldAccess(EOS(STATIC_5223), java.lang.Object(Tree(EOC, o1178, o1178)), java.lang.Object(Tree(EOC, o1178, o1178)), o1177) -> f5238_0_mirror_Load(EOS(STATIC_5238), java.lang.Object(Tree(EOC, o1178, o1177))) :|: TRUE f5238_0_mirror_Load(EOS(STATIC_5238), java.lang.Object(Tree(EOC, o1178, o1177))) -> f5240_0_mirror_FieldAccess(EOS(STATIC_5240), java.lang.Object(Tree(EOC, o1178, o1177))) :|: TRUE f5240_0_mirror_FieldAccess(EOS(STATIC_5240), java.lang.Object(Tree(EOC, o1178, o1177))) -> f5378_0_mirror_Store(EOS(STATIC_5378), o1177) :|: TRUE f5378_0_mirror_Store(EOS(STATIC_5378), o1177) -> f5662_0_mirror_JMP(EOS(STATIC_5662), o1177) :|: TRUE f5662_0_mirror_JMP(EOS(STATIC_5662), o1177) -> f5688_0_mirror_Load(EOS(STATIC_5688), o1177) :|: TRUE f5688_0_mirror_Load(EOS(STATIC_5688), o1177) -> f4749_0_mirror_Load(EOS(STATIC_4749), o1177) :|: TRUE f4749_0_mirror_Load(EOS(STATIC_4749), o1166) -> f4753_0_mirror_NULL(EOS(STATIC_4753), o1166, o1166) :|: TRUE R rules: Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: f4753_0_mirror_NULL(EOS(STATIC_4753), java.lang.Object(Tree(EOC, o1177:0, o1178:0)), java.lang.Object(Tree(EOC, o1177:0, o1178:0))) -> f4753_0_mirror_NULL(EOS(STATIC_4753), o1177:0, o1177:0) :|: TRUE R rules: Filtered ground terms: f4753_0_mirror_NULL(x1, x2, x3) -> f4753_0_mirror_NULL(x2, x3) EOS(x1) -> EOS Tree(x1, x2, x3) -> Tree(x2, x3) Filtered unneeded arguments: Tree(x1, x2) -> Tree(x1) Filtered duplicate args: f4753_0_mirror_NULL(x1, x2) -> f4753_0_mirror_NULL(x2) Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules: F4753_0_MIRROR_NULL(java.lang.Object(Tree(o1177:0:0))) -> F4753_0_MIRROR_NULL(o1177:0:0) :|: TRUE R rules: ---------------------------------------- (22) Obligation: Q DP problem: The TRS P consists of the following rules: F4753_0_MIRROR_NULL(java.lang.Object(Tree(o1177:0:0))) -> F4753_0_MIRROR_NULL(o1177:0:0) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (23) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *F4753_0_MIRROR_NULL(java.lang.Object(Tree(o1177:0:0))) -> F4753_0_MIRROR_NULL(o1177:0:0) The graph contains the following edges 1 > 1 ---------------------------------------- (24) YES