11.88/4.04	YES
11.95/4.05	proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
11.95/4.05	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
11.95/4.05	
11.95/4.05	
11.95/4.05	termination of the given Bare JBC problem could be proven:
11.95/4.05	
11.95/4.05	(0) Bare JBC problem
11.95/4.05	(1) BareJBCToJBCProof [EQUIVALENT, 98 ms]
11.95/4.05	(2) JBC problem
11.95/4.05	(3) JBCToGraph [EQUIVALENT, 928 ms]
11.95/4.05	(4) JBCTerminationGraph
11.95/4.05	(5) TerminationGraphToSCCProof [SOUND, 0 ms]
11.95/4.05	(6) AND
11.95/4.05	    (7) JBCTerminationSCC
11.95/4.05	        (8) SCCToIRSProof [SOUND, 287 ms]
11.95/4.05	        (9) IRSwT
11.95/4.05	        (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
11.95/4.05	        (11) IRSwT
11.95/4.05	        (12) IRSwTTerminationDigraphProof [EQUIVALENT, 305 ms]
11.95/4.05	        (13) IRSwT
11.95/4.05	        (14) IntTRSCompressionProof [EQUIVALENT, 0 ms]
11.95/4.05	        (15) IRSwT
11.95/4.05	        (16) TempFilterProof [SOUND, 26 ms]
11.95/4.05	        (17) IntTRS
11.95/4.05	        (18) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
11.95/4.05	        (19) YES
11.95/4.05	    (20) JBCTerminationSCC
11.95/4.05	        (21) SCCToQDPProof [SOUND, 219 ms]
11.95/4.05	        (22) QDP
11.95/4.05	        (23) QDPSizeChangeProof [EQUIVALENT, 0 ms]
11.95/4.05	        (24) YES
11.95/4.05	
11.95/4.05	
11.95/4.05	----------------------------------------
11.95/4.05	
11.95/4.05	(0)
11.95/4.05	Obligation:
11.95/4.05	need to prove termination of the following program:
11.95/4.05	package TreeLeftmostDepth;
11.95/4.05	
11.95/4.05	public class Random {
11.95/4.05	  static String[] args;
11.95/4.05	  static int index = 0;
11.95/4.05	
11.95/4.05	  public static int random() {
11.95/4.05	    String string = args[index];
11.95/4.05	    index++;
11.95/4.05	    return string.length();
11.95/4.05	  }
11.95/4.05	}
11.95/4.05	
11.95/4.05	
11.95/4.05	package TreeLeftmostDepth;
11.95/4.05	
11.95/4.05	public class Tree {
11.95/4.05	  Tree left;
11.95/4.05	  Tree right;
11.95/4.05	  Object value;
11.95/4.05	
11.95/4.05	  public Tree(Tree l, Tree r) {
11.95/4.05	    this.left = l;
11.95/4.05	    this.right = r;
11.95/4.05	  }
11.95/4.05	
11.95/4.05	  public Tree() {
11.95/4.05	  }
11.95/4.05	
11.95/4.05	  public static Tree createNode() {
11.95/4.05	    Tree result = new Tree();
11.95/4.05	    result.value = new Object();
11.95/4.05	    return result;
11.95/4.05	  }
11.95/4.05	
11.95/4.05	  public static Tree createTree() {
11.95/4.05	    int counter = Random.random();
11.95/4.05	    if (counter == 0) {
11.95/4.05	      return null;
11.95/4.05	    }
11.95/4.05	    Tree result = createNode();
11.95/4.05	    Tree t = result;
11.95/4.05	
11.95/4.05	    while (counter > 0) {
11.95/4.05	      int branch = Random.random();
11.95/4.05	      if (branch > 0) {
11.95/4.05	        if (t.left == null) {
11.95/4.05	          t.left = createNode();
11.95/4.05	          t = result;
11.95/4.05	        } else {
11.95/4.05	          t = t.left;
11.95/4.05	        }
11.95/4.05	      } else {
11.95/4.05	        if (t.right == null) {
11.95/4.05	          t.right = createNode();
11.95/4.05	          t = result;
11.95/4.05	        } else {
11.95/4.05	          t = t.right;
11.95/4.05	        }
11.95/4.05	      }
11.95/4.05	      counter--;
11.95/4.05	    }
11.95/4.05	
11.95/4.05	    return result;
11.95/4.05	  }
11.95/4.05	  public static void main(String[] args) {
11.95/4.05	    Random.args = args;
11.95/4.05	    createTree();
11.95/4.05	  }
11.95/4.05	}
11.95/4.05	
11.95/4.05	
11.95/4.05	package TreeLeftmostDepth;
11.95/4.05	
11.95/4.05	public class TreeLeftmostDepth {
11.95/4.05	  public static void main(String[] args) {
11.95/4.05	    Random.args = args;
11.95/4.05	    Tree tree = Tree.createTree();
11.95/4.05	    int lmdepth = 0;
11.95/4.05	    while (tree.left != null) {
11.95/4.05	      /*      t              t
11.95/4.05	       *     / \            /  \
11.95/4.05	       *    tl  tr  ==>   tll   tl
11.95/4.05	       *   /  \                / \
11.95/4.05	       * tll  tlr            tlr  \tr
11.95/4.05	       */
11.95/4.05	      Tree tl = tree.left;
11.95/4.05	      Tree tll = tl.left;
11.95/4.05	      Tree tlr = tl.right;
11.95/4.05	      Tree tr = tree.right;
11.95/4.05	      tree.right = tl;
11.95/4.05	      tl.right = tr;
11.95/4.05	      tl.left = tlr;
11.95/4.05	      tree.left = tll;
11.95/4.05	      lmdepth++;
11.95/4.05	    }
11.95/4.05	  }
11.95/4.05	}
11.95/4.05	
11.95/4.05	
11.95/4.05	
11.95/4.05	----------------------------------------
11.95/4.05	
11.95/4.05	(1) BareJBCToJBCProof (EQUIVALENT)
11.95/4.05	initialized classpath
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(2)
11.95/4.06	Obligation:
11.95/4.06	need to prove termination of the following program:
11.95/4.06	package TreeLeftmostDepth;
11.95/4.06	
11.95/4.06	public class Random {
11.95/4.06	  static String[] args;
11.95/4.06	  static int index = 0;
11.95/4.06	
11.95/4.06	  public static int random() {
11.95/4.06	    String string = args[index];
11.95/4.06	    index++;
11.95/4.06	    return string.length();
11.95/4.06	  }
11.95/4.06	}
11.95/4.06	
11.95/4.06	
11.95/4.06	package TreeLeftmostDepth;
11.95/4.06	
11.95/4.06	public class Tree {
11.95/4.06	  Tree left;
11.95/4.06	  Tree right;
11.95/4.06	  Object value;
11.95/4.06	
11.95/4.06	  public Tree(Tree l, Tree r) {
11.95/4.06	    this.left = l;
11.95/4.06	    this.right = r;
11.95/4.06	  }
11.95/4.06	
11.95/4.06	  public Tree() {
11.95/4.06	  }
11.95/4.06	
11.95/4.06	  public static Tree createNode() {
11.95/4.06	    Tree result = new Tree();
11.95/4.06	    result.value = new Object();
11.95/4.06	    return result;
11.95/4.06	  }
11.95/4.06	
11.95/4.06	  public static Tree createTree() {
11.95/4.06	    int counter = Random.random();
11.95/4.06	    if (counter == 0) {
11.95/4.06	      return null;
11.95/4.06	    }
11.95/4.06	    Tree result = createNode();
11.95/4.06	    Tree t = result;
11.95/4.06	
11.95/4.06	    while (counter > 0) {
11.95/4.06	      int branch = Random.random();
11.95/4.06	      if (branch > 0) {
11.95/4.06	        if (t.left == null) {
11.95/4.06	          t.left = createNode();
11.95/4.06	          t = result;
11.95/4.06	        } else {
11.95/4.06	          t = t.left;
11.95/4.06	        }
11.95/4.06	      } else {
11.95/4.06	        if (t.right == null) {
11.95/4.06	          t.right = createNode();
11.95/4.06	          t = result;
11.95/4.06	        } else {
11.95/4.06	          t = t.right;
11.95/4.06	        }
11.95/4.06	      }
11.95/4.06	      counter--;
11.95/4.06	    }
11.95/4.06	
11.95/4.06	    return result;
11.95/4.06	  }
11.95/4.06	  public static void main(String[] args) {
11.95/4.06	    Random.args = args;
11.95/4.06	    createTree();
11.95/4.06	  }
11.95/4.06	}
11.95/4.06	
11.95/4.06	
11.95/4.06	package TreeLeftmostDepth;
11.95/4.06	
11.95/4.06	public class TreeLeftmostDepth {
11.95/4.06	  public static void main(String[] args) {
11.95/4.06	    Random.args = args;
11.95/4.06	    Tree tree = Tree.createTree();
11.95/4.06	    int lmdepth = 0;
11.95/4.06	    while (tree.left != null) {
11.95/4.06	      /*      t              t
11.95/4.06	       *     / \            /  \
11.95/4.06	       *    tl  tr  ==>   tll   tl
11.95/4.06	       *   /  \                / \
11.95/4.06	       * tll  tlr            tlr  \tr
11.95/4.06	       */
11.95/4.06	      Tree tl = tree.left;
11.95/4.06	      Tree tll = tl.left;
11.95/4.06	      Tree tlr = tl.right;
11.95/4.06	      Tree tr = tree.right;
11.95/4.06	      tree.right = tl;
11.95/4.06	      tl.right = tr;
11.95/4.06	      tl.left = tlr;
11.95/4.06	      tree.left = tll;
11.95/4.06	      lmdepth++;
11.95/4.06	    }
11.95/4.06	  }
11.95/4.06	}
11.95/4.06	
11.95/4.06	
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(3) JBCToGraph (EQUIVALENT)
11.95/4.06	Constructed TerminationGraph.
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(4)
11.95/4.06	Obligation:
11.95/4.06	Termination Graph based on JBC Program:
11.95/4.06	TreeLeftmostDepth.TreeLeftmostDepth.main([Ljava/lang/String;)V: Graph of 88 nodes with 1 SCC.
11.95/4.06	
11.95/4.06	
11.95/4.06	
11.95/4.06	TreeLeftmostDepth.Tree.createTree()LTreeLeftmostDepth/Tree;: Graph of 310 nodes with 1 SCC.
11.95/4.06	
11.95/4.06	
11.95/4.06	
11.95/4.06	
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(5) TerminationGraphToSCCProof (SOUND)
11.95/4.06	Splitted TerminationGraph to 2 SCCss.
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(6)
11.95/4.06	Complex Obligation (AND)
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(7)
11.95/4.06	Obligation:
11.95/4.06	SCC of termination graph based on JBC Program.
11.95/4.06	SCC contains nodes from the following methods: TreeLeftmostDepth.Tree.createTree()LTreeLeftmostDepth/Tree;
11.95/4.06	SCC calls the following helper methods: 
11.95/4.06	Performed SCC analyses:
11.95/4.06	*Used field analysis yielded the following read fields:
11.95/4.06	*java.lang.String: [count]
11.95/4.06	*TreeLeftmostDepth.Tree: [right, left]
11.95/4.06	*Marker field analysis yielded the following relations that could be markers:
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(8) SCCToIRSProof (SOUND)
11.95/4.06	Transformed FIGraph SCCs to intTRSs. Log: 
11.95/4.06	Generated rules. Obtained 114 IRulesP rules:
11.95/4.06	f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1022) -> f5537_0_createTree_LE(EOS(STATIC_5537(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1022) :|: TRUE
11.95/4.06	f5537_0_createTree_LE(EOS(STATIC_5537(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1022) -> f5544_0_createTree_InvokeMethod(EOS(STATIC_5544(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) :|: i1022 > 0
11.95/4.06	f5544_0_createTree_InvokeMethod(EOS(STATIC_5544(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) -> f5550_0_random_FieldAccess(EOS(STATIC_5550(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) :|: TRUE
11.95/4.06	f5550_0_random_FieldAccess(EOS(STATIC_5550(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) -> f5595_0_random_FieldAccess(EOS(STATIC_5595(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6))) :|: TRUE
11.95/4.06	f5595_0_random_FieldAccess(EOS(STATIC_5595(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6))) -> f5631_0_random_ArrayAccess(EOS(STATIC_5631(java.lang.Object(ARRAY(i6)), i1013)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6)), i1013) :|: TRUE
11.95/4.06	f5631_0_random_ArrayAccess(EOS(STATIC_5631(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6)), i1059) -> f5638_0_random_ArrayAccess(EOS(STATIC_5638(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6)), i1059) :|: TRUE
11.95/4.06	f5638_0_random_ArrayAccess(EOS(STATIC_5638(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6)), i1059) -> f5646_0_random_ArrayAccess(EOS(STATIC_5646(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6)), i1059) :|: TRUE
11.95/4.06	f5646_0_random_ArrayAccess(EOS(STATIC_5646(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(ARRAY(i6)), i1059) -> f5651_0_random_Store(EOS(STATIC_5651(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519) :|: i1059 < i6
11.95/4.06	f5651_0_random_Store(EOS(STATIC_5651(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519) -> f5659_0_random_FieldAccess(EOS(STATIC_5659(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519) :|: TRUE
11.95/4.06	f5659_0_random_FieldAccess(EOS(STATIC_5659(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519) -> f5667_0_random_ConstantStackPush(EOS(STATIC_5667(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519, i1059) :|: TRUE
11.95/4.06	f5667_0_random_ConstantStackPush(EOS(STATIC_5667(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519, i1059) -> f5676_0_random_IntArithmetic(EOS(STATIC_5676(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519, i1059, 1) :|: TRUE
11.95/4.06	f5676_0_random_IntArithmetic(EOS(STATIC_5676(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519, i1059, matching1) -> f5687_0_random_FieldAccess(EOS(STATIC_5687(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519, i1059 + 1) :|: i1059 >= 0 && matching1 = 1
11.95/4.06	f5687_0_random_FieldAccess(EOS(STATIC_5687(java.lang.Object(ARRAY(i6)), i1059)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519, i1081) -> f5693_0_random_Load(EOS(STATIC_5693(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519) :|: TRUE
11.95/4.06	f5693_0_random_Load(EOS(STATIC_5693(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519) -> f5704_0_random_InvokeMethod(EOS(STATIC_5704(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), o1519) :|: TRUE
11.95/4.06	f5704_0_random_InvokeMethod(EOS(STATIC_5704(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1541sub)) -> f5714_0_random_InvokeMethod(EOS(STATIC_5714(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1541sub)) :|: TRUE
11.95/4.06	f5714_0_random_InvokeMethod(EOS(STATIC_5714(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1542sub)) -> f5720_0_random_InvokeMethod(EOS(STATIC_5720(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1542sub)) :|: TRUE
11.95/4.06	f5720_0_random_InvokeMethod(EOS(STATIC_5720(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1542sub)) -> f5731_0_length_Load(EOS(STATIC_5731(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1542sub)) :|: TRUE
11.95/4.06	f5731_0_length_Load(EOS(STATIC_5731(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1542sub)) -> f5757_0_length_FieldAccess(EOS(STATIC_5757(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1542sub)) :|: TRUE
11.95/4.06	f5757_0_length_FieldAccess(EOS(STATIC_5757(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(java.lang.String(EOC, i1110))) -> f5771_0_length_FieldAccess(EOS(STATIC_5771(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(java.lang.String(EOC, i1110))) :|: i1110 >= 0
11.95/4.06	f5771_0_length_FieldAccess(EOS(STATIC_5771(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(java.lang.String(EOC, i1110))) -> f5786_0_length_Return(EOS(STATIC_5786(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) :|: TRUE
11.95/4.06	f5786_0_length_Return(EOS(STATIC_5786(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) -> f5801_0_random_Return(EOS(STATIC_5801(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) :|: TRUE
11.95/4.06	f5801_0_random_Return(EOS(STATIC_5801(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) -> f5816_0_createTree_Store(EOS(STATIC_5816(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) :|: TRUE
11.95/4.06	f5816_0_createTree_Store(EOS(STATIC_5816(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) -> f5829_0_createTree_Load(EOS(STATIC_5829(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) :|: TRUE
11.95/4.06	f5829_0_createTree_Load(EOS(STATIC_5829(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) -> f5845_0_createTree_LE(EOS(STATIC_5845(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1110) :|: TRUE
11.95/4.06	f5845_0_createTree_LE(EOS(STATIC_5845(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), matching1) -> f5863_0_createTree_LE(EOS(STATIC_5863(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), 0) :|: TRUE && matching1 = 0
11.95/4.06	f5845_0_createTree_LE(EOS(STATIC_5845(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1148) -> f5864_0_createTree_LE(EOS(STATIC_5864(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1148) :|: TRUE
11.95/4.06	f5863_0_createTree_LE(EOS(STATIC_5863(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), matching1) -> f5884_0_createTree_Load(EOS(STATIC_5884(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) :|: 0 <= 0 && matching1 = 0
11.95/4.06	f5884_0_createTree_Load(EOS(STATIC_5884(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) -> f5909_0_createTree_FieldAccess(EOS(STATIC_5909(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1457sub)) :|: TRUE
11.95/4.06	f5909_0_createTree_FieldAccess(EOS(STATIC_5909(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1586, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1586, o1585))) -> f5943_0_createTree_FieldAccess(EOS(STATIC_5943(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1586, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1586, o1585))) :|: TRUE
11.95/4.06	f5943_0_createTree_FieldAccess(EOS(STATIC_5943(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1586, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1586, o1585))) -> f5960_0_createTree_NONNULL(EOS(STATIC_5960(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1586, o1585)), o1586) :|: TRUE
11.95/4.06	f5960_0_createTree_NONNULL(EOS(STATIC_5960(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub), o1585)), java.lang.Object(o1598sub)) -> f5966_0_createTree_NONNULL(EOS(STATIC_5966(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub), o1585)), java.lang.Object(o1598sub)) :|: TRUE
11.95/4.06	f5960_0_createTree_NONNULL(EOS(STATIC_5960(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), NULL) -> f5967_0_createTree_NONNULL(EOS(STATIC_5967(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), NULL) :|: TRUE
11.95/4.06	f5966_0_createTree_NONNULL(EOS(STATIC_5966(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub), o1585)), java.lang.Object(o1598sub)) -> f5974_0_createTree_Load(EOS(STATIC_5974(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub), o1585))) :|: TRUE
11.95/4.06	f5974_0_createTree_Load(EOS(STATIC_5974(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub), o1585))) -> f5982_0_createTree_FieldAccess(EOS(STATIC_5982(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub), o1585))) :|: TRUE
11.95/4.06	f5982_0_createTree_FieldAccess(EOS(STATIC_5982(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub), o1585))) -> f5994_0_createTree_Store(EOS(STATIC_5994(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) :|: TRUE
11.95/4.06	f5994_0_createTree_Store(EOS(STATIC_5994(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) -> f6015_0_createTree_Inc(EOS(STATIC_6015(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) :|: TRUE
11.95/4.06	f6015_0_createTree_Inc(EOS(STATIC_6015(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) -> f6056_0_createTree_JMP(EOS(STATIC_6056(java.lang.Object(ARRAY(i6)), i1081)), i1022 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) :|: TRUE
11.95/4.06	f6056_0_createTree_JMP(EOS(STATIC_6056(java.lang.Object(ARRAY(i6)), i1081)), i1202, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) -> f6080_0_createTree_Load(EOS(STATIC_6080(java.lang.Object(ARRAY(i6)), i1081)), i1202, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) :|: TRUE
11.95/4.06	f6080_0_createTree_Load(EOS(STATIC_6080(java.lang.Object(ARRAY(i6)), i1081)), i1202, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) -> f5520_0_createTree_Load(EOS(STATIC_5520(java.lang.Object(ARRAY(i6)), i1081)), i1202, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1598sub)) :|: TRUE
11.95/4.06	f5520_0_createTree_Load(EOS(STATIC_5520(java.lang.Object(ARRAY(i6)), i1013)), i1014, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) -> f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6)), i1013)), i1014, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1014) :|: TRUE
11.95/4.06	f5967_0_createTree_NONNULL(EOS(STATIC_5967(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), NULL) -> f5975_0_createTree_Load(EOS(STATIC_5975(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585))) :|: TRUE
11.95/4.06	f5975_0_createTree_Load(EOS(STATIC_5975(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585))) -> f5983_0_createTree_InvokeMethod(EOS(STATIC_5983(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585))) :|: TRUE
11.95/4.06	f5983_0_createTree_InvokeMethod(EOS(STATIC_5983(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585))) -> f5996_0_createNode_New(EOS(STATIC_5996(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585))) :|: TRUE
11.95/4.06	f5996_0_createNode_New(EOS(STATIC_5996(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585))) -> f6060_0_createNode_Duplicate(EOS(STATIC_6060(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6060_0_createNode_Duplicate(EOS(STATIC_6060(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6081_0_createNode_InvokeMethod(EOS(STATIC_6081(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6081_0_createNode_InvokeMethod(EOS(STATIC_6081(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6127_0__init__Load(EOS(STATIC_6127(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6127_0__init__Load(EOS(STATIC_6127(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6189_0__init__InvokeMethod(EOS(STATIC_6189(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6189_0__init__InvokeMethod(EOS(STATIC_6189(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6193_0__init__Return(EOS(STATIC_6193(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6193_0__init__Return(EOS(STATIC_6193(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6202_0_createNode_Store(EOS(STATIC_6202(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6202_0_createNode_Store(EOS(STATIC_6202(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6230_0_createNode_Load(EOS(STATIC_6230(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6230_0_createNode_Load(EOS(STATIC_6230(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6242_0_createNode_New(EOS(STATIC_6242(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6242_0_createNode_New(EOS(STATIC_6242(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6252_0_createNode_Duplicate(EOS(STATIC_6252(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
11.95/4.06	f6252_0_createNode_Duplicate(EOS(STATIC_6252(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6262_0_createNode_InvokeMethod(EOS(STATIC_6262(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
11.95/4.06	f6262_0_createNode_InvokeMethod(EOS(STATIC_6262(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6272_0_createNode_FieldAccess(EOS(STATIC_6272(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
11.95/4.06	f6272_0_createNode_FieldAccess(EOS(STATIC_6272(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6290_0_createNode_Load(EOS(STATIC_6290(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6290_0_createNode_Load(EOS(STATIC_6290(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6293_0_createNode_Return(EOS(STATIC_6293(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6293_0_createNode_Return(EOS(STATIC_6293(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6296_0_createTree_FieldAccess(EOS(STATIC_6296(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6296_0_createTree_FieldAccess(EOS(STATIC_6296(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6299_0_createTree_FieldAccess(EOS(STATIC_6299(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6296_0_createTree_FieldAccess(EOS(STATIC_6296(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6300_0_createTree_FieldAccess(EOS(STATIC_6300(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6299_0_createTree_FieldAccess(EOS(STATIC_6299(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6304_0_createTree_Load(EOS(STATIC_6304(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455put, o1454put))) :|: TRUE
11.95/4.06	f6304_0_createTree_Load(EOS(STATIC_6304(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6309_0_createTree_Store(EOS(STATIC_6309(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6309_0_createTree_Store(EOS(STATIC_6309(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6314_0_createTree_JMP(EOS(STATIC_6314(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6314_0_createTree_JMP(EOS(STATIC_6314(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6319_0_createTree_Inc(EOS(STATIC_6319(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6319_0_createTree_Inc(EOS(STATIC_6319(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6349_0_createTree_JMP(EOS(STATIC_6349(java.lang.Object(ARRAY(i6)), i1081)), i1022 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6349_0_createTree_JMP(EOS(STATIC_6349(java.lang.Object(ARRAY(i6)), i1081)), i1288, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6374_0_createTree_Load(EOS(STATIC_6374(java.lang.Object(ARRAY(i6)), i1081)), i1288, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6374_0_createTree_Load(EOS(STATIC_6374(java.lang.Object(ARRAY(i6)), i1081)), i1288, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f5520_0_createTree_Load(EOS(STATIC_5520(java.lang.Object(ARRAY(i6)), i1081)), i1288, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6300_0_createTree_FieldAccess(EOS(STATIC_6300(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6305_0_createTree_Load(EOS(STATIC_6305(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) :|: TRUE
11.95/4.06	f6305_0_createTree_Load(EOS(STATIC_6305(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) -> f6310_0_createTree_Store(EOS(STATIC_6310(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) :|: TRUE
11.95/4.06	f6310_0_createTree_Store(EOS(STATIC_6310(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) -> f6315_0_createTree_JMP(EOS(STATIC_6315(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) :|: TRUE
11.95/4.06	f6315_0_createTree_JMP(EOS(STATIC_6315(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) -> f6320_0_createTree_Inc(EOS(STATIC_6320(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) :|: TRUE
11.95/4.06	f6320_0_createTree_Inc(EOS(STATIC_6320(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) -> f6340_0_createTree_Inc(EOS(STATIC_6340(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1773))) :|: TRUE
11.95/4.06	f6340_0_createTree_Inc(EOS(STATIC_6340(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6319_0_createTree_Inc(EOS(STATIC_6319(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f5864_0_createTree_LE(EOS(STATIC_5864(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), i1148) -> f5887_0_createTree_Load(EOS(STATIC_5887(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) :|: i1148 > 0
11.95/4.06	f5887_0_createTree_Load(EOS(STATIC_5887(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub)) -> f5911_0_createTree_FieldAccess(EOS(STATIC_5911(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1457sub), java.lang.Object(o1457sub)) :|: TRUE
11.95/4.06	f5911_0_createTree_FieldAccess(EOS(STATIC_5911(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, o1589)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, o1589))) -> f5946_0_createTree_FieldAccess(EOS(STATIC_5946(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, o1589)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, o1589))) :|: TRUE
11.95/4.06	f5946_0_createTree_FieldAccess(EOS(STATIC_5946(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, o1589)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, o1589))) -> f5961_0_createTree_NONNULL(EOS(STATIC_5961(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, o1589)), o1589) :|: TRUE
11.95/4.06	f5961_0_createTree_NONNULL(EOS(STATIC_5961(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, java.lang.Object(o1599sub))), java.lang.Object(o1599sub)) -> f5968_0_createTree_NONNULL(EOS(STATIC_5968(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, java.lang.Object(o1599sub))), java.lang.Object(o1599sub)) :|: TRUE
11.95/4.06	f5961_0_createTree_NONNULL(EOS(STATIC_5961(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), NULL) -> f5969_0_createTree_NONNULL(EOS(STATIC_5969(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), NULL) :|: TRUE
11.95/4.06	f5968_0_createTree_NONNULL(EOS(STATIC_5968(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, java.lang.Object(o1599sub))), java.lang.Object(o1599sub)) -> f5976_0_createTree_Load(EOS(STATIC_5976(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, java.lang.Object(o1599sub)))) :|: TRUE
11.95/4.06	f5976_0_createTree_Load(EOS(STATIC_5976(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, java.lang.Object(o1599sub)))) -> f5984_0_createTree_FieldAccess(EOS(STATIC_5984(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, java.lang.Object(o1599sub)))) :|: TRUE
11.95/4.06	f5984_0_createTree_FieldAccess(EOS(STATIC_5984(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, java.lang.Object(o1599sub)))) -> f5998_0_createTree_Store(EOS(STATIC_5998(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1599sub)) :|: TRUE
11.95/4.06	f5998_0_createTree_Store(EOS(STATIC_5998(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1599sub)) -> f6018_0_createTree_JMP(EOS(STATIC_6018(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1599sub)) :|: TRUE
11.95/4.06	f6018_0_createTree_JMP(EOS(STATIC_6018(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1599sub)) -> f6073_0_createTree_Inc(EOS(STATIC_6073(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1599sub)) :|: TRUE
11.95/4.06	f6073_0_createTree_Inc(EOS(STATIC_6073(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1599sub)) -> f6015_0_createTree_Inc(EOS(STATIC_6015(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(o1599sub)) :|: TRUE
11.95/4.06	f5969_0_createTree_NONNULL(EOS(STATIC_5969(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), NULL) -> f5977_0_createTree_Load(EOS(STATIC_5977(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL))) :|: TRUE
11.95/4.06	f5977_0_createTree_Load(EOS(STATIC_5977(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL))) -> f5985_0_createTree_InvokeMethod(EOS(STATIC_5985(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL))) :|: TRUE
11.95/4.06	f5985_0_createTree_InvokeMethod(EOS(STATIC_5985(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL))) -> f5999_0_createNode_New(EOS(STATIC_5999(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL))) :|: TRUE
11.95/4.06	f5999_0_createNode_New(EOS(STATIC_5999(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL))) -> f6074_0_createNode_Duplicate(EOS(STATIC_6074(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6074_0_createNode_Duplicate(EOS(STATIC_6074(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6082_0_createNode_InvokeMethod(EOS(STATIC_6082(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6082_0_createNode_InvokeMethod(EOS(STATIC_6082(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6129_0__init__Load(EOS(STATIC_6129(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6129_0__init__Load(EOS(STATIC_6129(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6190_0__init__InvokeMethod(EOS(STATIC_6190(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6190_0__init__InvokeMethod(EOS(STATIC_6190(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6194_0__init__Return(EOS(STATIC_6194(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6194_0__init__Return(EOS(STATIC_6194(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6206_0_createNode_Store(EOS(STATIC_6206(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6206_0_createNode_Store(EOS(STATIC_6206(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6234_0_createNode_Load(EOS(STATIC_6234(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6234_0_createNode_Load(EOS(STATIC_6234(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6245_0_createNode_New(EOS(STATIC_6245(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6245_0_createNode_New(EOS(STATIC_6245(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6256_0_createNode_Duplicate(EOS(STATIC_6256(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
11.95/4.06	f6256_0_createNode_Duplicate(EOS(STATIC_6256(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6267_0_createNode_InvokeMethod(EOS(STATIC_6267(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
11.95/4.06	f6267_0_createNode_InvokeMethod(EOS(STATIC_6267(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6277_0_createNode_FieldAccess(EOS(STATIC_6277(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
11.95/4.06	f6277_0_createNode_FieldAccess(EOS(STATIC_6277(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6291_0_createNode_Load(EOS(STATIC_6291(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6291_0_createNode_Load(EOS(STATIC_6291(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6294_0_createNode_Return(EOS(STATIC_6294(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6294_0_createNode_Return(EOS(STATIC_6294(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6297_0_createTree_FieldAccess(EOS(STATIC_6297(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6297_0_createTree_FieldAccess(EOS(STATIC_6297(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6301_0_createTree_FieldAccess(EOS(STATIC_6301(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6297_0_createTree_FieldAccess(EOS(STATIC_6297(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6302_0_createTree_FieldAccess(EOS(STATIC_6302(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) :|: TRUE
11.95/4.06	f6301_0_createTree_FieldAccess(EOS(STATIC_6301(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6306_0_createTree_Load(EOS(STATIC_6306(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455put, o1454put))) :|: TRUE
11.95/4.06	f6306_0_createTree_Load(EOS(STATIC_6306(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6311_0_createTree_Store(EOS(STATIC_6311(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6311_0_createTree_Store(EOS(STATIC_6311(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6316_0_createTree_JMP(EOS(STATIC_6316(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6316_0_createTree_JMP(EOS(STATIC_6316(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) -> f6340_0_createTree_Inc(EOS(STATIC_6340(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455, o1454))) :|: TRUE
11.95/4.06	f6302_0_createTree_FieldAccess(EOS(STATIC_6302(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))) -> f6307_0_createTree_Load(EOS(STATIC_6307(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
11.95/4.06	f6307_0_createTree_Load(EOS(STATIC_6307(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6312_0_createTree_Store(EOS(STATIC_6312(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
11.95/4.06	f6312_0_createTree_Store(EOS(STATIC_6312(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6317_0_createTree_JMP(EOS(STATIC_6317(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
11.95/4.06	f6317_0_createTree_JMP(EOS(STATIC_6317(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6345_0_createTree_Inc(EOS(STATIC_6345(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
11.95/4.06	f6345_0_createTree_Inc(EOS(STATIC_6345(java.lang.Object(ARRAY(i6)), i1081)), i1022, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6354_0_createTree_JMP(EOS(STATIC_6354(java.lang.Object(ARRAY(i6)), i1081)), i1022 + -1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
11.95/4.06	f6354_0_createTree_JMP(EOS(STATIC_6354(java.lang.Object(ARRAY(i6)), i1081)), i1290, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f6392_0_createTree_Load(EOS(STATIC_6392(java.lang.Object(ARRAY(i6)), i1081)), i1290, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
11.95/4.06	f6392_0_createTree_Load(EOS(STATIC_6392(java.lang.Object(ARRAY(i6)), i1081)), i1290, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) -> f5520_0_createTree_Load(EOS(STATIC_5520(java.lang.Object(ARRAY(i6)), i1081)), i1290, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1782, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL))))) :|: TRUE
11.95/4.06	Combined rules. Obtained 6 IRulesP rules:
11.95/4.06	f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0)), i1022:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, NULL)), i1022:0) -> f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0 + 1)), i1022:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)))), i1022:0 - 1) :|: i1110:0 > 0 && i1022:0 > 0 && i1013:0 > -1 && i6:0 > i1013:0
11.95/4.06	f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0)), i1022:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590:0, java.lang.Object(o1599sub:0))), i1022:0) -> f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0 + 1)), i1022:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, o1454:0)), java.lang.Object(o1599sub:0), i1022:0 - 1) :|: i1110:0 > 0 && i1022:0 > 0 && i1013:0 > -1 && i6:0 > i1013:0
11.95/4.06	f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0)), i1022:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1454:0)), i1022:0) -> f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0 + 1)), i1022:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, NULL)), o1454:0)), i1022:0 - 1) :|: i1022:0 > 0 && i1013:0 > -1 && i6:0 > i1013:0
11.95/4.06	f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0)), i1022:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1590:0, NULL)), i1022:0) -> f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0 + 1)), i1022:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455put:0, o1454put:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455put:0, o1454put:0)), i1022:0 - 1) :|: i1110:0 > 0 && i1022:0 > 0 && i1013:0 > -1 && i6:0 > i1013:0
11.95/4.06	f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0)), i1022:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1598sub:0), o1585:0)), i1022:0) -> f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0 + 1)), i1022:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, o1454:0)), java.lang.Object(o1598sub:0), i1022:0 - 1) :|: i1022:0 > 0 && i1013:0 > -1 && i6:0 > i1013:0
11.95/4.06	f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0)), i1022:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, NULL, o1585:0)), i1022:0) -> f5533_0_createTree_LE(EOS(STATIC_5533(java.lang.Object(ARRAY(i6:0)), i1013:0 + 1)), i1022:0 - 1, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455put:0, o1454put:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1455put:0, o1454put:0)), i1022:0 - 1) :|: i1022:0 > 0 && i1013:0 > -1 && i6:0 > i1013:0
11.95/4.06	Filtered constant ground arguments:
11.95/4.06	   TreeLeftmostDepth.Tree(x1, x2, x3) -> TreeLeftmostDepth.Tree(x2, x3)
11.95/4.06	Filtered duplicate arguments:
11.95/4.06	   f5533_0_createTree_LE(x1, x2, x3, x4, x5) -> f5533_0_createTree_LE(x1, x3, x4, x5)
11.95/4.06	Finished conversion. Obtained 6 rules.P rules:
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), i1022:0 - 1, i6:0, i1013:0 + 1) :|: i1022:0 > 0 && i1110:0 > 0 && i6:0 > i1013:0 && i1013:0 > -1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1590:0, java.lang.Object(o1599sub:0))), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, o1454:0)), java.lang.Object(o1599sub:0), i1022:0 - 1, i6:0, i1013:0 + 1) :|: i1022:0 > 0 && i1110:0 > 0 && i6:0 > i1013:0 && i1013:0 > -1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, o1454:0)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), o1454:0)), i1022:0 - 1, i6:0, i1013:0 + 1) :|: i1013:0 > -1 && i6:0 > i1013:0 && i1022:0 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1590:0, NULL)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455put:0, o1454put:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1455put:0, o1454put:0)), i1022:0 - 1, i6:0, i1013:0 + 1) :|: i1022:0 > 0 && i1110:0 > 0 && i6:0 > i1013:0 && i1013:0 > -1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(o1598sub:0), o1585:0)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, o1454:0)), java.lang.Object(o1598sub:0), i1022:0 - 1, i6:0, i1013:0 + 1) :|: i1013:0 > -1 && i6:0 > i1013:0 && i1022:0 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, o1454:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, o1585:0)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455put:0, o1454put:0)), java.lang.Object(TreeLeftmostDepth.Tree(o1455put:0, o1454put:0)), i1022:0 - 1, i6:0, i1013:0 + 1) :|: i1013:0 > -1 && i6:0 > i1013:0 && i1022:0 > 0
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(9)
11.95/4.06	Obligation:
11.95/4.06	Rules:
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), i1022:0 - 1, i6:0, i1013:0 + 1) :|: i1022:0 > 0 && i1110:0 > 0 && i6:0 > i1013:0 && i1013:0 > -1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x, x1)), java.lang.Object(TreeLeftmostDepth.Tree(x2, java.lang.Object(x3))), x4, x5, x6) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x, x1)), java.lang.Object(x3), x4 - 1, x5, x6 + 1) :|: x4 > 0 && x7 > 0 && x5 > x6 && x6 > -1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x8)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x8)), x9, x10, x11) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x8)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x8)), x9 - 1, x10, x11 + 1) :|: x11 > -1 && x10 > x11 && x9 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x12, x13)), java.lang.Object(TreeLeftmostDepth.Tree(x14, NULL)), x15, x16, x17) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x18, x19)), java.lang.Object(TreeLeftmostDepth.Tree(x18, x19)), x15 - 1, x16, x17 + 1) :|: x15 > 0 && x20 > 0 && x16 > x17 && x17 > -1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x21, x22)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x23), x24)), x25, x26, x27) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x21, x22)), java.lang.Object(x23), x25 - 1, x26, x27 + 1) :|: x27 > -1 && x26 > x27 && x25 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x28, x29)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x30)), x31, x32, x33) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x34, x35)), java.lang.Object(TreeLeftmostDepth.Tree(x34, x35)), x31 - 1, x32, x33 + 1) :|: x33 > -1 && x32 > x33 && x31 > 0
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(10) IRSFormatTransformerProof (EQUIVALENT)
11.95/4.06	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(11)
11.95/4.06	Obligation:
11.95/4.06	Rules:
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), arith, i6:0, arith1) :|: i1022:0 > 0 && i1110:0 > 0 && i6:0 > i1013:0 && i1013:0 > -1 && arith = i1022:0 - 1 && arith1 = i1013:0 + 1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(TreeLeftmostDepth.Tree(x38, java.lang.Object(x39))), x40, x41, x42) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(x39), x43, x41, x44) :|: x40 > 0 && x45 > 0 && x41 > x42 && x42 > -1 && x43 = x40 - 1 && x44 = x42 + 1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46)), x47, x48, x49) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46)), x50, x48, x51) :|: x49 > -1 && x48 > x49 && x47 > 0 && x50 = x47 - 1 && x51 = x49 + 1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), java.lang.Object(TreeLeftmostDepth.Tree(x54, NULL)), x55, x56, x57) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x58, x59)), java.lang.Object(TreeLeftmostDepth.Tree(x58, x59)), x60, x56, x61) :|: x55 > 0 && x62 > 0 && x56 > x57 && x57 > -1 && x60 = x55 - 1 && x61 = x57 + 1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63, x64)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x65), x66)), x67, x68, x69) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63, x64)), java.lang.Object(x65), x70, x68, x71) :|: x69 > -1 && x68 > x69 && x67 > 0 && x70 = x67 - 1 && x71 = x69 + 1
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x72, x73)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x74)), x75, x76, x77) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x78, x79)), java.lang.Object(TreeLeftmostDepth.Tree(x78, x79)), x80, x76, x81) :|: x77 > -1 && x76 > x77 && x75 > 0 && x80 = x75 - 1 && x81 = x77 + 1
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(12) IRSwTTerminationDigraphProof (EQUIVALENT)
11.95/4.06	Constructed termination digraph!
11.95/4.06	Nodes:
11.95/4.06	(1) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), arith, i6:0, arith1) :|: i1022:0 > 0 && i1110:0 > 0 && i6:0 > i1013:0 && i1013:0 > -1 && arith = i1022:0 - 1 && arith1 = i1013:0 + 1
11.95/4.06	(2) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(TreeLeftmostDepth.Tree(x38, java.lang.Object(x39))), x40, x41, x42) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(x39), x43, x41, x44) :|: x40 > 0 && x45 > 0 && x41 > x42 && x42 > -1 && x43 = x40 - 1 && x44 = x42 + 1
11.95/4.06	(3) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46)), x47, x48, x49) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46)), x50, x48, x51) :|: x49 > -1 && x48 > x49 && x47 > 0 && x50 = x47 - 1 && x51 = x49 + 1
11.95/4.06	(4) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), java.lang.Object(TreeLeftmostDepth.Tree(x54, NULL)), x55, x56, x57) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x58, x59)), java.lang.Object(TreeLeftmostDepth.Tree(x58, x59)), x60, x56, x61) :|: x55 > 0 && x62 > 0 && x56 > x57 && x57 > -1 && x60 = x55 - 1 && x61 = x57 + 1
11.95/4.06	(5) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63, x64)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x65), x66)), x67, x68, x69) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63, x64)), java.lang.Object(x65), x70, x68, x71) :|: x69 > -1 && x68 > x69 && x67 > 0 && x70 = x67 - 1 && x71 = x69 + 1
11.95/4.06	(6) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x72, x73)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x74)), x75, x76, x77) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x78, x79)), java.lang.Object(TreeLeftmostDepth.Tree(x78, x79)), x80, x76, x81) :|: x77 > -1 && x76 > x77 && x75 > 0 && x80 = x75 - 1 && x81 = x77 + 1
11.95/4.06	
11.95/4.06	Arcs:
11.95/4.06	(1) -> (2), (3), (5), (6)
11.95/4.06	(2) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	(3) -> (1), (2), (4), (5)
11.95/4.06	(4) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	(5) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	(6) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	
11.95/4.06	This digraph is fully evaluated!
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(13)
11.95/4.06	Obligation:
11.95/4.06	
11.95/4.06	Termination digraph:
11.95/4.06	Nodes:
11.95/4.06	(1) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, NULL)), i1022:0, i6:0, i1013:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), arith, i6:0, arith1) :|: i1022:0 > 0 && i1110:0 > 0 && i6:0 > i1013:0 && i1013:0 > -1 && arith = i1022:0 - 1 && arith1 = i1013:0 + 1
11.95/4.06	(2) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(TreeLeftmostDepth.Tree(x38, java.lang.Object(x39))), x40, x41, x42) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36, x37)), java.lang.Object(x39), x43, x41, x44) :|: x40 > 0 && x45 > 0 && x41 > x42 && x42 > -1 && x43 = x40 - 1 && x44 = x42 + 1
11.95/4.06	(3) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46)), x47, x48, x49) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46)), x50, x48, x51) :|: x49 > -1 && x48 > x49 && x47 > 0 && x50 = x47 - 1 && x51 = x49 + 1
11.95/4.06	(4) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52, x53)), java.lang.Object(TreeLeftmostDepth.Tree(x54, NULL)), x55, x56, x57) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x58, x59)), java.lang.Object(TreeLeftmostDepth.Tree(x58, x59)), x60, x56, x61) :|: x55 > 0 && x62 > 0 && x56 > x57 && x57 > -1 && x60 = x55 - 1 && x61 = x57 + 1
11.95/4.06	(5) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63, x64)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x65), x66)), x67, x68, x69) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63, x64)), java.lang.Object(x65), x70, x68, x71) :|: x69 > -1 && x68 > x69 && x67 > 0 && x70 = x67 - 1 && x71 = x69 + 1
11.95/4.06	(6) f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x72, x73)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x74)), x75, x76, x77) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x78, x79)), java.lang.Object(TreeLeftmostDepth.Tree(x78, x79)), x80, x76, x81) :|: x77 > -1 && x76 > x77 && x75 > 0 && x80 = x75 - 1 && x81 = x77 + 1
11.95/4.06	
11.95/4.06	Arcs:
11.95/4.06	(1) -> (2), (3), (5), (6)
11.95/4.06	(2) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	(3) -> (1), (2), (4), (5)
11.95/4.06	(4) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	(5) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	(6) -> (1), (2), (3), (4), (5), (6)
11.95/4.06	
11.95/4.06	This digraph is fully evaluated!
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(14) IntTRSCompressionProof (EQUIVALENT)
11.95/4.06	Compressed rules.
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(15)
11.95/4.06	Obligation:
11.95/4.06	Rules:
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x46:0)), x47:0, x48:0, x49:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)), x46:0)), x47:0 - 1, x48:0, x49:0 + 1) :|: x49:0 > -1 && x49:0 < x48:0 && x47:0 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63:0, x64:0)), java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(x65:0), x66:0)), x67:0, x68:0, x69:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x63:0, x64:0)), java.lang.Object(x65:0), x67:0 - 1, x68:0, x69:0 + 1) :|: x69:0 > -1 && x69:0 < x68:0 && x67:0 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36:0, x37:0)), java.lang.Object(TreeLeftmostDepth.Tree(x38:0, java.lang.Object(x39:0))), x40:0, x41:0, x42:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x36:0, x37:0)), java.lang.Object(x39:0), x40:0 - 1, x41:0, x42:0 + 1) :|: x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x52:0, x53:0)), java.lang.Object(TreeLeftmostDepth.Tree(x54:0, NULL)), x55:0, x56:0, x57:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x58:0, x59:0)), java.lang.Object(TreeLeftmostDepth.Tree(x58:0, x59:0)), x55:0 - 1, x56:0, x57:0 + 1) :|: x57:0 < x56:0 && x57:0 > -1 && x62:0 > 0 && x55:0 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0:0, NULL)), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0:0, NULL)), i1022:0:0, i6:0:0, i1013:0:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(o1455:0:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), java.lang.Object(TreeLeftmostDepth.Tree(o1455:0:0, java.lang.Object(TreeLeftmostDepth.Tree(NULL, NULL)))), i1022:0:0 - 1, i6:0:0, i1013:0:0 + 1) :|: i6:0:0 > i1013:0:0 && i1013:0:0 > -1 && i1110:0:0 > 0 && i1022:0:0 > 0
11.95/4.06	f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x72:0, x73:0)), java.lang.Object(TreeLeftmostDepth.Tree(NULL, x74:0)), x75:0, x76:0, x77:0) -> f5533_0_createTree_LE(java.lang.Object(TreeLeftmostDepth.Tree(x78:0, x79:0)), java.lang.Object(TreeLeftmostDepth.Tree(x78:0, x79:0)), x75:0 - 1, x76:0, x77:0 + 1) :|: x77:0 > -1 && x77:0 < x76:0 && x75:0 > 0
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(16) TempFilterProof (SOUND)
11.95/4.06	Used the following sort dictionary for filtering: 
11.95/4.06	f5533_0_createTree_LE(VARIABLE, VARIABLE, INTEGER, INTEGER, INTEGER)
11.95/4.06	java.lang.Object(VARIABLE)
11.95/4.06	TreeLeftmostDepth.Tree(VARIABLE, VARIABLE)
11.95/4.06	NULL()
11.95/4.06	Replaced non-predefined constructor symbols by 0.
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(17)
11.95/4.06	Obligation:
11.95/4.06	Rules:
11.95/4.06	f5533_0_createTree_LE(c, c1, x47:0, x48:0, x49:0) -> f5533_0_createTree_LE(c2, c3, c4, x48:0, c5) :|: c5 = x49:0 + 1 && (c4 = x47:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x49:0 > -1 && x49:0 < x48:0 && x47:0 > 0)
11.95/4.06	f5533_0_createTree_LE(c12, c13, x40:0, x41:0, x42:0) -> f5533_0_createTree_LE(c14, c15, c16, x41:0, c17) :|: c17 = x42:0 + 1 && (c16 = x40:0 - 1 && (c15 = 0 && (c14 = 0 && (c13 = 0 && c12 = 0)))) && (x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0)
11.95/4.06	f5533_0_createTree_LE(c24, c25, i1022:0:0, i6:0:0, i1013:0:0) -> f5533_0_createTree_LE(c26, c27, c28, i6:0:0, c29) :|: c29 = i1013:0:0 + 1 && (c28 = i1022:0:0 - 1 && (c27 = 0 && (c26 = 0 && (c25 = 0 && c24 = 0)))) && (i6:0:0 > i1013:0:0 && i1013:0:0 > -1 && i1110:0:0 > 0 && i1022:0:0 > 0)
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(18) PolynomialOrderProcessor (EQUIVALENT)
11.95/4.06	Found the following polynomial interpretation:
11.95/4.06	[f5533_0_createTree_LE(x, x1, x2, x3, x4)] = c*x + c1*x1 + x3 - x4
11.95/4.06	
11.95/4.06	The following rules are decreasing:
11.95/4.06	f5533_0_createTree_LE(c, c1, x47:0, x48:0, x49:0) -> f5533_0_createTree_LE(c2, c3, c4, x48:0, c5) :|: c5 = x49:0 + 1 && (c4 = x47:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x49:0 > -1 && x49:0 < x48:0 && x47:0 > 0)
11.95/4.06	f5533_0_createTree_LE(c12, c13, x40:0, x41:0, x42:0) -> f5533_0_createTree_LE(c14, c15, c16, x41:0, c17) :|: c17 = x42:0 + 1 && (c16 = x40:0 - 1 && (c15 = 0 && (c14 = 0 && (c13 = 0 && c12 = 0)))) && (x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0)
11.95/4.06	f5533_0_createTree_LE(c24, c25, i1022:0:0, i6:0:0, i1013:0:0) -> f5533_0_createTree_LE(c26, c27, c28, i6:0:0, c29) :|: c29 = i1013:0:0 + 1 && (c28 = i1022:0:0 - 1 && (c27 = 0 && (c26 = 0 && (c25 = 0 && c24 = 0)))) && (i6:0:0 > i1013:0:0 && i1013:0:0 > -1 && i1110:0:0 > 0 && i1022:0:0 > 0)
11.95/4.06	The following rules are bounded:
11.95/4.06	f5533_0_createTree_LE(c, c1, x47:0, x48:0, x49:0) -> f5533_0_createTree_LE(c2, c3, c4, x48:0, c5) :|: c5 = x49:0 + 1 && (c4 = x47:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x49:0 > -1 && x49:0 < x48:0 && x47:0 > 0)
11.95/4.06	f5533_0_createTree_LE(c12, c13, x40:0, x41:0, x42:0) -> f5533_0_createTree_LE(c14, c15, c16, x41:0, c17) :|: c17 = x42:0 + 1 && (c16 = x40:0 - 1 && (c15 = 0 && (c14 = 0 && (c13 = 0 && c12 = 0)))) && (x42:0 < x41:0 && x42:0 > -1 && x45:0 > 0 && x40:0 > 0)
11.95/4.06	f5533_0_createTree_LE(c24, c25, i1022:0:0, i6:0:0, i1013:0:0) -> f5533_0_createTree_LE(c26, c27, c28, i6:0:0, c29) :|: c29 = i1013:0:0 + 1 && (c28 = i1022:0:0 - 1 && (c27 = 0 && (c26 = 0 && (c25 = 0 && c24 = 0)))) && (i6:0:0 > i1013:0:0 && i1013:0:0 > -1 && i1110:0:0 > 0 && i1022:0:0 > 0)
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(19)
11.95/4.06	YES
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(20)
11.95/4.06	Obligation:
11.95/4.06	SCC of termination graph based on JBC Program.
11.95/4.06	SCC contains nodes from the following methods: TreeLeftmostDepth.TreeLeftmostDepth.main([Ljava/lang/String;)V
11.95/4.06	SCC calls the following helper methods: 
11.95/4.06	Performed SCC analyses:
11.95/4.06	*Used field analysis yielded the following read fields:
11.95/4.06	*TreeLeftmostDepth.Tree: [left, right]
11.95/4.06	*Marker field analysis yielded the following relations that could be markers:
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(21) SCCToQDPProof (SOUND)
11.95/4.06	Transformed TerminationGraph SCC to QDP. Log: 
11.95/4.06	Generated 32 rules for P and 0 rules for R.P rules:
11.95/4.06	f6540_0_main_FieldAccess(EOS(STATIC_6540), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1898, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1898, o1899))) -> f6541_0_main_NULL(EOS(STATIC_6541), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1898, o1899)), o1898) :|: TRUE
11.95/4.06	f6541_0_main_NULL(EOS(STATIC_6541), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub)) -> f6542_0_main_NULL(EOS(STATIC_6542), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub)) :|: TRUE
11.95/4.06	f6542_0_main_NULL(EOS(STATIC_6542), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub)) -> f6544_0_main_Load(EOS(STATIC_6544), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899))) :|: TRUE
11.95/4.06	f6544_0_main_Load(EOS(STATIC_6544), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899))) -> f6546_0_main_FieldAccess(EOS(STATIC_6546), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899))) :|: TRUE
11.95/4.06	f6546_0_main_FieldAccess(EOS(STATIC_6546), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899))) -> f6548_0_main_Store(EOS(STATIC_6548), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub)) :|: TRUE
11.95/4.06	f6548_0_main_Store(EOS(STATIC_6548), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub)) -> f6549_0_main_Load(EOS(STATIC_6549), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub)) :|: TRUE
11.95/4.06	f6549_0_main_Load(EOS(STATIC_6549), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub)) -> f6550_0_main_FieldAccess(EOS(STATIC_6550), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(o1912sub), o1899)), java.lang.Object(o1912sub), java.lang.Object(o1912sub)) :|: TRUE
11.95/4.06	f6550_0_main_FieldAccess(EOS(STATIC_6550), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) -> f6551_0_main_FieldAccess(EOS(STATIC_6551), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) :|: TRUE
11.95/4.06	f6551_0_main_FieldAccess(EOS(STATIC_6551), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) -> f6552_0_main_Store(EOS(STATIC_6552), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914) :|: TRUE
11.95/4.06	f6552_0_main_Store(EOS(STATIC_6552), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914) -> f6553_0_main_Load(EOS(STATIC_6553), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914) :|: TRUE
11.95/4.06	f6553_0_main_Load(EOS(STATIC_6553), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914) -> f6554_0_main_FieldAccess(EOS(STATIC_6554), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) :|: TRUE
11.95/4.06	f6554_0_main_FieldAccess(EOS(STATIC_6554), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) -> f6555_0_main_Store(EOS(STATIC_6555), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915) :|: TRUE
11.95/4.06	f6555_0_main_Store(EOS(STATIC_6555), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915) -> f6556_0_main_Load(EOS(STATIC_6556), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915) :|: TRUE
11.95/4.06	f6556_0_main_Load(EOS(STATIC_6556), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915) -> f6557_0_main_FieldAccess(EOS(STATIC_6557), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899))) :|: TRUE
11.95/4.06	f6557_0_main_FieldAccess(EOS(STATIC_6557), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899))) -> f6558_0_main_Store(EOS(STATIC_6558), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899) :|: TRUE
11.95/4.06	f6558_0_main_Store(EOS(STATIC_6558), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899) -> f6559_0_main_Load(EOS(STATIC_6559), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899) :|: TRUE
11.95/4.06	f6559_0_main_Load(EOS(STATIC_6559), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899) -> f6560_0_main_Load(EOS(STATIC_6560), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899))) :|: TRUE
11.95/4.06	f6560_0_main_Load(EOS(STATIC_6560), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899))) -> f6561_0_main_FieldAccess(EOS(STATIC_6561), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) :|: TRUE
11.95/4.06	f6561_0_main_FieldAccess(EOS(STATIC_6561), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) -> f6562_0_main_Load(EOS(STATIC_6562), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899) :|: TRUE
11.95/4.06	f6562_0_main_Load(EOS(STATIC_6562), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899) -> f6563_0_main_Load(EOS(STATIC_6563), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) :|: TRUE
11.95/4.06	f6563_0_main_Load(EOS(STATIC_6563), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, o1899, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915))) -> f6564_0_main_FieldAccess(EOS(STATIC_6564), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899) :|: TRUE
11.95/4.06	f6564_0_main_FieldAccess(EOS(STATIC_6564), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1914, o1915, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1915)), o1899) -> f6565_0_main_Load(EOS(STATIC_6565), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), o1914, o1915) :|: TRUE
11.95/4.06	f6565_0_main_Load(EOS(STATIC_6565), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), o1914, o1915) -> f6566_0_main_Load(EOS(STATIC_6566), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)))), o1914, o1915, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899))) :|: TRUE
11.95/4.06	f6566_0_main_Load(EOS(STATIC_6566), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)))), o1914, o1915, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899))) -> f6567_0_main_FieldAccess(EOS(STATIC_6567), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)))), o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), o1915) :|: TRUE
11.95/4.06	f6567_0_main_FieldAccess(EOS(STATIC_6567), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)))), o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, o1899)), o1915) -> f6568_0_main_Load(EOS(STATIC_6568), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), o1914) :|: TRUE
11.95/4.06	f6568_0_main_Load(EOS(STATIC_6568), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), o1914) -> f6569_0_main_Load(EOS(STATIC_6569), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) :|: TRUE
11.95/4.06	f6569_0_main_Load(EOS(STATIC_6569), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) -> f6570_0_main_FieldAccess(EOS(STATIC_6570), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), o1914) :|: TRUE
11.95/4.06	f6570_0_main_FieldAccess(EOS(STATIC_6570), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899)))), o1914) -> f6574_0_main_Inc(EOS(STATIC_6574), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) :|: TRUE
11.95/4.06	f6574_0_main_Inc(EOS(STATIC_6574), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) -> f6577_0_main_JMP(EOS(STATIC_6577), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) :|: TRUE
11.95/4.06	f6577_0_main_JMP(EOS(STATIC_6577), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) -> f6586_0_main_Load(EOS(STATIC_6586), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) :|: TRUE
11.95/4.06	f6586_0_main_Load(EOS(STATIC_6586), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) -> f6539_0_main_Load(EOS(STATIC_6539), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915, o1899))))) :|: TRUE
11.95/4.06	f6539_0_main_Load(EOS(STATIC_6539), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1898, o1899))) -> f6540_0_main_FieldAccess(EOS(STATIC_6540), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1898, o1899)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1898, o1899))) :|: TRUE
11.95/4.06	R rules:
11.95/4.06	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
11.95/4.06	f6540_0_main_FieldAccess(EOS(STATIC_6540), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914:0, o1915:0)), o1899:0)), java.lang.Object(TreeLeftmostDepth.Tree(EOC, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914:0, o1915:0)), o1899:0))) -> f6540_0_main_FieldAccess(EOS(STATIC_6540), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915:0, o1899:0)))), java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1914:0, java.lang.Object(TreeLeftmostDepth.Tree(EOC, o1915:0, o1899:0))))) :|: TRUE
11.95/4.06	R rules:
11.95/4.06	Filtered ground terms:
11.95/4.06	   f6540_0_main_FieldAccess(x1, x2, x3) -> f6540_0_main_FieldAccess(x2, x3)
11.95/4.06	   EOS(x1) -> EOS
11.95/4.06	   TreeLeftmostDepth.Tree(x1, x2, x3) -> TreeLeftmostDepth.Tree(x2, x3)
11.95/4.06	Filtered unneeded arguments:
11.95/4.06	   TreeLeftmostDepth.Tree(x1, x2) -> TreeLeftmostDepth.Tree(x1)
11.95/4.06	Filtered duplicate args:
11.95/4.06	   f6540_0_main_FieldAccess(x1, x2) -> f6540_0_main_FieldAccess(x2)
11.95/4.06	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
11.95/4.06	F6540_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(o1914:0:0))))) -> F6540_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(o1914:0:0))) :|: TRUE
11.95/4.06	R rules:
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(22)
11.95/4.06	Obligation:
11.95/4.06	Q DP problem:
11.95/4.06	The TRS P consists of the following rules:
11.95/4.06	
11.95/4.06	   F6540_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(o1914:0:0))))) -> F6540_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(o1914:0:0)))
11.95/4.06	
11.95/4.06	R is empty.
11.95/4.06	Q is empty.
11.95/4.06	We have to consider all minimal (P,Q,R)-chains.
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(23) QDPSizeChangeProof (EQUIVALENT)
11.95/4.06	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. 
11.95/4.06	
11.95/4.06	From the DPs we obtained the following set of size-change graphs:
11.95/4.06	*F6540_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(java.lang.Object(TreeLeftmostDepth.Tree(o1914:0:0))))) -> F6540_0_MAIN_FIELDACCESS(java.lang.Object(TreeLeftmostDepth.Tree(o1914:0:0)))
11.95/4.06	The graph contains the following edges 1 > 1
11.95/4.06	
11.95/4.06	
11.95/4.06	----------------------------------------
11.95/4.06	
11.95/4.06	(24)
11.95/4.06	YES
11.95/4.12	EOF