14.49/4.78	YES
14.49/4.79	proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
14.49/4.79	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
14.49/4.79	
14.49/4.79	
14.49/4.79	termination of the given Bare JBC problem could be proven:
14.49/4.79	
14.49/4.79	(0) Bare JBC problem
14.49/4.79	(1) BareJBCToJBCProof [EQUIVALENT, 98 ms]
14.49/4.79	(2) JBC problem
14.49/4.79	(3) JBCToGraph [EQUIVALENT, 1519 ms]
14.49/4.79	(4) JBCTerminationGraph
14.49/4.79	(5) TerminationGraphToSCCProof [SOUND, 0 ms]
14.49/4.79	(6) AND
14.49/4.79	    (7) JBCTerminationSCC
14.49/4.79	        (8) SCCToQDPProof [SOUND, 105 ms]
14.49/4.79	        (9) QDP
14.49/4.79	        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
14.49/4.79	        (11) YES
14.49/4.79	    (12) JBCTerminationSCC
14.49/4.79	        (13) SCCToQDPProof [SOUND, 183 ms]
14.49/4.79	        (14) QDP
14.49/4.79	        (15) DependencyGraphProof [EQUIVALENT, 0 ms]
14.49/4.79	        (16) TRUE
14.49/4.79	    (17) JBCTerminationSCC
14.49/4.79	        (18) SCCToIRSProof [SOUND, 161 ms]
14.49/4.79	        (19) IRSwT
14.49/4.79	        (20) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
14.49/4.79	        (21) IRSwT
14.49/4.79	        (22) IRSwTTerminationDigraphProof [EQUIVALENT, 152 ms]
14.49/4.79	        (23) IRSwT
14.49/4.79	        (24) IntTRSCompressionProof [EQUIVALENT, 0 ms]
14.49/4.79	        (25) IRSwT
14.49/4.79	        (26) TempFilterProof [SOUND, 48 ms]
14.49/4.79	        (27) IntTRS
14.49/4.79	        (28) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
14.49/4.79	        (29) YES
14.49/4.79	
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(0)
14.49/4.79	Obligation:
14.49/4.79	need to prove termination of the following program:
14.49/4.79	public class LessLeaves {
14.49/4.79	  // Checks if a binary tree
14.49/4.79	  // has less leaves than another one
14.49/4.79	
14.49/4.79	  public static void main(String[] args) {
14.49/4.79	    Random.args = args;
14.49/4.79	    Tree tree1 = Tree.createTree(); 
14.49/4.79	    Tree tree2 = Tree.createTree();
14.49/4.79	    boolean b = less_leaves(tree1,tree2);
14.49/4.79	  }
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	  public static Tree append(Tree t1, Tree t2) {
14.49/4.79	
14.49/4.79	    Tree t;
14.49/4.79	
14.49/4.79	    if (t1 == null) return t2;
14.49/4.79	    else {
14.49/4.79	      t = t1;
14.49/4.79	
14.49/4.79	      while (t.right != null) {
14.49/4.79	        t = t.right;
14.49/4.79	      }
14.49/4.79	
14.49/4.79	      t.right = t2;
14.49/4.79	      return t1;
14.49/4.79	    }
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public static boolean less_leaves(Tree t1, Tree t2) {
14.49/4.79	
14.49/4.79	
14.49/4.79	    while ((t1 != null) && (t2 != null)) {
14.49/4.79	      t1 = append(t1.left,t1.right);
14.49/4.79	      t2 = append(t2.left,t2.right);
14.49/4.79	    }
14.49/4.79	
14.49/4.79	    if (t2 == null) return false;
14.49/4.79	    else            return true;
14.49/4.79	
14.49/4.79	  }
14.49/4.79	}
14.49/4.79	
14.49/4.79	
14.49/4.79	public class Random {
14.49/4.79	  static String[] args;
14.49/4.79	  static int index = 0;
14.49/4.79	
14.49/4.79	  public static int random() {
14.49/4.79	    String string = args[index];
14.49/4.79	    index++;
14.49/4.79	    return string.length();
14.49/4.79	  }
14.49/4.79	}
14.49/4.79	
14.49/4.79	
14.49/4.79	public class Tree {
14.49/4.79	  Tree left;
14.49/4.79	  Tree right;
14.49/4.79	  Object value;
14.49/4.79	
14.49/4.79	  public Tree(Tree l, Tree r) {
14.49/4.79	    this.left = l;
14.49/4.79	    this.right = r;
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public Tree() {
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public static Tree createNode() {
14.49/4.79	    Tree result = new Tree();
14.49/4.79	    result.value = new Object();
14.49/4.79	    return result;
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public static Tree createTree() {
14.49/4.79	    int counter = Random.random();
14.49/4.79	    if (counter == 0) {
14.49/4.79	      return null;
14.49/4.79	    }
14.49/4.79	    Tree result = createNode();
14.49/4.79	    Tree t = result;
14.49/4.79	
14.49/4.79	    while (counter > 0) {
14.49/4.79	      int branch = Random.random();
14.49/4.79	      if (branch > 0) {
14.49/4.79	        if (t.left == null) {
14.49/4.79	          t.left = createNode();
14.49/4.79	          t = result;
14.49/4.79	        } else {
14.49/4.79	          t = t.left;
14.49/4.79	        }
14.49/4.79	      } else {
14.49/4.79	        if (t.right == null) {
14.49/4.79	          t.right = createNode();
14.49/4.79	          t = result;
14.49/4.79	        } else {
14.49/4.79	          t = t.right;
14.49/4.79	        }
14.49/4.79	      }
14.49/4.79	      counter--;
14.49/4.79	    }
14.49/4.79	
14.49/4.79	    return result;
14.49/4.79	  }
14.49/4.79	  public static void main(String[] args) {
14.49/4.79	    Random.args = args;
14.49/4.79	    createTree();
14.49/4.79	  }
14.49/4.79	}
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(1) BareJBCToJBCProof (EQUIVALENT)
14.49/4.79	initialized classpath
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(2)
14.49/4.79	Obligation:
14.49/4.79	need to prove termination of the following program:
14.49/4.79	public class LessLeaves {
14.49/4.79	  // Checks if a binary tree
14.49/4.79	  // has less leaves than another one
14.49/4.79	
14.49/4.79	  public static void main(String[] args) {
14.49/4.79	    Random.args = args;
14.49/4.79	    Tree tree1 = Tree.createTree(); 
14.49/4.79	    Tree tree2 = Tree.createTree();
14.49/4.79	    boolean b = less_leaves(tree1,tree2);
14.49/4.79	  }
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	  public static Tree append(Tree t1, Tree t2) {
14.49/4.79	
14.49/4.79	    Tree t;
14.49/4.79	
14.49/4.79	    if (t1 == null) return t2;
14.49/4.79	    else {
14.49/4.79	      t = t1;
14.49/4.79	
14.49/4.79	      while (t.right != null) {
14.49/4.79	        t = t.right;
14.49/4.79	      }
14.49/4.79	
14.49/4.79	      t.right = t2;
14.49/4.79	      return t1;
14.49/4.79	    }
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public static boolean less_leaves(Tree t1, Tree t2) {
14.49/4.79	
14.49/4.79	
14.49/4.79	    while ((t1 != null) && (t2 != null)) {
14.49/4.79	      t1 = append(t1.left,t1.right);
14.49/4.79	      t2 = append(t2.left,t2.right);
14.49/4.79	    }
14.49/4.79	
14.49/4.79	    if (t2 == null) return false;
14.49/4.79	    else            return true;
14.49/4.79	
14.49/4.79	  }
14.49/4.79	}
14.49/4.79	
14.49/4.79	
14.49/4.79	public class Random {
14.49/4.79	  static String[] args;
14.49/4.79	  static int index = 0;
14.49/4.79	
14.49/4.79	  public static int random() {
14.49/4.79	    String string = args[index];
14.49/4.79	    index++;
14.49/4.79	    return string.length();
14.49/4.79	  }
14.49/4.79	}
14.49/4.79	
14.49/4.79	
14.49/4.79	public class Tree {
14.49/4.79	  Tree left;
14.49/4.79	  Tree right;
14.49/4.79	  Object value;
14.49/4.79	
14.49/4.79	  public Tree(Tree l, Tree r) {
14.49/4.79	    this.left = l;
14.49/4.79	    this.right = r;
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public Tree() {
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public static Tree createNode() {
14.49/4.79	    Tree result = new Tree();
14.49/4.79	    result.value = new Object();
14.49/4.79	    return result;
14.49/4.79	  }
14.49/4.79	
14.49/4.79	  public static Tree createTree() {
14.49/4.79	    int counter = Random.random();
14.49/4.79	    if (counter == 0) {
14.49/4.79	      return null;
14.49/4.79	    }
14.49/4.79	    Tree result = createNode();
14.49/4.79	    Tree t = result;
14.49/4.79	
14.49/4.79	    while (counter > 0) {
14.49/4.79	      int branch = Random.random();
14.49/4.79	      if (branch > 0) {
14.49/4.79	        if (t.left == null) {
14.49/4.79	          t.left = createNode();
14.49/4.79	          t = result;
14.49/4.79	        } else {
14.49/4.79	          t = t.left;
14.49/4.79	        }
14.49/4.79	      } else {
14.49/4.79	        if (t.right == null) {
14.49/4.79	          t.right = createNode();
14.49/4.79	          t = result;
14.49/4.79	        } else {
14.49/4.79	          t = t.right;
14.49/4.79	        }
14.49/4.79	      }
14.49/4.79	      counter--;
14.49/4.79	    }
14.49/4.79	
14.49/4.79	    return result;
14.49/4.79	  }
14.49/4.79	  public static void main(String[] args) {
14.49/4.79	    Random.args = args;
14.49/4.79	    createTree();
14.49/4.79	  }
14.49/4.79	}
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(3) JBCToGraph (EQUIVALENT)
14.49/4.79	Constructed TerminationGraph.
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(4)
14.49/4.79	Obligation:
14.49/4.79	Termination Graph based on JBC Program:
14.49/4.79	LessLeaves.main([Ljava/lang/String;)V: Graph of 125 nodes with 0 SCCs.
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	Tree.createTree()LTree;: Graph of 310 nodes with 1 SCC.
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	LessLeaves.less_leaves(LTree;LTree;)Z: Graph of 58 nodes with 1 SCC.
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	LessLeaves.append(LTree;LTree;)LTree;: Graph of 34 nodes with 1 SCC.
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(5) TerminationGraphToSCCProof (SOUND)
14.49/4.79	Splitted TerminationGraph to 3 SCCss.
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(6)
14.49/4.79	Complex Obligation (AND)
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(7)
14.49/4.79	Obligation:
14.49/4.79	SCC of termination graph based on JBC Program.
14.49/4.79	SCC contains nodes from the following methods: LessLeaves.append(LTree;LTree;)LTree;
14.49/4.79	SCC calls the following helper methods: 
14.49/4.79	Performed SCC analyses:
14.49/4.79	*Used field analysis yielded the following read fields:
14.49/4.79	*Tree: [right]
14.49/4.79	*Marker field analysis yielded the following relations that could be markers:
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(8) SCCToQDPProof (SOUND)
14.49/4.79	Transformed TerminationGraph SCC to QDP. Log: 
14.49/4.79	Generated 10 rules for P and 0 rules for R.P rules:
14.49/4.79	f7479_0_append_FieldAccess(EOS(STATIC_7479), java.lang.Object(Tree(EOC, o3384)), java.lang.Object(Tree(EOC, o3384))) -> f7486_0_append_FieldAccess(EOS(STATIC_7486), java.lang.Object(Tree(EOC, o3384)), java.lang.Object(Tree(EOC, o3384))) :|: TRUE
14.49/4.79	f7486_0_append_FieldAccess(EOS(STATIC_7486), java.lang.Object(Tree(EOC, o3384)), java.lang.Object(Tree(EOC, o3384))) -> f7494_0_append_NULL(EOS(STATIC_7494), java.lang.Object(Tree(EOC, o3384)), o3384) :|: TRUE
14.49/4.79	f7494_0_append_NULL(EOS(STATIC_7494), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub))), java.lang.Object(o3401sub)) -> f7502_0_append_NULL(EOS(STATIC_7502), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub))), java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7502_0_append_NULL(EOS(STATIC_7502), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub))), java.lang.Object(o3401sub)) -> f7511_0_append_Load(EOS(STATIC_7511), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub)))) :|: TRUE
14.49/4.79	f7511_0_append_Load(EOS(STATIC_7511), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub)))) -> f7524_0_append_FieldAccess(EOS(STATIC_7524), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub)))) :|: TRUE
14.49/4.79	f7524_0_append_FieldAccess(EOS(STATIC_7524), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub)))) -> f7537_0_append_Store(EOS(STATIC_7537), java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7537_0_append_Store(EOS(STATIC_7537), java.lang.Object(o3401sub)) -> f7550_0_append_JMP(EOS(STATIC_7550), java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7550_0_append_JMP(EOS(STATIC_7550), java.lang.Object(o3401sub)) -> f7564_0_append_Load(EOS(STATIC_7564), java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7564_0_append_Load(EOS(STATIC_7564), java.lang.Object(o3401sub)) -> f7472_0_append_Load(EOS(STATIC_7472), java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7472_0_append_Load(EOS(STATIC_7472), java.lang.Object(o3332sub)) -> f7479_0_append_FieldAccess(EOS(STATIC_7479), java.lang.Object(o3332sub), java.lang.Object(o3332sub)) :|: TRUE
14.49/4.79	R rules:
14.49/4.79	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
14.49/4.79	f7479_0_append_FieldAccess(EOS(STATIC_7479), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub:0))), java.lang.Object(Tree(EOC, java.lang.Object(o3401sub:0)))) -> f7479_0_append_FieldAccess(EOS(STATIC_7479), java.lang.Object(o3401sub:0), java.lang.Object(o3401sub:0)) :|: TRUE
14.49/4.79	R rules:
14.49/4.79	Filtered ground terms:
14.49/4.79	   f7479_0_append_FieldAccess(x1, x2, x3) -> f7479_0_append_FieldAccess(x2, x3)
14.49/4.79	   EOS(x1) -> EOS
14.49/4.79	   Tree(x1, x2) -> Tree(x2)
14.49/4.79	Filtered duplicate args:
14.49/4.79	   f7479_0_append_FieldAccess(x1, x2) -> f7479_0_append_FieldAccess(x2)
14.49/4.79	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
14.49/4.79	F7479_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3401sub:0:0)))) -> F7479_0_APPEND_FIELDACCESS(java.lang.Object(o3401sub:0:0)) :|: TRUE
14.49/4.79	R rules:
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(9)
14.49/4.79	Obligation:
14.49/4.79	Q DP problem:
14.49/4.79	The TRS P consists of the following rules:
14.49/4.79	
14.49/4.79	   F7479_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3401sub:0:0)))) -> F7479_0_APPEND_FIELDACCESS(java.lang.Object(o3401sub:0:0))
14.49/4.79	
14.49/4.79	R is empty.
14.49/4.79	Q is empty.
14.49/4.79	We have to consider all minimal (P,Q,R)-chains.
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(10) QDPSizeChangeProof (EQUIVALENT)
14.49/4.79	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. 
14.49/4.79	
14.49/4.79	From the DPs we obtained the following set of size-change graphs:
14.49/4.79	*F7479_0_APPEND_FIELDACCESS(java.lang.Object(Tree(java.lang.Object(o3401sub:0:0)))) -> F7479_0_APPEND_FIELDACCESS(java.lang.Object(o3401sub:0:0))
14.49/4.79	The graph contains the following edges 1 > 1
14.49/4.79	
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(11)
14.49/4.79	YES
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(12)
14.49/4.79	Obligation:
14.49/4.79	SCC of termination graph based on JBC Program.
14.49/4.79	SCC contains nodes from the following methods: LessLeaves.less_leaves(LTree;LTree;)Z
14.49/4.79	SCC calls the following helper methods: LessLeaves.append(LTree;LTree;)LTree;
14.49/4.79	Performed SCC analyses:
14.49/4.79	*Used field analysis yielded the following read fields:
14.49/4.79	*Tree: [left, right]
14.49/4.79	*Marker field analysis yielded the following relations that could be markers:
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(13) SCCToQDPProof (SOUND)
14.49/4.79	Transformed TerminationGraph SCC to QDP. Log: 
14.49/4.79	Generated 42 rules for P and 37 rules for R.P rules:
14.49/4.79	f7480_0_less_leaves_NULL(EOS(STATIC_7480), java.lang.Object(o3386sub), o3364, java.lang.Object(o3386sub)) -> f7487_0_less_leaves_NULL(EOS(STATIC_7487), java.lang.Object(o3386sub), o3364, java.lang.Object(o3386sub)) :|: TRUE
14.49/4.79	f7487_0_less_leaves_NULL(EOS(STATIC_7487), java.lang.Object(o3386sub), o3364, java.lang.Object(o3386sub)) -> f7495_0_less_leaves_Load(EOS(STATIC_7495), java.lang.Object(o3386sub), o3364) :|: TRUE
14.49/4.79	f7495_0_less_leaves_Load(EOS(STATIC_7495), java.lang.Object(o3386sub), o3364) -> f7504_0_less_leaves_NULL(EOS(STATIC_7504), java.lang.Object(o3386sub), o3364, o3364) :|: TRUE
14.49/4.79	f7504_0_less_leaves_NULL(EOS(STATIC_7504), java.lang.Object(o3386sub), java.lang.Object(o3405sub), java.lang.Object(o3405sub)) -> f7513_0_less_leaves_NULL(EOS(STATIC_7513), java.lang.Object(o3386sub), java.lang.Object(o3405sub), java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7513_0_less_leaves_NULL(EOS(STATIC_7513), java.lang.Object(o3386sub), java.lang.Object(o3405sub), java.lang.Object(o3405sub)) -> f7526_0_less_leaves_Load(EOS(STATIC_7526), java.lang.Object(o3386sub), java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7526_0_less_leaves_Load(EOS(STATIC_7526), java.lang.Object(o3386sub), java.lang.Object(o3405sub)) -> f7539_0_less_leaves_FieldAccess(EOS(STATIC_7539), java.lang.Object(o3386sub), java.lang.Object(o3405sub), java.lang.Object(o3386sub)) :|: TRUE
14.49/4.79	f7539_0_less_leaves_FieldAccess(EOS(STATIC_7539), java.lang.Object(Tree(EOC, o3438, o3439)), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3438, o3439))) -> f7553_0_less_leaves_FieldAccess(EOS(STATIC_7553), java.lang.Object(Tree(EOC, o3438, o3439)), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3438, o3439))) :|: TRUE
14.49/4.79	f7553_0_less_leaves_FieldAccess(EOS(STATIC_7553), java.lang.Object(Tree(EOC, o3438, o3439)), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3438, o3439))) -> f7567_0_less_leaves_Load(EOS(STATIC_7567), java.lang.Object(Tree(EOC, o3438, o3439)), java.lang.Object(o3405sub), o3438) :|: TRUE
14.49/4.79	f7567_0_less_leaves_Load(EOS(STATIC_7567), java.lang.Object(Tree(EOC, o3438, o3439)), java.lang.Object(o3405sub), o3438) -> f7575_0_less_leaves_FieldAccess(EOS(STATIC_7575), java.lang.Object(o3405sub), o3438, java.lang.Object(Tree(EOC, o3438, o3439))) :|: TRUE
14.49/4.79	f7575_0_less_leaves_FieldAccess(EOS(STATIC_7575), java.lang.Object(o3405sub), o3438, java.lang.Object(Tree(EOC, o3438, o3439))) -> f7592_0_less_leaves_InvokeMethod(EOS(STATIC_7592), java.lang.Object(o3405sub), o3438, o3439) :|: TRUE
14.49/4.79	f7592_0_less_leaves_InvokeMethod(EOS(STATIC_7592), java.lang.Object(o3405sub), o3438, o3439) -> f7600_1_less_leaves_InvokeMethod(f7600_0_append_Load(EOS(STATIC_7600), o3438, o3439), java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7600_0_append_Load(EOS(STATIC_7600), o3438, o3439) -> f8144_0_append_Load(EOS(STATIC_8144), o3438, o3439) :|: TRUE
14.49/4.79	f7615_0_append_Return(EOS(STATIC_7615), java.lang.Object(o3405sub), o3630) -> f7619_0_less_leaves_Store(EOS(STATIC_7619), java.lang.Object(o3405sub), o3630) :|: TRUE
14.49/4.79	f7619_0_less_leaves_Store(EOS(STATIC_7619), java.lang.Object(o3405sub), o3630) -> f7625_0_less_leaves_Load(EOS(STATIC_7625), o3630, java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7625_0_less_leaves_Load(EOS(STATIC_7625), o3630, java.lang.Object(o3405sub)) -> f7629_0_less_leaves_FieldAccess(EOS(STATIC_7629), o3630, java.lang.Object(o3405sub), java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7629_0_less_leaves_FieldAccess(EOS(STATIC_7629), o3630, java.lang.Object(Tree(EOC, o3726, o3727)), java.lang.Object(Tree(EOC, o3726, o3727))) -> f7634_0_less_leaves_FieldAccess(EOS(STATIC_7634), o3630, java.lang.Object(Tree(EOC, o3726, o3727)), java.lang.Object(Tree(EOC, o3726, o3727))) :|: TRUE
14.49/4.79	f7634_0_less_leaves_FieldAccess(EOS(STATIC_7634), o3630, java.lang.Object(Tree(EOC, o3726, o3727)), java.lang.Object(Tree(EOC, o3726, o3727))) -> f7637_0_less_leaves_Load(EOS(STATIC_7637), o3630, java.lang.Object(Tree(EOC, o3726, o3727)), o3726) :|: TRUE
14.49/4.79	f7637_0_less_leaves_Load(EOS(STATIC_7637), o3630, java.lang.Object(Tree(EOC, o3726, o3727)), o3726) -> f7640_0_less_leaves_FieldAccess(EOS(STATIC_7640), o3630, o3726, java.lang.Object(Tree(EOC, o3726, o3727))) :|: TRUE
14.49/4.79	f7640_0_less_leaves_FieldAccess(EOS(STATIC_7640), o3630, o3726, java.lang.Object(Tree(EOC, o3726, o3727))) -> f7644_0_less_leaves_InvokeMethod(EOS(STATIC_7644), o3630, o3726, o3727) :|: TRUE
14.49/4.79	f7644_0_less_leaves_InvokeMethod(EOS(STATIC_7644), o3630, o3726, o3727) -> f7647_1_less_leaves_InvokeMethod(f7647_0_append_Load(EOS(STATIC_7647), o3726, o3727), o3630) :|: TRUE
14.49/4.79	f7647_0_append_Load(EOS(STATIC_7647), o3726, o3727) -> f8180_0_append_Load(EOS(STATIC_8180), o3726, o3727) :|: TRUE
14.49/4.79	f7664_0_append_Return(EOS(STATIC_7664), o3630, o3758) -> f7669_0_less_leaves_Store(EOS(STATIC_7669), o3630, o3758) :|: TRUE
14.49/4.79	f7669_0_less_leaves_Store(EOS(STATIC_7669), o3630, o3758) -> f7673_0_less_leaves_JMP(EOS(STATIC_7673), o3630, o3758) :|: TRUE
14.49/4.79	f7673_0_less_leaves_JMP(EOS(STATIC_7673), o3630, o3758) -> f7679_0_less_leaves_Load(EOS(STATIC_7679), o3630, o3758) :|: TRUE
14.49/4.79	f7679_0_less_leaves_Load(EOS(STATIC_7679), o3630, o3758) -> f7474_0_less_leaves_Load(EOS(STATIC_7474), o3630, o3758) :|: TRUE
14.49/4.79	f7474_0_less_leaves_Load(EOS(STATIC_7474), o3363, o3364) -> f7480_0_less_leaves_NULL(EOS(STATIC_7480), o3363, o3364, o3363) :|: TRUE
14.49/4.79	f7665_0_append_Return(EOS(STATIC_7665), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) -> f7670_0_less_leaves_Store(EOS(STATIC_7670), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) :|: TRUE
14.49/4.79	f7670_0_less_leaves_Store(EOS(STATIC_7670), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) -> f7674_0_less_leaves_JMP(EOS(STATIC_7674), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) :|: TRUE
14.49/4.79	f7674_0_less_leaves_JMP(EOS(STATIC_7674), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) -> f7680_0_less_leaves_Load(EOS(STATIC_7680), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) :|: TRUE
14.49/4.79	f7680_0_less_leaves_Load(EOS(STATIC_7680), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) -> f7474_0_less_leaves_Load(EOS(STATIC_7474), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) :|: TRUE
14.49/4.79	f7666_0_append_Return(EOS(STATIC_7666), o3630, java.lang.Object(Tree(EOC, o3783, o3779))) -> f7665_0_append_Return(EOS(STATIC_7665), o3630, java.lang.Object(Tree(EOC, o3783, o3779))) :|: TRUE
14.49/4.79	f7616_0_append_Return(EOS(STATIC_7616), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3643, o3644))) -> f7620_0_less_leaves_Store(EOS(STATIC_7620), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3643, o3644))) :|: TRUE
14.49/4.79	f7620_0_less_leaves_Store(EOS(STATIC_7620), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3643, o3644))) -> f7626_0_less_leaves_Load(EOS(STATIC_7626), java.lang.Object(Tree(EOC, o3643, o3644)), java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7626_0_less_leaves_Load(EOS(STATIC_7626), java.lang.Object(Tree(EOC, o3643, o3644)), java.lang.Object(o3405sub)) -> f7630_0_less_leaves_FieldAccess(EOS(STATIC_7630), java.lang.Object(Tree(EOC, o3643, o3644)), java.lang.Object(o3405sub), java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7630_0_less_leaves_FieldAccess(EOS(STATIC_7630), java.lang.Object(Tree(EOC, o3643, o3644)), java.lang.Object(o3405sub), java.lang.Object(o3405sub)) -> f7629_0_less_leaves_FieldAccess(EOS(STATIC_7629), java.lang.Object(Tree(EOC, o3643, o3644)), java.lang.Object(o3405sub), java.lang.Object(o3405sub)) :|: TRUE
14.49/4.79	f7617_0_append_Return(EOS(STATIC_7617), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3655, o3651))) -> f7616_0_append_Return(EOS(STATIC_7616), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3655, o3651))) :|: TRUE
14.49/4.79	f7600_1_less_leaves_InvokeMethod(f7316_0_append_Return(EOS(STATIC_7316), NULL, o3630, o3630), java.lang.Object(o3405sub)) -> f7615_0_append_Return(EOS(STATIC_7615), java.lang.Object(o3405sub), o3630) :|: TRUE
14.49/4.79	f7600_1_less_leaves_InvokeMethod(f7573_0_append_Return(EOS(STATIC_7573), java.lang.Object(Tree(EOC, o3643, o3644)), o3328, java.lang.Object(Tree(EOC, o3643, o3644))), java.lang.Object(o3405sub)) -> f7616_0_append_Return(EOS(STATIC_7616), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3643, o3644))) :|: TRUE
14.49/4.79	f7600_1_less_leaves_InvokeMethod(f7574_0_append_Return(EOS(STATIC_7574), java.lang.Object(Tree(EOC, o3655, o3651)), o3651, java.lang.Object(Tree(EOC, o3655, o3651))), java.lang.Object(o3405sub)) -> f7617_0_append_Return(EOS(STATIC_7617), java.lang.Object(o3405sub), java.lang.Object(Tree(EOC, o3655, o3651))) :|: TRUE
14.49/4.79	f7647_1_less_leaves_InvokeMethod(f7316_0_append_Return(EOS(STATIC_7316), NULL, o3758, o3758), o3630) -> f7664_0_append_Return(EOS(STATIC_7664), o3630, o3758) :|: TRUE
14.49/4.79	f7647_1_less_leaves_InvokeMethod(f7573_0_append_Return(EOS(STATIC_7573), java.lang.Object(Tree(EOC, o3771, o3772)), o3328, java.lang.Object(Tree(EOC, o3771, o3772))), o3630) -> f7665_0_append_Return(EOS(STATIC_7665), o3630, java.lang.Object(Tree(EOC, o3771, o3772))) :|: TRUE
14.49/4.79	f7647_1_less_leaves_InvokeMethod(f7574_0_append_Return(EOS(STATIC_7574), java.lang.Object(Tree(EOC, o3783, o3779)), o3779, java.lang.Object(Tree(EOC, o3783, o3779))), o3630) -> f7666_0_append_Return(EOS(STATIC_7666), o3630, java.lang.Object(Tree(EOC, o3783, o3779))) :|: TRUE
14.49/4.79	R rules:
14.49/4.79	f7600_0_append_Load(EOS(STATIC_7600), o3438, o3439) -> f7605_0_append_Load(EOS(STATIC_7605), o3438, o3439) :|: TRUE
14.49/4.79	f7605_0_append_Load(EOS(STATIC_7605), o3438, o3439) -> f7614_0_append_Load(EOS(STATIC_7614), o3438, o3439, o3438, o3439) :|: TRUE
14.49/4.79	f7614_0_append_Load(EOS(STATIC_7614), o3438, o3439, o3438, o3439) -> f7296_0_append_Load(EOS(STATIC_7296), o3438, o3439, o3438, o3439) :|: TRUE
14.49/4.79	f7647_0_append_Load(EOS(STATIC_7647), o3726, o3727) -> f7650_0_append_Load(EOS(STATIC_7650), o3726, o3727) :|: TRUE
14.49/4.79	f7650_0_append_Load(EOS(STATIC_7650), o3726, o3727) -> f7663_0_append_Load(EOS(STATIC_7663), o3726, o3727, o3726, o3727) :|: TRUE
14.49/4.79	f7663_0_append_Load(EOS(STATIC_7663), o3726, o3727, o3726, o3727) -> f7296_0_append_Load(EOS(STATIC_7296), o3726, o3727, o3726, o3727) :|: TRUE
14.49/4.79	f7296_0_append_Load(EOS(STATIC_7296), o2921, o2922, o2921, o2922) -> f7299_0_append_NONNULL(EOS(STATIC_7299), o2921, o2922, o2921, o2922, o2921) :|: TRUE
14.49/4.79	f7299_0_append_NONNULL(EOS(STATIC_7299), java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub)) -> f7302_0_append_NONNULL(EOS(STATIC_7302), java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub)) :|: TRUE
14.49/4.79	f7299_0_append_NONNULL(EOS(STATIC_7299), NULL, o2922, NULL, o2922, NULL) -> f7303_0_append_NONNULL(EOS(STATIC_7303), NULL, o2922, NULL, o2922, NULL) :|: TRUE
14.49/4.79	f7302_0_append_NONNULL(EOS(STATIC_7302), java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub)) -> f7309_0_append_Load(EOS(STATIC_7309), java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub), o2922) :|: TRUE
14.49/4.79	f7303_0_append_NONNULL(EOS(STATIC_7303), NULL, o2922, NULL, o2922, NULL) -> f7310_0_append_Load(EOS(STATIC_7310), NULL, o2922, o2922) :|: TRUE
14.49/4.79	f7309_0_append_Load(EOS(STATIC_7309), java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub), o2922) -> f7315_0_append_Store(EOS(STATIC_7315), java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub), o2922, java.lang.Object(o2952sub)) :|: TRUE
14.49/4.79	f7310_0_append_Load(EOS(STATIC_7310), NULL, o2922, o2922) -> f7316_0_append_Return(EOS(STATIC_7316), NULL, o2922, o2922) :|: TRUE
14.49/4.79	f7315_0_append_Store(EOS(STATIC_7315), java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994))) -> f7322_0_append_Store(EOS(STATIC_7322), java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994))) :|: TRUE
14.49/4.79	f7322_0_append_Store(EOS(STATIC_7322), java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994))) -> f7328_0_append_Load(EOS(STATIC_7328), java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994))) :|: TRUE
14.49/4.79	f7328_0_append_Load(EOS(STATIC_7328), java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994))) -> f7401_0_append_Load(EOS(STATIC_7401), java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994)), o2922, java.lang.Object(Tree(EOC, o2993, o2994))) :|: TRUE
14.49/4.79	f7401_0_append_Load(EOS(STATIC_7401), java.lang.Object(Tree(EOC, o3173, o3174)), o3176, java.lang.Object(Tree(EOC, o3173, o3174)), o3176, java.lang.Object(o3180sub)) -> f7472_0_append_Load(EOS(STATIC_7472), java.lang.Object(Tree(EOC, o3173, o3174)), o3176, java.lang.Object(Tree(EOC, o3173, o3174)), o3176, java.lang.Object(o3180sub)) :|: TRUE
14.49/4.79	f7472_0_append_Load(EOS(STATIC_7472), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3332sub)) -> f7479_0_append_FieldAccess(EOS(STATIC_7479), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3332sub), java.lang.Object(o3332sub)) :|: TRUE
14.49/4.79	f7479_0_append_FieldAccess(EOS(STATIC_7479), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, o3384)), java.lang.Object(Tree(EOC, o3383, o3384))) -> f7486_0_append_FieldAccess(EOS(STATIC_7486), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, o3384)), java.lang.Object(Tree(EOC, o3383, o3384))) :|: TRUE
14.49/4.79	f7486_0_append_FieldAccess(EOS(STATIC_7486), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, o3384)), java.lang.Object(Tree(EOC, o3383, o3384))) -> f7494_0_append_NULL(EOS(STATIC_7494), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, o3384)), o3384) :|: TRUE
14.49/4.79	f7494_0_append_NULL(EOS(STATIC_7494), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, java.lang.Object(o3401sub))), java.lang.Object(o3401sub)) -> f7502_0_append_NULL(EOS(STATIC_7502), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, java.lang.Object(o3401sub))), java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7494_0_append_NULL(EOS(STATIC_7494), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, NULL)), NULL) -> f7503_0_append_NULL(EOS(STATIC_7503), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, NULL)), NULL) :|: TRUE
14.49/4.79	f7502_0_append_NULL(EOS(STATIC_7502), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, java.lang.Object(o3401sub))), java.lang.Object(o3401sub)) -> f7511_0_append_Load(EOS(STATIC_7511), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, java.lang.Object(o3401sub)))) :|: TRUE
14.49/4.79	f7503_0_append_NULL(EOS(STATIC_7503), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, NULL)), NULL) -> f7512_0_append_Load(EOS(STATIC_7512), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, NULL))) :|: TRUE
14.49/4.79	f7511_0_append_Load(EOS(STATIC_7511), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, java.lang.Object(o3401sub)))) -> f7524_0_append_FieldAccess(EOS(STATIC_7524), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, java.lang.Object(o3401sub)))) :|: TRUE
14.49/4.79	f7512_0_append_Load(EOS(STATIC_7512), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, NULL))) -> f7525_0_append_Load(EOS(STATIC_7525), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, NULL))) :|: TRUE
14.49/4.79	f7524_0_append_FieldAccess(EOS(STATIC_7524), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, java.lang.Object(o3401sub)))) -> f7537_0_append_Store(EOS(STATIC_7537), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7525_0_append_Load(EOS(STATIC_7525), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3383, NULL))) -> f7538_0_append_FieldAccess(EOS(STATIC_7538), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), java.lang.Object(Tree(EOC, o3383, NULL)), o3328) :|: TRUE
14.49/4.79	f7537_0_append_Store(EOS(STATIC_7537), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3401sub)) -> f7550_0_append_JMP(EOS(STATIC_7550), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7538_0_append_FieldAccess(EOS(STATIC_7538), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), java.lang.Object(Tree(EOC, o3383, NULL)), o3328) -> f7551_0_append_FieldAccess(EOS(STATIC_7551), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), java.lang.Object(Tree(EOC, o3383, NULL)), o3328) :|: TRUE
14.49/4.79	f7538_0_append_FieldAccess(EOS(STATIC_7538), java.lang.Object(Tree(EOC, o3433, NULL)), o3328, java.lang.Object(Tree(EOC, o3433, NULL)), java.lang.Object(Tree(EOC, o3433, NULL)), o3328) -> f7552_0_append_FieldAccess(EOS(STATIC_7552), java.lang.Object(Tree(EOC, o3433, NULL)), o3328, java.lang.Object(Tree(EOC, o3433, NULL)), java.lang.Object(Tree(EOC, o3433, NULL)), o3328) :|: TRUE
14.49/4.79	f7550_0_append_JMP(EOS(STATIC_7550), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3401sub)) -> f7564_0_append_Load(EOS(STATIC_7564), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7551_0_append_FieldAccess(EOS(STATIC_7551), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), java.lang.Object(Tree(EOC, o3383, NULL)), o3328) -> f7565_0_append_Load(EOS(STATIC_7565), java.lang.Object(Tree(EOC, o3325put, o3326put)), o3328, java.lang.Object(Tree(EOC, o3325put, o3326put))) :|: TRUE
14.49/4.79	f7552_0_append_FieldAccess(EOS(STATIC_7552), java.lang.Object(Tree(EOC, o3433, NULL)), o3328, java.lang.Object(Tree(EOC, o3433, NULL)), java.lang.Object(Tree(EOC, o3433, NULL)), o3328) -> f7566_0_append_Load(EOS(STATIC_7566), java.lang.Object(Tree(EOC, o3433, o3328)), o3328, java.lang.Object(Tree(EOC, o3433, o3328))) :|: TRUE
14.49/4.79	f7564_0_append_Load(EOS(STATIC_7564), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3401sub)) -> f7472_0_append_Load(EOS(STATIC_7472), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(o3401sub)) :|: TRUE
14.49/4.79	f7565_0_append_Load(EOS(STATIC_7565), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326))) -> f7573_0_append_Return(EOS(STATIC_7573), java.lang.Object(Tree(EOC, o3325, o3326)), o3328, java.lang.Object(Tree(EOC, o3325, o3326))) :|: TRUE
14.49/4.79	f7566_0_append_Load(EOS(STATIC_7566), java.lang.Object(Tree(EOC, o3433, o3328)), o3328, java.lang.Object(Tree(EOC, o3433, o3328))) -> f7574_0_append_Return(EOS(STATIC_7574), java.lang.Object(Tree(EOC, o3433, o3328)), o3328, java.lang.Object(Tree(EOC, o3433, o3328))) :|: TRUE
14.49/4.79	Combined rules. Obtained 6 conditional rules for P and 0 conditional rules for R.P rules:
14.49/4.79	f7647_1_less_leaves_InvokeMethod(f7573_0_append_Return(EOS(STATIC_7573), java.lang.Object(Tree(EOC, o3771:0, o3772:0)), o3328:0, java.lang.Object(Tree(EOC, o3771:0, o3772:0))), java.lang.Object(Tree(EOC, o3438:0, o3439:0))) -> f7600_1_less_leaves_InvokeMethod(f8144_0_append_Load(EOS(STATIC_8144), o3438:0, o3439:0), java.lang.Object(Tree(EOC, o3771:0, o3772:0))) :|: TRUE
14.49/4.79	f7600_1_less_leaves_InvokeMethod(f7573_0_append_Return(EOS(STATIC_7573), java.lang.Object(Tree(EOC, o3643:0, o3644:0)), o3328:0, java.lang.Object(Tree(EOC, o3643:0, o3644:0))), java.lang.Object(Tree(EOC, o3726:0, o3727:0))) -> f7647_1_less_leaves_InvokeMethod(f8180_0_append_Load(EOS(STATIC_8180), o3726:0, o3727:0), java.lang.Object(Tree(EOC, o3643:0, o3644:0))) :|: TRUE
14.49/4.79	f7647_1_less_leaves_InvokeMethod(f7316_0_append_Return(EOS(STATIC_7316), NULL, java.lang.Object(o3405sub:0), java.lang.Object(o3405sub:0)), java.lang.Object(Tree(EOC, o3438:0, o3439:0))) -> f7600_1_less_leaves_InvokeMethod(f8144_0_append_Load(EOS(STATIC_8144), o3438:0, o3439:0), java.lang.Object(o3405sub:0)) :|: TRUE
14.49/4.79	f7647_1_less_leaves_InvokeMethod(f7574_0_append_Return(EOS(STATIC_7574), java.lang.Object(Tree(EOC, o3783:0, o3779:0)), o3779:0, java.lang.Object(Tree(EOC, o3783:0, o3779:0))), java.lang.Object(Tree(EOC, o3438:0, o3439:0))) -> f7600_1_less_leaves_InvokeMethod(f8144_0_append_Load(EOS(STATIC_8144), o3438:0, o3439:0), java.lang.Object(Tree(EOC, o3783:0, o3779:0))) :|: TRUE
14.49/4.79	f7600_1_less_leaves_InvokeMethod(f7316_0_append_Return(EOS(STATIC_7316), NULL, o3630:0, o3630:0), java.lang.Object(Tree(EOC, o3726:0, o3727:0))) -> f7647_1_less_leaves_InvokeMethod(f8180_0_append_Load(EOS(STATIC_8180), o3726:0, o3727:0), o3630:0) :|: TRUE
14.49/4.79	f7600_1_less_leaves_InvokeMethod(f7574_0_append_Return(EOS(STATIC_7574), java.lang.Object(Tree(EOC, o3655:0, o3651:0)), o3651:0, java.lang.Object(Tree(EOC, o3655:0, o3651:0))), java.lang.Object(Tree(EOC, o3726:0, o3727:0))) -> f7647_1_less_leaves_InvokeMethod(f8180_0_append_Load(EOS(STATIC_8180), o3726:0, o3727:0), java.lang.Object(Tree(EOC, o3655:0, o3651:0))) :|: TRUE
14.49/4.79	R rules:
14.49/4.79	Filtered ground terms:
14.49/4.79	   f7573_0_append_Return(x1, x2, x3, x4) -> f7573_0_append_Return(x2, x3, x4)
14.49/4.79	   f8144_0_append_Load(x1, x2, x3) -> f8144_0_append_Load(x2, x3)
14.49/4.79	   f8180_0_append_Load(x1, x2, x3) -> f8180_0_append_Load(x2, x3)
14.49/4.79	   f7316_0_append_Return(x1, x2, x3, x4) -> f7316_0_append_Return(x3, x4)
14.49/4.79	   f7574_0_append_Return(x1, x2, x3, x4) -> f7574_0_append_Return(x2, x3, x4)
14.49/4.79	   Tree(x1, x2, x3) -> Tree(x2, x3)
14.49/4.79	Filtered duplicate args:
14.49/4.79	   f7573_0_append_Return(x1, x2, x3) -> f7573_0_append_Return(x2, x3)
14.49/4.79	   f7316_0_append_Return(x1, x2) -> f7316_0_append_Return(x2)
14.49/4.79	   f7574_0_append_Return(x1, x2, x3) -> f7574_0_append_Return(x3)
14.49/4.79	Combined rules. Obtained 6 conditional rules for P and 0 conditional rules for R.P rules:
14.49/4.79	F7600_1_LESS_LEAVES_INVOKEMETHOD(f7574_0_append_Return(java.lang.Object(Tree(o3655:0:0, o3651:0:0))), java.lang.Object(Tree(o3726:0:0, o3727:0:0))) -> F7647_1_LESS_LEAVES_INVOKEMETHOD(f8180_0_append_Load(o3726:0:0, o3727:0:0), java.lang.Object(Tree(o3655:0:0, o3651:0:0))) :|: TRUE
14.49/4.79	F7647_1_LESS_LEAVES_INVOKEMETHOD(f7574_0_append_Return(java.lang.Object(Tree(o3783:0:0, o3779:0:0))), java.lang.Object(Tree(o3438:0:0, o3439:0:0))) -> F7600_1_LESS_LEAVES_INVOKEMETHOD(f8144_0_append_Load(o3438:0:0, o3439:0:0), java.lang.Object(Tree(o3783:0:0, o3779:0:0))) :|: TRUE
14.49/4.79	F7600_1_LESS_LEAVES_INVOKEMETHOD(f7573_0_append_Return(o3328:0:0, java.lang.Object(Tree(o3643:0:0, o3644:0:0))), java.lang.Object(Tree(o3726:0:0, o3727:0:0))) -> F7647_1_LESS_LEAVES_INVOKEMETHOD(f8180_0_append_Load(o3726:0:0, o3727:0:0), java.lang.Object(Tree(o3643:0:0, o3644:0:0))) :|: TRUE
14.49/4.79	F7647_1_LESS_LEAVES_INVOKEMETHOD(f7316_0_append_Return(java.lang.Object(o3405sub:0:0)), java.lang.Object(Tree(o3438:0:0, o3439:0:0))) -> F7600_1_LESS_LEAVES_INVOKEMETHOD(f8144_0_append_Load(o3438:0:0, o3439:0:0), java.lang.Object(o3405sub:0:0)) :|: TRUE
14.49/4.79	F7600_1_LESS_LEAVES_INVOKEMETHOD(f7316_0_append_Return(o3630:0:0), java.lang.Object(Tree(o3726:0:0, o3727:0:0))) -> F7647_1_LESS_LEAVES_INVOKEMETHOD(f8180_0_append_Load(o3726:0:0, o3727:0:0), o3630:0:0) :|: TRUE
14.49/4.79	F7647_1_LESS_LEAVES_INVOKEMETHOD(f7573_0_append_Return(o3328:0:0, java.lang.Object(Tree(o3771:0:0, o3772:0:0))), java.lang.Object(Tree(o3438:0:0, o3439:0:0))) -> F7600_1_LESS_LEAVES_INVOKEMETHOD(f8144_0_append_Load(o3438:0:0, o3439:0:0), java.lang.Object(Tree(o3771:0:0, o3772:0:0))) :|: TRUE
14.49/4.79	R rules:
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(14)
14.49/4.79	Obligation:
14.49/4.79	Q DP problem:
14.49/4.79	The TRS P consists of the following rules:
14.49/4.79	
14.49/4.79	   F7600_1_LESS_LEAVES_INVOKEMETHOD(f7574_0_append_Return(java.lang.Object(Tree(o3655:0:0, o3651:0:0))), java.lang.Object(Tree(o3726:0:0, o3727:0:0))) -> F7647_1_LESS_LEAVES_INVOKEMETHOD(f8180_0_append_Load(o3726:0:0, o3727:0:0), java.lang.Object(Tree(o3655:0:0, o3651:0:0)))
14.49/4.79	   F7647_1_LESS_LEAVES_INVOKEMETHOD(f7574_0_append_Return(java.lang.Object(Tree(o3783:0:0, o3779:0:0))), java.lang.Object(Tree(o3438:0:0, o3439:0:0))) -> F7600_1_LESS_LEAVES_INVOKEMETHOD(f8144_0_append_Load(o3438:0:0, o3439:0:0), java.lang.Object(Tree(o3783:0:0, o3779:0:0)))
14.49/4.79	   F7600_1_LESS_LEAVES_INVOKEMETHOD(f7573_0_append_Return(o3328:0:0, java.lang.Object(Tree(o3643:0:0, o3644:0:0))), java.lang.Object(Tree(o3726:0:0, o3727:0:0))) -> F7647_1_LESS_LEAVES_INVOKEMETHOD(f8180_0_append_Load(o3726:0:0, o3727:0:0), java.lang.Object(Tree(o3643:0:0, o3644:0:0)))
14.49/4.79	   F7647_1_LESS_LEAVES_INVOKEMETHOD(f7316_0_append_Return(java.lang.Object(o3405sub:0:0)), java.lang.Object(Tree(o3438:0:0, o3439:0:0))) -> F7600_1_LESS_LEAVES_INVOKEMETHOD(f8144_0_append_Load(o3438:0:0, o3439:0:0), java.lang.Object(o3405sub:0:0))
14.49/4.79	   F7600_1_LESS_LEAVES_INVOKEMETHOD(f7316_0_append_Return(o3630:0:0), java.lang.Object(Tree(o3726:0:0, o3727:0:0))) -> F7647_1_LESS_LEAVES_INVOKEMETHOD(f8180_0_append_Load(o3726:0:0, o3727:0:0), o3630:0:0)
14.49/4.79	   F7647_1_LESS_LEAVES_INVOKEMETHOD(f7573_0_append_Return(o3328:0:0, java.lang.Object(Tree(o3771:0:0, o3772:0:0))), java.lang.Object(Tree(o3438:0:0, o3439:0:0))) -> F7600_1_LESS_LEAVES_INVOKEMETHOD(f8144_0_append_Load(o3438:0:0, o3439:0:0), java.lang.Object(Tree(o3771:0:0, o3772:0:0)))
14.49/4.79	
14.49/4.79	R is empty.
14.49/4.79	Q is empty.
14.49/4.79	We have to consider all minimal (P,Q,R)-chains.
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(15) DependencyGraphProof (EQUIVALENT)
14.49/4.79	The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 6 less nodes.
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(16)
14.49/4.79	TRUE
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(17)
14.49/4.79	Obligation:
14.49/4.79	SCC of termination graph based on JBC Program.
14.49/4.79	SCC contains nodes from the following methods: Tree.createTree()LTree;
14.49/4.79	SCC calls the following helper methods: 
14.49/4.79	Performed SCC analyses:
14.49/4.79	*Used field analysis yielded the following read fields:
14.49/4.79	*java.lang.String: [count]
14.49/4.79	*Tree: [right, left]
14.49/4.79	*Marker field analysis yielded the following relations that could be markers:
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(18) SCCToIRSProof (SOUND)
14.49/4.79	Transformed FIGraph SCCs to intTRSs. Log: 
14.49/4.79	Generated rules. Obtained 114 IRulesP rules:
14.49/4.79	f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2497) -> f7841_0_createTree_LE(EOS(STATIC_7841(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2497) :|: TRUE
14.49/4.79	f7841_0_createTree_LE(EOS(STATIC_7841(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2497) -> f7843_0_createTree_InvokeMethod(EOS(STATIC_7843(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) :|: i2497 > 0
14.49/4.79	f7843_0_createTree_InvokeMethod(EOS(STATIC_7843(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) -> f7845_0_random_FieldAccess(EOS(STATIC_7845(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) :|: TRUE
14.49/4.79	f7845_0_random_FieldAccess(EOS(STATIC_7845(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) -> f7847_0_random_FieldAccess(EOS(STATIC_7847(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) :|: TRUE
14.49/4.79	f7847_0_random_FieldAccess(EOS(STATIC_7847(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) -> f7852_0_random_ArrayAccess(EOS(STATIC_7852(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) :|: TRUE
14.49/4.79	f7852_0_random_ArrayAccess(EOS(STATIC_7852(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) -> f7856_0_random_ArrayAccess(EOS(STATIC_7856(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) :|: TRUE
14.49/4.79	f7856_0_random_ArrayAccess(EOS(STATIC_7856(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) -> f7860_0_random_ArrayAccess(EOS(STATIC_7860(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) :|: TRUE
14.49/4.79	f7860_0_random_ArrayAccess(EOS(STATIC_7860(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(ARRAY(i102))) -> f7864_0_random_Store(EOS(STATIC_7864(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) :|: TRUE
14.49/4.79	f7864_0_random_Store(EOS(STATIC_7864(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) -> f7869_0_random_FieldAccess(EOS(STATIC_7869(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) :|: TRUE
14.49/4.79	f7869_0_random_FieldAccess(EOS(STATIC_7869(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) -> f7873_0_random_ConstantStackPush(EOS(STATIC_7873(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) :|: TRUE
14.49/4.79	f7873_0_random_ConstantStackPush(EOS(STATIC_7873(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) -> f7877_0_random_IntArithmetic(EOS(STATIC_7877(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) :|: TRUE
14.49/4.79	f7877_0_random_IntArithmetic(EOS(STATIC_7877(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) -> f7881_0_random_FieldAccess(EOS(STATIC_7881(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) :|: TRUE
14.49/4.79	f7881_0_random_FieldAccess(EOS(STATIC_7881(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) -> f7892_0_random_Load(EOS(STATIC_7892(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) :|: TRUE
14.49/4.79	f7892_0_random_Load(EOS(STATIC_7892(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) -> f7897_0_random_InvokeMethod(EOS(STATIC_7897(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), o4420) :|: TRUE
14.49/4.79	f7897_0_random_InvokeMethod(EOS(STATIC_7897(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4519sub)) -> f7906_0_random_InvokeMethod(EOS(STATIC_7906(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4519sub)) :|: TRUE
14.49/4.79	f7906_0_random_InvokeMethod(EOS(STATIC_7906(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4528sub)) -> f7913_0_random_InvokeMethod(EOS(STATIC_7913(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4528sub)) :|: TRUE
14.49/4.79	f7913_0_random_InvokeMethod(EOS(STATIC_7913(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4528sub)) -> f7918_0_length_Load(EOS(STATIC_7918(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4528sub)) :|: TRUE
14.49/4.79	f7918_0_length_Load(EOS(STATIC_7918(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4528sub)) -> f7927_0_length_FieldAccess(EOS(STATIC_7927(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4528sub)) :|: TRUE
14.49/4.79	f7927_0_length_FieldAccess(EOS(STATIC_7927(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(java.lang.String(EOC, i2681))) -> f7932_0_length_FieldAccess(EOS(STATIC_7932(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(java.lang.String(EOC, i2681))) :|: i2681 >= 0
14.49/4.79	f7932_0_length_FieldAccess(EOS(STATIC_7932(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(java.lang.String(EOC, i2681))) -> f7937_0_length_Return(EOS(STATIC_7937(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) :|: TRUE
14.49/4.79	f7937_0_length_Return(EOS(STATIC_7937(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) -> f7940_0_random_Return(EOS(STATIC_7940(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) :|: TRUE
14.49/4.79	f7940_0_random_Return(EOS(STATIC_7940(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) -> f7950_0_createTree_Store(EOS(STATIC_7950(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) :|: TRUE
14.49/4.79	f7950_0_createTree_Store(EOS(STATIC_7950(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) -> f7957_0_createTree_Load(EOS(STATIC_7957(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) :|: TRUE
14.49/4.79	f7957_0_createTree_Load(EOS(STATIC_7957(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) -> f7961_0_createTree_LE(EOS(STATIC_7961(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2681) :|: TRUE
14.49/4.79	f7961_0_createTree_LE(EOS(STATIC_7961(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), matching1) -> f7965_0_createTree_LE(EOS(STATIC_7965(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), 0) :|: TRUE && matching1 = 0
14.49/4.79	f7961_0_createTree_LE(EOS(STATIC_7961(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2738) -> f7966_0_createTree_LE(EOS(STATIC_7966(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2738) :|: TRUE
14.49/4.79	f7965_0_createTree_LE(EOS(STATIC_7965(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), matching1) -> f7969_0_createTree_Load(EOS(STATIC_7969(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) :|: 0 <= 0 && matching1 = 0
14.49/4.79	f7969_0_createTree_Load(EOS(STATIC_7969(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) -> f7974_0_createTree_FieldAccess(EOS(STATIC_7974(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4338sub)) :|: TRUE
14.49/4.79	f7974_0_createTree_FieldAccess(EOS(STATIC_7974(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4621, o4620)), java.lang.Object(Tree(EOC, o4621, o4620))) -> f7979_0_createTree_FieldAccess(EOS(STATIC_7979(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4621, o4620)), java.lang.Object(Tree(EOC, o4621, o4620))) :|: TRUE
14.49/4.79	f7979_0_createTree_FieldAccess(EOS(STATIC_7979(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4621, o4620)), java.lang.Object(Tree(EOC, o4621, o4620))) -> f7984_0_createTree_NONNULL(EOS(STATIC_7984(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4621, o4620)), o4621) :|: TRUE
14.49/4.79	f7984_0_createTree_NONNULL(EOS(STATIC_7984(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub), o4620)), java.lang.Object(o4633sub)) -> f7989_0_createTree_NONNULL(EOS(STATIC_7989(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub), o4620)), java.lang.Object(o4633sub)) :|: TRUE
14.49/4.79	f7984_0_createTree_NONNULL(EOS(STATIC_7984(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), NULL) -> f7990_0_createTree_NONNULL(EOS(STATIC_7990(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), NULL) :|: TRUE
14.49/4.79	f7989_0_createTree_NONNULL(EOS(STATIC_7989(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub), o4620)), java.lang.Object(o4633sub)) -> f7996_0_createTree_Load(EOS(STATIC_7996(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub), o4620))) :|: TRUE
14.49/4.79	f7996_0_createTree_Load(EOS(STATIC_7996(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub), o4620))) -> f8003_0_createTree_FieldAccess(EOS(STATIC_8003(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub), o4620))) :|: TRUE
14.49/4.79	f8003_0_createTree_FieldAccess(EOS(STATIC_8003(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub), o4620))) -> f8010_0_createTree_Store(EOS(STATIC_8010(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) :|: TRUE
14.49/4.79	f8010_0_createTree_Store(EOS(STATIC_8010(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) -> f8017_0_createTree_Inc(EOS(STATIC_8017(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) :|: TRUE
14.49/4.79	f8017_0_createTree_Inc(EOS(STATIC_8017(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) -> f8021_0_createTree_JMP(EOS(STATIC_8021(java.lang.Object(ARRAY(i102)))), i2497 + -1, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) :|: TRUE
14.49/4.79	f8021_0_createTree_JMP(EOS(STATIC_8021(java.lang.Object(ARRAY(i102)))), i2783, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) -> f8032_0_createTree_Load(EOS(STATIC_8032(java.lang.Object(ARRAY(i102)))), i2783, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) :|: TRUE
14.49/4.79	f8032_0_createTree_Load(EOS(STATIC_8032(java.lang.Object(ARRAY(i102)))), i2783, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) -> f7838_0_createTree_Load(EOS(STATIC_7838(java.lang.Object(ARRAY(i102)))), i2783, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4633sub)) :|: TRUE
14.49/4.79	f7838_0_createTree_Load(EOS(STATIC_7838(java.lang.Object(ARRAY(i102)))), i2492, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) -> f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102)))), i2492, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2492) :|: TRUE
14.49/4.79	f7990_0_createTree_NONNULL(EOS(STATIC_7990(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), NULL) -> f7997_0_createTree_Load(EOS(STATIC_7997(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620))) :|: TRUE
14.49/4.79	f7997_0_createTree_Load(EOS(STATIC_7997(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620))) -> f8004_0_createTree_InvokeMethod(EOS(STATIC_8004(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620))) :|: TRUE
14.49/4.79	f8004_0_createTree_InvokeMethod(EOS(STATIC_8004(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620))) -> f8011_0_createNode_New(EOS(STATIC_8011(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620))) :|: TRUE
14.49/4.79	f8011_0_createNode_New(EOS(STATIC_8011(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620))) -> f8022_0_createNode_Duplicate(EOS(STATIC_8022(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8022_0_createNode_Duplicate(EOS(STATIC_8022(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8033_0_createNode_InvokeMethod(EOS(STATIC_8033(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8033_0_createNode_InvokeMethod(EOS(STATIC_8033(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8039_0__init__Load(EOS(STATIC_8039(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8039_0__init__Load(EOS(STATIC_8039(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8048_0__init__InvokeMethod(EOS(STATIC_8048(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8048_0__init__InvokeMethod(EOS(STATIC_8048(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8052_0__init__Return(EOS(STATIC_8052(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8052_0__init__Return(EOS(STATIC_8052(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8054_0_createNode_Store(EOS(STATIC_8054(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8054_0_createNode_Store(EOS(STATIC_8054(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8060_0_createNode_Load(EOS(STATIC_8060(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8060_0_createNode_Load(EOS(STATIC_8060(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8063_0_createNode_New(EOS(STATIC_8063(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8063_0_createNode_New(EOS(STATIC_8063(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8065_0_createNode_Duplicate(EOS(STATIC_8065(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
14.49/4.79	f8065_0_createNode_Duplicate(EOS(STATIC_8065(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8067_0_createNode_InvokeMethod(EOS(STATIC_8067(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
14.49/4.79	f8067_0_createNode_InvokeMethod(EOS(STATIC_8067(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8069_0_createNode_FieldAccess(EOS(STATIC_8069(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
14.49/4.79	f8069_0_createNode_FieldAccess(EOS(STATIC_8069(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8071_0_createNode_Load(EOS(STATIC_8071(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8071_0_createNode_Load(EOS(STATIC_8071(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8073_0_createNode_Return(EOS(STATIC_8073(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8073_0_createNode_Return(EOS(STATIC_8073(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8075_0_createTree_FieldAccess(EOS(STATIC_8075(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8075_0_createTree_FieldAccess(EOS(STATIC_8075(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8077_0_createTree_FieldAccess(EOS(STATIC_8077(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8075_0_createTree_FieldAccess(EOS(STATIC_8075(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, NULL, o4950)), java.lang.Object(Tree(EOC, NULL, o4950)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8078_0_createTree_FieldAccess(EOS(STATIC_8078(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, NULL, o4950)), java.lang.Object(Tree(EOC, NULL, o4950)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8077_0_createTree_FieldAccess(EOS(STATIC_8077(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, NULL, o4620)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8081_0_createTree_Load(EOS(STATIC_8081(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336put, o4335put))) :|: TRUE
14.49/4.79	f8081_0_createTree_Load(EOS(STATIC_8081(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335))) -> f8085_0_createTree_Store(EOS(STATIC_8085(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8085_0_createTree_Store(EOS(STATIC_8085(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f8089_0_createTree_JMP(EOS(STATIC_8089(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8089_0_createTree_JMP(EOS(STATIC_8089(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f8093_0_createTree_Inc(EOS(STATIC_8093(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8093_0_createTree_Inc(EOS(STATIC_8093(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f8097_0_createTree_JMP(EOS(STATIC_8097(java.lang.Object(ARRAY(i102)))), i2497 + -1, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8097_0_createTree_JMP(EOS(STATIC_8097(java.lang.Object(ARRAY(i102)))), i2926, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f8099_0_createTree_Load(EOS(STATIC_8099(java.lang.Object(ARRAY(i102)))), i2926, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8099_0_createTree_Load(EOS(STATIC_8099(java.lang.Object(ARRAY(i102)))), i2926, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f7838_0_createTree_Load(EOS(STATIC_7838(java.lang.Object(ARRAY(i102)))), i2926, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8078_0_createTree_FieldAccess(EOS(STATIC_8078(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, NULL, o4950)), java.lang.Object(Tree(EOC, NULL, o4950)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8082_0_createTree_Load(EOS(STATIC_8082(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) :|: TRUE
14.49/4.79	f8082_0_createTree_Load(EOS(STATIC_8082(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) -> f8086_0_createTree_Store(EOS(STATIC_8086(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) :|: TRUE
14.49/4.79	f8086_0_createTree_Store(EOS(STATIC_8086(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) -> f8090_0_createTree_JMP(EOS(STATIC_8090(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) :|: TRUE
14.49/4.79	f8090_0_createTree_JMP(EOS(STATIC_8090(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) -> f8094_0_createTree_Inc(EOS(STATIC_8094(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) :|: TRUE
14.49/4.79	f8094_0_createTree_Inc(EOS(STATIC_8094(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) -> f8095_0_createTree_Inc(EOS(STATIC_8095(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4950))) :|: TRUE
14.49/4.79	f8095_0_createTree_Inc(EOS(STATIC_8095(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f8093_0_createTree_Inc(EOS(STATIC_8093(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f7966_0_createTree_LE(EOS(STATIC_7966(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), i2738) -> f7970_0_createTree_Load(EOS(STATIC_7970(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) :|: i2738 > 0
14.49/4.79	f7970_0_createTree_Load(EOS(STATIC_7970(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub)) -> f7975_0_createTree_FieldAccess(EOS(STATIC_7975(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4338sub), java.lang.Object(o4338sub)) :|: TRUE
14.49/4.79	f7975_0_createTree_FieldAccess(EOS(STATIC_7975(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, o4624)), java.lang.Object(Tree(EOC, o4625, o4624))) -> f7980_0_createTree_FieldAccess(EOS(STATIC_7980(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, o4624)), java.lang.Object(Tree(EOC, o4625, o4624))) :|: TRUE
14.49/4.79	f7980_0_createTree_FieldAccess(EOS(STATIC_7980(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, o4624)), java.lang.Object(Tree(EOC, o4625, o4624))) -> f7985_0_createTree_NONNULL(EOS(STATIC_7985(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, o4624)), o4624) :|: TRUE
14.49/4.79	f7985_0_createTree_NONNULL(EOS(STATIC_7985(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, java.lang.Object(o4634sub))), java.lang.Object(o4634sub)) -> f7991_0_createTree_NONNULL(EOS(STATIC_7991(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, java.lang.Object(o4634sub))), java.lang.Object(o4634sub)) :|: TRUE
14.49/4.79	f7985_0_createTree_NONNULL(EOS(STATIC_7985(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), NULL) -> f7992_0_createTree_NONNULL(EOS(STATIC_7992(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), NULL) :|: TRUE
14.49/4.79	f7991_0_createTree_NONNULL(EOS(STATIC_7991(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, java.lang.Object(o4634sub))), java.lang.Object(o4634sub)) -> f7998_0_createTree_Load(EOS(STATIC_7998(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, java.lang.Object(o4634sub)))) :|: TRUE
14.49/4.79	f7998_0_createTree_Load(EOS(STATIC_7998(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, java.lang.Object(o4634sub)))) -> f8005_0_createTree_FieldAccess(EOS(STATIC_8005(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, java.lang.Object(o4634sub)))) :|: TRUE
14.49/4.79	f8005_0_createTree_FieldAccess(EOS(STATIC_8005(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, java.lang.Object(o4634sub)))) -> f8012_0_createTree_Store(EOS(STATIC_8012(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4634sub)) :|: TRUE
14.49/4.79	f8012_0_createTree_Store(EOS(STATIC_8012(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4634sub)) -> f8018_0_createTree_JMP(EOS(STATIC_8018(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4634sub)) :|: TRUE
14.49/4.79	f8018_0_createTree_JMP(EOS(STATIC_8018(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4634sub)) -> f8023_0_createTree_Inc(EOS(STATIC_8023(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4634sub)) :|: TRUE
14.49/4.79	f8023_0_createTree_Inc(EOS(STATIC_8023(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4634sub)) -> f8017_0_createTree_Inc(EOS(STATIC_8017(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(o4634sub)) :|: TRUE
14.49/4.79	f7992_0_createTree_NONNULL(EOS(STATIC_7992(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), NULL) -> f7999_0_createTree_Load(EOS(STATIC_7999(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL))) :|: TRUE
14.49/4.79	f7999_0_createTree_Load(EOS(STATIC_7999(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL))) -> f8006_0_createTree_InvokeMethod(EOS(STATIC_8006(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL))) :|: TRUE
14.49/4.79	f8006_0_createTree_InvokeMethod(EOS(STATIC_8006(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL))) -> f8013_0_createNode_New(EOS(STATIC_8013(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL))) :|: TRUE
14.49/4.79	f8013_0_createNode_New(EOS(STATIC_8013(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL))) -> f8024_0_createNode_Duplicate(EOS(STATIC_8024(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8024_0_createNode_Duplicate(EOS(STATIC_8024(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8034_0_createNode_InvokeMethod(EOS(STATIC_8034(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8034_0_createNode_InvokeMethod(EOS(STATIC_8034(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8040_0__init__Load(EOS(STATIC_8040(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8040_0__init__Load(EOS(STATIC_8040(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8049_0__init__InvokeMethod(EOS(STATIC_8049(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8049_0__init__InvokeMethod(EOS(STATIC_8049(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8053_0__init__Return(EOS(STATIC_8053(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8053_0__init__Return(EOS(STATIC_8053(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8055_0_createNode_Store(EOS(STATIC_8055(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8055_0_createNode_Store(EOS(STATIC_8055(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8061_0_createNode_Load(EOS(STATIC_8061(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8061_0_createNode_Load(EOS(STATIC_8061(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8064_0_createNode_New(EOS(STATIC_8064(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8064_0_createNode_New(EOS(STATIC_8064(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8066_0_createNode_Duplicate(EOS(STATIC_8066(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
14.49/4.79	f8066_0_createNode_Duplicate(EOS(STATIC_8066(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8068_0_createNode_InvokeMethod(EOS(STATIC_8068(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
14.49/4.79	f8068_0_createNode_InvokeMethod(EOS(STATIC_8068(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8070_0_createNode_FieldAccess(EOS(STATIC_8070(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
14.49/4.79	f8070_0_createNode_FieldAccess(EOS(STATIC_8070(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8072_0_createNode_Load(EOS(STATIC_8072(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8072_0_createNode_Load(EOS(STATIC_8072(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8074_0_createNode_Return(EOS(STATIC_8074(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8074_0_createNode_Return(EOS(STATIC_8074(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8076_0_createTree_FieldAccess(EOS(STATIC_8076(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8076_0_createTree_FieldAccess(EOS(STATIC_8076(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8079_0_createTree_FieldAccess(EOS(STATIC_8079(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8076_0_createTree_FieldAccess(EOS(STATIC_8076(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, NULL)), java.lang.Object(Tree(EOC, o4959, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8080_0_createTree_FieldAccess(EOS(STATIC_8080(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, NULL)), java.lang.Object(Tree(EOC, o4959, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
14.49/4.79	f8079_0_createTree_FieldAccess(EOS(STATIC_8079(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4625, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8083_0_createTree_Load(EOS(STATIC_8083(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336put, o4335put))) :|: TRUE
14.49/4.79	f8083_0_createTree_Load(EOS(STATIC_8083(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335))) -> f8087_0_createTree_Store(EOS(STATIC_8087(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8087_0_createTree_Store(EOS(STATIC_8087(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f8091_0_createTree_JMP(EOS(STATIC_8091(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8091_0_createTree_JMP(EOS(STATIC_8091(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) -> f8095_0_createTree_Inc(EOS(STATIC_8095(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4336, o4335)), java.lang.Object(Tree(EOC, o4336, o4335))) :|: TRUE
14.49/4.79	f8080_0_createTree_FieldAccess(EOS(STATIC_8080(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, NULL)), java.lang.Object(Tree(EOC, o4959, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f8084_0_createTree_Load(EOS(STATIC_8084(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
14.49/4.79	f8084_0_createTree_Load(EOS(STATIC_8084(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8088_0_createTree_Store(EOS(STATIC_8088(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
14.49/4.79	f8088_0_createTree_Store(EOS(STATIC_8088(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8092_0_createTree_JMP(EOS(STATIC_8092(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
14.49/4.79	f8092_0_createTree_JMP(EOS(STATIC_8092(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8096_0_createTree_Inc(EOS(STATIC_8096(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
14.49/4.79	f8096_0_createTree_Inc(EOS(STATIC_8096(java.lang.Object(ARRAY(i102)))), i2497, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8098_0_createTree_JMP(EOS(STATIC_8098(java.lang.Object(ARRAY(i102)))), i2497 + -1, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
14.49/4.79	f8098_0_createTree_JMP(EOS(STATIC_8098(java.lang.Object(ARRAY(i102)))), i2928, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f8100_0_createTree_Load(EOS(STATIC_8100(java.lang.Object(ARRAY(i102)))), i2928, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
14.49/4.79	f8100_0_createTree_Load(EOS(STATIC_8100(java.lang.Object(ARRAY(i102)))), i2928, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7838_0_createTree_Load(EOS(STATIC_7838(java.lang.Object(ARRAY(i102)))), i2928, java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4959, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
14.49/4.79	Combined rules. Obtained 6 IRulesP rules:
14.49/4.79	f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0, java.lang.Object(Tree(EOC, o4336:0, o4335:0)), java.lang.Object(Tree(EOC, java.lang.Object(o4633sub:0), o4620:0)), i2497:0) -> f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0 - 1, java.lang.Object(Tree(EOC, o4336:0, o4335:0)), java.lang.Object(o4633sub:0), i2497:0 - 1) :|: i2497:0 > 0
14.49/4.79	f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0, java.lang.Object(Tree(EOC, o4336:0, o4335:0)), java.lang.Object(Tree(EOC, o4625:0, java.lang.Object(o4634sub:0))), i2497:0) -> f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0 - 1, java.lang.Object(Tree(EOC, o4336:0, o4335:0)), java.lang.Object(o4634sub:0), i2497:0 - 1) :|: i2497:0 > 0 && i2681:0 > 0
14.49/4.79	f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0, java.lang.Object(Tree(EOC, o4336:0, o4335:0)), java.lang.Object(Tree(EOC, o4625:0, NULL)), i2497:0) -> f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0 - 1, java.lang.Object(Tree(EOC, o4336put:0, o4335put:0)), java.lang.Object(Tree(EOC, o4336put:0, o4335put:0)), i2497:0 - 1) :|: i2497:0 > 0 && i2681:0 > 0
14.49/4.79	f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0, java.lang.Object(Tree(EOC, o4336:0, o4335:0)), java.lang.Object(Tree(EOC, NULL, o4620:0)), i2497:0) -> f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0 - 1, java.lang.Object(Tree(EOC, o4336put:0, o4335put:0)), java.lang.Object(Tree(EOC, o4336put:0, o4335put:0)), i2497:0 - 1) :|: i2497:0 > 0
14.49/4.79	f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0, java.lang.Object(Tree(EOC, NULL, o4335:0)), java.lang.Object(Tree(EOC, NULL, o4335:0)), i2497:0) -> f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4335:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4335:0)), i2497:0 - 1) :|: i2497:0 > 0
14.49/4.79	f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0, java.lang.Object(Tree(EOC, o4336:0, NULL)), java.lang.Object(Tree(EOC, o4336:0, NULL)), i2497:0) -> f7839_0_createTree_LE(EOS(STATIC_7839(java.lang.Object(ARRAY(i102:0)))), i2497:0 - 1, java.lang.Object(Tree(EOC, o4336:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4336:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i2497:0 - 1) :|: i2497:0 > 0 && i2681:0 > 0
14.49/4.79	Filtered constant ground arguments:
14.49/4.79	   Tree(x1, x2, x3) -> Tree(x2, x3)
14.49/4.79	Filtered duplicate arguments:
14.49/4.79	   f7839_0_createTree_LE(x1, x2, x3, x4, x5) -> f7839_0_createTree_LE(x1, x3, x4, x5)
14.49/4.79	Filtered unneeded arguments:
14.49/4.79	   f7839_0_createTree_LE(x1, x2, x3, x4) -> f7839_0_createTree_LE(x2, x3, x4)
14.49/4.79	Finished conversion. Obtained 6 rules.P rules:
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(java.lang.Object(o4633sub:0), o4620:0)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(o4633sub:0), i2497:0 - 1) :|: i2497:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(o4625:0, java.lang.Object(o4634sub:0))), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(o4634sub:0), i2497:0 - 1) :|: i2497:0 > 0 && i2681:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(o4625:0, NULL)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336put:0, o4335put:0)), java.lang.Object(Tree(o4336put:0, o4335put:0)), i2497:0 - 1) :|: i2497:0 > 0 && i2681:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(NULL, o4620:0)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336put:0, o4335put:0)), java.lang.Object(Tree(o4336put:0, o4335put:0)), i2497:0 - 1) :|: i2497:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(NULL, o4335:0)), java.lang.Object(Tree(NULL, o4335:0)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o4335:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o4335:0)), i2497:0 - 1) :|: i2497:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, NULL)), java.lang.Object(Tree(o4336:0, NULL)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o4336:0, java.lang.Object(Tree(NULL, NULL)))), i2497:0 - 1) :|: i2497:0 > 0 && i2681:0 > 0
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(19)
14.49/4.79	Obligation:
14.49/4.79	Rules:
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(java.lang.Object(o4633sub:0), o4620:0)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(o4633sub:0), i2497:0 - 1) :|: i2497:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(x2, java.lang.Object(x3))), x4) -> f7839_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(x3), x4 - 1) :|: x4 > 0 && x5 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x6, x7)), java.lang.Object(Tree(x8, NULL)), x9) -> f7839_0_createTree_LE(java.lang.Object(Tree(x10, x11)), java.lang.Object(Tree(x10, x11)), x9 - 1) :|: x9 > 0 && x12 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x13, x14)), java.lang.Object(Tree(NULL, x15)), x16) -> f7839_0_createTree_LE(java.lang.Object(Tree(x17, x18)), java.lang.Object(Tree(x17, x18)), x16 - 1) :|: x16 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(NULL, x19)), java.lang.Object(Tree(NULL, x19)), x20) -> f7839_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x19)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x19)), x20 - 1) :|: x20 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x21, NULL)), java.lang.Object(Tree(x21, NULL)), x22) -> f7839_0_createTree_LE(java.lang.Object(Tree(x21, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x21, java.lang.Object(Tree(NULL, NULL)))), x22 - 1) :|: x22 > 0 && x23 > 0
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(20) IRSFormatTransformerProof (EQUIVALENT)
14.49/4.79	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(21)
14.49/4.79	Obligation:
14.49/4.79	Rules:
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(java.lang.Object(o4633sub:0), o4620:0)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(o4633sub:0), arith) :|: i2497:0 > 0 && arith = i2497:0 - 1
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(Tree(x26, java.lang.Object(x27))), x28) -> f7839_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(x27), x29) :|: x28 > 0 && x30 > 0 && x29 = x28 - 1
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x33, NULL)), x34) -> f7839_0_createTree_LE(java.lang.Object(Tree(x35, x36)), java.lang.Object(Tree(x35, x36)), x37) :|: x34 > 0 && x38 > 0 && x37 = x34 - 1
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x39, x40)), java.lang.Object(Tree(NULL, x41)), x42) -> f7839_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(x43, x44)), x45) :|: x42 > 0 && x45 = x42 - 1
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(NULL, x46)), java.lang.Object(Tree(NULL, x46)), x47) -> f7839_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46)), x48) :|: x47 > 0 && x48 = x47 - 1
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x49, NULL)), java.lang.Object(Tree(x49, NULL)), x50) -> f7839_0_createTree_LE(java.lang.Object(Tree(x49, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x49, java.lang.Object(Tree(NULL, NULL)))), x51) :|: x50 > 0 && x52 > 0 && x51 = x50 - 1
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(22) IRSwTTerminationDigraphProof (EQUIVALENT)
14.49/4.79	Constructed termination digraph!
14.49/4.79	Nodes:
14.49/4.79	(1) f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(java.lang.Object(o4633sub:0), o4620:0)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(o4633sub:0), arith) :|: i2497:0 > 0 && arith = i2497:0 - 1
14.49/4.79	(2) f7839_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(Tree(x26, java.lang.Object(x27))), x28) -> f7839_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(x27), x29) :|: x28 > 0 && x30 > 0 && x29 = x28 - 1
14.49/4.79	(3) f7839_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x33, NULL)), x34) -> f7839_0_createTree_LE(java.lang.Object(Tree(x35, x36)), java.lang.Object(Tree(x35, x36)), x37) :|: x34 > 0 && x38 > 0 && x37 = x34 - 1
14.49/4.79	(4) f7839_0_createTree_LE(java.lang.Object(Tree(x39, x40)), java.lang.Object(Tree(NULL, x41)), x42) -> f7839_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(x43, x44)), x45) :|: x42 > 0 && x45 = x42 - 1
14.49/4.79	(5) f7839_0_createTree_LE(java.lang.Object(Tree(NULL, x46)), java.lang.Object(Tree(NULL, x46)), x47) -> f7839_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46)), x48) :|: x47 > 0 && x48 = x47 - 1
14.49/4.79	(6) f7839_0_createTree_LE(java.lang.Object(Tree(x49, NULL)), java.lang.Object(Tree(x49, NULL)), x50) -> f7839_0_createTree_LE(java.lang.Object(Tree(x49, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x49, java.lang.Object(Tree(NULL, NULL)))), x51) :|: x50 > 0 && x52 > 0 && x51 = x50 - 1
14.49/4.79	
14.49/4.79	Arcs:
14.49/4.79	(1) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(2) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(3) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(4) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(5) -> (1), (2), (3), (6)
14.49/4.79	(6) -> (1), (2), (4), (5)
14.49/4.79	
14.49/4.79	This digraph is fully evaluated!
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(23)
14.49/4.79	Obligation:
14.49/4.79	
14.49/4.79	Termination digraph:
14.49/4.79	Nodes:
14.49/4.79	(1) f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(Tree(java.lang.Object(o4633sub:0), o4620:0)), i2497:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0, o4335:0)), java.lang.Object(o4633sub:0), arith) :|: i2497:0 > 0 && arith = i2497:0 - 1
14.49/4.79	(2) f7839_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(Tree(x26, java.lang.Object(x27))), x28) -> f7839_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(x27), x29) :|: x28 > 0 && x30 > 0 && x29 = x28 - 1
14.49/4.79	(3) f7839_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x33, NULL)), x34) -> f7839_0_createTree_LE(java.lang.Object(Tree(x35, x36)), java.lang.Object(Tree(x35, x36)), x37) :|: x34 > 0 && x38 > 0 && x37 = x34 - 1
14.49/4.79	(4) f7839_0_createTree_LE(java.lang.Object(Tree(x39, x40)), java.lang.Object(Tree(NULL, x41)), x42) -> f7839_0_createTree_LE(java.lang.Object(Tree(x43, x44)), java.lang.Object(Tree(x43, x44)), x45) :|: x42 > 0 && x45 = x42 - 1
14.49/4.79	(5) f7839_0_createTree_LE(java.lang.Object(Tree(x49, NULL)), java.lang.Object(Tree(x49, NULL)), x50) -> f7839_0_createTree_LE(java.lang.Object(Tree(x49, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x49, java.lang.Object(Tree(NULL, NULL)))), x51) :|: x50 > 0 && x52 > 0 && x51 = x50 - 1
14.49/4.79	(6) f7839_0_createTree_LE(java.lang.Object(Tree(NULL, x46)), java.lang.Object(Tree(NULL, x46)), x47) -> f7839_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46)), x48) :|: x47 > 0 && x48 = x47 - 1
14.49/4.79	
14.49/4.79	Arcs:
14.49/4.79	(1) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(2) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(3) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(4) -> (1), (2), (3), (4), (5), (6)
14.49/4.79	(5) -> (1), (2), (4), (6)
14.49/4.79	(6) -> (1), (2), (3), (5)
14.49/4.79	
14.49/4.79	This digraph is fully evaluated!
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(24) IntTRSCompressionProof (EQUIVALENT)
14.49/4.79	Compressed rules.
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(25)
14.49/4.79	Obligation:
14.49/4.79	Rules:
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x39:0, x40:0)), java.lang.Object(Tree(NULL, x41:0)), x42:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(x43:0, x44:0)), java.lang.Object(Tree(x43:0, x44:0)), x42:0 - 1) :|: x42:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x31:0, x32:0)), java.lang.Object(Tree(x33:0, NULL)), x34:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(x35:0, x36:0)), java.lang.Object(Tree(x35:0, x36:0)), x34:0 - 1) :|: x34:0 > 0 && x38:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(NULL, x46:0)), java.lang.Object(Tree(NULL, x46:0)), x47:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x46:0)), x47:0 - 1) :|: x47:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x24:0, x25:0)), java.lang.Object(Tree(x26:0, java.lang.Object(x27:0))), x28:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(x24:0, x25:0)), java.lang.Object(x27:0), x28:0 - 1) :|: x28:0 > 0 && x30:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0:0, o4335:0:0)), java.lang.Object(Tree(java.lang.Object(o4633sub:0:0), o4620:0:0)), i2497:0:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(o4336:0:0, o4335:0:0)), java.lang.Object(o4633sub:0:0), i2497:0:0 - 1) :|: i2497:0:0 > 0
14.49/4.79	f7839_0_createTree_LE(java.lang.Object(Tree(x49:0, NULL)), java.lang.Object(Tree(x49:0, NULL)), x50:0) -> f7839_0_createTree_LE(java.lang.Object(Tree(x49:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x49:0, java.lang.Object(Tree(NULL, NULL)))), x50:0 - 1) :|: x50:0 > 0 && x52:0 > 0
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(26) TempFilterProof (SOUND)
14.49/4.79	Used the following sort dictionary for filtering: 
14.49/4.79	f7839_0_createTree_LE(VARIABLE, VARIABLE, INTEGER)
14.49/4.79	java.lang.Object(VARIABLE)
14.49/4.79	Tree(VARIABLE, VARIABLE)
14.49/4.79	NULL()
14.49/4.79	Replaced non-predefined constructor symbols by 0.
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(27)
14.49/4.79	Obligation:
14.49/4.79	Rules:
14.49/4.79	f7839_0_createTree_LE(c, c1, x42:0) -> f7839_0_createTree_LE(c2, c3, c4) :|: c4 = x42:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x42:0 > 0
14.49/4.79	f7839_0_createTree_LE(c5, c6, x34:0) -> f7839_0_createTree_LE(c7, c8, c9) :|: c9 = x34:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x34:0 > 0 && x38:0 > 0)
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(28) PolynomialOrderProcessor (EQUIVALENT)
14.49/4.79	Found the following polynomial interpretation:
14.49/4.79	[f7839_0_createTree_LE(x, x1, x2)] = c*x + c1*x1 + x2
14.49/4.79	
14.49/4.79	The following rules are decreasing:
14.49/4.79	f7839_0_createTree_LE(c, c1, x42:0) -> f7839_0_createTree_LE(c2, c3, c4) :|: c4 = x42:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x42:0 > 0
14.49/4.79	f7839_0_createTree_LE(c5, c6, x34:0) -> f7839_0_createTree_LE(c7, c8, c9) :|: c9 = x34:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x34:0 > 0 && x38:0 > 0)
14.49/4.79	The following rules are bounded:
14.49/4.79	f7839_0_createTree_LE(c, c1, x42:0) -> f7839_0_createTree_LE(c2, c3, c4) :|: c4 = x42:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x42:0 > 0
14.49/4.79	f7839_0_createTree_LE(c5, c6, x34:0) -> f7839_0_createTree_LE(c7, c8, c9) :|: c9 = x34:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x34:0 > 0 && x38:0 > 0)
14.49/4.79	
14.49/4.79	----------------------------------------
14.49/4.79	
14.49/4.79	(29)
14.49/4.79	YES
14.88/4.83	EOF