/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: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty termination of the given Bare JBC problem could be proven: (0) Bare JBC problem (1) BareJBCToJBCProof [EQUIVALENT, 93 ms] (2) JBC problem (3) JBCToGraph [EQUIVALENT, 948 ms] (4) JBCTerminationGraph (5) TerminationGraphToSCCProof [SOUND, 0 ms] (6) AND (7) JBCTerminationSCC (8) SCCToQDPProof [SOUND, 354 ms] (9) QDP (10) QDPSizeChangeProof [EQUIVALENT, 0 ms] (11) YES (12) JBCTerminationSCC (13) SCCToIRSProof [SOUND, 241 ms] (14) IRSwT (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms] (16) IRSwT (17) IRSwTTerminationDigraphProof [EQUIVALENT, 98 ms] (18) IRSwT (19) IntTRSCompressionProof [EQUIVALENT, 0 ms] (20) IRSwT (21) TempFilterProof [SOUND, 46 ms] (22) IntTRS (23) RankingReductionPairProof [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 404 nodes with 1 SCC. Tree.createNode()LTree;: Graph of 109 nodes with 0 SCCs. DuplicateNodes.randomlyDuplicate(LTree;)V: Graph of 128 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: f6553_0_randomlyDuplicate_NULL(EOS(STATIC_6553(java.lang.Object(o3671sub))), java.lang.Object(o3752sub), java.lang.Object(o3752sub)) -> f6558_0_randomlyDuplicate_NULL(EOS(STATIC_6558(java.lang.Object(o3671sub))), java.lang.Object(o3752sub), java.lang.Object(o3752sub)) :|: TRUE f6558_0_randomlyDuplicate_NULL(EOS(STATIC_6558(java.lang.Object(o3671sub))), java.lang.Object(o3752sub), java.lang.Object(o3752sub)) -> f6564_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6564(java.lang.Object(o3671sub))), java.lang.Object(o3752sub)) :|: TRUE f6564_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6564(java.lang.Object(o3671sub))), java.lang.Object(o3752sub)) -> f6570_0_random_FieldAccess(EOS(STATIC_6570(java.lang.Object(o3671sub))), java.lang.Object(o3752sub)) :|: TRUE f6570_0_random_FieldAccess(EOS(STATIC_6570(java.lang.Object(o3671sub))), java.lang.Object(o3752sub)) -> f6576_0_random_FieldAccess(EOS(STATIC_6576(java.lang.Object(o3671sub))), java.lang.Object(o3752sub), java.lang.Object(o3671sub)) :|: TRUE f6576_0_random_FieldAccess(EOS(STATIC_6576(java.lang.Object(o3671sub))), java.lang.Object(o3752sub), java.lang.Object(o3671sub)) -> f6581_0_random_ArrayAccess(EOS(STATIC_6581(java.lang.Object(o3671sub))), java.lang.Object(o3752sub), java.lang.Object(o3671sub)) :|: TRUE f6581_0_random_ArrayAccess(EOS(STATIC_6581(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(ARRAY(i2990))) -> f6585_0_random_ArrayAccess(EOS(STATIC_6585(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(ARRAY(i2990))) :|: TRUE f6585_0_random_ArrayAccess(EOS(STATIC_6585(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(ARRAY(i2990))) -> f6589_0_random_ArrayAccess(EOS(STATIC_6589(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(ARRAY(i2990))) :|: TRUE f6589_0_random_ArrayAccess(EOS(STATIC_6589(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(ARRAY(i2990))) -> f6594_0_random_Store(EOS(STATIC_6594(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) :|: TRUE f6594_0_random_Store(EOS(STATIC_6594(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) -> f6598_0_random_FieldAccess(EOS(STATIC_6598(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) :|: TRUE f6598_0_random_FieldAccess(EOS(STATIC_6598(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) -> f6601_0_random_ConstantStackPush(EOS(STATIC_6601(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) :|: TRUE f6601_0_random_ConstantStackPush(EOS(STATIC_6601(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) -> f6604_0_random_IntArithmetic(EOS(STATIC_6604(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) :|: TRUE f6604_0_random_IntArithmetic(EOS(STATIC_6604(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) -> f6607_0_random_FieldAccess(EOS(STATIC_6607(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) :|: TRUE f6607_0_random_FieldAccess(EOS(STATIC_6607(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) -> f6609_0_random_Load(EOS(STATIC_6609(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) :|: TRUE f6609_0_random_Load(EOS(STATIC_6609(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) -> f6612_0_random_InvokeMethod(EOS(STATIC_6612(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), o3869) :|: TRUE f6612_0_random_InvokeMethod(EOS(STATIC_6612(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3879sub)) -> f6615_0_random_InvokeMethod(EOS(STATIC_6615(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3879sub)) :|: TRUE f6615_0_random_InvokeMethod(EOS(STATIC_6615(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3880sub)) -> f6618_0_random_InvokeMethod(EOS(STATIC_6618(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3880sub)) :|: TRUE f6618_0_random_InvokeMethod(EOS(STATIC_6618(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3880sub)) -> f6622_0_length_Load(EOS(STATIC_6622(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3880sub)) :|: TRUE f6622_0_length_Load(EOS(STATIC_6622(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3880sub)) -> f6629_0_length_FieldAccess(EOS(STATIC_6629(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3880sub)) :|: TRUE f6629_0_length_FieldAccess(EOS(STATIC_6629(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(java.lang.String(EOC, i3000))) -> f6634_0_length_FieldAccess(EOS(STATIC_6634(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(java.lang.String(EOC, i3000))) :|: i3000 >= 0 f6634_0_length_FieldAccess(EOS(STATIC_6634(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(java.lang.String(EOC, i3000))) -> f6638_0_length_Return(EOS(STATIC_6638(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3000) :|: TRUE f6638_0_length_Return(EOS(STATIC_6638(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3000) -> f6640_0_random_Return(EOS(STATIC_6640(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3000) :|: TRUE f6640_0_random_Return(EOS(STATIC_6640(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3000) -> f6643_0_randomlyDuplicate_ConstantStackPush(EOS(STATIC_6643(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3000) :|: TRUE f6643_0_randomlyDuplicate_ConstantStackPush(EOS(STATIC_6643(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3000) -> f6645_0_randomlyDuplicate_LE(EOS(STATIC_6645(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3000, 42) :|: TRUE f6645_0_randomlyDuplicate_LE(EOS(STATIC_6645(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3036, matching1) -> f6654_0_randomlyDuplicate_LE(EOS(STATIC_6654(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3036, 42) :|: TRUE && matching1 = 42 f6645_0_randomlyDuplicate_LE(EOS(STATIC_6645(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3037, matching1) -> f6655_0_randomlyDuplicate_LE(EOS(STATIC_6655(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3037, 42) :|: TRUE && matching1 = 42 f6654_0_randomlyDuplicate_LE(EOS(STATIC_6654(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3036, matching1) -> f6661_0_randomlyDuplicate_Load(EOS(STATIC_6661(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub)) :|: i3036 <= 42 && matching1 = 42 f6661_0_randomlyDuplicate_Load(EOS(STATIC_6661(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub)) -> f6667_0_randomlyDuplicate_New(EOS(STATIC_6667(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub)) :|: TRUE f6667_0_randomlyDuplicate_New(EOS(STATIC_6667(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub)) -> f6673_0_randomlyDuplicate_Duplicate(EOS(STATIC_6673(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6673_0_randomlyDuplicate_Duplicate(EOS(STATIC_6673(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6681_0_randomlyDuplicate_Load(EOS(STATIC_6681(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6681_0_randomlyDuplicate_Load(EOS(STATIC_6681(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6686_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6686(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(o3752sub)) :|: TRUE f6686_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6686(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3953, o3954))) -> f6690_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6690(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3953, o3954))) :|: TRUE f6690_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6690(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3953, o3954))) -> f6694_0_randomlyDuplicate_Load(EOS(STATIC_6694(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953) :|: TRUE f6694_0_randomlyDuplicate_Load(EOS(STATIC_6694(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953) -> f6710_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6710(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, java.lang.Object(Tree(EOC, o3953, o3954))) :|: TRUE f6710_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6710(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, java.lang.Object(Tree(EOC, o3953, o3954))) -> f6720_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6720(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954) :|: TRUE f6720_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6720(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954) -> f6730_0__init__Load(EOS(STATIC_6730(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954) :|: TRUE f6730_0__init__Load(EOS(STATIC_6730(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954) -> f6747_0__init__InvokeMethod(EOS(STATIC_6747(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6747_0__init__InvokeMethod(EOS(STATIC_6747(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6755_0__init__Load(EOS(STATIC_6755(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954) :|: TRUE f6755_0__init__Load(EOS(STATIC_6755(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954) -> f6763_0__init__Load(EOS(STATIC_6763(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6763_0__init__Load(EOS(STATIC_6763(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3953, o3954, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6770_0__init__FieldAccess(EOS(STATIC_6770(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3954, java.lang.Object(Tree(EOC, NULL, NULL)), o3953) :|: TRUE f6770_0__init__FieldAccess(EOS(STATIC_6770(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3954, java.lang.Object(Tree(EOC, NULL, NULL)), o3953) -> f6777_0__init__Load(EOS(STATIC_6777(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, NULL)), java.lang.Object(Tree(EOC, o3953, NULL)), o3954) :|: TRUE f6777_0__init__Load(EOS(STATIC_6777(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, NULL)), java.lang.Object(Tree(EOC, o3953, NULL)), o3954) -> f6783_0__init__Load(EOS(STATIC_6783(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, NULL)), o3954, java.lang.Object(Tree(EOC, o3953, NULL))) :|: TRUE f6783_0__init__Load(EOS(STATIC_6783(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, NULL)), o3954, java.lang.Object(Tree(EOC, o3953, NULL))) -> f6790_0__init__FieldAccess(EOS(STATIC_6790(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, NULL)), java.lang.Object(Tree(EOC, o3953, NULL)), o3954) :|: TRUE f6790_0__init__FieldAccess(EOS(STATIC_6790(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, NULL)), java.lang.Object(Tree(EOC, o3953, NULL)), o3954) -> f6796_0__init__Return(EOS(STATIC_6796(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954))) :|: TRUE f6796_0__init__Return(EOS(STATIC_6796(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954))) -> f6802_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6802(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954))) :|: TRUE f6802_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6802(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954)), java.lang.Object(Tree(EOC, o3953, o3954))) -> f6808_0_randomlyDuplicate_Load(EOS(STATIC_6808(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3953, o3954)), o3954))) :|: TRUE f6808_0_randomlyDuplicate_Load(EOS(STATIC_6808(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3953, o3954)), o3954))) -> f6814_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6814(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3953, o3954)), o3954))) :|: TRUE f6814_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6814(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3953, o3954)), o3954))) -> f6816_0_randomlyDuplicate_Store(EOS(STATIC_6816(java.lang.Object(ARRAY(i2990)))), o3954) :|: TRUE f6816_0_randomlyDuplicate_Store(EOS(STATIC_6816(java.lang.Object(ARRAY(i2990)))), o3954) -> f6822_0_randomlyDuplicate_JMP(EOS(STATIC_6822(java.lang.Object(ARRAY(i2990)))), o3954) :|: TRUE f6822_0_randomlyDuplicate_JMP(EOS(STATIC_6822(java.lang.Object(ARRAY(i2990)))), o3954) -> f6828_0_randomlyDuplicate_Load(EOS(STATIC_6828(java.lang.Object(ARRAY(i2990)))), o3954) :|: TRUE f6828_0_randomlyDuplicate_Load(EOS(STATIC_6828(java.lang.Object(ARRAY(i2990)))), o3954) -> f6548_0_randomlyDuplicate_Load(EOS(STATIC_6548(java.lang.Object(ARRAY(i2990)))), o3954) :|: TRUE f6548_0_randomlyDuplicate_Load(EOS(STATIC_6548(java.lang.Object(o3671sub))), o3673) -> f6553_0_randomlyDuplicate_NULL(EOS(STATIC_6553(java.lang.Object(o3671sub))), o3673, o3673) :|: TRUE f6655_0_randomlyDuplicate_LE(EOS(STATIC_6655(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), i3037, matching1) -> f6662_0_randomlyDuplicate_Load(EOS(STATIC_6662(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub)) :|: i3037 > 42 && matching1 = 42 f6662_0_randomlyDuplicate_Load(EOS(STATIC_6662(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub)) -> f6668_0_randomlyDuplicate_New(EOS(STATIC_6668(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub)) :|: TRUE f6668_0_randomlyDuplicate_New(EOS(STATIC_6668(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub)) -> f6674_0_randomlyDuplicate_Duplicate(EOS(STATIC_6674(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6674_0_randomlyDuplicate_Duplicate(EOS(STATIC_6674(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6682_0_randomlyDuplicate_Load(EOS(STATIC_6682(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6682_0_randomlyDuplicate_Load(EOS(STATIC_6682(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6687_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6687(java.lang.Object(ARRAY(i2990)))), java.lang.Object(o3752sub), java.lang.Object(o3752sub), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(o3752sub)) :|: TRUE f6687_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6687(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3957, o3958))) -> f6691_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6691(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3957, o3958))) :|: TRUE f6691_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6691(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3957, o3958))) -> f6695_0_randomlyDuplicate_Load(EOS(STATIC_6695(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957) :|: TRUE f6695_0_randomlyDuplicate_Load(EOS(STATIC_6695(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957) -> f6711_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6711(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, java.lang.Object(Tree(EOC, o3957, o3958))) :|: TRUE f6711_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6711(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, java.lang.Object(Tree(EOC, o3957, o3958))) -> f6721_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6721(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958) :|: TRUE f6721_0_randomlyDuplicate_InvokeMethod(EOS(STATIC_6721(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958) -> f6731_0__init__Load(EOS(STATIC_6731(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958) :|: TRUE f6731_0__init__Load(EOS(STATIC_6731(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958) -> f6748_0__init__InvokeMethod(EOS(STATIC_6748(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6748_0__init__InvokeMethod(EOS(STATIC_6748(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6756_0__init__Load(EOS(STATIC_6756(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958) :|: TRUE f6756_0__init__Load(EOS(STATIC_6756(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958) -> f6764_0__init__Load(EOS(STATIC_6764(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE f6764_0__init__Load(EOS(STATIC_6764(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3957, o3958, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6771_0__init__FieldAccess(EOS(STATIC_6771(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3958, java.lang.Object(Tree(EOC, NULL, NULL)), o3957) :|: TRUE f6771_0__init__FieldAccess(EOS(STATIC_6771(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3958, java.lang.Object(Tree(EOC, NULL, NULL)), o3957) -> f6778_0__init__Load(EOS(STATIC_6778(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, NULL)), java.lang.Object(Tree(EOC, o3957, NULL)), o3958) :|: TRUE f6778_0__init__Load(EOS(STATIC_6778(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, NULL)), java.lang.Object(Tree(EOC, o3957, NULL)), o3958) -> f6784_0__init__Load(EOS(STATIC_6784(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, NULL)), o3958, java.lang.Object(Tree(EOC, o3957, NULL))) :|: TRUE f6784_0__init__Load(EOS(STATIC_6784(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, NULL)), o3958, java.lang.Object(Tree(EOC, o3957, NULL))) -> f6791_0__init__FieldAccess(EOS(STATIC_6791(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, NULL)), java.lang.Object(Tree(EOC, o3957, NULL)), o3958) :|: TRUE f6791_0__init__FieldAccess(EOS(STATIC_6791(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, NULL)), java.lang.Object(Tree(EOC, o3957, NULL)), o3958) -> f6797_0__init__Return(EOS(STATIC_6797(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958))) :|: TRUE f6797_0__init__Return(EOS(STATIC_6797(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958))) -> f6803_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6803(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958))) :|: TRUE f6803_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6803(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958)), java.lang.Object(Tree(EOC, o3957, o3958))) -> f6809_0_randomlyDuplicate_Load(EOS(STATIC_6809(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, java.lang.Object(Tree(EOC, o3957, o3958))))) :|: TRUE f6809_0_randomlyDuplicate_Load(EOS(STATIC_6809(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, java.lang.Object(Tree(EOC, o3957, o3958))))) -> f6815_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6815(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, java.lang.Object(Tree(EOC, o3957, o3958))))) :|: TRUE f6815_0_randomlyDuplicate_FieldAccess(EOS(STATIC_6815(java.lang.Object(ARRAY(i2990)))), java.lang.Object(Tree(EOC, o3957, java.lang.Object(Tree(EOC, o3957, o3958))))) -> f6817_0_randomlyDuplicate_Store(EOS(STATIC_6817(java.lang.Object(ARRAY(i2990)))), o3957) :|: TRUE f6817_0_randomlyDuplicate_Store(EOS(STATIC_6817(java.lang.Object(ARRAY(i2990)))), o3957) -> f6823_0_randomlyDuplicate_JMP(EOS(STATIC_6823(java.lang.Object(ARRAY(i2990)))), o3957) :|: TRUE f6823_0_randomlyDuplicate_JMP(EOS(STATIC_6823(java.lang.Object(ARRAY(i2990)))), o3957) -> f6829_0_randomlyDuplicate_Load(EOS(STATIC_6829(java.lang.Object(ARRAY(i2990)))), o3957) :|: TRUE f6829_0_randomlyDuplicate_Load(EOS(STATIC_6829(java.lang.Object(ARRAY(i2990)))), o3957) -> f6548_0_randomlyDuplicate_Load(EOS(STATIC_6548(java.lang.Object(ARRAY(i2990)))), o3957) :|: TRUE R rules: Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: f6553_0_randomlyDuplicate_NULL(EOS(STATIC_6553(java.lang.Object(ARRAY(i2990:0)))), java.lang.Object(Tree(EOC, o3953:0, o3954:0)), java.lang.Object(Tree(EOC, o3953:0, o3954:0))) -> f6553_0_randomlyDuplicate_NULL(EOS(STATIC_6553(java.lang.Object(ARRAY(i2990:0)))), o3954:0, o3954:0) :|: TRUE f6553_0_randomlyDuplicate_NULL(EOS(STATIC_6553(java.lang.Object(ARRAY(i2990:0)))), java.lang.Object(Tree(EOC, o3957:0, o3958:0)), java.lang.Object(Tree(EOC, o3957:0, o3958:0))) -> f6553_0_randomlyDuplicate_NULL(EOS(STATIC_6553(java.lang.Object(ARRAY(i2990:0)))), o3957:0, o3957:0) :|: TRUE R rules: Filtered ground terms: Tree(x1, x2, x3) -> Tree(x2, x3) Filtered unneeded arguments: f6553_0_randomlyDuplicate_NULL(x1, x2, x3) -> f6553_0_randomlyDuplicate_NULL(x2, x3) Filtered duplicate args: f6553_0_randomlyDuplicate_NULL(x1, x2) -> f6553_0_randomlyDuplicate_NULL(x2) Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules: F6553_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3957:0:0, o3958:0:0))) -> F6553_0_RANDOMLYDUPLICATE_NULL(o3957:0:0) :|: TRUE F6553_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3953:0:0, o3954:0:0))) -> F6553_0_RANDOMLYDUPLICATE_NULL(o3954:0:0) :|: TRUE R rules: ---------------------------------------- (9) Obligation: Q DP problem: The TRS P consists of the following rules: F6553_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3957:0:0, o3958:0:0))) -> F6553_0_RANDOMLYDUPLICATE_NULL(o3957:0:0) F6553_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3953:0:0, o3954:0:0))) -> F6553_0_RANDOMLYDUPLICATE_NULL(o3954: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: *F6553_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3957:0:0, o3958:0:0))) -> F6553_0_RANDOMLYDUPLICATE_NULL(o3957:0:0) The graph contains the following edges 1 > 1 *F6553_0_RANDOMLYDUPLICATE_NULL(java.lang.Object(Tree(o3953:0:0, o3954:0:0))) -> F6553_0_RANDOMLYDUPLICATE_NULL(o3954: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: f6575_0_createTree_LE(EOS(STATIC_6575), o3859, i2989, i2989) -> f6580_0_createTree_LE(EOS(STATIC_6580), o3859, i2989, i2989) :|: TRUE f6580_0_createTree_LE(EOS(STATIC_6580), o3859, i2989, i2989) -> f6584_0_createTree_Load(EOS(STATIC_6584), o3859, i2989) :|: i2989 > 0 f6584_0_createTree_Load(EOS(STATIC_6584), o3859, i2989) -> f6588_0_createTree_NULL(EOS(STATIC_6588), o3859, i2989, o3859) :|: TRUE f6588_0_createTree_NULL(EOS(STATIC_6588), java.lang.Object(o3868sub), i2989, java.lang.Object(o3868sub)) -> f6592_0_createTree_NULL(EOS(STATIC_6592), java.lang.Object(o3868sub), i2989, java.lang.Object(o3868sub)) :|: TRUE f6592_0_createTree_NULL(EOS(STATIC_6592), java.lang.Object(o3868sub), i2989, java.lang.Object(o3868sub)) -> f6596_0_createTree_Load(EOS(STATIC_6596), java.lang.Object(o3868sub), i2989) :|: TRUE f6596_0_createTree_Load(EOS(STATIC_6596), java.lang.Object(o3868sub), i2989) -> f6600_0_createTree_FieldAccess(EOS(STATIC_6600), java.lang.Object(o3868sub), i2989, java.lang.Object(o3868sub)) :|: TRUE f6600_0_createTree_FieldAccess(EOS(STATIC_6600), java.lang.Object(List(EOC, o3877, o3878)), i2989, java.lang.Object(List(EOC, o3877, o3878))) -> f6603_0_createTree_FieldAccess(EOS(STATIC_6603), java.lang.Object(List(EOC, o3877, o3878)), i2989, java.lang.Object(List(EOC, o3877, o3878))) :|: TRUE f6603_0_createTree_FieldAccess(EOS(STATIC_6603), java.lang.Object(List(EOC, o3877, o3878)), i2989, java.lang.Object(List(EOC, o3877, o3878))) -> f6606_0_createTree_Store(EOS(STATIC_6606), java.lang.Object(List(EOC, o3877, o3878)), i2989, o3877) :|: TRUE f6606_0_createTree_Store(EOS(STATIC_6606), java.lang.Object(List(EOC, o3877, o3878)), i2989, o3877) -> f6608_0_createTree_Load(EOS(STATIC_6608), java.lang.Object(List(EOC, o3877, o3878)), i2989, o3877) :|: TRUE f6608_0_createTree_Load(EOS(STATIC_6608), java.lang.Object(List(EOC, o3877, o3878)), i2989, o3877) -> f6611_0_createTree_FieldAccess(EOS(STATIC_6611), i2989, o3877, java.lang.Object(List(EOC, o3877, o3878))) :|: TRUE f6611_0_createTree_FieldAccess(EOS(STATIC_6611), i2989, o3877, java.lang.Object(List(EOC, o3877, o3878))) -> f6614_0_createTree_Store(EOS(STATIC_6614), i2989, o3877, o3878) :|: TRUE f6614_0_createTree_Store(EOS(STATIC_6614), i2989, o3877, o3878) -> f6617_0_createTree_Load(EOS(STATIC_6617), o3878, i2989, o3877) :|: TRUE f6617_0_createTree_Load(EOS(STATIC_6617), o3878, i2989, o3877) -> f6621_0_createTree_NULL(EOS(STATIC_6621), o3878, i2989, o3877, o3877) :|: TRUE f6621_0_createTree_NULL(EOS(STATIC_6621), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(o3882sub)) -> f6624_0_createTree_NULL(EOS(STATIC_6624), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(o3882sub)) :|: TRUE f6621_0_createTree_NULL(EOS(STATIC_6621), o3878, i2989, NULL, NULL) -> f6625_0_createTree_NULL(EOS(STATIC_6625), o3878, i2989, NULL, NULL) :|: TRUE f6624_0_createTree_NULL(EOS(STATIC_6624), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(o3882sub)) -> f6627_0_createTree_InvokeMethod(EOS(STATIC_6627), o3878, i2989, java.lang.Object(o3882sub)) :|: TRUE f6627_0_createTree_InvokeMethod(EOS(STATIC_6627), o3878, i2989, java.lang.Object(o3882sub)) -> f6632_0_createNode_InvokeMethod(EOS(STATIC_6632)) :|: i2989 >= 1 && i2977 >= 1 f6627_0_createTree_InvokeMethod(EOS(STATIC_6627), o3878, i2989, java.lang.Object(o3882sub)) -> f6632_1_createNode_InvokeMethod(EOS(STATIC_6632), o3878, i2989, java.lang.Object(o3882sub)) :|: i2989 >= 1 && i2977 >= 1 f6632_0_createNode_InvokeMethod(EOS(STATIC_6632)) -> f7117_0_createNode_InvokeMethod(EOS(STATIC_7117)) :|: TRUE f6648_0_createNode_Return(EOS(STATIC_6648), o3878, i2989, java.lang.Object(o3882sub), NULL) -> f6658_0_createTree_Store(EOS(STATIC_6658), o3878, i2989, java.lang.Object(o3882sub), NULL) :|: TRUE f6658_0_createTree_Store(EOS(STATIC_6658), o3878, i2989, java.lang.Object(o3882sub), NULL) -> f6664_0_createTree_InvokeMethod(EOS(STATIC_6664), o3878, i2989, java.lang.Object(o3882sub), NULL) :|: TRUE f6664_0_createTree_InvokeMethod(EOS(STATIC_6664), o3878, i2989, java.lang.Object(o3882sub), NULL) -> f6671_0_createNode_InvokeMethod(EOS(STATIC_6671)) :|: i2989 >= 1 && i3005 >= 1 f6664_0_createTree_InvokeMethod(EOS(STATIC_6664), o3878, i2989, java.lang.Object(o3882sub), NULL) -> f6671_1_createNode_InvokeMethod(EOS(STATIC_6671), o3878, i2989, java.lang.Object(o3882sub), NULL) :|: i2989 >= 1 && i3005 >= 1 f6671_0_createNode_InvokeMethod(EOS(STATIC_6671)) -> f7137_0_createNode_InvokeMethod(EOS(STATIC_7137)) :|: TRUE f6698_0_createNode_Return(EOS(STATIC_6698), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL) -> f6714_0_createTree_Store(EOS(STATIC_6714), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL) :|: TRUE f6714_0_createTree_Store(EOS(STATIC_6714), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL) -> f6724_0_createTree_Load(EOS(STATIC_6724), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL) :|: TRUE f6724_0_createTree_Load(EOS(STATIC_6724), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL) -> f6734_0_createTree_Load(EOS(STATIC_6734), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL, java.lang.Object(o3882sub)) :|: TRUE f6734_0_createTree_Load(EOS(STATIC_6734), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL, java.lang.Object(o3882sub)) -> f6740_0_createTree_FieldAccess(EOS(STATIC_6740), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL, java.lang.Object(o3882sub), NULL) :|: TRUE f6740_0_createTree_FieldAccess(EOS(STATIC_6740), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6750_0_createTree_FieldAccess(EOS(STATIC_6750), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6750_0_createTree_FieldAccess(EOS(STATIC_6750), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6759_0_createTree_Load(EOS(STATIC_6759), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, NULL) :|: TRUE f6759_0_createTree_Load(EOS(STATIC_6759), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, NULL) -> f6766_0_createTree_Load(EOS(STATIC_6766), o3878, i2989, NULL, NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6766_0_createTree_Load(EOS(STATIC_6766), o3878, i2989, NULL, NULL, java.lang.Object(Tree(EOC))) -> f6773_0_createTree_FieldAccess(EOS(STATIC_6773), o3878, i2989, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6773_0_createTree_FieldAccess(EOS(STATIC_6773), o3878, i2989, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f6779_0_createTree_New(EOS(STATIC_6779), o3878, i2989, NULL, NULL) :|: TRUE f6779_0_createTree_New(EOS(STATIC_6779), o3878, i2989, NULL, NULL) -> f6786_0_createTree_Duplicate(EOS(STATIC_6786), o3878, i2989, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6786_0_createTree_Duplicate(EOS(STATIC_6786), o3878, i2989, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6792_0_createTree_Load(EOS(STATIC_6792), o3878, i2989, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6792_0_createTree_Load(EOS(STATIC_6792), o3878, i2989, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6798_0_createTree_Load(EOS(STATIC_6798), o3878, i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6798_0_createTree_Load(EOS(STATIC_6798), o3878, i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6804_0_createTree_InvokeMethod(EOS(STATIC_6804), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) :|: TRUE f6804_0_createTree_InvokeMethod(EOS(STATIC_6804), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) -> f6810_0__init__Load(EOS(STATIC_6810), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) :|: TRUE f6810_0__init__Load(EOS(STATIC_6810), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) -> f6818_0__init__InvokeMethod(EOS(STATIC_6818), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6818_0__init__InvokeMethod(EOS(STATIC_6818), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6824_0__init__Load(EOS(STATIC_6824), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) :|: TRUE f6824_0__init__Load(EOS(STATIC_6824), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) -> f6830_0__init__Load(EOS(STATIC_6830), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6830_0__init__Load(EOS(STATIC_6830), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6834_0__init__FieldAccess(EOS(STATIC_6834), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6834_0__init__FieldAccess(EOS(STATIC_6834), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6838_0__init__Load(EOS(STATIC_6838), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) :|: TRUE f6838_0__init__Load(EOS(STATIC_6838), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) -> f6842_0__init__Load(EOS(STATIC_6842), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6842_0__init__Load(EOS(STATIC_6842), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6846_0__init__FieldAccess(EOS(STATIC_6846), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) :|: TRUE f6846_0__init__FieldAccess(EOS(STATIC_6846), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) -> f6850_0__init__Return(EOS(STATIC_6850), i2989, NULL, java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6850_0__init__Return(EOS(STATIC_6850), i2989, NULL, java.lang.Object(List(EOC, NULL, o3878))) -> f6854_0_createTree_Store(EOS(STATIC_6854), i2989, NULL, java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6854_0_createTree_Store(EOS(STATIC_6854), i2989, NULL, java.lang.Object(List(EOC, NULL, o3878))) -> f6858_0_createTree_New(EOS(STATIC_6858), java.lang.Object(List(EOC, NULL, o3878)), i2989, NULL) :|: TRUE f6858_0_createTree_New(EOS(STATIC_6858), java.lang.Object(List(EOC, NULL, o3878)), i2989, NULL) -> f6862_0_createTree_Duplicate(EOS(STATIC_6862), java.lang.Object(List(EOC, NULL, o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6862_0_createTree_Duplicate(EOS(STATIC_6862), java.lang.Object(List(EOC, NULL, o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6866_0_createTree_Load(EOS(STATIC_6866), java.lang.Object(List(EOC, NULL, o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6866_0_createTree_Load(EOS(STATIC_6866), java.lang.Object(List(EOC, NULL, o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6870_0_createTree_Load(EOS(STATIC_6870), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6870_0_createTree_Load(EOS(STATIC_6870), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6874_0_createTree_InvokeMethod(EOS(STATIC_6874), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6874_0_createTree_InvokeMethod(EOS(STATIC_6874), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878))) -> f6878_0__init__Load(EOS(STATIC_6878), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6878_0__init__Load(EOS(STATIC_6878), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878))) -> f6882_0__init__InvokeMethod(EOS(STATIC_6882), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6882_0__init__InvokeMethod(EOS(STATIC_6882), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6886_0__init__Load(EOS(STATIC_6886), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6886_0__init__Load(EOS(STATIC_6886), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878))) -> f6890_0__init__Load(EOS(STATIC_6890), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6890_0__init__Load(EOS(STATIC_6890), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6894_0__init__FieldAccess(EOS(STATIC_6894), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6894_0__init__FieldAccess(EOS(STATIC_6894), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6898_0__init__Load(EOS(STATIC_6898), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6898_0__init__Load(EOS(STATIC_6898), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878))) -> f6902_0__init__Load(EOS(STATIC_6902), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6902_0__init__Load(EOS(STATIC_6902), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6906_0__init__FieldAccess(EOS(STATIC_6906), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6906_0__init__FieldAccess(EOS(STATIC_6906), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878))) -> f6910_0__init__Return(EOS(STATIC_6910), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878))))) :|: TRUE f6910_0__init__Return(EOS(STATIC_6910), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878))))) -> f6914_0_createTree_Store(EOS(STATIC_6914), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878))))) :|: TRUE f6914_0_createTree_Store(EOS(STATIC_6914), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878))))) -> f6918_0_createTree_Inc(EOS(STATIC_6918), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878)))), i2989) :|: TRUE f6918_0_createTree_Inc(EOS(STATIC_6918), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878)))), i2989) -> f6922_0_createTree_JMP(EOS(STATIC_6922), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878)))), i2989 + -1) :|: TRUE f6922_0_createTree_JMP(EOS(STATIC_6922), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878)))), i4084) -> f6926_0_createTree_Load(EOS(STATIC_6926), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878)))), i4084) :|: TRUE f6926_0_createTree_Load(EOS(STATIC_6926), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878)))), i4084) -> f6574_0_createTree_Load(EOS(STATIC_6574), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878)))), i4084) :|: TRUE f6574_0_createTree_Load(EOS(STATIC_6574), o3859, i2978) -> f6575_0_createTree_LE(EOS(STATIC_6575), o3859, i2978, i2978) :|: TRUE f6700_0_createNode_Return(EOS(STATIC_6700), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC))) -> f6715_0_createTree_Store(EOS(STATIC_6715), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6715_0_createTree_Store(EOS(STATIC_6715), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC))) -> f6725_0_createTree_Load(EOS(STATIC_6725), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6725_0_createTree_Load(EOS(STATIC_6725), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC))) -> f6735_0_createTree_Load(EOS(STATIC_6735), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o3882sub)) :|: TRUE f6735_0_createTree_Load(EOS(STATIC_6735), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o3882sub)) -> f6741_0_createTree_FieldAccess(EOS(STATIC_6741), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o3882sub), NULL) :|: TRUE f6741_0_createTree_FieldAccess(EOS(STATIC_6741), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6751_0_createTree_FieldAccess(EOS(STATIC_6751), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6751_0_createTree_FieldAccess(EOS(STATIC_6751), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6760_0_createTree_Load(EOS(STATIC_6760), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6760_0_createTree_Load(EOS(STATIC_6760), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6767_0_createTree_Load(EOS(STATIC_6767), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6767_0_createTree_Load(EOS(STATIC_6767), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6774_0_createTree_FieldAccess(EOS(STATIC_6774), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6774_0_createTree_FieldAccess(EOS(STATIC_6774), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6780_0_createTree_New(EOS(STATIC_6780), o3878, i2989, NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6780_0_createTree_New(EOS(STATIC_6780), o3878, i2989, NULL, java.lang.Object(Tree(EOC))) -> f6787_0_createTree_Duplicate(EOS(STATIC_6787), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6787_0_createTree_Duplicate(EOS(STATIC_6787), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6793_0_createTree_Load(EOS(STATIC_6793), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6793_0_createTree_Load(EOS(STATIC_6793), o3878, i2989, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6799_0_createTree_Load(EOS(STATIC_6799), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6799_0_createTree_Load(EOS(STATIC_6799), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6805_0_createTree_InvokeMethod(EOS(STATIC_6805), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) :|: TRUE f6805_0_createTree_InvokeMethod(EOS(STATIC_6805), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) -> f6811_0__init__Load(EOS(STATIC_6811), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) :|: TRUE f6811_0__init__Load(EOS(STATIC_6811), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) -> f6819_0__init__InvokeMethod(EOS(STATIC_6819), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6819_0__init__InvokeMethod(EOS(STATIC_6819), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6825_0__init__Load(EOS(STATIC_6825), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) :|: TRUE f6825_0__init__Load(EOS(STATIC_6825), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878) -> f6831_0__init__Load(EOS(STATIC_6831), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6831_0__init__Load(EOS(STATIC_6831), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6835_0__init__FieldAccess(EOS(STATIC_6835), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6835_0__init__FieldAccess(EOS(STATIC_6835), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6839_0__init__Load(EOS(STATIC_6839), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) :|: TRUE f6839_0__init__Load(EOS(STATIC_6839), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) -> f6843_0__init__Load(EOS(STATIC_6843), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6843_0__init__Load(EOS(STATIC_6843), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6847_0__init__FieldAccess(EOS(STATIC_6847), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) :|: TRUE f6847_0__init__FieldAccess(EOS(STATIC_6847), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878) -> f6851_0__init__Return(EOS(STATIC_6851), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6851_0__init__Return(EOS(STATIC_6851), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))) -> f6855_0_createTree_Store(EOS(STATIC_6855), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))) :|: TRUE f6855_0_createTree_Store(EOS(STATIC_6855), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))) -> f6859_0_createTree_New(EOS(STATIC_6859), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(Tree(EOC))) :|: TRUE f6859_0_createTree_New(EOS(STATIC_6859), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(Tree(EOC))) -> f6863_0_createTree_Duplicate(EOS(STATIC_6863), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6863_0_createTree_Duplicate(EOS(STATIC_6863), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6867_0_createTree_Load(EOS(STATIC_6867), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6867_0_createTree_Load(EOS(STATIC_6867), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6871_0_createTree_Load(EOS(STATIC_6871), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6871_0_createTree_Load(EOS(STATIC_6871), java.lang.Object(List(EOC, NULL, o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6875_0_createTree_InvokeMethod(EOS(STATIC_6875), i2989, 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, o3878))) :|: TRUE f6875_0_createTree_InvokeMethod(EOS(STATIC_6875), i2989, 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, o3878))) -> f6879_0__init__Load(EOS(STATIC_6879), i2989, 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, o3878))) :|: TRUE f6879_0__init__Load(EOS(STATIC_6879), i2989, 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, o3878))) -> f6883_0__init__InvokeMethod(EOS(STATIC_6883), i2989, 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, o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6883_0__init__InvokeMethod(EOS(STATIC_6883), i2989, 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, o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6887_0__init__Load(EOS(STATIC_6887), i2989, 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, o3878))) :|: TRUE f6887_0__init__Load(EOS(STATIC_6887), i2989, 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, o3878))) -> f6891_0__init__Load(EOS(STATIC_6891), i2989, 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, o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6891_0__init__Load(EOS(STATIC_6891), i2989, 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, o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6895_0__init__FieldAccess(EOS(STATIC_6895), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6895_0__init__FieldAccess(EOS(STATIC_6895), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6899_0__init__Load(EOS(STATIC_6899), i2989, 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, o3878))) :|: TRUE f6899_0__init__Load(EOS(STATIC_6899), i2989, 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, o3878))) -> f6903_0__init__Load(EOS(STATIC_6903), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6903_0__init__Load(EOS(STATIC_6903), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o3878)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6907_0__init__FieldAccess(EOS(STATIC_6907), i2989, 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, o3878))) :|: TRUE f6907_0__init__FieldAccess(EOS(STATIC_6907), i2989, 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, o3878))) -> f6911_0__init__Return(EOS(STATIC_6911), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))))) :|: TRUE f6911_0__init__Return(EOS(STATIC_6911), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))))) -> f6915_0_createTree_Store(EOS(STATIC_6915), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))))) :|: TRUE f6915_0_createTree_Store(EOS(STATIC_6915), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878))))) -> f6919_0_createTree_Inc(EOS(STATIC_6919), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878)))), i2989) :|: TRUE f6919_0_createTree_Inc(EOS(STATIC_6919), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878)))), i2989) -> f6923_0_createTree_JMP(EOS(STATIC_6923), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878)))), i2989 + -1) :|: TRUE f6923_0_createTree_JMP(EOS(STATIC_6923), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878)))), i4087) -> f6927_0_createTree_Load(EOS(STATIC_6927), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878)))), i4087) :|: TRUE f6927_0_createTree_Load(EOS(STATIC_6927), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878)))), i4087) -> f6574_0_createTree_Load(EOS(STATIC_6574), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878)))), i4087) :|: TRUE f6650_0_createNode_Return(EOS(STATIC_6650), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) -> f6659_0_createTree_Store(EOS(STATIC_6659), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) :|: TRUE f6659_0_createTree_Store(EOS(STATIC_6659), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) -> f6665_0_createTree_InvokeMethod(EOS(STATIC_6665), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) :|: TRUE f6665_0_createTree_InvokeMethod(EOS(STATIC_6665), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) -> f6672_0_createNode_InvokeMethod(EOS(STATIC_6672)) :|: i2989 >= 1 && i3015 >= 1 f6665_0_createTree_InvokeMethod(EOS(STATIC_6665), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) -> f6672_1_createNode_InvokeMethod(EOS(STATIC_6672), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) :|: i2989 >= 1 && i3015 >= 1 f6672_0_createNode_InvokeMethod(EOS(STATIC_6672)) -> f7327_0_createNode_InvokeMethod(EOS(STATIC_7327)) :|: TRUE f6704_0_createNode_Return(EOS(STATIC_6704), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL) -> f6717_0_createTree_Store(EOS(STATIC_6717), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6717_0_createTree_Store(EOS(STATIC_6717), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL) -> f6727_0_createTree_Load(EOS(STATIC_6727), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6727_0_createTree_Load(EOS(STATIC_6727), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL) -> f6736_0_createTree_Load(EOS(STATIC_6736), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o3882sub)) :|: TRUE f6736_0_createTree_Load(EOS(STATIC_6736), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o3882sub)) -> f6744_0_createTree_FieldAccess(EOS(STATIC_6744), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) :|: TRUE f6744_0_createTree_FieldAccess(EOS(STATIC_6744), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6753_0_createTree_FieldAccess(EOS(STATIC_6753), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6753_0_createTree_FieldAccess(EOS(STATIC_6753), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6761_0_createTree_Load(EOS(STATIC_6761), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6761_0_createTree_Load(EOS(STATIC_6761), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f6768_0_createTree_Load(EOS(STATIC_6768), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6768_0_createTree_Load(EOS(STATIC_6768), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f6775_0_createTree_FieldAccess(EOS(STATIC_6775), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6775_0_createTree_FieldAccess(EOS(STATIC_6775), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) -> f6781_0_createTree_New(EOS(STATIC_6781), o3878, i2989, java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6781_0_createTree_New(EOS(STATIC_6781), o3878, i2989, java.lang.Object(Tree(EOC)), NULL) -> f6788_0_createTree_Duplicate(EOS(STATIC_6788), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6788_0_createTree_Duplicate(EOS(STATIC_6788), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6794_0_createTree_Load(EOS(STATIC_6794), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6794_0_createTree_Load(EOS(STATIC_6794), o3878, i2989, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6800_0_createTree_Load(EOS(STATIC_6800), o3878, i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6800_0_createTree_Load(EOS(STATIC_6800), o3878, i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6806_0_createTree_InvokeMethod(EOS(STATIC_6806), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) :|: TRUE f6806_0_createTree_InvokeMethod(EOS(STATIC_6806), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) -> f6812_0__init__Load(EOS(STATIC_6812), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) :|: TRUE f6812_0__init__Load(EOS(STATIC_6812), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) -> f6820_0__init__InvokeMethod(EOS(STATIC_6820), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6820_0__init__InvokeMethod(EOS(STATIC_6820), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6826_0__init__Load(EOS(STATIC_6826), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) :|: TRUE f6826_0__init__Load(EOS(STATIC_6826), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) -> f6832_0__init__Load(EOS(STATIC_6832), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6832_0__init__Load(EOS(STATIC_6832), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6836_0__init__FieldAccess(EOS(STATIC_6836), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6836_0__init__FieldAccess(EOS(STATIC_6836), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6840_0__init__Load(EOS(STATIC_6840), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878) :|: TRUE f6840_0__init__Load(EOS(STATIC_6840), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878) -> f6844_0__init__Load(EOS(STATIC_6844), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6844_0__init__Load(EOS(STATIC_6844), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6848_0__init__FieldAccess(EOS(STATIC_6848), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878) :|: TRUE f6848_0__init__FieldAccess(EOS(STATIC_6848), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878) -> f6852_0__init__Return(EOS(STATIC_6852), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) :|: TRUE f6852_0__init__Return(EOS(STATIC_6852), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) -> f6856_0_createTree_Store(EOS(STATIC_6856), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) :|: TRUE f6856_0_createTree_Store(EOS(STATIC_6856), i2989, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) -> f6860_0_createTree_New(EOS(STATIC_6860), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, NULL) :|: TRUE f6860_0_createTree_New(EOS(STATIC_6860), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, NULL) -> f6864_0_createTree_Duplicate(EOS(STATIC_6864), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6864_0_createTree_Duplicate(EOS(STATIC_6864), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f6868_0_createTree_Load(EOS(STATIC_6868), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6868_0_createTree_Load(EOS(STATIC_6868), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6872_0_createTree_Load(EOS(STATIC_6872), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6872_0_createTree_Load(EOS(STATIC_6872), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6876_0_createTree_InvokeMethod(EOS(STATIC_6876), i2989, 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)), o3878))) :|: TRUE f6876_0_createTree_InvokeMethod(EOS(STATIC_6876), i2989, 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)), o3878))) -> f6880_0__init__Load(EOS(STATIC_6880), i2989, 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)), o3878))) :|: TRUE f6880_0__init__Load(EOS(STATIC_6880), i2989, 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)), o3878))) -> f6884_0__init__InvokeMethod(EOS(STATIC_6884), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6884_0__init__InvokeMethod(EOS(STATIC_6884), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6888_0__init__Load(EOS(STATIC_6888), i2989, 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)), o3878))) :|: TRUE f6888_0__init__Load(EOS(STATIC_6888), i2989, 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)), o3878))) -> f6892_0__init__Load(EOS(STATIC_6892), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6892_0__init__Load(EOS(STATIC_6892), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6896_0__init__FieldAccess(EOS(STATIC_6896), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE f6896_0__init__FieldAccess(EOS(STATIC_6896), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f6900_0__init__Load(EOS(STATIC_6900), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) :|: TRUE f6900_0__init__Load(EOS(STATIC_6900), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) -> f6904_0__init__Load(EOS(STATIC_6904), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6904_0__init__Load(EOS(STATIC_6904), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6908_0__init__FieldAccess(EOS(STATIC_6908), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) :|: TRUE f6908_0__init__FieldAccess(EOS(STATIC_6908), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) -> f6912_0__init__Return(EOS(STATIC_6912), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) :|: TRUE f6912_0__init__Return(EOS(STATIC_6912), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) -> f6916_0_createTree_Store(EOS(STATIC_6916), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) :|: TRUE f6916_0_createTree_Store(EOS(STATIC_6916), i2989, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) -> f6920_0_createTree_Inc(EOS(STATIC_6920), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i2989) :|: TRUE f6920_0_createTree_Inc(EOS(STATIC_6920), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i2989) -> f6924_0_createTree_JMP(EOS(STATIC_6924), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i2989 + -1) :|: TRUE f6924_0_createTree_JMP(EOS(STATIC_6924), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4092) -> f6928_0_createTree_Load(EOS(STATIC_6928), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4092) :|: TRUE f6928_0_createTree_Load(EOS(STATIC_6928), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4092) -> f6574_0_createTree_Load(EOS(STATIC_6574), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4092) :|: TRUE f6706_0_createNode_Return(EOS(STATIC_6706), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6718_0_createTree_Store(EOS(STATIC_6718), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6718_0_createTree_Store(EOS(STATIC_6718), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6728_0_createTree_Load(EOS(STATIC_6728), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6728_0_createTree_Load(EOS(STATIC_6728), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6737_0_createTree_Load(EOS(STATIC_6737), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o3882sub)) :|: TRUE f6737_0_createTree_Load(EOS(STATIC_6737), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o3882sub)) -> f6745_0_createTree_FieldAccess(EOS(STATIC_6745), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) :|: TRUE f6745_0_createTree_FieldAccess(EOS(STATIC_6745), o3878, i2989, 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))) -> f6754_0_createTree_FieldAccess(EOS(STATIC_6754), o3878, i2989, 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 f6754_0_createTree_FieldAccess(EOS(STATIC_6754), o3878, i2989, 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))) -> f6762_0_createTree_Load(EOS(STATIC_6762), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6762_0_createTree_Load(EOS(STATIC_6762), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6769_0_createTree_Load(EOS(STATIC_6769), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6769_0_createTree_Load(EOS(STATIC_6769), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6776_0_createTree_FieldAccess(EOS(STATIC_6776), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6776_0_createTree_FieldAccess(EOS(STATIC_6776), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6782_0_createTree_New(EOS(STATIC_6782), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE f6782_0_createTree_New(EOS(STATIC_6782), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f6789_0_createTree_Duplicate(EOS(STATIC_6789), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6789_0_createTree_Duplicate(EOS(STATIC_6789), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6795_0_createTree_Load(EOS(STATIC_6795), o3878, i2989, 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 f6795_0_createTree_Load(EOS(STATIC_6795), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6801_0_createTree_Load(EOS(STATIC_6801), o3878, i2989, 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 f6801_0_createTree_Load(EOS(STATIC_6801), o3878, i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6807_0_createTree_InvokeMethod(EOS(STATIC_6807), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) :|: TRUE f6807_0_createTree_InvokeMethod(EOS(STATIC_6807), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) -> f6813_0__init__Load(EOS(STATIC_6813), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) :|: TRUE f6813_0__init__Load(EOS(STATIC_6813), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) -> f6821_0__init__InvokeMethod(EOS(STATIC_6821), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6821_0__init__InvokeMethod(EOS(STATIC_6821), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6827_0__init__Load(EOS(STATIC_6827), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) :|: TRUE f6827_0__init__Load(EOS(STATIC_6827), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878) -> f6833_0__init__Load(EOS(STATIC_6833), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6833_0__init__Load(EOS(STATIC_6833), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o3878, java.lang.Object(List(EOC, NULL, NULL))) -> f6837_0__init__FieldAccess(EOS(STATIC_6837), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6837_0__init__FieldAccess(EOS(STATIC_6837), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o3878, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6841_0__init__Load(EOS(STATIC_6841), i2989, 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)), o3878) :|: TRUE f6841_0__init__Load(EOS(STATIC_6841), i2989, 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)), o3878) -> f6845_0__init__Load(EOS(STATIC_6845), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6845_0__init__Load(EOS(STATIC_6845), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o3878, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6849_0__init__FieldAccess(EOS(STATIC_6849), i2989, 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)), o3878) :|: TRUE f6849_0__init__FieldAccess(EOS(STATIC_6849), i2989, 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)), o3878) -> f6853_0__init__Return(EOS(STATIC_6853), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) :|: TRUE f6853_0__init__Return(EOS(STATIC_6853), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) -> f6857_0_createTree_Store(EOS(STATIC_6857), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) :|: TRUE f6857_0_createTree_Store(EOS(STATIC_6857), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))) -> f6861_0_createTree_New(EOS(STATIC_6861), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(Tree(EOC))) :|: TRUE f6861_0_createTree_New(EOS(STATIC_6861), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(Tree(EOC))) -> f6865_0_createTree_Duplicate(EOS(STATIC_6865), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6865_0_createTree_Duplicate(EOS(STATIC_6865), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f6869_0_createTree_Load(EOS(STATIC_6869), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6869_0_createTree_Load(EOS(STATIC_6869), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f6873_0_createTree_Load(EOS(STATIC_6873), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6873_0_createTree_Load(EOS(STATIC_6873), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6877_0_createTree_InvokeMethod(EOS(STATIC_6877), i2989, 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)), o3878))) :|: TRUE f6877_0_createTree_InvokeMethod(EOS(STATIC_6877), i2989, 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)), o3878))) -> f6881_0__init__Load(EOS(STATIC_6881), i2989, 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)), o3878))) :|: TRUE f6881_0__init__Load(EOS(STATIC_6881), i2989, 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)), o3878))) -> f6885_0__init__InvokeMethod(EOS(STATIC_6885), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6885_0__init__InvokeMethod(EOS(STATIC_6885), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6889_0__init__Load(EOS(STATIC_6889), i2989, 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)), o3878))) :|: TRUE f6889_0__init__Load(EOS(STATIC_6889), i2989, 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)), o3878))) -> f6893_0__init__Load(EOS(STATIC_6893), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE f6893_0__init__Load(EOS(STATIC_6893), i2989, 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)), o3878)), java.lang.Object(List(EOC, NULL, NULL))) -> f6897_0__init__FieldAccess(EOS(STATIC_6897), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE f6897_0__init__FieldAccess(EOS(STATIC_6897), i2989, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f6901_0__init__Load(EOS(STATIC_6901), i2989, 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)), o3878))) :|: TRUE f6901_0__init__Load(EOS(STATIC_6901), i2989, 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)), o3878))) -> f6905_0__init__Load(EOS(STATIC_6905), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE f6905_0__init__Load(EOS(STATIC_6905), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f6909_0__init__FieldAccess(EOS(STATIC_6909), i2989, 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)), o3878))) :|: TRUE f6909_0__init__FieldAccess(EOS(STATIC_6909), i2989, 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)), o3878))) -> f6913_0__init__Return(EOS(STATIC_6913), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) :|: TRUE f6913_0__init__Return(EOS(STATIC_6913), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) -> f6917_0_createTree_Store(EOS(STATIC_6917), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) :|: TRUE f6917_0_createTree_Store(EOS(STATIC_6917), i2989, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878))))) -> f6921_0_createTree_Inc(EOS(STATIC_6921), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i2989) :|: TRUE f6921_0_createTree_Inc(EOS(STATIC_6921), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i2989) -> f6925_0_createTree_JMP(EOS(STATIC_6925), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i2989 + -1) :|: TRUE f6925_0_createTree_JMP(EOS(STATIC_6925), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4099) -> f6929_0_createTree_Load(EOS(STATIC_6929), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4099) :|: TRUE f6929_0_createTree_Load(EOS(STATIC_6929), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4099) -> f6574_0_createTree_Load(EOS(STATIC_6574), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878)))), i4099) :|: TRUE f6625_0_createTree_NULL(EOS(STATIC_6625), o3878, i2989, NULL, NULL) -> f6628_0_createTree_Inc(EOS(STATIC_6628), o3878, i2989) :|: TRUE f6628_0_createTree_Inc(EOS(STATIC_6628), o3878, i2989) -> f6633_0_createTree_JMP(EOS(STATIC_6633), o3878, i2989 + -1) :|: TRUE f6633_0_createTree_JMP(EOS(STATIC_6633), o3878, i2996) -> f6637_0_createTree_Load(EOS(STATIC_6637), o3878, i2996) :|: TRUE f6637_0_createTree_Load(EOS(STATIC_6637), o3878, i2996) -> f6574_0_createTree_Load(EOS(STATIC_6574), o3878, i2996) :|: TRUE f6632_1_createNode_InvokeMethod(EOS(STATIC_6632), o3878, i2989, java.lang.Object(o3882sub)) -> f6648_0_createNode_Return(EOS(STATIC_6648), o3878, i2989, java.lang.Object(o3882sub), NULL) :|: TRUE f6632_1_createNode_InvokeMethod(EOS(STATIC_6632), o3878, i2989, java.lang.Object(o3882sub)) -> f6650_0_createNode_Return(EOS(STATIC_6650), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) :|: TRUE f6671_1_createNode_InvokeMethod(EOS(STATIC_6671), o3878, i2989, java.lang.Object(o3882sub), NULL) -> f6698_0_createNode_Return(EOS(STATIC_6698), o3878, i2989, java.lang.Object(o3882sub), NULL, NULL) :|: TRUE f6671_1_createNode_InvokeMethod(EOS(STATIC_6671), o3878, i2989, java.lang.Object(o3882sub), NULL) -> f6700_0_createNode_Return(EOS(STATIC_6700), o3878, i2989, java.lang.Object(o3882sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE f6672_1_createNode_InvokeMethod(EOS(STATIC_6672), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) -> f6704_0_createNode_Return(EOS(STATIC_6704), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE f6672_1_createNode_InvokeMethod(EOS(STATIC_6672), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC))) -> f6706_0_createNode_Return(EOS(STATIC_6706), o3878, i2989, java.lang.Object(o3882sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE Combined rules. Obtained 8 IRulesP rules: f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878:0)), i2989:0, i2989:0) -> f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o3878:0)))), i2989:0 - 1, i2989:0 - 1) :|: i2989:0 > 0 && i3005:0 > 0 && i2977:0 > 0 f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878:0)), i2989:0, i2989:0) -> f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878:0)))), i2989:0 - 1, i2989:0 - 1) :|: i2989:0 > 0 && i3015:0 > 0 && i2977:0 > 0 f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878:0)), i2989:0, i2989:0) -> f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o3878:0)))), i2989:0 - 1, i2989:0 - 1) :|: i2989:0 > 0 && i3005:0 > 0 && i2977:0 > 0 f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878:0)), i2989:0, i2989:0) -> f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o3878:0)))), i2989:0 - 1, i2989:0 - 1) :|: i2989:0 > 0 && i3015:0 > 0 && i2977:0 > 0 f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, NULL, o3878:0)), i2989:0, i2989:0) -> f6575_0_createTree_LE(EOS(STATIC_6575), o3878:0, i2989:0 - 1, i2989:0 - 1) :|: i2989:0 > 0 Removed following non-SCC rules: f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(o3882sub:0), o3878:0)), i2989:0, i2989:0) -> f7327_0_createNode_InvokeMethod(EOS(STATIC_7327)) :|: i2989:0 > 0 && i3015:0 > 0 && i2977:0 > 0 f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(o3882sub:0), o3878:0)), i2989:0, i2989:0) -> f7117_0_createNode_InvokeMethod(EOS(STATIC_7117)) :|: i2989:0 > 0 && i2977:0 > 0 f6575_0_createTree_LE(EOS(STATIC_6575), java.lang.Object(List(EOC, java.lang.Object(o3882sub:0), o3878:0)), i2989:0, i2989:0) -> f7137_0_createNode_InvokeMethod(EOS(STATIC_7137)) :|: i2989:0 > 0 && i3005:0 > 0 && i2977:0 > 0 Filtered constant ground arguments: f6575_0_createTree_LE(x1, x2, x3, x4) -> f6575_0_createTree_LE(x2, x3, x4) EOS(x1) -> EOS List(x1, x2, x3) -> List(x2, x3) Tree(x1) -> Tree Filtered duplicate arguments: f6575_0_createTree_LE(x1, x2, x3) -> f6575_0_createTree_LE(x1, x3) Finished conversion. Obtained 5 rules.P rules: f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o3878:0)))), i2989:0 - 1) :|: i3005:0 > 0 && i2977:0 > 0 && i2989:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o3878:0)))), i2989:0 - 1) :|: i3015:0 > 0 && i2977:0 > 0 && i2989:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, o3878:0)))), i2989:0 - 1) :|: i3005:0 > 0 && i2977:0 > 0 && i2989:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o3878:0)))), i2989:0 - 1) :|: i3015:0 > 0 && i2977:0 > 0 && i2989:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(NULL, o3878:0)), i2989:0) -> f6575_0_createTree_LE(o3878:0, i2989:0 - 1) :|: i2989:0 > 0 ---------------------------------------- (14) Obligation: Rules: f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o3878:0)))), i2989:0 - 1) :|: i3005:0 > 0 && i2977:0 > 0 && i2989:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x)), x1) -> f6575_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 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x4)), x5) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x4)))), x5 - 1) :|: x6 > 0 && x7 > 0 && x5 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x8)), x9) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x8)))), x9 - 1) :|: x10 > 0 && x11 > 0 && x9 > 0 f6575_0_createTree_LE(java.lang.Object(List(NULL, x12)), x13) -> f6575_0_createTree_LE(x12, x13 - 1) :|: x13 > 0 ---------------------------------------- (15) IRSFormatTransformerProof (EQUIVALENT) Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %). ---------------------------------------- (16) Obligation: Rules: f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o3878:0)))), arith) :|: i3005:0 > 0 && i2977:0 > 0 && i2989:0 > 0 && arith = i2989:0 - 1 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6575_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 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x24)), x25) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x24)))), x26) :|: x27 > 0 && x28 > 0 && x25 > 0 && x26 = x25 - 1 f6575_0_createTree_LE(java.lang.Object(List(NULL, x29)), x30) -> f6575_0_createTree_LE(x29, x31) :|: x30 > 0 && x31 = x30 - 1 ---------------------------------------- (17) IRSwTTerminationDigraphProof (EQUIVALENT) Constructed termination digraph! Nodes: (1) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o3878:0)))), arith) :|: i3005:0 > 0 && i2977:0 > 0 && i2989:0 > 0 && arith = i2989:0 - 1 (2) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6575_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) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1 (4) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x24)), x25) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x24)))), x26) :|: x27 > 0 && x28 > 0 && x25 > 0 && x26 = x25 - 1 (5) f6575_0_createTree_LE(java.lang.Object(List(NULL, x29)), x30) -> f6575_0_createTree_LE(x29, x31) :|: x30 > 0 && x31 = x30 - 1 Arcs: (1) -> (1), (2), (3), (4) (2) -> (1), (2), (3), (4) (3) -> (5) (4) -> (5) (5) -> (1), (2), (3), (4), (5) This digraph is fully evaluated! ---------------------------------------- (18) Obligation: Termination digraph: Nodes: (1) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0)), i2989:0) -> f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o3878:0)))), arith) :|: i3005:0 > 0 && i2977:0 > 0 && i2989:0 > 0 && arith = i2989:0 - 1 (2) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f6575_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) f6575_0_createTree_LE(java.lang.Object(List(NULL, x29)), x30) -> f6575_0_createTree_LE(x29, x31) :|: x30 > 0 && x31 = x30 - 1 (4) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x24)), x25) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x24)))), x26) :|: x27 > 0 && x28 > 0 && x25 > 0 && x26 = x25 - 1 (5) f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1 Arcs: (1) -> (1), (2), (4), (5) (2) -> (1), (2), (4), (5) (3) -> (1), (2), (3), (4), (5) (4) -> (3) (5) -> (3) This digraph is fully evaluated! ---------------------------------------- (19) IntTRSCompressionProof (EQUIVALENT) Compressed rules. ---------------------------------------- (20) Obligation: Rules: f6575_0_createTree_LE(java.lang.Object(List(NULL, x29:0)), x30:0) -> f6575_0_createTree_LE(x29:0, x30:0 - 1) :|: x30:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x24:0)), x25:0) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x24:0)))), x25:0 - 1) :|: x27:0 > 0 && x28:0 > 0 && x25:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19:0)), x20:0) -> f6575_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x19:0)))), x20:0 - 1) :|: x22:0 > 0 && x23:0 > 0 && x20:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o3878:0:0)), i2989:0:0) -> f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o3878:0:0)))), i2989:0:0 - 1) :|: i3005:0:0 > 0 && i2977:0:0 > 0 && i2989:0:0 > 0 f6575_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14:0)), x15:0) -> f6575_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 ---------------------------------------- (21) TempFilterProof (SOUND) Used the following sort dictionary for filtering: f6575_0_createTree_LE(VARIABLE, INTEGER) java.lang.Object(VARIABLE) List(VARIABLE, VARIABLE) NULL() Tree() Replaced non-predefined constructor symbols by 0. ---------------------------------------- (22) Obligation: Rules: f6575_0_createTree_LE(c, x30:0) -> f6575_0_createTree_LE(x29:0, c1) :|: c1 = x30:0 - 1 && c = 0 && x30:0 > 0 f6575_0_createTree_LE(c2, x25:0) -> f6575_0_createTree_LE(c3, c4) :|: c4 = x25:0 - 1 && (c3 = 0 && c2 = 0) && (x27:0 > 0 && x28:0 > 0 && x25:0 > 0) ---------------------------------------- (23) RankingReductionPairProof (EQUIVALENT) Interpretation: [ f6575_0_createTree_LE ] = f6575_0_createTree_LE_2 The following rules are decreasing: f6575_0_createTree_LE(c, x30:0) -> f6575_0_createTree_LE(x29:0, c1) :|: c1 = x30:0 - 1 && c = 0 && x30:0 > 0 f6575_0_createTree_LE(c2, x25:0) -> f6575_0_createTree_LE(c3, c4) :|: c4 = x25:0 - 1 && (c3 = 0 && c2 = 0) && (x27:0 > 0 && x28:0 > 0 && x25:0 > 0) The following rules are bounded: f6575_0_createTree_LE(c, x30:0) -> f6575_0_createTree_LE(x29:0, c1) :|: c1 = x30:0 - 1 && c = 0 && x30:0 > 0 f6575_0_createTree_LE(c2, x25:0) -> f6575_0_createTree_LE(c3, c4) :|: c4 = x25:0 - 1 && (c3 = 0 && c2 = 0) && (x27:0 > 0 && x28:0 > 0 && x25:0 > 0) ---------------------------------------- (24) YES