13.49/4.40	YES
13.49/4.42	proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
13.49/4.42	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
13.49/4.42	
13.49/4.42	
13.49/4.42	termination of the given Bare JBC problem could be proven:
13.49/4.42	
13.49/4.42	(0) Bare JBC problem
13.49/4.42	(1) BareJBCToJBCProof [EQUIVALENT, 95 ms]
13.49/4.42	(2) JBC problem
13.49/4.42	(3) JBCToGraph [EQUIVALENT, 1160 ms]
13.49/4.42	(4) JBCTerminationGraph
13.49/4.42	(5) TerminationGraphToSCCProof [SOUND, 0 ms]
13.49/4.42	(6) AND
13.49/4.42	    (7) JBCTerminationSCC
13.49/4.42	        (8) SCCToQDPProof [SOUND, 470 ms]
13.49/4.42	        (9) QDP
13.49/4.42	        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.49/4.42	        (11) YES
13.49/4.42	    (12) JBCTerminationSCC
13.49/4.42	        (13) SCCToIRSProof [SOUND, 347 ms]
13.49/4.42	        (14) IRSwT
13.49/4.42	        (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
13.49/4.42	        (16) IRSwT
13.49/4.42	        (17) IRSwTTerminationDigraphProof [EQUIVALENT, 174 ms]
13.49/4.42	        (18) IRSwT
13.49/4.42	        (19) IntTRSCompressionProof [EQUIVALENT, 0 ms]
13.49/4.42	        (20) IRSwT
13.49/4.42	        (21) TempFilterProof [SOUND, 17 ms]
13.49/4.42	        (22) IntTRS
13.49/4.42	        (23) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
13.49/4.42	        (24) YES
13.49/4.42	
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(0)
13.49/4.42	Obligation:
13.49/4.42	need to prove termination of the following program:
13.49/4.42	public class DuplicateTreePath {
13.49/4.42	  public static void main(String[] args) {
13.49/4.42	    Random.args = args;
13.49/4.42	    Tree t = Tree.createTree();
13.49/4.42	    duplicateRandomPath(t);
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public static void duplicateRandomPath(Tree tree) {
13.49/4.42	    Tree cur = tree;
13.49/4.42	    while (cur != null) {
13.49/4.42	      if (Random.random() < 42 && cur.left != null) { //go left
13.49/4.42	        Tree t = new Tree(cur.left, cur.right);
13.49/4.42	        t.value = cur.value;
13.49/4.42	        cur.right = null;
13.49/4.42	        cur.left = t;
13.49/4.42	        cur = cur.left.left;      
13.49/4.42	      } else if (cur.right != null) {                 //go right
13.49/4.42	        Tree t = new Tree(cur.left, cur.right);
13.49/4.42	        t.value = cur.value;
13.49/4.42	        cur.left = null;
13.49/4.42	        cur.right = t;
13.49/4.42	        cur = cur.right.right;
13.49/4.42	      } else {
13.49/4.42	        break;
13.49/4.42	      }
13.49/4.42	    }
13.49/4.42	  }
13.49/4.42	}
13.49/4.42	
13.49/4.42	
13.49/4.42	public class Random {
13.49/4.42	  static String[] args;
13.49/4.42	  static int index = 0;
13.49/4.42	
13.49/4.42	  public static int random() {
13.49/4.42	    String string = args[index];
13.49/4.42	    index++;
13.49/4.42	    return string.length();
13.49/4.42	  }
13.49/4.42	}
13.49/4.42	
13.49/4.42	
13.49/4.42	public class Tree {
13.49/4.42	  Tree left;
13.49/4.42	  Tree right;
13.49/4.42	  Object value;
13.49/4.42	
13.49/4.42	  public Tree(Tree l, Tree r) {
13.49/4.42	    this.left = l;
13.49/4.42	    this.right = r;
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public Tree() {
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public static Tree createNode() {
13.49/4.42	    Tree result = new Tree();
13.49/4.42	    result.value = new Object();
13.49/4.42	    return result;
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public static Tree createTree() {
13.49/4.42	    int counter = Random.random();
13.49/4.42	    if (counter == 0) {
13.49/4.42	      return null;
13.49/4.42	    }
13.49/4.42	    Tree result = createNode();
13.49/4.42	    Tree t = result;
13.49/4.42	
13.49/4.42	    while (counter > 0) {
13.49/4.42	      int branch = Random.random();
13.49/4.42	      if (branch > 0) {
13.49/4.42	        if (t.left == null) {
13.49/4.42	          t.left = createNode();
13.49/4.42	          t = result;
13.49/4.42	        } else {
13.49/4.42	          t = t.left;
13.49/4.42	        }
13.49/4.42	      } else {
13.49/4.42	        if (t.right == null) {
13.49/4.42	          t.right = createNode();
13.49/4.42	          t = result;
13.49/4.42	        } else {
13.49/4.42	          t = t.right;
13.49/4.42	        }
13.49/4.42	      }
13.49/4.42	      counter--;
13.49/4.42	    }
13.49/4.42	
13.49/4.42	    return result;
13.49/4.42	  }
13.49/4.42	  public static void main(String[] args) {
13.49/4.42	    Random.args = args;
13.49/4.42	    createTree();
13.49/4.42	  }
13.49/4.42	}
13.49/4.42	
13.49/4.42	
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(1) BareJBCToJBCProof (EQUIVALENT)
13.49/4.42	initialized classpath
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(2)
13.49/4.42	Obligation:
13.49/4.42	need to prove termination of the following program:
13.49/4.42	public class DuplicateTreePath {
13.49/4.42	  public static void main(String[] args) {
13.49/4.42	    Random.args = args;
13.49/4.42	    Tree t = Tree.createTree();
13.49/4.42	    duplicateRandomPath(t);
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public static void duplicateRandomPath(Tree tree) {
13.49/4.42	    Tree cur = tree;
13.49/4.42	    while (cur != null) {
13.49/4.42	      if (Random.random() < 42 && cur.left != null) { //go left
13.49/4.42	        Tree t = new Tree(cur.left, cur.right);
13.49/4.42	        t.value = cur.value;
13.49/4.42	        cur.right = null;
13.49/4.42	        cur.left = t;
13.49/4.42	        cur = cur.left.left;      
13.49/4.42	      } else if (cur.right != null) {                 //go right
13.49/4.42	        Tree t = new Tree(cur.left, cur.right);
13.49/4.42	        t.value = cur.value;
13.49/4.42	        cur.left = null;
13.49/4.42	        cur.right = t;
13.49/4.42	        cur = cur.right.right;
13.49/4.42	      } else {
13.49/4.42	        break;
13.49/4.42	      }
13.49/4.42	    }
13.49/4.42	  }
13.49/4.42	}
13.49/4.42	
13.49/4.42	
13.49/4.42	public class Random {
13.49/4.42	  static String[] args;
13.49/4.42	  static int index = 0;
13.49/4.42	
13.49/4.42	  public static int random() {
13.49/4.42	    String string = args[index];
13.49/4.42	    index++;
13.49/4.42	    return string.length();
13.49/4.42	  }
13.49/4.42	}
13.49/4.42	
13.49/4.42	
13.49/4.42	public class Tree {
13.49/4.42	  Tree left;
13.49/4.42	  Tree right;
13.49/4.42	  Object value;
13.49/4.42	
13.49/4.42	  public Tree(Tree l, Tree r) {
13.49/4.42	    this.left = l;
13.49/4.42	    this.right = r;
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public Tree() {
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public static Tree createNode() {
13.49/4.42	    Tree result = new Tree();
13.49/4.42	    result.value = new Object();
13.49/4.42	    return result;
13.49/4.42	  }
13.49/4.42	
13.49/4.42	  public static Tree createTree() {
13.49/4.42	    int counter = Random.random();
13.49/4.42	    if (counter == 0) {
13.49/4.42	      return null;
13.49/4.42	    }
13.49/4.42	    Tree result = createNode();
13.49/4.42	    Tree t = result;
13.49/4.42	
13.49/4.42	    while (counter > 0) {
13.49/4.42	      int branch = Random.random();
13.49/4.42	      if (branch > 0) {
13.49/4.42	        if (t.left == null) {
13.49/4.42	          t.left = createNode();
13.49/4.42	          t = result;
13.49/4.42	        } else {
13.49/4.42	          t = t.left;
13.49/4.42	        }
13.49/4.42	      } else {
13.49/4.42	        if (t.right == null) {
13.49/4.42	          t.right = createNode();
13.49/4.42	          t = result;
13.49/4.42	        } else {
13.49/4.42	          t = t.right;
13.49/4.42	        }
13.49/4.42	      }
13.49/4.42	      counter--;
13.49/4.42	    }
13.49/4.42	
13.49/4.42	    return result;
13.49/4.42	  }
13.49/4.42	  public static void main(String[] args) {
13.49/4.42	    Random.args = args;
13.49/4.42	    createTree();
13.49/4.42	  }
13.49/4.42	}
13.49/4.42	
13.49/4.42	
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(3) JBCToGraph (EQUIVALENT)
13.49/4.42	Constructed TerminationGraph.
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(4)
13.49/4.42	Obligation:
13.49/4.42	Termination Graph based on JBC Program:
13.49/4.42	DuplicateTreePath.main([Ljava/lang/String;)V: Graph of 58 nodes with 0 SCCs.
13.49/4.42	
13.49/4.42	
13.49/4.42	
13.49/4.42	Tree.createTree()LTree;: Graph of 310 nodes with 1 SCC.
13.49/4.42	
13.49/4.42	
13.49/4.42	
13.49/4.42	DuplicateTreePath.duplicateRandomPath(LTree;)V: Graph of 189 nodes with 1 SCC.
13.49/4.42	
13.49/4.42	
13.49/4.42	
13.49/4.42	
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(5) TerminationGraphToSCCProof (SOUND)
13.49/4.42	Splitted TerminationGraph to 2 SCCss.
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(6)
13.49/4.42	Complex Obligation (AND)
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(7)
13.49/4.42	Obligation:
13.49/4.42	SCC of termination graph based on JBC Program.
13.49/4.42	SCC contains nodes from the following methods: DuplicateTreePath.duplicateRandomPath(LTree;)V
13.49/4.42	SCC calls the following helper methods: 
13.49/4.42	Performed SCC analyses:
13.49/4.42	*Used field analysis yielded the following read fields:
13.49/4.42	*java.lang.String: [count]
13.49/4.42	*Tree: [left, right, value]
13.49/4.42	*Marker field analysis yielded the following relations that could be markers:
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(8) SCCToQDPProof (SOUND)
13.49/4.42	Transformed TerminationGraph SCC to QDP. Log: 
13.49/4.42	Generated 110 rules for P and 0 rules for R.P rules:
13.49/4.42	f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(o1264sub))), java.lang.Object(o1278sub), java.lang.Object(o1278sub)) -> f5398_0_duplicateRandomPath_NULL(EOS(STATIC_5398(java.lang.Object(o1264sub))), java.lang.Object(o1278sub), java.lang.Object(o1278sub)) :|: TRUE
13.49/4.42	f5398_0_duplicateRandomPath_NULL(EOS(STATIC_5398(java.lang.Object(o1264sub))), java.lang.Object(o1278sub), java.lang.Object(o1278sub)) -> f5404_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_5404(java.lang.Object(o1264sub))), java.lang.Object(o1278sub)) :|: TRUE
13.49/4.42	f5404_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_5404(java.lang.Object(o1264sub))), java.lang.Object(o1278sub)) -> f5410_0_random_FieldAccess(EOS(STATIC_5410(java.lang.Object(o1264sub))), java.lang.Object(o1278sub)) :|: TRUE
13.49/4.42	f5410_0_random_FieldAccess(EOS(STATIC_5410(java.lang.Object(o1264sub))), java.lang.Object(o1278sub)) -> f5458_0_random_FieldAccess(EOS(STATIC_5458(java.lang.Object(o1264sub))), java.lang.Object(o1278sub), java.lang.Object(o1264sub)) :|: TRUE
13.49/4.42	f5458_0_random_FieldAccess(EOS(STATIC_5458(java.lang.Object(o1264sub))), java.lang.Object(o1278sub), java.lang.Object(o1264sub)) -> f5491_0_random_ArrayAccess(EOS(STATIC_5491(java.lang.Object(o1264sub))), java.lang.Object(o1278sub), java.lang.Object(o1264sub)) :|: TRUE
13.49/4.42	f5491_0_random_ArrayAccess(EOS(STATIC_5491(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(ARRAY(i1015))) -> f5503_0_random_ArrayAccess(EOS(STATIC_5503(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(ARRAY(i1015))) :|: TRUE
13.49/4.42	f5503_0_random_ArrayAccess(EOS(STATIC_5503(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(ARRAY(i1015))) -> f5573_0_random_ArrayAccess(EOS(STATIC_5573(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(ARRAY(i1015))) :|: TRUE
13.49/4.42	f5573_0_random_ArrayAccess(EOS(STATIC_5573(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(ARRAY(i1015))) -> f5606_0_random_ArrayAccess(EOS(STATIC_5606(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(ARRAY(i1015))) :|: TRUE
13.49/4.42	f5606_0_random_ArrayAccess(EOS(STATIC_5606(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(ARRAY(i1015))) -> f5632_0_random_Store(EOS(STATIC_5632(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) :|: TRUE
13.49/4.42	f5632_0_random_Store(EOS(STATIC_5632(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) -> f5652_0_random_FieldAccess(EOS(STATIC_5652(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) :|: TRUE
13.49/4.42	f5652_0_random_FieldAccess(EOS(STATIC_5652(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) -> f5670_0_random_ConstantStackPush(EOS(STATIC_5670(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) :|: TRUE
13.49/4.42	f5670_0_random_ConstantStackPush(EOS(STATIC_5670(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) -> f5678_0_random_IntArithmetic(EOS(STATIC_5678(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) :|: TRUE
13.49/4.42	f5678_0_random_IntArithmetic(EOS(STATIC_5678(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) -> f5740_0_random_FieldAccess(EOS(STATIC_5740(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) :|: TRUE
13.49/4.42	f5740_0_random_FieldAccess(EOS(STATIC_5740(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) -> f5744_0_random_Load(EOS(STATIC_5744(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) :|: TRUE
13.49/4.42	f5744_0_random_Load(EOS(STATIC_5744(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) -> f5748_0_random_InvokeMethod(EOS(STATIC_5748(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), o1329) :|: TRUE
13.49/4.42	f5748_0_random_InvokeMethod(EOS(STATIC_5748(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1405sub)) -> f5753_0_random_InvokeMethod(EOS(STATIC_5753(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1405sub)) :|: TRUE
13.49/4.42	f5753_0_random_InvokeMethod(EOS(STATIC_5753(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1406sub)) -> f5758_0_random_InvokeMethod(EOS(STATIC_5758(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1406sub)) :|: TRUE
13.49/4.42	f5758_0_random_InvokeMethod(EOS(STATIC_5758(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1406sub)) -> f5762_0_length_Load(EOS(STATIC_5762(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1406sub)) :|: TRUE
13.49/4.42	f5762_0_length_Load(EOS(STATIC_5762(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1406sub)) -> f5770_0_length_FieldAccess(EOS(STATIC_5770(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1406sub)) :|: TRUE
13.49/4.42	f5770_0_length_FieldAccess(EOS(STATIC_5770(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(java.lang.String(EOC, i1081))) -> f5775_0_length_FieldAccess(EOS(STATIC_5775(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(java.lang.String(EOC, i1081))) :|: i1081 >= 0
13.49/4.42	f5775_0_length_FieldAccess(EOS(STATIC_5775(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(java.lang.String(EOC, i1081))) -> f5781_0_length_Return(EOS(STATIC_5781(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1081) :|: TRUE
13.49/4.42	f5781_0_length_Return(EOS(STATIC_5781(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1081) -> f5786_0_random_Return(EOS(STATIC_5786(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1081) :|: TRUE
13.49/4.42	f5786_0_random_Return(EOS(STATIC_5786(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1081) -> f5792_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_5792(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1081) :|: TRUE
13.49/4.42	f5792_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_5792(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1081) -> f5805_0_duplicateRandomPath_GE(EOS(STATIC_5805(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1081, 42) :|: TRUE
13.49/4.42	f5805_0_duplicateRandomPath_GE(EOS(STATIC_5805(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1091, matching1) -> f5825_0_duplicateRandomPath_GE(EOS(STATIC_5825(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1091, 42) :|: TRUE && matching1 = 42
13.49/4.42	f5805_0_duplicateRandomPath_GE(EOS(STATIC_5805(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1092, matching1) -> f5826_0_duplicateRandomPath_GE(EOS(STATIC_5826(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1092, 42) :|: TRUE && matching1 = 42
13.49/4.42	f5825_0_duplicateRandomPath_GE(EOS(STATIC_5825(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1091, matching1) -> f5848_0_duplicateRandomPath_Load(EOS(STATIC_5848(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub)) :|: i1091 < 42 && matching1 = 42
13.49/4.42	f5848_0_duplicateRandomPath_Load(EOS(STATIC_5848(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub)) -> f5868_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5868(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1278sub)) :|: TRUE
13.49/4.42	f5868_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5868(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1445, o1446, o1447)), java.lang.Object(Tree(EOC, o1445, o1446, o1447))) -> f5875_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5875(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1445, o1446, o1447)), java.lang.Object(Tree(EOC, o1445, o1446, o1447))) :|: TRUE
13.49/4.42	f5875_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5875(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1445, o1446, o1447)), java.lang.Object(Tree(EOC, o1445, o1446, o1447))) -> f5883_0_duplicateRandomPath_NULL(EOS(STATIC_5883(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1445, o1446, o1447)), o1445) :|: TRUE
13.49/4.42	f5883_0_duplicateRandomPath_NULL(EOS(STATIC_5883(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(o1457sub)) -> f5892_0_duplicateRandomPath_NULL(EOS(STATIC_5892(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(o1457sub)) :|: TRUE
13.49/4.42	f5883_0_duplicateRandomPath_NULL(EOS(STATIC_5883(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), NULL) -> f5893_0_duplicateRandomPath_NULL(EOS(STATIC_5893(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), NULL) :|: TRUE
13.49/4.42	f5892_0_duplicateRandomPath_NULL(EOS(STATIC_5892(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(o1457sub)) -> f5913_0_duplicateRandomPath_New(EOS(STATIC_5913(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f5913_0_duplicateRandomPath_New(EOS(STATIC_5913(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f5940_0_duplicateRandomPath_Duplicate(EOS(STATIC_5940(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f5940_0_duplicateRandomPath_Duplicate(EOS(STATIC_5940(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f5969_0_duplicateRandomPath_Load(EOS(STATIC_5969(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f5969_0_duplicateRandomPath_Load(EOS(STATIC_5969(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f5985_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5985(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f5985_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5985(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f5995_0_duplicateRandomPath_Load(EOS(STATIC_5995(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub)) :|: TRUE
13.49/4.42	f5995_0_duplicateRandomPath_Load(EOS(STATIC_5995(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub)) -> f6003_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6003(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f6003_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6003(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f6039_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6039(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446) :|: TRUE
13.49/4.42	f6039_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6039(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446) -> f6084_0__init__Load(EOS(STATIC_6084(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446) :|: TRUE
13.49/4.42	f6084_0__init__Load(EOS(STATIC_6084(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446) -> f6148_0__init__InvokeMethod(EOS(STATIC_6148(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f6148_0__init__InvokeMethod(EOS(STATIC_6148(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6165_0__init__Load(EOS(STATIC_6165(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446) :|: TRUE
13.49/4.42	f6165_0__init__Load(EOS(STATIC_6165(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446) -> f6172_0__init__Load(EOS(STATIC_6172(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f6172_0__init__Load(EOS(STATIC_6172(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub), o1446, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6193_0__init__FieldAccess(EOS(STATIC_6193(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1446, java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub)) :|: TRUE
13.49/4.42	f6193_0__init__FieldAccess(EOS(STATIC_6193(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1446, java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1457sub)) -> f6221_0__init__Load(EOS(STATIC_6221(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), o1446) :|: TRUE
13.49/4.42	f6221_0__init__Load(EOS(STATIC_6221(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), o1446) -> f6245_0__init__Load(EOS(STATIC_6245(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), o1446, java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL))) :|: TRUE
13.49/4.42	f6245_0__init__Load(EOS(STATIC_6245(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), o1446, java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL))) -> f6273_0__init__FieldAccess(EOS(STATIC_6273(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), o1446) :|: TRUE
13.49/4.42	f6273_0__init__FieldAccess(EOS(STATIC_6273(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, NULL)), o1446) -> f6284_0__init__Return(EOS(STATIC_6284(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) :|: TRUE
13.49/4.42	f6284_0__init__Return(EOS(STATIC_6284(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) -> f6310_0_duplicateRandomPath_Store(EOS(STATIC_6310(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) :|: TRUE
13.49/4.42	f6310_0_duplicateRandomPath_Store(EOS(STATIC_6310(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) -> f6325_0_duplicateRandomPath_Load(EOS(STATIC_6325(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) :|: TRUE
13.49/4.42	f6325_0_duplicateRandomPath_Load(EOS(STATIC_6325(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) -> f6379_0_duplicateRandomPath_Load(EOS(STATIC_6379(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) :|: TRUE
13.49/4.42	f6379_0_duplicateRandomPath_Load(EOS(STATIC_6379(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL))) -> f6430_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6430(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f6430_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6430(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f6468_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6468(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), o1447) :|: TRUE
13.49/4.42	f6468_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6468(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, NULL)), o1447) -> f6471_0_duplicateRandomPath_Load(EOS(STATIC_6471(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f6471_0_duplicateRandomPath_Load(EOS(STATIC_6471(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f6476_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6476(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f6476_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6476(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f6480_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6480(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), NULL) :|: TRUE
13.49/4.42	f6480_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6480(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), NULL) -> f6504_0_duplicateRandomPath_Load(EOS(STATIC_6504(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f6504_0_duplicateRandomPath_Load(EOS(STATIC_6504(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f6511_0_duplicateRandomPath_Load(EOS(STATIC_6511(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447))) :|: TRUE
13.49/4.42	f6511_0_duplicateRandomPath_Load(EOS(STATIC_6511(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447))) -> f6522_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6522(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f6522_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6522(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), NULL, o1447)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f6530_0_duplicateRandomPath_Load(EOS(STATIC_6530(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), NULL, o1447))) :|: TRUE
13.49/4.42	f6530_0_duplicateRandomPath_Load(EOS(STATIC_6530(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), NULL, o1447))) -> f6542_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6542(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), NULL, o1447))) :|: TRUE
13.49/4.42	f6542_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6542(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447)), NULL, o1447))) -> f6552_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6552(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) :|: TRUE
13.49/4.42	f6552_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6552(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub), o1446, o1447))) -> f6556_0_duplicateRandomPath_Store(EOS(STATIC_6556(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1457sub)) :|: TRUE
13.49/4.42	f6556_0_duplicateRandomPath_Store(EOS(STATIC_6556(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1457sub)) -> f6560_0_duplicateRandomPath_JMP(EOS(STATIC_6560(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1457sub)) :|: TRUE
13.49/4.42	f6560_0_duplicateRandomPath_JMP(EOS(STATIC_6560(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1457sub)) -> f6566_0_duplicateRandomPath_Load(EOS(STATIC_6566(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1457sub)) :|: TRUE
13.49/4.42	f6566_0_duplicateRandomPath_Load(EOS(STATIC_6566(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1457sub)) -> f5384_0_duplicateRandomPath_Load(EOS(STATIC_5384(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1457sub)) :|: TRUE
13.49/4.42	f5384_0_duplicateRandomPath_Load(EOS(STATIC_5384(java.lang.Object(o1264sub))), o1267) -> f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(o1264sub))), o1267, o1267) :|: TRUE
13.49/4.42	f5893_0_duplicateRandomPath_NULL(EOS(STATIC_5893(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), NULL) -> f5917_0_duplicateRandomPath_Load(EOS(STATIC_5917(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447))) :|: TRUE
13.49/4.42	f5917_0_duplicateRandomPath_Load(EOS(STATIC_5917(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447))) -> f5942_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5942(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), java.lang.Object(Tree(EOC, NULL, o1446, o1447))) :|: TRUE
13.49/4.42	f5942_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5942(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), java.lang.Object(Tree(EOC, NULL, o1446, o1447))) -> f5978_0_duplicateRandomPath_NULL(EOS(STATIC_5978(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), o1446) :|: TRUE
13.49/4.42	f5978_0_duplicateRandomPath_NULL(EOS(STATIC_5978(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), o1446) -> f5884_0_duplicateRandomPath_NULL(EOS(STATIC_5884(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, o1446, o1447)), o1446) :|: TRUE
13.49/4.42	f5884_0_duplicateRandomPath_NULL(EOS(STATIC_5884(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(o1458sub)) -> f5895_0_duplicateRandomPath_NULL(EOS(STATIC_5895(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f5895_0_duplicateRandomPath_NULL(EOS(STATIC_5895(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(o1458sub)) -> f5919_0_duplicateRandomPath_New(EOS(STATIC_5919(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f5919_0_duplicateRandomPath_New(EOS(STATIC_5919(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f5944_0_duplicateRandomPath_Duplicate(EOS(STATIC_5944(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f5944_0_duplicateRandomPath_Duplicate(EOS(STATIC_5944(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f5979_0_duplicateRandomPath_Load(EOS(STATIC_5979(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f5979_0_duplicateRandomPath_Load(EOS(STATIC_5979(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f5986_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5986(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f5986_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5986(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f5996_0_duplicateRandomPath_Load(EOS(STATIC_5996(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449) :|: TRUE
13.49/4.42	f5996_0_duplicateRandomPath_Load(EOS(STATIC_5996(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449) -> f6006_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6006(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6006_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6006(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f6042_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6042(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6042_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6042(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub)) -> f6086_0__init__Load(EOS(STATIC_6086(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6086_0__init__Load(EOS(STATIC_6086(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub)) -> f6152_0__init__InvokeMethod(EOS(STATIC_6152(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f6152_0__init__InvokeMethod(EOS(STATIC_6152(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6166_0__init__Load(EOS(STATIC_6166(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6166_0__init__Load(EOS(STATIC_6166(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub)) -> f6173_0__init__Load(EOS(STATIC_6173(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
13.49/4.42	f6173_0__init__Load(EOS(STATIC_6173(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449, java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6197_0__init__FieldAccess(EOS(STATIC_6197(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449) :|: TRUE
13.49/4.42	f6197_0__init__FieldAccess(EOS(STATIC_6197(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1449) -> f6225_0__init__Load(EOS(STATIC_6225(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6225_0__init__Load(EOS(STATIC_6225(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(o1458sub)) -> f6247_0__init__Load(EOS(STATIC_6247(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, o1449, NULL, NULL))) :|: TRUE
13.49/4.42	f6247_0__init__Load(EOS(STATIC_6247(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(o1458sub), java.lang.Object(Tree(EOC, o1449, NULL, NULL))) -> f6276_0__init__FieldAccess(EOS(STATIC_6276(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6276_0__init__FieldAccess(EOS(STATIC_6276(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(Tree(EOC, o1449, NULL, NULL)), java.lang.Object(o1458sub)) -> f6287_0__init__Return(EOS(STATIC_6287(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) :|: TRUE
13.49/4.42	f6287_0__init__Return(EOS(STATIC_6287(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) -> f6312_0_duplicateRandomPath_Store(EOS(STATIC_6312(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) :|: TRUE
13.49/4.42	f6312_0_duplicateRandomPath_Store(EOS(STATIC_6312(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) -> f6327_0_duplicateRandomPath_Load(EOS(STATIC_6327(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) :|: TRUE
13.49/4.42	f6327_0_duplicateRandomPath_Load(EOS(STATIC_6327(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) -> f6380_0_duplicateRandomPath_Load(EOS(STATIC_6380(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) :|: TRUE
13.49/4.42	f6380_0_duplicateRandomPath_Load(EOS(STATIC_6380(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL))) -> f6432_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6432(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6432_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6432(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f6469_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6469(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), o1451) :|: TRUE
13.49/4.42	f6469_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6469(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), NULL)), o1451) -> f6472_0_duplicateRandomPath_Load(EOS(STATIC_6472(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6472_0_duplicateRandomPath_Load(EOS(STATIC_6472(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f6477_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6477(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6477_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6477(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f6481_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6481(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), NULL) :|: TRUE
13.49/4.42	f6481_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6481(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), NULL) -> f6507_0_duplicateRandomPath_Load(EOS(STATIC_6507(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6507_0_duplicateRandomPath_Load(EOS(STATIC_6507(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f6514_0_duplicateRandomPath_Load(EOS(STATIC_6514(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6514_0_duplicateRandomPath_Load(EOS(STATIC_6514(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451))) -> f6523_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6523(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6523_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6523(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub), o1451)), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f6535_0_duplicateRandomPath_Load(EOS(STATIC_6535(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), o1451))) :|: TRUE
13.49/4.42	f6535_0_duplicateRandomPath_Load(EOS(STATIC_6535(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), o1451))) -> f6544_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6544(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), o1451))) :|: TRUE
13.49/4.42	f6544_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6544(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451)), o1451))) -> f6553_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6553(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) :|: TRUE
13.49/4.42	f6553_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6553(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, java.lang.Object(o1458sub), o1451))) -> f6557_0_duplicateRandomPath_Store(EOS(STATIC_6557(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6557_0_duplicateRandomPath_Store(EOS(STATIC_6557(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1458sub)) -> f6561_0_duplicateRandomPath_JMP(EOS(STATIC_6561(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6561_0_duplicateRandomPath_JMP(EOS(STATIC_6561(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1458sub)) -> f6574_0_duplicateRandomPath_Load(EOS(STATIC_6574(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f6574_0_duplicateRandomPath_Load(EOS(STATIC_6574(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1458sub)) -> f5384_0_duplicateRandomPath_Load(EOS(STATIC_5384(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1458sub)) :|: TRUE
13.49/4.42	f5826_0_duplicateRandomPath_GE(EOS(STATIC_5826(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), i1092, matching1) -> f5860_0_duplicateRandomPath_Load(EOS(STATIC_5860(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub)) :|: i1092 >= 42 && matching1 = 42
13.49/4.42	f5860_0_duplicateRandomPath_Load(EOS(STATIC_5860(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub)) -> f5869_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5869(java.lang.Object(ARRAY(i1015)))), java.lang.Object(o1278sub), java.lang.Object(o1278sub)) :|: TRUE
13.49/4.42	f5869_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5869(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, o1450, o1451)), java.lang.Object(Tree(EOC, o1449, o1450, o1451))) -> f5876_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5876(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, o1450, o1451)), java.lang.Object(Tree(EOC, o1449, o1450, o1451))) :|: TRUE
13.49/4.42	f5876_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5876(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, o1450, o1451)), java.lang.Object(Tree(EOC, o1449, o1450, o1451))) -> f5884_0_duplicateRandomPath_NULL(EOS(STATIC_5884(java.lang.Object(ARRAY(i1015)))), java.lang.Object(Tree(EOC, o1449, o1450, o1451)), o1450) :|: TRUE
13.49/4.42	R rules:
13.49/4.42	Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
13.49/4.42	f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(ARRAY(i1015:0)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub:0), o1447:0)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1458sub:0), o1447:0))) -> f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(ARRAY(i1015:0)))), java.lang.Object(o1458sub:0), java.lang.Object(o1458sub:0)) :|: TRUE
13.49/4.42	f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(ARRAY(i1015:0)))), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub:0), o1446:0, o1447:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1457sub:0), o1446:0, o1447:0))) -> f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(ARRAY(i1015:0)))), java.lang.Object(o1457sub:0), java.lang.Object(o1457sub:0)) :|: TRUE
13.49/4.42	f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(ARRAY(i1015:0)))), java.lang.Object(Tree(EOC, o1449:0, java.lang.Object(o1458sub:0), o1451:0)), java.lang.Object(Tree(EOC, o1449:0, java.lang.Object(o1458sub:0), o1451:0))) -> f5393_0_duplicateRandomPath_NULL(EOS(STATIC_5393(java.lang.Object(ARRAY(i1015:0)))), java.lang.Object(o1458sub:0), java.lang.Object(o1458sub:0)) :|: TRUE
13.49/4.42	R rules:
13.49/4.42	Filtered ground terms:
13.49/4.42	   Tree(x1, x2, x3, x4) -> Tree(x2, x3, x4)
13.49/4.42	Filtered unneeded arguments:
13.49/4.42	   f5393_0_duplicateRandomPath_NULL(x1, x2, x3) -> f5393_0_duplicateRandomPath_NULL(x2, x3)
13.49/4.42	   Tree(x1, x2, x3) -> Tree(x1, x2)
13.49/4.42	Filtered duplicate args:
13.49/4.42	   f5393_0_duplicateRandomPath_NULL(x1, x2) -> f5393_0_duplicateRandomPath_NULL(x2)
13.49/4.42	Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
13.49/4.42	F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1449:0:0, java.lang.Object(o1458sub:0:0)))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1458sub:0:0)) :|: TRUE
13.49/4.42	F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1458sub:0:0)))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1458sub:0:0)) :|: TRUE
13.49/4.42	F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1457sub:0:0), o1446:0:0))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1457sub:0:0)) :|: TRUE
13.49/4.42	R rules:
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(9)
13.49/4.42	Obligation:
13.49/4.42	Q DP problem:
13.49/4.42	The TRS P consists of the following rules:
13.49/4.42	
13.49/4.42	   F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1449:0:0, java.lang.Object(o1458sub:0:0)))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1458sub:0:0))
13.49/4.42	   F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1458sub:0:0)))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1458sub:0:0))
13.49/4.42	   F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1457sub:0:0), o1446:0:0))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1457sub:0:0))
13.49/4.42	
13.49/4.42	R is empty.
13.49/4.42	Q is empty.
13.49/4.42	We have to consider all minimal (P,Q,R)-chains.
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(10) QDPSizeChangeProof (EQUIVALENT)
13.49/4.42	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. 
13.49/4.42	
13.49/4.42	From the DPs we obtained the following set of size-change graphs:
13.49/4.42	*F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1449:0:0, java.lang.Object(o1458sub:0:0)))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1458sub:0:0))
13.49/4.42	The graph contains the following edges 1 > 1
13.49/4.42	
13.49/4.42	
13.49/4.42	*F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1458sub:0:0)))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1458sub:0:0))
13.49/4.42	The graph contains the following edges 1 > 1
13.49/4.42	
13.49/4.42	
13.49/4.42	*F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1457sub:0:0), o1446:0:0))) -> F5393_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1457sub:0:0))
13.49/4.42	The graph contains the following edges 1 > 1
13.49/4.42	
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(11)
13.49/4.42	YES
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(12)
13.49/4.42	Obligation:
13.49/4.42	SCC of termination graph based on JBC Program.
13.49/4.42	SCC contains nodes from the following methods: Tree.createTree()LTree;
13.49/4.42	SCC calls the following helper methods: 
13.49/4.42	Performed SCC analyses:
13.49/4.42	*Used field analysis yielded the following read fields:
13.49/4.42	*java.lang.String: [count]
13.49/4.42	*Tree: [right, left]
13.49/4.42	*Marker field analysis yielded the following relations that could be markers:
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(13) SCCToIRSProof (SOUND)
13.49/4.42	Transformed FIGraph SCCs to intTRSs. Log: 
13.49/4.42	Generated rules. Obtained 114 IRulesP rules:
13.49/4.42	f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1381) -> f6673_0_createTree_LE(EOS(STATIC_6673(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1381) :|: TRUE
13.49/4.42	f6673_0_createTree_LE(EOS(STATIC_6673(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1381) -> f6675_0_createTree_InvokeMethod(EOS(STATIC_6675(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) :|: i1381 > 0
13.49/4.42	f6675_0_createTree_InvokeMethod(EOS(STATIC_6675(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) -> f6677_0_random_FieldAccess(EOS(STATIC_6677(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) :|: TRUE
13.49/4.42	f6677_0_random_FieldAccess(EOS(STATIC_6677(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) -> f6679_0_random_FieldAccess(EOS(STATIC_6679(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.49/4.42	f6679_0_random_FieldAccess(EOS(STATIC_6679(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) -> f6682_0_random_ArrayAccess(EOS(STATIC_6682(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.49/4.42	f6682_0_random_ArrayAccess(EOS(STATIC_6682(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) -> f6685_0_random_ArrayAccess(EOS(STATIC_6685(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.49/4.42	f6685_0_random_ArrayAccess(EOS(STATIC_6685(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) -> f6688_0_random_ArrayAccess(EOS(STATIC_6688(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.49/4.42	f6688_0_random_ArrayAccess(EOS(STATIC_6688(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(ARRAY(i6))) -> f6691_0_random_Store(EOS(STATIC_6691(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) :|: TRUE
13.49/4.42	f6691_0_random_Store(EOS(STATIC_6691(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) -> f6695_0_random_FieldAccess(EOS(STATIC_6695(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) :|: TRUE
13.49/4.42	f6695_0_random_FieldAccess(EOS(STATIC_6695(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) -> f6698_0_random_ConstantStackPush(EOS(STATIC_6698(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) :|: TRUE
13.49/4.42	f6698_0_random_ConstantStackPush(EOS(STATIC_6698(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) -> f6701_0_random_IntArithmetic(EOS(STATIC_6701(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) :|: TRUE
13.49/4.42	f6701_0_random_IntArithmetic(EOS(STATIC_6701(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) -> f6705_0_random_FieldAccess(EOS(STATIC_6705(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) :|: TRUE
13.49/4.42	f6705_0_random_FieldAccess(EOS(STATIC_6705(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) -> f6707_0_random_Load(EOS(STATIC_6707(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) :|: TRUE
13.49/4.42	f6707_0_random_Load(EOS(STATIC_6707(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) -> f6908_0_random_InvokeMethod(EOS(STATIC_6908(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), o1895) :|: TRUE
13.49/4.42	f6908_0_random_InvokeMethod(EOS(STATIC_6908(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1983sub)) -> f6912_0_random_InvokeMethod(EOS(STATIC_6912(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1983sub)) :|: TRUE
13.49/4.42	f6912_0_random_InvokeMethod(EOS(STATIC_6912(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1984sub)) -> f6915_0_random_InvokeMethod(EOS(STATIC_6915(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1984sub)) :|: TRUE
13.49/4.42	f6915_0_random_InvokeMethod(EOS(STATIC_6915(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1984sub)) -> f6918_0_length_Load(EOS(STATIC_6918(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1984sub)) :|: TRUE
13.49/4.42	f6918_0_length_Load(EOS(STATIC_6918(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1984sub)) -> f6923_0_length_FieldAccess(EOS(STATIC_6923(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1984sub)) :|: TRUE
13.49/4.42	f6923_0_length_FieldAccess(EOS(STATIC_6923(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(java.lang.String(EOC, i1478))) -> f6926_0_length_FieldAccess(EOS(STATIC_6926(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(java.lang.String(EOC, i1478))) :|: i1478 >= 0
13.49/4.42	f6926_0_length_FieldAccess(EOS(STATIC_6926(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(java.lang.String(EOC, i1478))) -> f6929_0_length_Return(EOS(STATIC_6929(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) :|: TRUE
13.49/4.42	f6929_0_length_Return(EOS(STATIC_6929(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) -> f6932_0_random_Return(EOS(STATIC_6932(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) :|: TRUE
13.49/4.42	f6932_0_random_Return(EOS(STATIC_6932(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) -> f6936_0_createTree_Store(EOS(STATIC_6936(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) :|: TRUE
13.49/4.42	f6936_0_createTree_Store(EOS(STATIC_6936(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) -> f6939_0_createTree_Load(EOS(STATIC_6939(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) :|: TRUE
13.49/4.42	f6939_0_createTree_Load(EOS(STATIC_6939(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) -> f6943_0_createTree_LE(EOS(STATIC_6943(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1478) :|: TRUE
13.49/4.42	f6943_0_createTree_LE(EOS(STATIC_6943(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), matching1) -> f6947_0_createTree_LE(EOS(STATIC_6947(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), 0) :|: TRUE && matching1 = 0
13.49/4.42	f6943_0_createTree_LE(EOS(STATIC_6943(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1500) -> f6948_0_createTree_LE(EOS(STATIC_6948(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1500) :|: TRUE
13.49/4.42	f6947_0_createTree_LE(EOS(STATIC_6947(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), matching1) -> f6951_0_createTree_Load(EOS(STATIC_6951(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) :|: 0 <= 0 && matching1 = 0
13.49/4.42	f6951_0_createTree_Load(EOS(STATIC_6951(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) -> f6956_0_createTree_FieldAccess(EOS(STATIC_6956(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1855sub)) :|: TRUE
13.49/4.42	f6956_0_createTree_FieldAccess(EOS(STATIC_6956(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2019, o2018)), java.lang.Object(Tree(EOC, o2019, o2018))) -> f6961_0_createTree_FieldAccess(EOS(STATIC_6961(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2019, o2018)), java.lang.Object(Tree(EOC, o2019, o2018))) :|: TRUE
13.49/4.42	f6961_0_createTree_FieldAccess(EOS(STATIC_6961(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2019, o2018)), java.lang.Object(Tree(EOC, o2019, o2018))) -> f6966_0_createTree_NONNULL(EOS(STATIC_6966(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2019, o2018)), o2019) :|: TRUE
13.49/4.42	f6966_0_createTree_NONNULL(EOS(STATIC_6966(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub), o2018)), java.lang.Object(o2031sub)) -> f6971_0_createTree_NONNULL(EOS(STATIC_6971(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub), o2018)), java.lang.Object(o2031sub)) :|: TRUE
13.49/4.42	f6966_0_createTree_NONNULL(EOS(STATIC_6966(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), NULL) -> f6972_0_createTree_NONNULL(EOS(STATIC_6972(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), NULL) :|: TRUE
13.49/4.42	f6971_0_createTree_NONNULL(EOS(STATIC_6971(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub), o2018)), java.lang.Object(o2031sub)) -> f6978_0_createTree_Load(EOS(STATIC_6978(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub), o2018))) :|: TRUE
13.49/4.42	f6978_0_createTree_Load(EOS(STATIC_6978(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub), o2018))) -> f6985_0_createTree_FieldAccess(EOS(STATIC_6985(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub), o2018))) :|: TRUE
13.49/4.42	f6985_0_createTree_FieldAccess(EOS(STATIC_6985(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub), o2018))) -> f6992_0_createTree_Store(EOS(STATIC_6992(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) :|: TRUE
13.49/4.42	f6992_0_createTree_Store(EOS(STATIC_6992(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) -> f6999_0_createTree_Inc(EOS(STATIC_6999(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) :|: TRUE
13.49/4.42	f6999_0_createTree_Inc(EOS(STATIC_6999(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) -> f7003_0_createTree_JMP(EOS(STATIC_7003(java.lang.Object(ARRAY(i6)))), i1381 + -1, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) :|: TRUE
13.49/4.42	f7003_0_createTree_JMP(EOS(STATIC_7003(java.lang.Object(ARRAY(i6)))), i1535, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) -> f7011_0_createTree_Load(EOS(STATIC_7011(java.lang.Object(ARRAY(i6)))), i1535, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) :|: TRUE
13.49/4.42	f7011_0_createTree_Load(EOS(STATIC_7011(java.lang.Object(ARRAY(i6)))), i1535, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) -> f6668_0_createTree_Load(EOS(STATIC_6668(java.lang.Object(ARRAY(i6)))), i1535, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2031sub)) :|: TRUE
13.49/4.42	f6668_0_createTree_Load(EOS(STATIC_6668(java.lang.Object(ARRAY(i6)))), i1376, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) -> f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6)))), i1376, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1376) :|: TRUE
13.49/4.42	f6972_0_createTree_NONNULL(EOS(STATIC_6972(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), NULL) -> f6979_0_createTree_Load(EOS(STATIC_6979(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018))) :|: TRUE
13.49/4.42	f6979_0_createTree_Load(EOS(STATIC_6979(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018))) -> f6986_0_createTree_InvokeMethod(EOS(STATIC_6986(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018))) :|: TRUE
13.49/4.42	f6986_0_createTree_InvokeMethod(EOS(STATIC_6986(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018))) -> f6993_0_createNode_New(EOS(STATIC_6993(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018))) :|: TRUE
13.49/4.42	f6993_0_createNode_New(EOS(STATIC_6993(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018))) -> f7004_0_createNode_Duplicate(EOS(STATIC_7004(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7004_0_createNode_Duplicate(EOS(STATIC_7004(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7012_0_createNode_InvokeMethod(EOS(STATIC_7012(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7012_0_createNode_InvokeMethod(EOS(STATIC_7012(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7016_0__init__Load(EOS(STATIC_7016(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7016_0__init__Load(EOS(STATIC_7016(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7021_0__init__InvokeMethod(EOS(STATIC_7021(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7021_0__init__InvokeMethod(EOS(STATIC_7021(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7024_0__init__Return(EOS(STATIC_7024(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7024_0__init__Return(EOS(STATIC_7024(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7026_0_createNode_Store(EOS(STATIC_7026(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7026_0_createNode_Store(EOS(STATIC_7026(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7029_0_createNode_Load(EOS(STATIC_7029(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7029_0_createNode_Load(EOS(STATIC_7029(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7031_0_createNode_New(EOS(STATIC_7031(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7031_0_createNode_New(EOS(STATIC_7031(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7033_0_createNode_Duplicate(EOS(STATIC_7033(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.49/4.42	f7033_0_createNode_Duplicate(EOS(STATIC_7033(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7035_0_createNode_InvokeMethod(EOS(STATIC_7035(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
13.49/4.42	f7035_0_createNode_InvokeMethod(EOS(STATIC_7035(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7037_0_createNode_FieldAccess(EOS(STATIC_7037(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.49/4.42	f7037_0_createNode_FieldAccess(EOS(STATIC_7037(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7039_0_createNode_Load(EOS(STATIC_7039(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7039_0_createNode_Load(EOS(STATIC_7039(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7041_0_createNode_Return(EOS(STATIC_7041(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7041_0_createNode_Return(EOS(STATIC_7041(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7043_0_createTree_FieldAccess(EOS(STATIC_7043(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7043_0_createTree_FieldAccess(EOS(STATIC_7043(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7045_0_createTree_FieldAccess(EOS(STATIC_7045(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7043_0_createTree_FieldAccess(EOS(STATIC_7043(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, NULL, o2178)), java.lang.Object(Tree(EOC, NULL, o2178)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7046_0_createTree_FieldAccess(EOS(STATIC_7046(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, NULL, o2178)), java.lang.Object(Tree(EOC, NULL, o2178)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7045_0_createTree_FieldAccess(EOS(STATIC_7045(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, NULL, o2018)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7049_0_createTree_Load(EOS(STATIC_7049(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853put, o1852put))) :|: TRUE
13.49/4.42	f7049_0_createTree_Load(EOS(STATIC_7049(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852))) -> f7053_0_createTree_Store(EOS(STATIC_7053(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7053_0_createTree_Store(EOS(STATIC_7053(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f7057_0_createTree_JMP(EOS(STATIC_7057(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7057_0_createTree_JMP(EOS(STATIC_7057(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f7061_0_createTree_Inc(EOS(STATIC_7061(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7061_0_createTree_Inc(EOS(STATIC_7061(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f7065_0_createTree_JMP(EOS(STATIC_7065(java.lang.Object(ARRAY(i6)))), i1381 + -1, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7065_0_createTree_JMP(EOS(STATIC_7065(java.lang.Object(ARRAY(i6)))), i1591, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f7067_0_createTree_Load(EOS(STATIC_7067(java.lang.Object(ARRAY(i6)))), i1591, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7067_0_createTree_Load(EOS(STATIC_7067(java.lang.Object(ARRAY(i6)))), i1591, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f6668_0_createTree_Load(EOS(STATIC_6668(java.lang.Object(ARRAY(i6)))), i1591, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7046_0_createTree_FieldAccess(EOS(STATIC_7046(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, NULL, o2178)), java.lang.Object(Tree(EOC, NULL, o2178)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7050_0_createTree_Load(EOS(STATIC_7050(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) :|: TRUE
13.49/4.42	f7050_0_createTree_Load(EOS(STATIC_7050(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) -> f7054_0_createTree_Store(EOS(STATIC_7054(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) :|: TRUE
13.49/4.42	f7054_0_createTree_Store(EOS(STATIC_7054(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) -> f7058_0_createTree_JMP(EOS(STATIC_7058(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) :|: TRUE
13.49/4.42	f7058_0_createTree_JMP(EOS(STATIC_7058(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) -> f7062_0_createTree_Inc(EOS(STATIC_7062(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) :|: TRUE
13.49/4.42	f7062_0_createTree_Inc(EOS(STATIC_7062(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) -> f7063_0_createTree_Inc(EOS(STATIC_7063(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2178))) :|: TRUE
13.49/4.42	f7063_0_createTree_Inc(EOS(STATIC_7063(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f7061_0_createTree_Inc(EOS(STATIC_7061(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f6948_0_createTree_LE(EOS(STATIC_6948(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), i1500) -> f6952_0_createTree_Load(EOS(STATIC_6952(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) :|: i1500 > 0
13.49/4.42	f6952_0_createTree_Load(EOS(STATIC_6952(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub)) -> f6957_0_createTree_FieldAccess(EOS(STATIC_6957(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o1855sub), java.lang.Object(o1855sub)) :|: TRUE
13.49/4.42	f6957_0_createTree_FieldAccess(EOS(STATIC_6957(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, o2022)), java.lang.Object(Tree(EOC, o2023, o2022))) -> f6962_0_createTree_FieldAccess(EOS(STATIC_6962(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, o2022)), java.lang.Object(Tree(EOC, o2023, o2022))) :|: TRUE
13.49/4.42	f6962_0_createTree_FieldAccess(EOS(STATIC_6962(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, o2022)), java.lang.Object(Tree(EOC, o2023, o2022))) -> f6967_0_createTree_NONNULL(EOS(STATIC_6967(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, o2022)), o2022) :|: TRUE
13.49/4.42	f6967_0_createTree_NONNULL(EOS(STATIC_6967(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, java.lang.Object(o2032sub))), java.lang.Object(o2032sub)) -> f6973_0_createTree_NONNULL(EOS(STATIC_6973(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, java.lang.Object(o2032sub))), java.lang.Object(o2032sub)) :|: TRUE
13.49/4.42	f6967_0_createTree_NONNULL(EOS(STATIC_6967(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), NULL) -> f6974_0_createTree_NONNULL(EOS(STATIC_6974(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), NULL) :|: TRUE
13.49/4.42	f6973_0_createTree_NONNULL(EOS(STATIC_6973(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, java.lang.Object(o2032sub))), java.lang.Object(o2032sub)) -> f6980_0_createTree_Load(EOS(STATIC_6980(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, java.lang.Object(o2032sub)))) :|: TRUE
13.49/4.42	f6980_0_createTree_Load(EOS(STATIC_6980(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, java.lang.Object(o2032sub)))) -> f6987_0_createTree_FieldAccess(EOS(STATIC_6987(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, java.lang.Object(o2032sub)))) :|: TRUE
13.49/4.42	f6987_0_createTree_FieldAccess(EOS(STATIC_6987(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, java.lang.Object(o2032sub)))) -> f6994_0_createTree_Store(EOS(STATIC_6994(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2032sub)) :|: TRUE
13.49/4.42	f6994_0_createTree_Store(EOS(STATIC_6994(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2032sub)) -> f7000_0_createTree_JMP(EOS(STATIC_7000(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2032sub)) :|: TRUE
13.49/4.42	f7000_0_createTree_JMP(EOS(STATIC_7000(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2032sub)) -> f7005_0_createTree_Inc(EOS(STATIC_7005(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2032sub)) :|: TRUE
13.49/4.42	f7005_0_createTree_Inc(EOS(STATIC_7005(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2032sub)) -> f6999_0_createTree_Inc(EOS(STATIC_6999(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(o2032sub)) :|: TRUE
13.49/4.42	f6974_0_createTree_NONNULL(EOS(STATIC_6974(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), NULL) -> f6981_0_createTree_Load(EOS(STATIC_6981(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL))) :|: TRUE
13.49/4.42	f6981_0_createTree_Load(EOS(STATIC_6981(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL))) -> f6988_0_createTree_InvokeMethod(EOS(STATIC_6988(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL))) :|: TRUE
13.49/4.42	f6988_0_createTree_InvokeMethod(EOS(STATIC_6988(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL))) -> f6995_0_createNode_New(EOS(STATIC_6995(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL))) :|: TRUE
13.49/4.42	f6995_0_createNode_New(EOS(STATIC_6995(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL))) -> f7006_0_createNode_Duplicate(EOS(STATIC_7006(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7006_0_createNode_Duplicate(EOS(STATIC_7006(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7013_0_createNode_InvokeMethod(EOS(STATIC_7013(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7013_0_createNode_InvokeMethod(EOS(STATIC_7013(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7017_0__init__Load(EOS(STATIC_7017(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7017_0__init__Load(EOS(STATIC_7017(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7022_0__init__InvokeMethod(EOS(STATIC_7022(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7022_0__init__InvokeMethod(EOS(STATIC_7022(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7025_0__init__Return(EOS(STATIC_7025(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7025_0__init__Return(EOS(STATIC_7025(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7027_0_createNode_Store(EOS(STATIC_7027(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7027_0_createNode_Store(EOS(STATIC_7027(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7030_0_createNode_Load(EOS(STATIC_7030(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7030_0_createNode_Load(EOS(STATIC_7030(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7032_0_createNode_New(EOS(STATIC_7032(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7032_0_createNode_New(EOS(STATIC_7032(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7034_0_createNode_Duplicate(EOS(STATIC_7034(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.49/4.42	f7034_0_createNode_Duplicate(EOS(STATIC_7034(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7036_0_createNode_InvokeMethod(EOS(STATIC_7036(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
13.49/4.42	f7036_0_createNode_InvokeMethod(EOS(STATIC_7036(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7038_0_createNode_FieldAccess(EOS(STATIC_7038(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.49/4.42	f7038_0_createNode_FieldAccess(EOS(STATIC_7038(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7040_0_createNode_Load(EOS(STATIC_7040(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7040_0_createNode_Load(EOS(STATIC_7040(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7042_0_createNode_Return(EOS(STATIC_7042(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7042_0_createNode_Return(EOS(STATIC_7042(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7044_0_createTree_FieldAccess(EOS(STATIC_7044(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7044_0_createTree_FieldAccess(EOS(STATIC_7044(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7047_0_createTree_FieldAccess(EOS(STATIC_7047(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7044_0_createTree_FieldAccess(EOS(STATIC_7044(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, NULL)), java.lang.Object(Tree(EOC, o2187, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7048_0_createTree_FieldAccess(EOS(STATIC_7048(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, NULL)), java.lang.Object(Tree(EOC, o2187, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.49/4.42	f7047_0_createTree_FieldAccess(EOS(STATIC_7047(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o2023, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7051_0_createTree_Load(EOS(STATIC_7051(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853put, o1852put))) :|: TRUE
13.49/4.42	f7051_0_createTree_Load(EOS(STATIC_7051(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852))) -> f7055_0_createTree_Store(EOS(STATIC_7055(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7055_0_createTree_Store(EOS(STATIC_7055(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f7059_0_createTree_JMP(EOS(STATIC_7059(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7059_0_createTree_JMP(EOS(STATIC_7059(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) -> f7063_0_createTree_Inc(EOS(STATIC_7063(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o1853, o1852)), java.lang.Object(Tree(EOC, o1853, o1852))) :|: TRUE
13.49/4.42	f7048_0_createTree_FieldAccess(EOS(STATIC_7048(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, NULL)), java.lang.Object(Tree(EOC, o2187, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7052_0_createTree_Load(EOS(STATIC_7052(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.49/4.42	f7052_0_createTree_Load(EOS(STATIC_7052(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7056_0_createTree_Store(EOS(STATIC_7056(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.49/4.42	f7056_0_createTree_Store(EOS(STATIC_7056(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7060_0_createTree_JMP(EOS(STATIC_7060(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.49/4.42	f7060_0_createTree_JMP(EOS(STATIC_7060(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7064_0_createTree_Inc(EOS(STATIC_7064(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.49/4.42	f7064_0_createTree_Inc(EOS(STATIC_7064(java.lang.Object(ARRAY(i6)))), i1381, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7066_0_createTree_JMP(EOS(STATIC_7066(java.lang.Object(ARRAY(i6)))), i1381 + -1, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.49/4.42	f7066_0_createTree_JMP(EOS(STATIC_7066(java.lang.Object(ARRAY(i6)))), i1593, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7068_0_createTree_Load(EOS(STATIC_7068(java.lang.Object(ARRAY(i6)))), i1593, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.49/4.42	f7068_0_createTree_Load(EOS(STATIC_7068(java.lang.Object(ARRAY(i6)))), i1593, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6668_0_createTree_Load(EOS(STATIC_6668(java.lang.Object(ARRAY(i6)))), i1593, java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2187, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.49/4.42	Combined rules. Obtained 6 IRulesP rules:
13.49/4.42	f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0, java.lang.Object(Tree(EOC, o1853:0, NULL)), java.lang.Object(Tree(EOC, o1853:0, NULL)), i1381:0) -> f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0 - 1, java.lang.Object(Tree(EOC, o1853:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o1853:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1381:0 - 1) :|: i1381:0 > 0 && i1478:0 > 0
13.49/4.42	f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0, java.lang.Object(Tree(EOC, o1853:0, o1852:0)), java.lang.Object(Tree(EOC, o2023:0, java.lang.Object(o2032sub:0))), i1381:0) -> f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0 - 1, java.lang.Object(Tree(EOC, o1853:0, o1852:0)), java.lang.Object(o2032sub:0), i1381:0 - 1) :|: i1381:0 > 0 && i1478:0 > 0
13.49/4.42	f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0, java.lang.Object(Tree(EOC, o1853:0, o1852:0)), java.lang.Object(Tree(EOC, o2023:0, NULL)), i1381:0) -> f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0 - 1, java.lang.Object(Tree(EOC, o1853put:0, o1852put:0)), java.lang.Object(Tree(EOC, o1853put:0, o1852put:0)), i1381:0 - 1) :|: i1381:0 > 0 && i1478:0 > 0
13.49/4.42	f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0, java.lang.Object(Tree(EOC, o1853:0, o1852:0)), java.lang.Object(Tree(EOC, NULL, o2018:0)), i1381:0) -> f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0 - 1, java.lang.Object(Tree(EOC, o1853put:0, o1852put:0)), java.lang.Object(Tree(EOC, o1853put:0, o1852put:0)), i1381:0 - 1) :|: i1381:0 > 0
13.49/4.42	f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0, java.lang.Object(Tree(EOC, NULL, o1852:0)), java.lang.Object(Tree(EOC, NULL, o1852:0)), i1381:0) -> f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o1852:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o1852:0)), i1381:0 - 1) :|: i1381:0 > 0
13.49/4.42	f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0, java.lang.Object(Tree(EOC, o1853:0, o1852:0)), java.lang.Object(Tree(EOC, java.lang.Object(o2031sub:0), o2018:0)), i1381:0) -> f6670_0_createTree_LE(EOS(STATIC_6670(java.lang.Object(ARRAY(i6:0)))), i1381:0 - 1, java.lang.Object(Tree(EOC, o1853:0, o1852:0)), java.lang.Object(o2031sub:0), i1381:0 - 1) :|: i1381:0 > 0
13.49/4.42	Filtered constant ground arguments:
13.49/4.42	   Tree(x1, x2, x3) -> Tree(x2, x3)
13.49/4.42	Filtered duplicate arguments:
13.49/4.42	   f6670_0_createTree_LE(x1, x2, x3, x4, x5) -> f6670_0_createTree_LE(x1, x3, x4, x5)
13.49/4.42	Filtered unneeded arguments:
13.49/4.42	   f6670_0_createTree_LE(x1, x2, x3, x4) -> f6670_0_createTree_LE(x2, x3, x4)
13.49/4.42	Finished conversion. Obtained 6 rules.P rules:
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, NULL)), java.lang.Object(Tree(o1853:0, NULL)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), i1381:0 - 1) :|: i1381:0 > 0 && i1478:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, o1852:0)), java.lang.Object(Tree(o2023:0, java.lang.Object(o2032sub:0))), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, o1852:0)), java.lang.Object(o2032sub:0), i1381:0 - 1) :|: i1381:0 > 0 && i1478:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, o1852:0)), java.lang.Object(Tree(o2023:0, NULL)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853put:0, o1852put:0)), java.lang.Object(Tree(o1853put:0, o1852put:0)), i1381:0 - 1) :|: i1381:0 > 0 && i1478:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, o1852:0)), java.lang.Object(Tree(NULL, o2018:0)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853put:0, o1852put:0)), java.lang.Object(Tree(o1853put:0, o1852put:0)), i1381:0 - 1) :|: i1381:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(NULL, o1852:0)), java.lang.Object(Tree(NULL, o1852:0)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1852:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1852:0)), i1381:0 - 1) :|: i1381:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, o1852:0)), java.lang.Object(Tree(java.lang.Object(o2031sub:0), o2018:0)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, o1852:0)), java.lang.Object(o2031sub:0), i1381:0 - 1) :|: i1381:0 > 0
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(14)
13.49/4.42	Obligation:
13.49/4.42	Rules:
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, NULL)), java.lang.Object(Tree(o1853:0, NULL)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), i1381:0 - 1) :|: i1381:0 > 0 && i1478:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(x2, java.lang.Object(x3))), x4) -> f6670_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(x3), x4 - 1) :|: x4 > 0 && x5 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x6, x7)), java.lang.Object(Tree(x8, NULL)), x9) -> f6670_0_createTree_LE(java.lang.Object(Tree(x10, x11)), java.lang.Object(Tree(x10, x11)), x9 - 1) :|: x9 > 0 && x12 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x13, x14)), java.lang.Object(Tree(NULL, x15)), x16) -> f6670_0_createTree_LE(java.lang.Object(Tree(x17, x18)), java.lang.Object(Tree(x17, x18)), x16 - 1) :|: x16 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(NULL, x19)), java.lang.Object(Tree(NULL, x19)), x20) -> f6670_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x19)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x19)), x20 - 1) :|: x20 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x21, x22)), java.lang.Object(Tree(java.lang.Object(x23), x24)), x25) -> f6670_0_createTree_LE(java.lang.Object(Tree(x21, x22)), java.lang.Object(x23), x25 - 1) :|: x25 > 0
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(15) IRSFormatTransformerProof (EQUIVALENT)
13.49/4.42	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(16)
13.49/4.42	Obligation:
13.49/4.42	Rules:
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, NULL)), java.lang.Object(Tree(o1853:0, NULL)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), arith) :|: i1381:0 > 0 && i1478:0 > 0 && arith = i1381:0 - 1
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x26, x27)), java.lang.Object(Tree(x28, java.lang.Object(x29))), x30) -> f6670_0_createTree_LE(java.lang.Object(Tree(x26, x27)), java.lang.Object(x29), x31) :|: x30 > 0 && x32 > 0 && x31 = x30 - 1
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x33, x34)), java.lang.Object(Tree(x35, NULL)), x36) -> f6670_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(Tree(x37, x38)), x39) :|: x36 > 0 && x40 > 0 && x39 = x36 - 1
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(Tree(NULL, x43)), x44) -> f6670_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(x45, x46)), x47) :|: x44 > 0 && x47 = x44 - 1
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(NULL, x48)), java.lang.Object(Tree(NULL, x48)), x49) -> f6670_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), x50) :|: x49 > 0 && x50 = x49 - 1
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(java.lang.Object(x53), x54)), x55) -> f6670_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(x53), x56) :|: x55 > 0 && x56 = x55 - 1
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(17) IRSwTTerminationDigraphProof (EQUIVALENT)
13.49/4.42	Constructed termination digraph!
13.49/4.42	Nodes:
13.49/4.42	(1) f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, NULL)), java.lang.Object(Tree(o1853:0, NULL)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), arith) :|: i1381:0 > 0 && i1478:0 > 0 && arith = i1381:0 - 1
13.49/4.42	(2) f6670_0_createTree_LE(java.lang.Object(Tree(x26, x27)), java.lang.Object(Tree(x28, java.lang.Object(x29))), x30) -> f6670_0_createTree_LE(java.lang.Object(Tree(x26, x27)), java.lang.Object(x29), x31) :|: x30 > 0 && x32 > 0 && x31 = x30 - 1
13.49/4.42	(3) f6670_0_createTree_LE(java.lang.Object(Tree(x33, x34)), java.lang.Object(Tree(x35, NULL)), x36) -> f6670_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(Tree(x37, x38)), x39) :|: x36 > 0 && x40 > 0 && x39 = x36 - 1
13.49/4.42	(4) f6670_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(Tree(NULL, x43)), x44) -> f6670_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(x45, x46)), x47) :|: x44 > 0 && x47 = x44 - 1
13.49/4.42	(5) f6670_0_createTree_LE(java.lang.Object(Tree(NULL, x48)), java.lang.Object(Tree(NULL, x48)), x49) -> f6670_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), x50) :|: x49 > 0 && x50 = x49 - 1
13.49/4.42	(6) f6670_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(java.lang.Object(x53), x54)), x55) -> f6670_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(x53), x56) :|: x55 > 0 && x56 = x55 - 1
13.49/4.42	
13.49/4.42	Arcs:
13.49/4.42	(1) -> (2), (4), (5), (6)
13.49/4.42	(2) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	(3) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	(4) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	(5) -> (1), (2), (3), (6)
13.49/4.42	(6) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	
13.49/4.42	This digraph is fully evaluated!
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(18)
13.49/4.42	Obligation:
13.49/4.42	
13.49/4.42	Termination digraph:
13.49/4.42	Nodes:
13.49/4.42	(1) f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, NULL)), java.lang.Object(Tree(o1853:0, NULL)), i1381:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1853:0, java.lang.Object(Tree(NULL, NULL)))), arith) :|: i1381:0 > 0 && i1478:0 > 0 && arith = i1381:0 - 1
13.49/4.42	(2) f6670_0_createTree_LE(java.lang.Object(Tree(x26, x27)), java.lang.Object(Tree(x28, java.lang.Object(x29))), x30) -> f6670_0_createTree_LE(java.lang.Object(Tree(x26, x27)), java.lang.Object(x29), x31) :|: x30 > 0 && x32 > 0 && x31 = x30 - 1
13.49/4.42	(3) f6670_0_createTree_LE(java.lang.Object(Tree(x33, x34)), java.lang.Object(Tree(x35, NULL)), x36) -> f6670_0_createTree_LE(java.lang.Object(Tree(x37, x38)), java.lang.Object(Tree(x37, x38)), x39) :|: x36 > 0 && x40 > 0 && x39 = x36 - 1
13.49/4.42	(4) f6670_0_createTree_LE(java.lang.Object(Tree(x41, x42)), java.lang.Object(Tree(NULL, x43)), x44) -> f6670_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(x45, x46)), x47) :|: x44 > 0 && x47 = x44 - 1
13.49/4.42	(5) f6670_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(java.lang.Object(x53), x54)), x55) -> f6670_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(x53), x56) :|: x55 > 0 && x56 = x55 - 1
13.49/4.42	(6) f6670_0_createTree_LE(java.lang.Object(Tree(NULL, x48)), java.lang.Object(Tree(NULL, x48)), x49) -> f6670_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48)), x50) :|: x49 > 0 && x50 = x49 - 1
13.49/4.42	
13.49/4.42	Arcs:
13.49/4.42	(1) -> (2), (4), (5), (6)
13.49/4.42	(2) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	(3) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	(4) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	(5) -> (1), (2), (3), (4), (5), (6)
13.49/4.42	(6) -> (1), (2), (3), (5)
13.49/4.42	
13.49/4.42	This digraph is fully evaluated!
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(19) IntTRSCompressionProof (EQUIVALENT)
13.49/4.42	Compressed rules.
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(20)
13.49/4.42	Obligation:
13.49/4.42	Rules:
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x33:0, x34:0)), java.lang.Object(Tree(x35:0, NULL)), x36:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(x37:0, x38:0)), java.lang.Object(Tree(x37:0, x38:0)), x36:0 - 1) :|: x36:0 > 0 && x40:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x51:0, x52:0)), java.lang.Object(Tree(java.lang.Object(x53:0), x54:0)), x55:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(x51:0, x52:0)), java.lang.Object(x53:0), x55:0 - 1) :|: x55:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x26:0, x27:0)), java.lang.Object(Tree(x28:0, java.lang.Object(x29:0))), x30:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(x26:0, x27:0)), java.lang.Object(x29:0), x30:0 - 1) :|: x30:0 > 0 && x32:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(x41:0, x42:0)), java.lang.Object(Tree(NULL, x43:0)), x44:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(x45:0, x46:0)), java.lang.Object(Tree(x45:0, x46:0)), x44:0 - 1) :|: x44:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(NULL, x48:0)), java.lang.Object(Tree(NULL, x48:0)), x49:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x48:0)), x49:0 - 1) :|: x49:0 > 0
13.49/4.42	f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0:0, NULL)), java.lang.Object(Tree(o1853:0:0, NULL)), i1381:0:0) -> f6670_0_createTree_LE(java.lang.Object(Tree(o1853:0:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1853:0:0, java.lang.Object(Tree(NULL, NULL)))), i1381:0:0 - 1) :|: i1381:0:0 > 0 && i1478:0:0 > 0
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(21) TempFilterProof (SOUND)
13.49/4.42	Used the following sort dictionary for filtering: 
13.49/4.42	f6670_0_createTree_LE(VARIABLE, VARIABLE, INTEGER)
13.49/4.42	java.lang.Object(VARIABLE)
13.49/4.42	Tree(VARIABLE, VARIABLE)
13.49/4.42	NULL()
13.49/4.42	Replaced non-predefined constructor symbols by 0.
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(22)
13.49/4.42	Obligation:
13.49/4.42	Rules:
13.49/4.42	f6670_0_createTree_LE(c, c1, x36:0) -> f6670_0_createTree_LE(c2, c3, c4) :|: c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x36:0 > 0 && x40:0 > 0)
13.49/4.42	f6670_0_createTree_LE(c5, c6, x55:0) -> f6670_0_createTree_LE(c7, c8, c9) :|: c9 = x55:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && x55:0 > 0
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(23) PolynomialOrderProcessor (EQUIVALENT)
13.49/4.42	Found the following polynomial interpretation:
13.49/4.42	[f6670_0_createTree_LE(x, x1, x2)] = c*x + c1*x1 + x2
13.49/4.42	
13.49/4.42	The following rules are decreasing:
13.49/4.42	f6670_0_createTree_LE(c, c1, x36:0) -> f6670_0_createTree_LE(c2, c3, c4) :|: c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x36:0 > 0 && x40:0 > 0)
13.49/4.42	f6670_0_createTree_LE(c5, c6, x55:0) -> f6670_0_createTree_LE(c7, c8, c9) :|: c9 = x55:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && x55:0 > 0
13.49/4.42	The following rules are bounded:
13.49/4.42	f6670_0_createTree_LE(c, c1, x36:0) -> f6670_0_createTree_LE(c2, c3, c4) :|: c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x36:0 > 0 && x40:0 > 0)
13.49/4.42	f6670_0_createTree_LE(c5, c6, x55:0) -> f6670_0_createTree_LE(c7, c8, c9) :|: c9 = x55:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && x55:0 > 0
13.49/4.42	
13.49/4.42	----------------------------------------
13.49/4.42	
13.49/4.42	(24)
13.49/4.42	YES
13.49/4.46	EOF