/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, 1316 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 0 ms] (6) AND (7) JBCTerminationSCC (8) SCCToQDPProof [SOUND, 352 ms] (9) QDP (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] (11) YES (12) JBCTerminationSCC (13) SCCToIRSProof [SOUND, 322 ms] (14) IRSwT (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (16) IRSwT (17) IRSwTTerminationDigraphProof [EQUIVALENT, 81 ms] (18) IRSwT (19) IntTRSCompressionProof [EQUIVALENT, 0 ms] (20) IRSwT (21) TempFilterProof [SOUND, 46 ms] (22) IntTRS (23) PolynomialOrderProcessor [EQUIVALENT, 0 ms] (24) YES ---------------------------------------- (0) Obligation: need to prove termination of the following program: public class DuplicateNodes { public static void main(String[] args) { Random.args = args; Tree tree = Tree.createTree(); randomlyDuplicate(tree); } public static void randomlyDuplicate(Tree tree) { Tree cur = tree; while (cur != null) { if (Random.random() > 42) { cur.right = new Tree(cur.left, cur.right); cur = cur.left; } else { cur.left = new Tree(cur.left, cur.right); cur = cur.right; } } } } public class List { Tree value; List next; public List(Tree value, List next) { this.value = value; this.next = next; } } 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 DuplicateNodes { public static void main(String[] args) { Random.args = args; Tree tree = Tree.createTree(); randomlyDuplicate(tree); } public static void randomlyDuplicate(Tree tree) { Tree cur = tree; while (cur != null) { if (Random.random() > 42) { cur.right = new Tree(cur.left, cur.right); cur = cur.left; } else { cur.left = new Tree(cur.left, cur.right); cur = cur.right; } } } } public class List { Tree value; List next; public List(Tree value, List next) { this.value = value; this.next = next; } } 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: DuplicateNodes.main([Ljava/lang/String;)V: Graph of 45 nodes with 0 SCCs. Tree.createTree()LTree;: Graph of 407 nodes with 1 SCC. Tree.createNode()LTree;: Graph of 109 nodes with 0 SCCs. DuplicateNodes.randomlyDuplicate(LTree;)V: Graph of 129 nodes with 1 SCC. ---------------------------------------- (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: DuplicateNodes.randomlyDuplicate(LTree;)V SCC calls the following helper methods: Performed SCC analyses: *Used field analysis yielded the following read fields: *java.lang.String: [count] *Tree: [left, right] *Marker field analysis yielded the following relations that could be markers: ---------------------------------------- (8) SCCToQDPProof (SOUND) Transformed TerminationGraph SCC to QDP. Log: Generated 76 rules for P and 0 rules for R.P rules: f6199_0_randomlyDuplicate_NULL(EOS(STATIC_6199(java.lang.Object(o3820sub))), java.lang.Object(o3897sub), java.lang.Object(o3897sub)) -> f6204_0_randomlyDuplicate_NULL(EOS(STATIC_6204(java.lang.Object(o3820sub))), java.lang.Object(o3897sub), java.lang.Object(o3897sub)) :|: TRUE f6204_0_randomlyDuplicate_NULL(EOS(STATIC_6204(java.lang.Object(o3820sub))), java.lang.Object(o3897sub), java.lang.Object(o3897sub)) -> f6210_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6210(java.lang.Object(o3820sub))), java.lang.Object(o3897sub)) :|: TRUE f6210_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6210(java.lang.Object(o3820sub))), java.lang.Object(o3897sub)) -> f6216_0_random_FieldAccess(EOS(STATIC_6216(java.lang.Object(o3820sub))), java.lang.Object(o3897sub)) :|: TRUE f6216_0_random_FieldAccess(EOS(STATIC_6216(java.lang.Object(o3820sub))), java.lang.Object(o3897sub)) -> f6226_0_random_FieldAccess(EOS(STATIC_6226(java.lang.Object(o3820sub))), java.lang.Object(o3897sub), java.lang.Object(o3820sub)) :|: TRUE f6226_0_random_FieldAccess(EOS(STATIC_6226(java.lang.Object(o3820sub))), java.lang.Object(o3897sub), java.lang.Object(o3820sub)) -> f6233_0_random_ArrayAccess(EOS(STATIC_6233(java.lang.Object(o3820sub))), java.lang.Object(o3897sub), java.lang.Object(o3820sub)) :|: TRUE f6233_0_random_ArrayAccess(EOS(STATIC_6233(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(ARRAY(i5363))) -> f6239_0_random_ArrayAccess(EOS(STATIC_6239(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(ARRAY(i5363))) :|: TRUE f6239_0_random_ArrayAccess(EOS(STATIC_6239(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(ARRAY(i5363))) -> f6245_0_random_ArrayAccess(EOS(STATIC_6245(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(ARRAY(i5363))) :|: TRUE f6245_0_random_ArrayAccess(EOS(STATIC_6245(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(ARRAY(i5363))) -> f6251_0_random_Store(EOS(STATIC_6251(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) :|: TRUE f6251_0_random_Store(EOS(STATIC_6251(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) -> f6257_0_random_FieldAccess(EOS(STATIC_6257(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) :|: TRUE f6257_0_random_FieldAccess(EOS(STATIC_6257(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) -> f6258_0_random_ConstantStackPush(EOS(STATIC_6258(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) :|: TRUE f6258_0_random_ConstantStackPush(EOS(STATIC_6258(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) -> f6264_0_random_IntArithmetic(EOS(STATIC_6264(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) :|: TRUE f6264_0_random_IntArithmetic(EOS(STATIC_6264(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) -> f6270_0_random_FieldAccess(EOS(STATIC_6270(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) :|: TRUE f6270_0_random_FieldAccess(EOS(STATIC_6270(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) -> f6275_0_random_Load(EOS(STATIC_6275(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) :|: TRUE f6275_0_random_Load(EOS(STATIC_6275(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) -> f6281_0_random_InvokeMethod(EOS(STATIC_6281(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), o3943) :|: TRUE f6281_0_random_InvokeMethod(EOS(STATIC_6281(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4302sub)) -> f6287_0_random_InvokeMethod(EOS(STATIC_6287(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4302sub)) :|: TRUE f6287_0_random_InvokeMethod(EOS(STATIC_6287(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4348sub)) -> f6293_0_random_InvokeMethod(EOS(STATIC_6293(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4348sub)) :|: TRUE f6293_0_random_InvokeMethod(EOS(STATIC_6293(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4348sub)) -> f6300_0_length_Load(EOS(STATIC_6300(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4348sub)) :|: TRUE f6300_0_length_Load(EOS(STATIC_6300(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4348sub)) -> f6311_0_length_FieldAccess(EOS(STATIC_6311(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o4348sub)) :|: TRUE f6311_0_length_FieldAccess(EOS(STATIC_6311(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(java.lang.String(EOC, i5840))) -> f6318_0_length_FieldAccess(EOS(STATIC_6318(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(java.lang.String(EOC, i5840))) :|: i5840 >= 0 f6318_0_length_FieldAccess(EOS(STATIC_6318(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(java.lang.String(EOC, i5840))) -> f6324_0_length_Return(EOS(STATIC_6324(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5840) :|: TRUE f6324_0_length_Return(EOS(STATIC_6324(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5840) -> f6329_0_random_Return(EOS(STATIC_6329(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5840) :|: TRUE f6329_0_random_Return(EOS(STATIC_6329(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5840) -> f6333_0_randomlyDuplicate_ConstantStackPush(EOS(STATIC_6333(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5840) :|: TRUE f6333_0_randomlyDuplicate_ConstantStackPush(EOS(STATIC_6333(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5840) -> f6337_0_randomlyDuplicate_LE(EOS(STATIC_6337(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5840, 42) :|: TRUE f6337_0_randomlyDuplicate_LE(EOS(STATIC_6337(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5882, matching1) -> f6342_0_randomlyDuplicate_LE(EOS(STATIC_6342(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5882, 42) :|: TRUE && matching1 = 42 f6337_0_randomlyDuplicate_LE(EOS(STATIC_6337(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5883, matching1) -> f6343_0_randomlyDuplicate_LE(EOS(STATIC_6343(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5883, 42) :|: TRUE && matching1 = 42 f6342_0_randomlyDuplicate_LE(EOS(STATIC_6342(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5882, matching1) -> f6348_0_randomlyDuplicate_Load(EOS(STATIC_6348(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub)) :|: i5882 <= 42 && matching1 = 42 f6348_0_randomlyDuplicate_Load(EOS(STATIC_6348(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub)) -> f6354_0_randomlyDuplicate_New(EOS(STATIC_6354(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub)) :|: TRUE f6354_0_randomlyDuplicate_New(EOS(STATIC_6354(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub)) -> f6360_0_randomlyDuplicate_Duplicate(EOS(STATIC_6360(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6360_0_randomlyDuplicate_Duplicate(EOS(STATIC_6360(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6366_0_randomlyDuplicate_Load(EOS(STATIC_6366(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6366_0_randomlyDuplicate_Load(EOS(STATIC_6366(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6371_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6371(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(o3897sub)) :|: TRUE f6371_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6371(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4424, o4425))) -> f6376_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6376(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4424, o4425))) :|: TRUE f6376_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6376(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4424, o4425))) -> f6381_0_randomlyDuplicate_Load(EOS(STATIC_6381(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424) :|: TRUE f6381_0_randomlyDuplicate_Load(EOS(STATIC_6381(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424) -> f6386_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6386(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, java.lang.Object(Tree(EOC, o4424, o4425))) :|: TRUE f6386_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6386(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, java.lang.Object(Tree(EOC, o4424, o4425))) -> f6391_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6391(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425) :|: TRUE f6391_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6391(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425) -> f6396_0__init__Load(EOS(STATIC_6396(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425) :|: TRUE f6396_0__init__Load(EOS(STATIC_6396(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425) -> f6405_0__init__InvokeMethod(EOS(STATIC_6405(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6405_0__init__InvokeMethod(EOS(STATIC_6405(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6410_0__init__Load(EOS(STATIC_6410(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425) :|: TRUE f6410_0__init__Load(EOS(STATIC_6410(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425) -> f6416_0__init__Load(EOS(STATIC_6416(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6416_0__init__Load(EOS(STATIC_6416(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4424, o4425, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6421_0__init__FieldAccess(EOS(STATIC_6421(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4425, java.lang.Object(Tree(EOC, NULL, NULL)), o4424) :|: TRUE f6421_0__init__FieldAccess(EOS(STATIC_6421(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4425, java.lang.Object(Tree(EOC, NULL, NULL)), o4424) -> f6424_0__init__Load(EOS(STATIC_6424(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, NULL)), java.lang.Object(Tree(EOC, o4424, NULL)), o4425) :|: TRUE f6424_0__init__Load(EOS(STATIC_6424(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, NULL)), java.lang.Object(Tree(EOC, o4424, NULL)), o4425) -> f6426_0__init__Load(EOS(STATIC_6426(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, NULL)), o4425, java.lang.Object(Tree(EOC, o4424, NULL))) :|: TRUE f6426_0__init__Load(EOS(STATIC_6426(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, NULL)), o4425, java.lang.Object(Tree(EOC, o4424, NULL))) -> f6429_0__init__FieldAccess(EOS(STATIC_6429(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, NULL)), java.lang.Object(Tree(EOC, o4424, NULL)), o4425) :|: TRUE f6429_0__init__FieldAccess(EOS(STATIC_6429(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, NULL)), java.lang.Object(Tree(EOC, o4424, NULL)), o4425) -> f6437_0__init__Return(EOS(STATIC_6437(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425))) :|: TRUE f6437_0__init__Return(EOS(STATIC_6437(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425))) -> f6442_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6442(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425))) :|: TRUE f6442_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6442(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425)), java.lang.Object(Tree(EOC, o4424, o4425))) -> f6447_0_randomlyDuplicate_Load(EOS(STATIC_6447(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4424, o4425)), o4425))) :|: TRUE f6447_0_randomlyDuplicate_Load(EOS(STATIC_6447(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4424, o4425)), o4425))) -> f6451_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6451(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4424, o4425)), o4425))) :|: TRUE f6451_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6451(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4424, o4425)), o4425))) -> f6457_0_randomlyDuplicate_Store(EOS(STATIC_6457(java.lang.Object(ARRAY(i5363)))), o4425) :|: TRUE f6457_0_randomlyDuplicate_Store(EOS(STATIC_6457(java.lang.Object(ARRAY(i5363)))), o4425) -> f6460_0_randomlyDuplicate_JMP(EOS(STATIC_6460(java.lang.Object(ARRAY(i5363)))), o4425) :|: TRUE f6460_0_randomlyDuplicate_JMP(EOS(STATIC_6460(java.lang.Object(ARRAY(i5363)))), o4425) -> f6462_0_randomlyDuplicate_Load(EOS(STATIC_6462(java.lang.Object(ARRAY(i5363)))), o4425) :|: TRUE f6462_0_randomlyDuplicate_Load(EOS(STATIC_6462(java.lang.Object(ARRAY(i5363)))), o4425) -> f6194_0_randomlyDuplicate_Load(EOS(STATIC_6194(java.lang.Object(ARRAY(i5363)))), o4425) :|: TRUE f6194_0_randomlyDuplicate_Load(EOS(STATIC_6194(java.lang.Object(o3820sub))), o3822) -> f6199_0_randomlyDuplicate_NULL(EOS(STATIC_6199(java.lang.Object(o3820sub))), o3822, o3822) :|: TRUE f6343_0_randomlyDuplicate_LE(EOS(STATIC_6343(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), i5883, matching1) -> f6349_0_randomlyDuplicate_Load(EOS(STATIC_6349(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub)) :|: i5883 > 42 && matching1 = 42 f6349_0_randomlyDuplicate_Load(EOS(STATIC_6349(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub)) -> f6355_0_randomlyDuplicate_New(EOS(STATIC_6355(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub)) :|: TRUE f6355_0_randomlyDuplicate_New(EOS(STATIC_6355(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub)) -> f6361_0_randomlyDuplicate_Duplicate(EOS(STATIC_6361(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6361_0_randomlyDuplicate_Duplicate(EOS(STATIC_6361(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6367_0_randomlyDuplicate_Load(EOS(STATIC_6367(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6367_0_randomlyDuplicate_Load(EOS(STATIC_6367(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6372_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6372(java.lang.Object(ARRAY(i5363)))), java.lang.Object(o3897sub), java.lang.Object(o3897sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(o3897sub)) :|: TRUE f6372_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6372(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4428, o4429))) -> f6377_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6377(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4428, o4429))) :|: TRUE f6377_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6377(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4428, o4429))) -> f6382_0_randomlyDuplicate_Load(EOS(STATIC_6382(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428) :|: TRUE f6382_0_randomlyDuplicate_Load(EOS(STATIC_6382(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428) -> f6387_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6387(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, java.lang.Object(Tree(EOC, o4428, o4429))) :|: TRUE f6387_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6387(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, java.lang.Object(Tree(EOC, o4428, o4429))) -> f6392_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6392(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429) :|: TRUE f6392_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6392(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429) -> f6397_0__init__Load(EOS(STATIC_6397(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429) :|: TRUE f6397_0__init__Load(EOS(STATIC_6397(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429) -> f6406_0__init__InvokeMethod(EOS(STATIC_6406(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6406_0__init__InvokeMethod(EOS(STATIC_6406(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6411_0__init__Load(EOS(STATIC_6411(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429) :|: TRUE f6411_0__init__Load(EOS(STATIC_6411(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429) -> f6417_0__init__Load(EOS(STATIC_6417(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6417_0__init__Load(EOS(STATIC_6417(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4428, o4429, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6422_0__init__FieldAccess(EOS(STATIC_6422(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4429, java.lang.Object(Tree(EOC, NULL, NULL)), o4428) :|: TRUE f6422_0__init__FieldAccess(EOS(STATIC_6422(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4429, java.lang.Object(Tree(EOC, NULL, NULL)), o4428) -> f6425_0__init__Load(EOS(STATIC_6425(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, NULL)), java.lang.Object(Tree(EOC, o4428, NULL)), o4429) :|: TRUE f6425_0__init__Load(EOS(STATIC_6425(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, NULL)), java.lang.Object(Tree(EOC, o4428, NULL)), o4429) -> f6427_0__init__Load(EOS(STATIC_6427(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, NULL)), o4429, java.lang.Object(Tree(EOC, o4428, NULL))) :|: TRUE f6427_0__init__Load(EOS(STATIC_6427(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, NULL)), o4429, java.lang.Object(Tree(EOC, o4428, NULL))) -> f6430_0__init__FieldAccess(EOS(STATIC_6430(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, NULL)), java.lang.Object(Tree(EOC, o4428, NULL)), o4429) :|: TRUE f6430_0__init__FieldAccess(EOS(STATIC_6430(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, NULL)), java.lang.Object(Tree(EOC, o4428, NULL)), o4429) -> f6438_0__init__Return(EOS(STATIC_6438(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429))) :|: TRUE f6438_0__init__Return(EOS(STATIC_6438(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429))) -> f6443_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6443(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429))) :|: TRUE f6443_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6443(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429)), java.lang.Object(Tree(EOC, o4428, o4429))) -> f6448_0_randomlyDuplicate_Load(EOS(STATIC_6448(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, java.lang.Object(Tree(EOC, o4428, o4429))))) :|: TRUE f6448_0_randomlyDuplicate_Load(EOS(STATIC_6448(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, java.lang.Object(Tree(EOC, o4428, o4429))))) -> f6452_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6452(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, java.lang.Object(Tree(EOC, o4428, o4429))))) :|: TRUE f6452_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6452(java.lang.Object(ARRAY(i5363)))), java.lang.Object(Tree(EOC, o4428, java.lang.Object(Tree(EOC, o4428, o4429))))) -> f6458_0_randomlyDuplicate_Store(EOS(STATIC_6458(java.lang.Object(ARRAY(i5363)))), o4428) :|: TRUE f6458_0_randomlyDuplicate_Store(EOS(STATIC_6458(java.lang.Object(ARRAY(i5363)))), o4428) -> f6461_0_randomlyDuplicate_JMP(EOS(STATIC_6461(java.lang.Object(ARRAY(i5363)))), o4428) :|: TRUE f6461_0_randomlyDuplicate_JMP(EOS(STATIC_6461(java.lang.Object(ARRAY(i5363)))), o4428) -> f6463_0_randomlyDuplicate_Load(EOS(STATIC_6463(java.lang.Object(ARRAY(i5363)))), o4428) :|: TRUE f6463_0_randomlyDuplicate_Load(EOS(STATIC_6463(java.lang.Object(ARRAY(i5363)))), o4428) -> f6194_0_randomlyDuplicate_Load(EOS(STATIC_6194(java.lang.Object(ARRAY(i5363)))), o4428) :|: TRUE R rules: Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: f6199_0_randomlyDuplicate_NULL(EOS(STATIC_6199(java.lang.Object(ARRAY(i5363:0)))), java.lang.Object(Tree(EOC, o4424:0, o4425:0)), java.lang.Object(Tree(EOC, o4424:0, o4425:0))) -> f6199_0_randomlyDuplicate_NULL(EOS(STATIC_6199(java.lang.Object(ARRAY(i5363:0)))), o4425:0, o4425:0) :|: TRUE f6199_0_randomlyDuplicate_NULL(EOS(STATIC_6199(java.lang.Object(ARRAY(i5363:0)))), java.lang.Object(Tree(EOC, o4428:0, o4429:0)), java.lang.Object(Tree(EOC, o4428:0, o4429:0))) -> f6199_0_randomlyDuplicate_NULL(EOS(STATIC_6199(java.lang.Object(ARRAY(i5363:0)))), o4428:0, o4428:0) :|: TRUE R rules: Filtered ground terms: Tree(x1, x2, x3) -> Tree(x2, x3) Filtered unneeded arguments: f6199_0_randomlyDuplicate_NULL(x1, x2, x3) -> f6199_0_randomlyDuplicate_NULL(x2, x3) Filtered duplicate args: f6199_0_randomlyDuplicate_NULL(x1, x2) -> f6199_0_randomlyDuplicate_NULL(x2) Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: F6199_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o4428:0:0, o4429:0:0))) -> F6199_0_RANDOMLYDUPLICATE_NULL(o4428:0:0) :|: TRUE F6199_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o4424:0:0, o4425:0:0))) -> F6199_0_RANDOMLYDUPLICATE_NULL(o4425:0:0) :|: TRUE R rules: ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: F6199_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o4428:0:0, o4429:0:0))) -> F6199_0_RANDOMLYDUPLICATE_NULL(o4428:0:0) F6199_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o4424:0:0, o4425:0:0))) -> F6199_0_RANDOMLYDUPLICATE_NULL(o4425:0:0) R is empty. Q is empty. We have to consider all minimal (P,Q,R)-chains. ---------------------------------------- (10) QDPSizeChangeProof (EQUIVALENT) By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. From the DPs we obtained the following set of size-change graphs: *F6199_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o4428:0:0, o4429:0:0))) -> F6199_0_RANDOMLYDUPLICATE_NULL(o4428:0:0) The graph contains the following edges 1 > 1 *F6199_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o4424:0:0, o4425:0:0))) -> F6199_0_RANDOMLYDUPLICATE_NULL(o4425:0:0) The graph contains the following edges 1 > 1 ---------------------------------------- (11) YES ---------------------------------------- (12) Obligation: SCC of termination graph based on JBC Program. SCC contains nodes from the following methods: 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: ---------------------------------------- (13) SCCToIRSProof (SOUND) Transformed FIGraph SCCs to intTRSs. Log: Generated rules. Obtained 208 IRulesP rules: f6332_0_createTree_LE(EOS(STATIC_6332), o4405, i5881, i5881) -> f6336_0_createTree_LE(EOS(STATIC_6336), o4405, i5881, i5881) :|: TRUE f6336_0_createTree_LE(EOS(STATIC_6336), o4405, i5881, i5881) -> f6341_0_createTree_Load(EOS(STATIC_6341), o4405, i5881) :|: i5881 > 0 f6341_0_createTree_Load(EOS(STATIC_6341), o4405, i5881) -> f6347_0_createTree_NULL(EOS(STATIC_6347), o4405, i5881, o4405) :|: TRUE f6347_0_createTree_NULL(EOS(STATIC_6347), java.lang.Object(o4412sub), i5881, java.lang.Object(o4412sub)) -> f6352_0_createTree_NULL(EOS(STATIC_6352), java.lang.Object(o4412sub), i5881, java.lang.Object(o4412sub)) :|: TRUE f6352_0_createTree_NULL(EOS(STATIC_6352), java.lang.Object(o4412sub), i5881, java.lang.Object(o4412sub)) -> f6358_0_createTree_Load(EOS(STATIC_6358), java.lang.Object(o4412sub), i5881) :|: TRUE f6358_0_createTree_Load(EOS(STATIC_6358), java.lang.Object(o4412sub), i5881) -> f6365_0_createTree_FieldAccess(EOS(STATIC_6365), java.lang.Object(o4412sub), i5881, java.lang.Object(o4412sub)) :|: TRUE f6365_0_createTree_FieldAccess(EOS(STATIC_6365), java.lang.Object(List(EOC, o4421, o4422)), i5881, java.lang.Object(List(EOC, o4421, o4422))) -> f6370_0_createTree_FieldAccess(EOS(STATIC_6370), java.lang.Object(List(EOC, o4421, o4422)), i5881, java.lang.Object(List(EOC, o4421, o4422))) :|: TRUE f6370_0_createTree_FieldAccess(EOS(STATIC_6370), java.lang.Object(List(EOC, o4421, o4422)), i5881, java.lang.Object(List(EOC, o4421, o4422))) -> f6375_0_createTree_Store(EOS(STATIC_6375), java.lang.Object(List(EOC, o4421, o4422)), i5881, o4421) :|: TRUE f6375_0_createTree_Store(EOS(STATIC_6375), java.lang.Object(List(EOC, o4421, o4422)), i5881, o4421) -> f6380_0_createTree_Load(EOS(STATIC_6380), java.lang.Object(List(EOC, o4421, o4422)), i5881, o4421) :|: TRUE f6380_0_createTree_Load(EOS(STATIC_6380), java.lang.Object(List(EOC, o4421, o4422)), i5881, o4421) -> f6385_0_createTree_FieldAccess(EOS(STATIC_6385), i5881, o4421, java.lang.Object(List(EOC, o4421, o4422))) :|: TRUE f6385_0_createTree_FieldAccess(EOS(STATIC_6385), i5881, o4421, java.lang.Object(List(EOC, o4421, o4422))) -> f6390_0_createTree_Store(EOS(STATIC_6390), i5881, o4421, o4422) :|: TRUE f6390_0_createTree_Store(EOS(STATIC_6390), i5881, o4421, o4422) -> f6395_0_createTree_Load(EOS(STATIC_6395), o4422, i5881, o4421) :|: TRUE f6395_0_createTree_Load(EOS(STATIC_6395), o4422, i5881, o4421) -> f6400_0_createTree_NULL(EOS(STATIC_6400), o4422, i5881, o4421, o4421) :|: TRUE f6400_0_createTree_NULL(EOS(STATIC_6400), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(o4431sub)) -> f6403_0_createTree_NULL(EOS(STATIC_6403), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(o4431sub)) :|: TRUE f6400_0_createTree_NULL(EOS(STATIC_6400), o4422, i5881, NULL, NULL) -> f6404_0_createTree_NULL(EOS(STATIC_6404), o4422, i5881, NULL, NULL) :|: TRUE f6403_0_createTree_NULL(EOS(STATIC_6403), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(o4431sub)) -> f6408_0_createTree_InvokeMethod(EOS(STATIC_6408), o4422, i5881, java.lang.Object(o4431sub)) :|: TRUE f6408_0_createTree_InvokeMethod(EOS(STATIC_6408), o4422, i5881, java.lang.Object(o4431sub)) -> f6414_0_createNode_InvokeMethod(EOS(STATIC_6414)) :|: i5881 >= 1 && i5873 >= 1 f6408_0_createTree_InvokeMethod(EOS(STATIC_6408), o4422, i5881, java.lang.Object(o4431sub)) -> f6414_1_createNode_InvokeMethod(EOS(STATIC_6414), o4422, i5881, java.lang.Object(o4431sub)) :|: i5881 >= 1 && i5873 >= 1 f6414_0_createNode_InvokeMethod(EOS(STATIC_6414)) -> f6835_0_createNode_InvokeMethod(EOS(STATIC_6835)) :|: TRUE f6431_0_createNode_Return(EOS(STATIC_6431), o4422, i5881, java.lang.Object(o4431sub), NULL) -> f6439_0_createTree_Store(EOS(STATIC_6439), o4422, i5881, java.lang.Object(o4431sub), NULL) :|: TRUE f6439_0_createTree_Store(EOS(STATIC_6439), o4422, i5881, java.lang.Object(o4431sub), NULL) -> f6444_0_createTree_InvokeMethod(EOS(STATIC_6444), o4422, i5881, java.lang.Object(o4431sub), NULL) :|: TRUE f6444_0_createTree_InvokeMethod(EOS(STATIC_6444), o4422, i5881, java.lang.Object(o4431sub), NULL) -> f6449_0_createNode_InvokeMethod(EOS(STATIC_6449)) :|: i5881 >= 1 && i5904 >= 1 f6444_0_createTree_InvokeMethod(EOS(STATIC_6444), o4422, i5881, java.lang.Object(o4431sub), NULL) -> f6449_1_createNode_InvokeMethod(EOS(STATIC_6449), o4422, i5881, java.lang.Object(o4431sub), NULL) :|: i5881 >= 1 && i5904 >= 1 f6449_0_createNode_InvokeMethod(EOS(STATIC_6449)) -> f6855_0_createNode_InvokeMethod(EOS(STATIC_6855)) :|: TRUE f6464_0_createNode_Return(EOS(STATIC_6464), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL) -> f6476_0_createTree_Store(EOS(STATIC_6476), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL) :|: TRUE f6476_0_createTree_Store(EOS(STATIC_6476), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL) -> f6482_0_createTree_Load(EOS(STATIC_6482), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL) :|: TRUE f6482_0_createTree_Load(EOS(STATIC_6482), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL) -> f6488_0_createTree_Load(EOS(STATIC_6488), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL, java.lang.Object(o4431sub)) :|: TRUE f6488_0_createTree_Load(EOS(STATIC_6488), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL, java.lang.Object(o4431sub)) -> f6492_0_createTree_FieldAccess(EOS(STATIC_6492), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL, java.lang.Object(o4431sub), NULL) :|: TRUE f6492_0_createTree_FieldAccess(EOS(STATIC_6492), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6499_0_createTree_FieldAccess(EOS(STATIC_6499), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6499_0_createTree_FieldAccess(EOS(STATIC_6499), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6504_0_createTree_Load(EOS(STATIC_6504), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, NULL) :|: TRUE f6504_0_createTree_Load(EOS(STATIC_6504), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, NULL) -> f6508_0_createTree_Load(EOS(STATIC_6508), o4422, i5881, NULL, NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6508_0_createTree_Load(EOS(STATIC_6508), o4422, i5881, NULL, NULL, java.lang.Object(Tree(EOC))) -> f6512_0_createTree_FieldAccess(EOS(STATIC_6512), o4422, i5881, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6512_0_createTree_FieldAccess(EOS(STATIC_6512), o4422, i5881, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6516_0_createTree_New(EOS(STATIC_6516), o4422, i5881, NULL, NULL) :|: TRUE f6516_0_createTree_New(EOS(STATIC_6516), o4422, i5881, NULL, NULL) -> f6520_0_createTree_Duplicate(EOS(STATIC_6520), o4422, i5881, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6520_0_createTree_Duplicate(EOS(STATIC_6520), o4422, i5881, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6524_0_createTree_Load(EOS(STATIC_6524), o4422, i5881, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6524_0_createTree_Load(EOS(STATIC_6524), o4422, i5881, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6528_0_createTree_Load(EOS(STATIC_6528), o4422, i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6528_0_createTree_Load(EOS(STATIC_6528), o4422, i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6532_0_createTree_InvokeMethod(EOS(STATIC_6532), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) :|: TRUE f6532_0_createTree_InvokeMethod(EOS(STATIC_6532), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) -> f6536_0__init__Load(EOS(STATIC_6536), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) :|: TRUE f6536_0__init__Load(EOS(STATIC_6536), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) -> f6540_0__init__InvokeMethod(EOS(STATIC_6540), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6540_0__init__InvokeMethod(EOS(STATIC_6540), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6544_0__init__Load(EOS(STATIC_6544), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) :|: TRUE f6544_0__init__Load(EOS(STATIC_6544), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) -> f6548_0__init__Load(EOS(STATIC_6548), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6548_0__init__Load(EOS(STATIC_6548), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6552_0__init__FieldAccess(EOS(STATIC_6552), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6552_0__init__FieldAccess(EOS(STATIC_6552), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6556_0__init__Load(EOS(STATIC_6556), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) :|: TRUE f6556_0__init__Load(EOS(STATIC_6556), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) -> f6560_0__init__Load(EOS(STATIC_6560), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6560_0__init__Load(EOS(STATIC_6560), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6564_0__init__FieldAccess(EOS(STATIC_6564), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) :|: TRUE f6564_0__init__FieldAccess(EOS(STATIC_6564), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) -> f6568_0__init__Return(EOS(STATIC_6568), i5881, NULL, java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6568_0__init__Return(EOS(STATIC_6568), i5881, NULL, java.lang.Object(List(EOC, NULL, o4422))) -> f6572_0_createTree_Store(EOS(STATIC_6572), i5881, NULL, java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6572_0_createTree_Store(EOS(STATIC_6572), i5881, NULL, java.lang.Object(List(EOC, NULL, o4422))) -> f6576_0_createTree_New(EOS(STATIC_6576), java.lang.Object(List(EOC, NULL, o4422)), i5881, NULL) :|: TRUE f6576_0_createTree_New(EOS(STATIC_6576), java.lang.Object(List(EOC, NULL, o4422)), i5881, NULL) -> f6580_0_createTree_Duplicate(EOS(STATIC_6580), java.lang.Object(List(EOC, NULL, o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6580_0_createTree_Duplicate(EOS(STATIC_6580), java.lang.Object(List(EOC, NULL, o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6584_0_createTree_Load(EOS(STATIC_6584), java.lang.Object(List(EOC, NULL, o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6584_0_createTree_Load(EOS(STATIC_6584), java.lang.Object(List(EOC, NULL, o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6588_0_createTree_Load(EOS(STATIC_6588), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6588_0_createTree_Load(EOS(STATIC_6588), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6592_0_createTree_InvokeMethod(EOS(STATIC_6592), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6592_0_createTree_InvokeMethod(EOS(STATIC_6592), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422))) -> f6596_0__init__Load(EOS(STATIC_6596), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6596_0__init__Load(EOS(STATIC_6596), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422))) -> f6600_0__init__InvokeMethod(EOS(STATIC_6600), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6600_0__init__InvokeMethod(EOS(STATIC_6600), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6604_0__init__Load(EOS(STATIC_6604), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6604_0__init__Load(EOS(STATIC_6604), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422))) -> f6608_0__init__Load(EOS(STATIC_6608), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6608_0__init__Load(EOS(STATIC_6608), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6612_0__init__FieldAccess(EOS(STATIC_6612), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6612_0__init__FieldAccess(EOS(STATIC_6612), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6616_0__init__Load(EOS(STATIC_6616), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6616_0__init__Load(EOS(STATIC_6616), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422))) -> f6620_0__init__Load(EOS(STATIC_6620), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6620_0__init__Load(EOS(STATIC_6620), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6624_0__init__FieldAccess(EOS(STATIC_6624), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6624_0__init__FieldAccess(EOS(STATIC_6624), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422))) -> f6628_0__init__Return(EOS(STATIC_6628), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422))))) :|: TRUE f6628_0__init__Return(EOS(STATIC_6628), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422))))) -> f6632_0_createTree_Store(EOS(STATIC_6632), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422))))) :|: TRUE f6632_0_createTree_Store(EOS(STATIC_6632), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422))))) -> f6636_0_createTree_Inc(EOS(STATIC_6636), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422)))), i5881) :|: TRUE f6636_0_createTree_Inc(EOS(STATIC_6636), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422)))), i5881) -> f6640_0_createTree_JMP(EOS(STATIC_6640), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422)))), i5881 + -1) :|: TRUE f6640_0_createTree_JMP(EOS(STATIC_6640), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422)))), i6969) -> f6644_0_createTree_Load(EOS(STATIC_6644), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422)))), i6969) :|: TRUE f6644_0_createTree_Load(EOS(STATIC_6644), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422)))), i6969) -> f6328_0_createTree_Load(EOS(STATIC_6328), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422)))), i6969) :|: TRUE f6328_0_createTree_Load(EOS(STATIC_6328), o4405, i5874) -> f6332_0_createTree_LE(EOS(STATIC_6332), o4405, i5874, i5874) :|: TRUE f6466_0_createNode_Return(EOS(STATIC_6466), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC))) -> f6477_0_createTree_Store(EOS(STATIC_6477), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6477_0_createTree_Store(EOS(STATIC_6477), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC))) -> f6483_0_createTree_Load(EOS(STATIC_6483), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6483_0_createTree_Load(EOS(STATIC_6483), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC))) -> f6489_0_createTree_Load(EOS(STATIC_6489), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o4431sub)) :|: TRUE f6489_0_createTree_Load(EOS(STATIC_6489), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o4431sub)) -> f6493_0_createTree_FieldAccess(EOS(STATIC_6493), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o4431sub), NULL) :|: TRUE f6493_0_createTree_FieldAccess(EOS(STATIC_6493), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6500_0_createTree_FieldAccess(EOS(STATIC_6500), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6500_0_createTree_FieldAccess(EOS(STATIC_6500), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6505_0_createTree_Load(EOS(STATIC_6505), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6505_0_createTree_Load(EOS(STATIC_6505), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6509_0_createTree_Load(EOS(STATIC_6509), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6509_0_createTree_Load(EOS(STATIC_6509), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6513_0_createTree_FieldAccess(EOS(STATIC_6513), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6513_0_createTree_FieldAccess(EOS(STATIC_6513), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6517_0_createTree_New(EOS(STATIC_6517), o4422, i5881, NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6517_0_createTree_New(EOS(STATIC_6517), o4422, i5881, NULL, java.lang.Object(Tree(EOC))) -> f6521_0_createTree_Duplicate(EOS(STATIC_6521), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6521_0_createTree_Duplicate(EOS(STATIC_6521), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6525_0_createTree_Load(EOS(STATIC_6525), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6525_0_createTree_Load(EOS(STATIC_6525), o4422, i5881, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6529_0_createTree_Load(EOS(STATIC_6529), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6529_0_createTree_Load(EOS(STATIC_6529), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6533_0_createTree_InvokeMethod(EOS(STATIC_6533), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) :|: TRUE f6533_0_createTree_InvokeMethod(EOS(STATIC_6533), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) -> f6537_0__init__Load(EOS(STATIC_6537), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) :|: TRUE f6537_0__init__Load(EOS(STATIC_6537), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) -> f6541_0__init__InvokeMethod(EOS(STATIC_6541), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6541_0__init__InvokeMethod(EOS(STATIC_6541), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6545_0__init__Load(EOS(STATIC_6545), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) :|: TRUE f6545_0__init__Load(EOS(STATIC_6545), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422) -> f6549_0__init__Load(EOS(STATIC_6549), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6549_0__init__Load(EOS(STATIC_6549), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6553_0__init__FieldAccess(EOS(STATIC_6553), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6553_0__init__FieldAccess(EOS(STATIC_6553), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6557_0__init__Load(EOS(STATIC_6557), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) :|: TRUE f6557_0__init__Load(EOS(STATIC_6557), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) -> f6561_0__init__Load(EOS(STATIC_6561), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6561_0__init__Load(EOS(STATIC_6561), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6565_0__init__FieldAccess(EOS(STATIC_6565), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) :|: TRUE f6565_0__init__FieldAccess(EOS(STATIC_6565), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422) -> f6569_0__init__Return(EOS(STATIC_6569), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6569_0__init__Return(EOS(STATIC_6569), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))) -> f6573_0_createTree_Store(EOS(STATIC_6573), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))) :|: TRUE f6573_0_createTree_Store(EOS(STATIC_6573), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))) -> f6577_0_createTree_New(EOS(STATIC_6577), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(Tree(EOC))) :|: TRUE f6577_0_createTree_New(EOS(STATIC_6577), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(Tree(EOC))) -> f6581_0_createTree_Duplicate(EOS(STATIC_6581), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6581_0_createTree_Duplicate(EOS(STATIC_6581), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6585_0_createTree_Load(EOS(STATIC_6585), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6585_0_createTree_Load(EOS(STATIC_6585), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6589_0_createTree_Load(EOS(STATIC_6589), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6589_0_createTree_Load(EOS(STATIC_6589), java.lang.Object(List(EOC, NULL, o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6593_0_createTree_InvokeMethod(EOS(STATIC_6593), i5881, 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, o4422))) :|: TRUE f6593_0_createTree_InvokeMethod(EOS(STATIC_6593), i5881, 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, o4422))) -> f6597_0__init__Load(EOS(STATIC_6597), i5881, 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, o4422))) :|: TRUE f6597_0__init__Load(EOS(STATIC_6597), i5881, 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, o4422))) -> f6601_0__init__InvokeMethod(EOS(STATIC_6601), i5881, 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, o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6601_0__init__InvokeMethod(EOS(STATIC_6601), i5881, 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, o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6605_0__init__Load(EOS(STATIC_6605), i5881, 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, o4422))) :|: TRUE f6605_0__init__Load(EOS(STATIC_6605), i5881, 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, o4422))) -> f6609_0__init__Load(EOS(STATIC_6609), i5881, 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, o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6609_0__init__Load(EOS(STATIC_6609), i5881, 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, o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6613_0__init__FieldAccess(EOS(STATIC_6613), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6613_0__init__FieldAccess(EOS(STATIC_6613), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6617_0__init__Load(EOS(STATIC_6617), i5881, 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, o4422))) :|: TRUE f6617_0__init__Load(EOS(STATIC_6617), i5881, 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, o4422))) -> f6621_0__init__Load(EOS(STATIC_6621), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6621_0__init__Load(EOS(STATIC_6621), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o4422)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6625_0__init__FieldAccess(EOS(STATIC_6625), i5881, 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, o4422))) :|: TRUE f6625_0__init__FieldAccess(EOS(STATIC_6625), i5881, 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, o4422))) -> f6629_0__init__Return(EOS(STATIC_6629), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))))) :|: TRUE f6629_0__init__Return(EOS(STATIC_6629), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))))) -> f6633_0_createTree_Store(EOS(STATIC_6633), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))))) :|: TRUE f6633_0_createTree_Store(EOS(STATIC_6633), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422))))) -> f6637_0_createTree_Inc(EOS(STATIC_6637), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422)))), i5881) :|: TRUE f6637_0_createTree_Inc(EOS(STATIC_6637), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422)))), i5881) -> f6641_0_createTree_JMP(EOS(STATIC_6641), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422)))), i5881 + -1) :|: TRUE f6641_0_createTree_JMP(EOS(STATIC_6641), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422)))), i6972) -> f6645_0_createTree_Load(EOS(STATIC_6645), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422)))), i6972) :|: TRUE f6645_0_createTree_Load(EOS(STATIC_6645), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422)))), i6972) -> f6328_0_createTree_Load(EOS(STATIC_6328), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422)))), i6972) :|: TRUE f6433_0_createNode_Return(EOS(STATIC_6433), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) -> f6440_0_createTree_Store(EOS(STATIC_6440), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) :|: TRUE f6440_0_createTree_Store(EOS(STATIC_6440), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) -> f6445_0_createTree_InvokeMethod(EOS(STATIC_6445), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) :|: TRUE f6445_0_createTree_InvokeMethod(EOS(STATIC_6445), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) -> f6450_0_createNode_InvokeMethod(EOS(STATIC_6450)) :|: i5881 >= 1 && i5914 >= 1 f6445_0_createTree_InvokeMethod(EOS(STATIC_6445), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) -> f6450_1_createNode_InvokeMethod(EOS(STATIC_6450), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) :|: i5881 >= 1 && i5914 >= 1 f6450_0_createNode_InvokeMethod(EOS(STATIC_6450)) -> f7045_0_createNode_InvokeMethod(EOS(STATIC_7045)) :|: TRUE f6470_0_createNode_Return(EOS(STATIC_6470), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL) -> f6479_0_createTree_Store(EOS(STATIC_6479), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6479_0_createTree_Store(EOS(STATIC_6479), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL) -> f6485_0_createTree_Load(EOS(STATIC_6485), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6485_0_createTree_Load(EOS(STATIC_6485), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL) -> f6490_0_createTree_Load(EOS(STATIC_6490), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o4431sub)) :|: TRUE f6490_0_createTree_Load(EOS(STATIC_6490), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o4431sub)) -> f6496_0_createTree_FieldAccess(EOS(STATIC_6496), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) :|: TRUE f6496_0_createTree_FieldAccess(EOS(STATIC_6496), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6502_0_createTree_FieldAccess(EOS(STATIC_6502), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6502_0_createTree_FieldAccess(EOS(STATIC_6502), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6506_0_createTree_Load(EOS(STATIC_6506), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6506_0_createTree_Load(EOS(STATIC_6506), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6510_0_createTree_Load(EOS(STATIC_6510), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6510_0_createTree_Load(EOS(STATIC_6510), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6514_0_createTree_FieldAccess(EOS(STATIC_6514), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6514_0_createTree_FieldAccess(EOS(STATIC_6514), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) -> f6518_0_createTree_New(EOS(STATIC_6518), o4422, i5881, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6518_0_createTree_New(EOS(STATIC_6518), o4422, i5881, java.lang.Object(Tree(EOC)), NULL) -> f6522_0_createTree_Duplicate(EOS(STATIC_6522), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6522_0_createTree_Duplicate(EOS(STATIC_6522), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6526_0_createTree_Load(EOS(STATIC_6526), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6526_0_createTree_Load(EOS(STATIC_6526), o4422, i5881, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6530_0_createTree_Load(EOS(STATIC_6530), o4422, i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6530_0_createTree_Load(EOS(STATIC_6530), o4422, i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6534_0_createTree_InvokeMethod(EOS(STATIC_6534), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) :|: TRUE f6534_0_createTree_InvokeMethod(EOS(STATIC_6534), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) -> f6538_0__init__Load(EOS(STATIC_6538), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) :|: TRUE f6538_0__init__Load(EOS(STATIC_6538), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) -> f6542_0__init__InvokeMethod(EOS(STATIC_6542), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6542_0__init__InvokeMethod(EOS(STATIC_6542), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6546_0__init__Load(EOS(STATIC_6546), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) :|: TRUE f6546_0__init__Load(EOS(STATIC_6546), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) -> f6550_0__init__Load(EOS(STATIC_6550), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6550_0__init__Load(EOS(STATIC_6550), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6554_0__init__FieldAccess(EOS(STATIC_6554), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6554_0__init__FieldAccess(EOS(STATIC_6554), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6558_0__init__Load(EOS(STATIC_6558), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422) :|: TRUE f6558_0__init__Load(EOS(STATIC_6558), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422) -> f6562_0__init__Load(EOS(STATIC_6562), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6562_0__init__Load(EOS(STATIC_6562), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6566_0__init__FieldAccess(EOS(STATIC_6566), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422) :|: TRUE f6566_0__init__FieldAccess(EOS(STATIC_6566), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422) -> f6570_0__init__Return(EOS(STATIC_6570), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) :|: TRUE f6570_0__init__Return(EOS(STATIC_6570), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) -> f6574_0_createTree_Store(EOS(STATIC_6574), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) :|: TRUE f6574_0_createTree_Store(EOS(STATIC_6574), i5881, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) -> f6578_0_createTree_New(EOS(STATIC_6578), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, NULL) :|: TRUE f6578_0_createTree_New(EOS(STATIC_6578), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, NULL) -> f6582_0_createTree_Duplicate(EOS(STATIC_6582), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6582_0_createTree_Duplicate(EOS(STATIC_6582), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6586_0_createTree_Load(EOS(STATIC_6586), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6586_0_createTree_Load(EOS(STATIC_6586), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6590_0_createTree_Load(EOS(STATIC_6590), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6590_0_createTree_Load(EOS(STATIC_6590), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6594_0_createTree_InvokeMethod(EOS(STATIC_6594), i5881, 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)), o4422))) :|: TRUE f6594_0_createTree_InvokeMethod(EOS(STATIC_6594), i5881, 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)), o4422))) -> f6598_0__init__Load(EOS(STATIC_6598), i5881, 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)), o4422))) :|: TRUE f6598_0__init__Load(EOS(STATIC_6598), i5881, 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)), o4422))) -> f6602_0__init__InvokeMethod(EOS(STATIC_6602), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6602_0__init__InvokeMethod(EOS(STATIC_6602), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6606_0__init__Load(EOS(STATIC_6606), i5881, 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)), o4422))) :|: TRUE f6606_0__init__Load(EOS(STATIC_6606), i5881, 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)), o4422))) -> f6610_0__init__Load(EOS(STATIC_6610), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6610_0__init__Load(EOS(STATIC_6610), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6614_0__init__FieldAccess(EOS(STATIC_6614), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6614_0__init__FieldAccess(EOS(STATIC_6614), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6618_0__init__Load(EOS(STATIC_6618), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) :|: TRUE f6618_0__init__Load(EOS(STATIC_6618), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) -> f6622_0__init__Load(EOS(STATIC_6622), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6622_0__init__Load(EOS(STATIC_6622), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6626_0__init__FieldAccess(EOS(STATIC_6626), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) :|: TRUE f6626_0__init__FieldAccess(EOS(STATIC_6626), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) -> f6630_0__init__Return(EOS(STATIC_6630), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) :|: TRUE f6630_0__init__Return(EOS(STATIC_6630), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) -> f6634_0_createTree_Store(EOS(STATIC_6634), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) :|: TRUE f6634_0_createTree_Store(EOS(STATIC_6634), i5881, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) -> f6638_0_createTree_Inc(EOS(STATIC_6638), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i5881) :|: TRUE f6638_0_createTree_Inc(EOS(STATIC_6638), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i5881) -> f6642_0_createTree_JMP(EOS(STATIC_6642), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i5881 + -1) :|: TRUE f6642_0_createTree_JMP(EOS(STATIC_6642), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6977) -> f6646_0_createTree_Load(EOS(STATIC_6646), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6977) :|: TRUE f6646_0_createTree_Load(EOS(STATIC_6646), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6977) -> f6328_0_createTree_Load(EOS(STATIC_6328), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6977) :|: TRUE f6472_0_createNode_Return(EOS(STATIC_6472), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6480_0_createTree_Store(EOS(STATIC_6480), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6480_0_createTree_Store(EOS(STATIC_6480), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6486_0_createTree_Load(EOS(STATIC_6486), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6486_0_createTree_Load(EOS(STATIC_6486), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6491_0_createTree_Load(EOS(STATIC_6491), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o4431sub)) :|: TRUE f6491_0_createTree_Load(EOS(STATIC_6491), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o4431sub)) -> f6497_0_createTree_FieldAccess(EOS(STATIC_6497), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) :|: TRUE f6497_0_createTree_FieldAccess(EOS(STATIC_6497), o4422, i5881, 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))) -> f6503_0_createTree_FieldAccess(EOS(STATIC_6503), o4422, i5881, 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 f6503_0_createTree_FieldAccess(EOS(STATIC_6503), o4422, i5881, 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))) -> f6507_0_createTree_Load(EOS(STATIC_6507), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6507_0_createTree_Load(EOS(STATIC_6507), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6511_0_createTree_Load(EOS(STATIC_6511), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6511_0_createTree_Load(EOS(STATIC_6511), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6515_0_createTree_FieldAccess(EOS(STATIC_6515), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6515_0_createTree_FieldAccess(EOS(STATIC_6515), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6519_0_createTree_New(EOS(STATIC_6519), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6519_0_createTree_New(EOS(STATIC_6519), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6523_0_createTree_Duplicate(EOS(STATIC_6523), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6523_0_createTree_Duplicate(EOS(STATIC_6523), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6527_0_createTree_Load(EOS(STATIC_6527), o4422, i5881, 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 f6527_0_createTree_Load(EOS(STATIC_6527), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6531_0_createTree_Load(EOS(STATIC_6531), o4422, i5881, 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 f6531_0_createTree_Load(EOS(STATIC_6531), o4422, i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6535_0_createTree_InvokeMethod(EOS(STATIC_6535), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) :|: TRUE f6535_0_createTree_InvokeMethod(EOS(STATIC_6535), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) -> f6539_0__init__Load(EOS(STATIC_6539), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) :|: TRUE f6539_0__init__Load(EOS(STATIC_6539), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) -> f6543_0__init__InvokeMethod(EOS(STATIC_6543), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6543_0__init__InvokeMethod(EOS(STATIC_6543), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6547_0__init__Load(EOS(STATIC_6547), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) :|: TRUE f6547_0__init__Load(EOS(STATIC_6547), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422) -> f6551_0__init__Load(EOS(STATIC_6551), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6551_0__init__Load(EOS(STATIC_6551), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o4422, java.lang.Object(List(EOC, NULL, NULL))) -> f6555_0__init__FieldAccess(EOS(STATIC_6555), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6555_0__init__FieldAccess(EOS(STATIC_6555), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o4422, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6559_0__init__Load(EOS(STATIC_6559), i5881, 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)), o4422) :|: TRUE f6559_0__init__Load(EOS(STATIC_6559), i5881, 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)), o4422) -> f6563_0__init__Load(EOS(STATIC_6563), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6563_0__init__Load(EOS(STATIC_6563), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o4422, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6567_0__init__FieldAccess(EOS(STATIC_6567), i5881, 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)), o4422) :|: TRUE f6567_0__init__FieldAccess(EOS(STATIC_6567), i5881, 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)), o4422) -> f6571_0__init__Return(EOS(STATIC_6571), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) :|: TRUE f6571_0__init__Return(EOS(STATIC_6571), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) -> f6575_0_createTree_Store(EOS(STATIC_6575), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) :|: TRUE f6575_0_createTree_Store(EOS(STATIC_6575), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))) -> f6579_0_createTree_New(EOS(STATIC_6579), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(Tree(EOC))) :|: TRUE f6579_0_createTree_New(EOS(STATIC_6579), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(Tree(EOC))) -> f6583_0_createTree_Duplicate(EOS(STATIC_6583), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6583_0_createTree_Duplicate(EOS(STATIC_6583), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6587_0_createTree_Load(EOS(STATIC_6587), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6587_0_createTree_Load(EOS(STATIC_6587), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6591_0_createTree_Load(EOS(STATIC_6591), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6591_0_createTree_Load(EOS(STATIC_6591), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6595_0_createTree_InvokeMethod(EOS(STATIC_6595), i5881, 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)), o4422))) :|: TRUE f6595_0_createTree_InvokeMethod(EOS(STATIC_6595), i5881, 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)), o4422))) -> f6599_0__init__Load(EOS(STATIC_6599), i5881, 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)), o4422))) :|: TRUE f6599_0__init__Load(EOS(STATIC_6599), i5881, 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)), o4422))) -> f6603_0__init__InvokeMethod(EOS(STATIC_6603), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6603_0__init__InvokeMethod(EOS(STATIC_6603), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6607_0__init__Load(EOS(STATIC_6607), i5881, 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)), o4422))) :|: TRUE f6607_0__init__Load(EOS(STATIC_6607), i5881, 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)), o4422))) -> f6611_0__init__Load(EOS(STATIC_6611), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6611_0__init__Load(EOS(STATIC_6611), i5881, 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)), o4422)), java.lang.Object(List(EOC, NULL, NULL))) -> f6615_0__init__FieldAccess(EOS(STATIC_6615), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6615_0__init__FieldAccess(EOS(STATIC_6615), i5881, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6619_0__init__Load(EOS(STATIC_6619), i5881, 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)), o4422))) :|: TRUE f6619_0__init__Load(EOS(STATIC_6619), i5881, 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)), o4422))) -> f6623_0__init__Load(EOS(STATIC_6623), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6623_0__init__Load(EOS(STATIC_6623), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6627_0__init__FieldAccess(EOS(STATIC_6627), i5881, 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)), o4422))) :|: TRUE f6627_0__init__FieldAccess(EOS(STATIC_6627), i5881, 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)), o4422))) -> f6631_0__init__Return(EOS(STATIC_6631), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) :|: TRUE f6631_0__init__Return(EOS(STATIC_6631), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) -> f6635_0_createTree_Store(EOS(STATIC_6635), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) :|: TRUE f6635_0_createTree_Store(EOS(STATIC_6635), i5881, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422))))) -> f6639_0_createTree_Inc(EOS(STATIC_6639), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i5881) :|: TRUE f6639_0_createTree_Inc(EOS(STATIC_6639), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i5881) -> f6643_0_createTree_JMP(EOS(STATIC_6643), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i5881 + -1) :|: TRUE f6643_0_createTree_JMP(EOS(STATIC_6643), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6984) -> f6647_0_createTree_Load(EOS(STATIC_6647), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6984) :|: TRUE f6647_0_createTree_Load(EOS(STATIC_6647), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6984) -> f6328_0_createTree_Load(EOS(STATIC_6328), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422)))), i6984) :|: TRUE f6404_0_createTree_NULL(EOS(STATIC_6404), o4422, i5881, NULL, NULL) -> f6409_0_createTree_Inc(EOS(STATIC_6409), o4422, i5881) :|: TRUE f6409_0_createTree_Inc(EOS(STATIC_6409), o4422, i5881) -> f6415_0_createTree_JMP(EOS(STATIC_6415), o4422, i5881 + -1) :|: TRUE f6415_0_createTree_JMP(EOS(STATIC_6415), o4422, i5894) -> f6420_0_createTree_Load(EOS(STATIC_6420), o4422, i5894) :|: TRUE f6420_0_createTree_Load(EOS(STATIC_6420), o4422, i5894) -> f6328_0_createTree_Load(EOS(STATIC_6328), o4422, i5894) :|: TRUE f6414_1_createNode_InvokeMethod(EOS(STATIC_6414), o4422, i5881, java.lang.Object(o4431sub)) -> f6431_0_createNode_Return(EOS(STATIC_6431), o4422, i5881, java.lang.Object(o4431sub), NULL) :|: TRUE f6414_1_createNode_InvokeMethod(EOS(STATIC_6414), o4422, i5881, java.lang.Object(o4431sub)) -> f6433_0_createNode_Return(EOS(STATIC_6433), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) :|: TRUE f6449_1_createNode_InvokeMethod(EOS(STATIC_6449), o4422, i5881, java.lang.Object(o4431sub), NULL) -> f6464_0_createNode_Return(EOS(STATIC_6464), o4422, i5881, java.lang.Object(o4431sub), NULL, NULL) :|: TRUE f6449_1_createNode_InvokeMethod(EOS(STATIC_6449), o4422, i5881, java.lang.Object(o4431sub), NULL) -> f6466_0_createNode_Return(EOS(STATIC_6466), o4422, i5881, java.lang.Object(o4431sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6450_1_createNode_InvokeMethod(EOS(STATIC_6450), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) -> f6470_0_createNode_Return(EOS(STATIC_6470), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6450_1_createNode_InvokeMethod(EOS(STATIC_6450), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC))) -> f6472_0_createNode_Return(EOS(STATIC_6472), o4422, i5881, java.lang.Object(o4431sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE Combined rules. Obtained 8 IRulesP rules: f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422:0)), i5881:0, i5881:0) -> f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422:0)))), i5881:0 - 1, i5881:0 - 1) :|: i5881:0 > 0 && i5914:0 > 0 && i5873:0 > 0 f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422:0)), i5881:0, i5881:0) -> f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422:0)))), i5881:0 - 1, i5881:0 - 1) :|: i5881:0 > 0 && i5914:0 > 0 && i5873:0 > 0 f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, NULL, o4422:0)), i5881:0, i5881:0) -> f6332_0_createTree_LE(EOS(STATIC_6332), o4422:0, i5881:0 - 1, i5881:0 - 1) :|: i5881:0 > 0 f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422:0)), i5881:0, i5881:0) -> f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o4422:0)))), i5881:0 - 1, i5881:0 - 1) :|: i5881:0 > 0 && i5904:0 > 0 && i5873:0 > 0 f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o4422:0)), i5881:0, i5881:0) -> f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o4422:0)))), i5881:0 - 1, i5881:0 - 1) :|: i5881:0 > 0 && i5904:0 > 0 && i5873:0 > 0 Removed following non-SCC rules: f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(o4431sub:0), o4422:0)), i5881:0, i5881:0) -> f7045_0_createNode_InvokeMethod(EOS(STATIC_7045)) :|: i5881:0 > 0 && i5914:0 > 0 && i5873:0 > 0 f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(o4431sub:0), o4422:0)), i5881:0, i5881:0) -> f6855_0_createNode_InvokeMethod(EOS(STATIC_6855)) :|: i5881:0 > 0 && i5904:0 > 0 && i5873:0 > 0 f6332_0_createTree_LE(EOS(STATIC_6332), java.lang.Object(List(EOC, java.lang.Object(o4431sub:0), o4422:0)), i5881:0, i5881:0) -> f6835_0_createNode_InvokeMethod(EOS(STATIC_6835)) :|: i5881:0 > 0 && i5873:0 > 0 Filtered constant ground arguments: f6332_0_createTree_LE(x1, x2, x3, x4) -> f6332_0_createTree_LE(x2, x3, x4) EOS(x1) -> EOS List(x1, x2, x3) -> List(x2, x3) Tree(x1) -> Tree Filtered duplicate arguments: f6332_0_createTree_LE(x1, x2, x3) -> f6332_0_createTree_LE(x1, x3) Finished conversion. Obtained 5 rules.P rules: f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o4422:0)))), i5881:0 - 1) :|: i5914:0 > 0 && i5873:0 > 0 && i5881:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o4422:0)))), i5881:0 - 1) :|: i5914:0 > 0 && i5873:0 > 0 && i5881:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(NULL, o4422:0)), i5881:0) -> f6332_0_createTree_LE(o4422:0, i5881:0 - 1) :|: i5881:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o4422:0)))), i5881:0 - 1) :|: i5904:0 > 0 && i5873:0 > 0 && i5881:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, o4422:0)))), i5881:0 - 1) :|: i5904:0 > 0 && i5873:0 > 0 && i5881:0 > 0 ---------------------------------------- (14) Obligation: Rules: f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o4422:0)))), i5881:0 - 1) :|: i5914:0 > 0 && i5873:0 > 0 && i5881:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x)), x1) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x)))), x1 - 1) :|: x2 > 0 && x3 > 0 && x1 > 0 f6332_0_createTree_LE(java.lang.Object(List(NULL, x4)), x5) -> f6332_0_createTree_LE(x4, x5 - 1) :|: x5 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x6)), x7) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x6)))), x7 - 1) :|: x8 > 0 && x9 > 0 && x7 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x10)), x11) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x10)))), x11 - 1) :|: x12 > 0 && x13 > 0 && x11 > 0 ---------------------------------------- (15) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (16) Obligation: Rules: f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o4422:0)))), arith) :|: i5914:0 > 0 && i5873:0 > 0 && i5881:0 > 0 && arith = i5881:0 - 1 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1 f6332_0_createTree_LE(java.lang.Object(List(NULL, x19)), x20) -> f6332_0_createTree_LE(x19, x21) :|: x20 > 0 && x21 = x20 - 1 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x22)), x23) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x22)))), x24) :|: x25 > 0 && x26 > 0 && x23 > 0 && x24 = x23 - 1 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1 ---------------------------------------- (17) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o4422:0)))), arith) :|: i5914:0 > 0 && i5873:0 > 0 && i5881:0 > 0 && arith = i5881:0 - 1 (2) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1 (3) f6332_0_createTree_LE(java.lang.Object(List(NULL, x19)), x20) -> f6332_0_createTree_LE(x19, x21) :|: x20 > 0 && x21 = x20 - 1 (4) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x22)), x23) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x22)))), x24) :|: x25 > 0 && x26 > 0 && x23 > 0 && x24 = x23 - 1 (5) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1 Arcs: (1) -> (3) (2) -> (1), (2), (4), (5) (3) -> (1), (2), (3), (4), (5) (4) -> (1), (2), (4), (5) (5) -> (3) This digraph is fully evaluated! ---------------------------------------- (18) Obligation: Termination digraph: Nodes: (1) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0)), i5881:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o4422:0)))), arith) :|: i5914:0 > 0 && i5873:0 > 0 && i5881:0 > 0 && arith = i5881:0 - 1 (2) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1 (3) f6332_0_createTree_LE(java.lang.Object(List(NULL, x19)), x20) -> f6332_0_createTree_LE(x19, x21) :|: x20 > 0 && x21 = x20 - 1 (4) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1 (5) f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x22)), x23) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x22)))), x24) :|: x25 > 0 && x26 > 0 && x23 > 0 && x24 = x23 - 1 Arcs: (1) -> (3) (2) -> (1), (2), (4), (5) (3) -> (1), (2), (3), (4), (5) (4) -> (3) (5) -> (1), (2), (4), (5) This digraph is fully evaluated! ---------------------------------------- (19) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (20) Obligation: Rules: f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14:0)), x15:0) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), x14:0)))), x15:0 - 1) :|: x17:0 > 0 && x18:0 > 0 && x15:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x22:0)), x23:0) -> f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x22:0)))), x23:0 - 1) :|: x25:0 > 0 && x26:0 > 0 && x23:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27:0)), x28:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27:0)))), x28:0 - 1) :|: x30:0 > 0 && x31:0 > 0 && x28:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o4422:0:0)), i5881:0:0) -> f6332_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o4422:0:0)))), i5881:0:0 - 1) :|: i5914:0:0 > 0 && i5873:0:0 > 0 && i5881:0:0 > 0 f6332_0_createTree_LE(java.lang.Object(List(NULL, x19:0)), x20:0) -> f6332_0_createTree_LE(x19:0, x20:0 - 1) :|: x20:0 > 0 ---------------------------------------- (21) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f6332_0_createTree_LE(VARIABLE, INTEGER) java.lang.Object(VARIABLE) List(VARIABLE, VARIABLE) Tree() NULL() Replaced non-predefined constructor symbols by 0. ---------------------------------------- (22) Obligation: Rules: f6332_0_createTree_LE(c, x15:0) -> f6332_0_createTree_LE(c1, c2) :|: c2 = x15:0 - 1 && (c1 = 0 && c = 0) && (x17:0 > 0 && x18:0 > 0 && x15:0 > 0) f6332_0_createTree_LE(c12, x20:0) -> f6332_0_createTree_LE(x19:0, c13) :|: c13 = x20:0 - 1 && c12 = 0 && x20:0 > 0 ---------------------------------------- (23) PolynomialOrderProcessor (EQUIVALENT) Found the following polynomial interpretation: [f6332_0_createTree_LE(x, x1)] = x1 The following rules are decreasing: f6332_0_createTree_LE(c, x15:0) -> f6332_0_createTree_LE(c1, c2) :|: c2 = x15:0 - 1 && (c1 = 0 && c = 0) && (x17:0 > 0 && x18:0 > 0 && x15:0 > 0) f6332_0_createTree_LE(c12, x20:0) -> f6332_0_createTree_LE(x19:0, c13) :|: c13 = x20:0 - 1 && c12 = 0 && x20:0 > 0 The following rules are bounded: f6332_0_createTree_LE(c, x15:0) -> f6332_0_createTree_LE(c1, c2) :|: c2 = x15:0 - 1 && (c1 = 0 && c = 0) && (x17:0 > 0 && x18:0 > 0 && x15:0 > 0) f6332_0_createTree_LE(c12, x20:0) -> f6332_0_createTree_LE(x19:0, c13) :|: c13 = x20:0 - 1 && c12 = 0 && x20:0 > 0 ---------------------------------------- (24) YES