13.03/4.31	YES
13.03/4.32	proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
13.03/4.32	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
13.03/4.32	
13.03/4.32	
13.03/4.32	termination of the given Bare JBC problem could be proven:
13.03/4.32	
13.03/4.32	(0) Bare JBC problem
13.03/4.32	(1) BareJBCToJBCProof [EQUIVALENT, 96 ms]
13.03/4.32	(2) JBC problem
13.03/4.32	(3) JBCToGraph [EQUIVALENT, 1144 ms]
13.03/4.32	(4) JBCTerminationGraph
13.03/4.32	(5) TerminationGraphToSCCProof [SOUND, 0 ms]
13.03/4.32	(6) AND
13.03/4.32	    (7) JBCTerminationSCC
13.03/4.32	        (8) SCCToQDPProof [SOUND, 239 ms]
13.03/4.32	        (9) QDP
13.03/4.32	        (10) UsableRulesReductionPairsProof [EQUIVALENT, 0 ms]
13.03/4.32	        (11) QDP
13.03/4.32	        (12) PisEmptyProof [EQUIVALENT, 0 ms]
13.03/4.32	        (13) YES
13.03/4.32	    (14) JBCTerminationSCC
13.03/4.32	        (15) SCCToQDPProof [SOUND, 218 ms]
13.03/4.32	        (16) QDP
13.03/4.32	        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
13.03/4.32	        (18) YES
13.03/4.32	    (19) JBCTerminationSCC
13.03/4.32	        (20) SCCToIRSProof [SOUND, 333 ms]
13.03/4.32	        (21) IRSwT
13.03/4.32	        (22) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
13.03/4.32	        (23) IRSwT
13.03/4.32	        (24) IRSwTTerminationDigraphProof [EQUIVALENT, 187 ms]
13.03/4.32	        (25) IRSwT
13.03/4.32	        (26) IntTRSCompressionProof [EQUIVALENT, 0 ms]
13.03/4.32	        (27) IRSwT
13.03/4.32	        (28) TempFilterProof [SOUND, 42 ms]
13.03/4.32	        (29) IntTRS
13.03/4.32	        (30) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
13.03/4.32	        (31) YES
13.03/4.32	
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(0)
13.03/4.32	Obligation:
13.03/4.32	need to prove termination of the following program:
13.03/4.32	public class FlattenTree {
13.03/4.32	  public static void main(String[] args) {
13.03/4.32	    Random.args = args;
13.03/4.32	    Tree tree = Tree.createTree();
13.03/4.32	    flatten(tree);
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public static Tree flatten(Tree start) {
13.03/4.32	    Tree result = null;
13.03/4.32	    Tree s,t,u;
13.03/4.32	
13.03/4.32	    while (start != null) {
13.03/4.32	
13.03/4.32	      if (start.left == null) {
13.03/4.32	
13.03/4.32	        result = new Tree(null,result);
13.03/4.32	        start = start.right;
13.03/4.32	      }
13.03/4.32	      else {
13.03/4.32	        s = start.left.left;
13.03/4.32	        t = start.left.right;
13.03/4.32	        u = start.right;
13.03/4.32	        start = new Tree(s, new Tree(t,u));
13.03/4.32	      }
13.03/4.32	    }
13.03/4.32	
13.03/4.32	    return result;
13.03/4.32	  }
13.03/4.32	}
13.03/4.32	
13.03/4.32	
13.03/4.32	public class Random {
13.03/4.32	  static String[] args;
13.03/4.32	  static int index = 0;
13.03/4.32	
13.03/4.32	  public static int random() {
13.03/4.32	    String string = args[index];
13.03/4.32	    index++;
13.03/4.32	    return string.length();
13.03/4.32	  }
13.03/4.32	}
13.03/4.32	
13.03/4.32	
13.03/4.32	public class Tree {
13.03/4.32	  Tree left;
13.03/4.32	  Tree right;
13.03/4.32	  Object value;
13.03/4.32	
13.03/4.32	  public Tree(Tree l, Tree r) {
13.03/4.32	    this.left = l;
13.03/4.32	    this.right = r;
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public Tree() {
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public static Tree createNode() {
13.03/4.32	    Tree result = new Tree();
13.03/4.32	    result.value = new Object();
13.03/4.32	    return result;
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public static Tree createTree() {
13.03/4.32	    int counter = Random.random();
13.03/4.32	    if (counter == 0) {
13.03/4.32	      return null;
13.03/4.32	    }
13.03/4.32	    Tree result = createNode();
13.03/4.32	    Tree t = result;
13.03/4.32	
13.03/4.32	    while (counter > 0) {
13.03/4.32	      int branch = Random.random();
13.03/4.32	      if (branch > 0) {
13.03/4.32	        if (t.left == null) {
13.03/4.32	          t.left = createNode();
13.03/4.32	          t = result;
13.03/4.32	        } else {
13.03/4.32	          t = t.left;
13.03/4.32	        }
13.03/4.32	      } else {
13.03/4.32	        if (t.right == null) {
13.03/4.32	          t.right = createNode();
13.03/4.32	          t = result;
13.03/4.32	        } else {
13.03/4.32	          t = t.right;
13.03/4.32	        }
13.03/4.32	      }
13.03/4.32	      counter--;
13.03/4.32	    }
13.03/4.32	
13.03/4.32	    return result;
13.03/4.32	  }
13.03/4.32	  public static void main(String[] args) {
13.03/4.32	    Random.args = args;
13.03/4.32	    createTree();
13.03/4.32	  }
13.03/4.32	}
13.03/4.32	
13.03/4.32	
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(1) BareJBCToJBCProof (EQUIVALENT)
13.03/4.32	initialized classpath
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(2)
13.03/4.32	Obligation:
13.03/4.32	need to prove termination of the following program:
13.03/4.32	public class FlattenTree {
13.03/4.32	  public static void main(String[] args) {
13.03/4.32	    Random.args = args;
13.03/4.32	    Tree tree = Tree.createTree();
13.03/4.32	    flatten(tree);
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public static Tree flatten(Tree start) {
13.03/4.32	    Tree result = null;
13.03/4.32	    Tree s,t,u;
13.03/4.32	
13.03/4.32	    while (start != null) {
13.03/4.32	
13.03/4.32	      if (start.left == null) {
13.03/4.32	
13.03/4.32	        result = new Tree(null,result);
13.03/4.32	        start = start.right;
13.03/4.32	      }
13.03/4.32	      else {
13.03/4.32	        s = start.left.left;
13.03/4.32	        t = start.left.right;
13.03/4.32	        u = start.right;
13.03/4.32	        start = new Tree(s, new Tree(t,u));
13.03/4.32	      }
13.03/4.32	    }
13.03/4.32	
13.03/4.32	    return result;
13.03/4.32	  }
13.03/4.32	}
13.03/4.32	
13.03/4.32	
13.03/4.32	public class Random {
13.03/4.32	  static String[] args;
13.03/4.32	  static int index = 0;
13.03/4.32	
13.03/4.32	  public static int random() {
13.03/4.32	    String string = args[index];
13.03/4.32	    index++;
13.03/4.32	    return string.length();
13.03/4.32	  }
13.03/4.32	}
13.03/4.32	
13.03/4.32	
13.03/4.32	public class Tree {
13.03/4.32	  Tree left;
13.03/4.32	  Tree right;
13.03/4.32	  Object value;
13.03/4.32	
13.03/4.32	  public Tree(Tree l, Tree r) {
13.03/4.32	    this.left = l;
13.03/4.32	    this.right = r;
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public Tree() {
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public static Tree createNode() {
13.03/4.32	    Tree result = new Tree();
13.03/4.32	    result.value = new Object();
13.03/4.32	    return result;
13.03/4.32	  }
13.03/4.32	
13.03/4.32	  public static Tree createTree() {
13.03/4.32	    int counter = Random.random();
13.03/4.32	    if (counter == 0) {
13.03/4.32	      return null;
13.03/4.32	    }
13.03/4.32	    Tree result = createNode();
13.03/4.32	    Tree t = result;
13.03/4.32	
13.03/4.32	    while (counter > 0) {
13.03/4.32	      int branch = Random.random();
13.03/4.32	      if (branch > 0) {
13.03/4.32	        if (t.left == null) {
13.03/4.32	          t.left = createNode();
13.03/4.32	          t = result;
13.03/4.32	        } else {
13.03/4.32	          t = t.left;
13.03/4.32	        }
13.03/4.32	      } else {
13.03/4.32	        if (t.right == null) {
13.03/4.32	          t.right = createNode();
13.03/4.32	          t = result;
13.03/4.32	        } else {
13.03/4.32	          t = t.right;
13.03/4.32	        }
13.03/4.32	      }
13.03/4.32	      counter--;
13.03/4.32	    }
13.03/4.32	
13.03/4.32	    return result;
13.03/4.32	  }
13.03/4.32	  public static void main(String[] args) {
13.03/4.32	    Random.args = args;
13.03/4.32	    createTree();
13.03/4.32	  }
13.03/4.32	}
13.03/4.32	
13.03/4.32	
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(3) JBCToGraph (EQUIVALENT)
13.03/4.32	Constructed TerminationGraph.
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(4)
13.03/4.32	Obligation:
13.03/4.32	Termination Graph based on JBC Program:
13.03/4.32	FlattenTree.main([Ljava/lang/String;)V: Graph of 47 nodes with 0 SCCs.
13.03/4.32	
13.03/4.32	
13.03/4.32	
13.03/4.32	Tree.createTree()LTree;: Graph of 310 nodes with 1 SCC.
13.03/4.32	
13.03/4.32	
13.03/4.32	
13.03/4.32	FlattenTree.flatten(LTree;)LTree;: Graph of 155 nodes with 2 SCCs.
13.03/4.32	
13.03/4.32	
13.03/4.32	
13.03/4.32	
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(5) TerminationGraphToSCCProof (SOUND)
13.03/4.32	Splitted TerminationGraph to 3 SCCss.
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(6)
13.03/4.32	Complex Obligation (AND)
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(7)
13.03/4.32	Obligation:
13.03/4.32	SCC of termination graph based on JBC Program.
13.03/4.32	SCC contains nodes from the following methods: FlattenTree.flatten(LTree;)LTree;
13.03/4.32	SCC calls the following helper methods: 
13.03/4.32	Performed SCC analyses:
13.03/4.32	*Used field analysis yielded the following read fields:
13.03/4.32	*Tree: [left, right]
13.03/4.32	*Marker field analysis yielded the following relations that could be markers:
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(8) SCCToQDPProof (SOUND)
13.03/4.32	Transformed TerminationGraph SCC to QDP. Log: 
13.03/4.32	Generated 72 rules for P and 0 rules for R.P rules:
13.03/4.32	f7810_0_flatten_NULL(EOS(STATIC_7810), java.lang.Object(o4188sub), java.lang.Object(o4188sub)) -> f7813_0_flatten_NULL(EOS(STATIC_7813), java.lang.Object(o4188sub), java.lang.Object(o4188sub)) :|: TRUE
13.03/4.32	f7813_0_flatten_NULL(EOS(STATIC_7813), java.lang.Object(o4188sub), java.lang.Object(o4188sub)) -> f7817_0_flatten_Load(EOS(STATIC_7817), java.lang.Object(o4188sub)) :|: TRUE
13.03/4.32	f7817_0_flatten_Load(EOS(STATIC_7817), java.lang.Object(o4188sub)) -> f7821_0_flatten_FieldAccess(EOS(STATIC_7821), java.lang.Object(o4188sub), java.lang.Object(o4188sub)) :|: TRUE
13.03/4.32	f7821_0_flatten_FieldAccess(EOS(STATIC_7821), java.lang.Object(Tree(EOC, o4240, o4241)), java.lang.Object(Tree(EOC, o4240, o4241))) -> f7825_0_flatten_FieldAccess(EOS(STATIC_7825), java.lang.Object(Tree(EOC, o4240, o4241)), java.lang.Object(Tree(EOC, o4240, o4241))) :|: TRUE
13.03/4.32	f7825_0_flatten_FieldAccess(EOS(STATIC_7825), java.lang.Object(Tree(EOC, o4240, o4241)), java.lang.Object(Tree(EOC, o4240, o4241))) -> f7829_0_flatten_NONNULL(EOS(STATIC_7829), java.lang.Object(Tree(EOC, o4240, o4241)), o4240) :|: TRUE
13.03/4.32	f7829_0_flatten_NONNULL(EOS(STATIC_7829), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241)), java.lang.Object(o4284sub)) -> f7832_0_flatten_NONNULL(EOS(STATIC_7832), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241)), java.lang.Object(o4284sub)) :|: TRUE
13.03/4.32	f7829_0_flatten_NONNULL(EOS(STATIC_7829), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7833_0_flatten_NONNULL(EOS(STATIC_7833), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7832_0_flatten_NONNULL(EOS(STATIC_7832), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241)), java.lang.Object(o4284sub)) -> f7840_0_flatten_Load(EOS(STATIC_7840), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241))) :|: TRUE
13.03/4.32	f7840_0_flatten_Load(EOS(STATIC_7840), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241))) -> f7846_0_flatten_FieldAccess(EOS(STATIC_7846), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241)), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241))) :|: TRUE
13.03/4.32	f7846_0_flatten_FieldAccess(EOS(STATIC_7846), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241)), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241))) -> f7852_0_flatten_FieldAccess(EOS(STATIC_7852), java.lang.Object(Tree(EOC, java.lang.Object(o4284sub), o4241)), java.lang.Object(o4284sub)) :|: TRUE
13.03/4.32	f7852_0_flatten_FieldAccess(EOS(STATIC_7852), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), java.lang.Object(Tree(EOC, o4393, o4394))) -> f7858_0_flatten_FieldAccess(EOS(STATIC_7858), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), java.lang.Object(Tree(EOC, o4393, o4394))) :|: TRUE
13.03/4.32	f7858_0_flatten_FieldAccess(EOS(STATIC_7858), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), java.lang.Object(Tree(EOC, o4393, o4394))) -> f7864_0_flatten_Store(EOS(STATIC_7864), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393) :|: TRUE
13.03/4.32	f7864_0_flatten_Store(EOS(STATIC_7864), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393) -> f7868_0_flatten_Load(EOS(STATIC_7868), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393) :|: TRUE
13.03/4.32	f7868_0_flatten_Load(EOS(STATIC_7868), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393) -> f7872_0_flatten_FieldAccess(EOS(STATIC_7872), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241))) :|: TRUE
13.03/4.32	f7872_0_flatten_FieldAccess(EOS(STATIC_7872), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241))) -> f7873_0_flatten_FieldAccess(EOS(STATIC_7873), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, java.lang.Object(Tree(EOC, o4393, o4394))) :|: TRUE
13.03/4.32	f7873_0_flatten_FieldAccess(EOS(STATIC_7873), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, java.lang.Object(Tree(EOC, o4393, o4394))) -> f7875_0_flatten_Store(EOS(STATIC_7875), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, o4394) :|: TRUE
13.03/4.32	f7875_0_flatten_Store(EOS(STATIC_7875), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, o4394) -> f7877_0_flatten_Load(EOS(STATIC_7877), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, o4394) :|: TRUE
13.03/4.32	f7877_0_flatten_Load(EOS(STATIC_7877), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241)), o4393, o4394) -> f7879_0_flatten_FieldAccess(EOS(STATIC_7879), o4393, o4394, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241))) :|: TRUE
13.03/4.32	f7879_0_flatten_FieldAccess(EOS(STATIC_7879), o4393, o4394, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393, o4394)), o4241))) -> f7881_0_flatten_Store(EOS(STATIC_7881), o4393, o4394, o4241) :|: TRUE
13.03/4.32	f7881_0_flatten_Store(EOS(STATIC_7881), o4393, o4394, o4241) -> f7883_0_flatten_New(EOS(STATIC_7883), o4393, o4394, o4241) :|: TRUE
13.03/4.32	f7883_0_flatten_New(EOS(STATIC_7883), o4393, o4394, o4241) -> f7885_0_flatten_Duplicate(EOS(STATIC_7885), o4393, o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7885_0_flatten_Duplicate(EOS(STATIC_7885), o4393, o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7887_0_flatten_Load(EOS(STATIC_7887), o4393, o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7887_0_flatten_Load(EOS(STATIC_7887), o4393, o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7889_0_flatten_New(EOS(STATIC_7889), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393) :|: TRUE
13.03/4.32	f7889_0_flatten_New(EOS(STATIC_7889), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393) -> f7891_0_flatten_Duplicate(EOS(STATIC_7891), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7891_0_flatten_Duplicate(EOS(STATIC_7891), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7893_0_flatten_Load(EOS(STATIC_7893), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7893_0_flatten_Load(EOS(STATIC_7893), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7895_0_flatten_Load(EOS(STATIC_7895), o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394) :|: TRUE
13.03/4.32	f7895_0_flatten_Load(EOS(STATIC_7895), o4241, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394) -> f7897_0_flatten_InvokeMethod(EOS(STATIC_7897), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241) :|: TRUE
13.03/4.32	f7897_0_flatten_InvokeMethod(EOS(STATIC_7897), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241) -> f7899_0__init__Load(EOS(STATIC_7899), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241) :|: TRUE
13.03/4.32	f7899_0__init__Load(EOS(STATIC_7899), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241) -> f7901_0__init__InvokeMethod(EOS(STATIC_7901), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7901_0__init__InvokeMethod(EOS(STATIC_7901), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7902_0__init__Load(EOS(STATIC_7902), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241) :|: TRUE
13.03/4.32	f7902_0__init__Load(EOS(STATIC_7902), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241) -> f7903_0__init__Load(EOS(STATIC_7903), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7903_0__init__Load(EOS(STATIC_7903), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4394, o4241, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7904_0__init__FieldAccess(EOS(STATIC_7904), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4241, java.lang.Object(Tree(EOC, NULL, NULL)), o4394) :|: TRUE
13.03/4.32	f7904_0__init__FieldAccess(EOS(STATIC_7904), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4241, java.lang.Object(Tree(EOC, NULL, NULL)), o4394) -> f7905_0__init__Load(EOS(STATIC_7905), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, NULL)), java.lang.Object(Tree(EOC, o4394, NULL)), o4241) :|: TRUE
13.03/4.32	f7905_0__init__Load(EOS(STATIC_7905), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, NULL)), java.lang.Object(Tree(EOC, o4394, NULL)), o4241) -> f7906_0__init__Load(EOS(STATIC_7906), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, NULL)), o4241, java.lang.Object(Tree(EOC, o4394, NULL))) :|: TRUE
13.03/4.32	f7906_0__init__Load(EOS(STATIC_7906), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, NULL)), o4241, java.lang.Object(Tree(EOC, o4394, NULL))) -> f7907_0__init__FieldAccess(EOS(STATIC_7907), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, NULL)), java.lang.Object(Tree(EOC, o4394, NULL)), o4241) :|: TRUE
13.03/4.32	f7907_0__init__FieldAccess(EOS(STATIC_7907), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, NULL)), java.lang.Object(Tree(EOC, o4394, NULL)), o4241) -> f7908_0__init__Return(EOS(STATIC_7908), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) :|: TRUE
13.03/4.32	f7908_0__init__Return(EOS(STATIC_7908), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) -> f7909_0_flatten_InvokeMethod(EOS(STATIC_7909), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) :|: TRUE
13.03/4.32	f7909_0_flatten_InvokeMethod(EOS(STATIC_7909), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) -> f7910_0__init__Load(EOS(STATIC_7910), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) :|: TRUE
13.03/4.32	f7910_0__init__Load(EOS(STATIC_7910), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) -> f7911_0__init__InvokeMethod(EOS(STATIC_7911), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7911_0__init__InvokeMethod(EOS(STATIC_7911), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7912_0__init__Load(EOS(STATIC_7912), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) :|: TRUE
13.03/4.32	f7912_0__init__Load(EOS(STATIC_7912), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241))) -> f7913_0__init__Load(EOS(STATIC_7913), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.32	f7913_0__init__Load(EOS(STATIC_7913), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393, java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7914_0__init__FieldAccess(EOS(STATIC_7914), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393) :|: TRUE
13.03/4.32	f7914_0__init__FieldAccess(EOS(STATIC_7914), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, NULL, NULL)), o4393) -> f7915_0__init__Load(EOS(STATIC_7915), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4394, o4241))) :|: TRUE
13.03/4.32	f7915_0__init__Load(EOS(STATIC_7915), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4394, o4241))) -> f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, o4393, NULL))) :|: TRUE
13.03/4.32	f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4394, o4241)), java.lang.Object(Tree(EOC, o4393, NULL))) -> f7917_0__init__FieldAccess(EOS(STATIC_7917), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4394, o4241))) :|: TRUE
13.03/4.32	f7917_0__init__FieldAccess(EOS(STATIC_7917), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4393, NULL)), java.lang.Object(Tree(EOC, o4394, o4241))) -> f7918_0__init__Return(EOS(STATIC_7918), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) :|: TRUE
13.03/4.32	f7918_0__init__Return(EOS(STATIC_7918), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) -> f7919_0_flatten_Store(EOS(STATIC_7919), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) :|: TRUE
13.03/4.32	f7919_0_flatten_Store(EOS(STATIC_7919), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) -> f7920_0_flatten_JMP(EOS(STATIC_7920), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) :|: TRUE
13.03/4.32	f7920_0_flatten_JMP(EOS(STATIC_7920), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) -> f7921_0_flatten_Load(EOS(STATIC_7921), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) :|: TRUE
13.03/4.32	f7921_0_flatten_Load(EOS(STATIC_7921), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) -> f7807_0_flatten_Load(EOS(STATIC_7807), java.lang.Object(Tree(EOC, o4393, java.lang.Object(Tree(EOC, o4394, o4241))))) :|: TRUE
13.03/4.32	f7807_0_flatten_Load(EOS(STATIC_7807), o4141) -> f7810_0_flatten_NULL(EOS(STATIC_7810), o4141, o4141) :|: TRUE
13.03/4.32	f7833_0_flatten_NONNULL(EOS(STATIC_7833), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7841_0_flatten_New(EOS(STATIC_7841), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7841_0_flatten_New(EOS(STATIC_7841), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7847_0_flatten_Duplicate(EOS(STATIC_7847), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7847_0_flatten_Duplicate(EOS(STATIC_7847), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7853_0_flatten_ConstantStackPush(EOS(STATIC_7853), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7853_0_flatten_ConstantStackPush(EOS(STATIC_7853), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7859_0_flatten_Load(EOS(STATIC_7859), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7859_0_flatten_Load(EOS(STATIC_7859), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7865_0_flatten_InvokeMethod(EOS(STATIC_7865), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7865_0_flatten_InvokeMethod(EOS(STATIC_7865), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7869_0__init__Load(EOS(STATIC_7869), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7869_0__init__Load(EOS(STATIC_7869), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7874_0__init__InvokeMethod(EOS(STATIC_7874), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7874_0__init__InvokeMethod(EOS(STATIC_7874), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7876_0__init__Load(EOS(STATIC_7876), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7876_0__init__Load(EOS(STATIC_7876), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7878_0__init__Load(EOS(STATIC_7878), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7878_0__init__Load(EOS(STATIC_7878), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7880_0__init__FieldAccess(EOS(STATIC_7880), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) :|: TRUE
13.03/4.32	f7880_0__init__FieldAccess(EOS(STATIC_7880), java.lang.Object(Tree(EOC, NULL, o4241)), NULL) -> f7882_0__init__Load(EOS(STATIC_7882), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7882_0__init__Load(EOS(STATIC_7882), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7884_0__init__Load(EOS(STATIC_7884), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7884_0__init__Load(EOS(STATIC_7884), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7886_0__init__FieldAccess(EOS(STATIC_7886), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7886_0__init__FieldAccess(EOS(STATIC_7886), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7888_0__init__Return(EOS(STATIC_7888), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7888_0__init__Return(EOS(STATIC_7888), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7890_0_flatten_Store(EOS(STATIC_7890), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7890_0_flatten_Store(EOS(STATIC_7890), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7892_0_flatten_Load(EOS(STATIC_7892), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7892_0_flatten_Load(EOS(STATIC_7892), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7894_0_flatten_FieldAccess(EOS(STATIC_7894), java.lang.Object(Tree(EOC, NULL, o4241))) :|: TRUE
13.03/4.32	f7894_0_flatten_FieldAccess(EOS(STATIC_7894), java.lang.Object(Tree(EOC, NULL, o4241))) -> f7896_0_flatten_Store(EOS(STATIC_7896), o4241) :|: TRUE
13.03/4.32	f7896_0_flatten_Store(EOS(STATIC_7896), o4241) -> f7898_0_flatten_JMP(EOS(STATIC_7898), o4241) :|: TRUE
13.03/4.32	f7898_0_flatten_JMP(EOS(STATIC_7898), o4241) -> f7900_0_flatten_Load(EOS(STATIC_7900), o4241) :|: TRUE
13.03/4.32	f7900_0_flatten_Load(EOS(STATIC_7900), o4241) -> f7807_0_flatten_Load(EOS(STATIC_7807), o4241) :|: TRUE
13.03/4.32	R rules:
13.03/4.32	Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
13.03/4.32	f7810_0_flatten_NULL(EOS(STATIC_7810), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393:0, o4394:0)), o4241:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o4393:0, o4394:0)), o4241:0))) -> f7810_0_flatten_NULL(EOS(STATIC_7810), java.lang.Object(Tree(EOC, o4393:0, java.lang.Object(Tree(EOC, o4394:0, o4241:0)))), java.lang.Object(Tree(EOC, o4393:0, java.lang.Object(Tree(EOC, o4394:0, o4241:0))))) :|: TRUE
13.03/4.32	f7810_0_flatten_NULL(EOS(STATIC_7810), java.lang.Object(Tree(EOC, NULL, o4241:0)), java.lang.Object(Tree(EOC, NULL, o4241:0))) -> f7810_0_flatten_NULL(EOS(STATIC_7810), o4241:0, o4241:0) :|: TRUE
13.03/4.32	R rules:
13.03/4.32	Filtered ground terms:
13.03/4.32	   f7810_0_flatten_NULL(x1, x2, x3) -> f7810_0_flatten_NULL(x2, x3)
13.03/4.32	   EOS(x1) -> EOS
13.03/4.32	   Tree(x1, x2, x3) -> Tree(x2, x3)
13.03/4.32	Filtered duplicate args:
13.03/4.32	   f7810_0_flatten_NULL(x1, x2) -> f7810_0_flatten_NULL(x2)
13.03/4.32	Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
13.03/4.32	F7810_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o4241:0:0))) -> F7810_0_FLATTEN_NULL(o4241:0:0) :|: TRUE
13.03/4.32	F7810_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o4393:0:0, o4394:0:0)), o4241:0:0))) -> F7810_0_FLATTEN_NULL(java.lang.Object(Tree(o4393:0:0, java.lang.Object(Tree(o4394:0:0, o4241:0:0))))) :|: TRUE
13.03/4.32	R rules:
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(9)
13.03/4.32	Obligation:
13.03/4.32	Q DP problem:
13.03/4.32	The TRS P consists of the following rules:
13.03/4.32	
13.03/4.32	   F7810_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o4241:0:0))) -> F7810_0_FLATTEN_NULL(o4241:0:0)
13.03/4.32	   F7810_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o4393:0:0, o4394:0:0)), o4241:0:0))) -> F7810_0_FLATTEN_NULL(java.lang.Object(Tree(o4393:0:0, java.lang.Object(Tree(o4394:0:0, o4241:0:0)))))
13.03/4.32	
13.03/4.32	R is empty.
13.03/4.32	Q is empty.
13.03/4.32	We have to consider all minimal (P,Q,R)-chains.
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(10) UsableRulesReductionPairsProof (EQUIVALENT)
13.03/4.32	By using the usable rules with reduction pair processor [LPAR04] with a polynomial ordering [POLO], all dependency pairs and the corresponding usable rules [FROCOS05] can be oriented non-strictly. All non-usable rules are removed, and those dependency pairs and usable rules that have been oriented strictly or contain non-usable symbols in their left-hand side are removed as well.
13.03/4.32	
13.03/4.32	The following dependency pairs can be deleted:
13.03/4.32	
13.03/4.32	   F7810_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o4241:0:0))) -> F7810_0_FLATTEN_NULL(o4241:0:0)
13.03/4.32	   F7810_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o4393:0:0, o4394:0:0)), o4241:0:0))) -> F7810_0_FLATTEN_NULL(java.lang.Object(Tree(o4393:0:0, java.lang.Object(Tree(o4394:0:0, o4241:0:0)))))
13.03/4.32	No rules are removed from R.
13.03/4.32	
13.03/4.32	Used ordering: POLO with Polynomial interpretation [POLO]:
13.03/4.32	
13.03/4.32	   POL(F7810_0_FLATTEN_NULL(x_1)) = 2*x_1
13.03/4.32	   POL(NULL) = 0
13.03/4.32	   POL(Tree(x_1, x_2)) = 2*x_1 + x_2
13.03/4.32	   POL(java.lang.Object(x_1)) = 1 + x_1
13.03/4.32	
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(11)
13.03/4.32	Obligation:
13.03/4.32	Q DP problem:
13.03/4.32	P is empty.
13.03/4.32	R is empty.
13.03/4.32	Q is empty.
13.03/4.32	We have to consider all minimal (P,Q,R)-chains.
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(12) PisEmptyProof (EQUIVALENT)
13.03/4.32	The TRS P is empty. Hence, there is no (P,Q,R) chain.
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(13)
13.03/4.32	YES
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(14)
13.03/4.32	Obligation:
13.03/4.32	SCC of termination graph based on JBC Program.
13.03/4.32	SCC contains nodes from the following methods: FlattenTree.flatten(LTree;)LTree;
13.03/4.32	SCC calls the following helper methods: 
13.03/4.32	Performed SCC analyses:
13.03/4.32	*Used field analysis yielded the following read fields:
13.03/4.32	*Tree: [left, right]
13.03/4.32	*Marker field analysis yielded the following relations that could be markers:
13.03/4.32	
13.03/4.32	----------------------------------------
13.03/4.32	
13.03/4.32	(15) SCCToQDPProof (SOUND)
13.03/4.32	Transformed TerminationGraph SCC to QDP. Log: 
13.03/4.32	Generated 50 rules for P and 0 rules for R.P rules:
13.03/4.32	f7309_0_flatten_NULL(EOS(STATIC_7309), java.lang.Object(o2690sub), java.lang.Object(o2690sub)) -> f7312_0_flatten_NULL(EOS(STATIC_7312), java.lang.Object(o2690sub), java.lang.Object(o2690sub)) :|: TRUE
13.03/4.33	f7312_0_flatten_NULL(EOS(STATIC_7312), java.lang.Object(o2690sub), java.lang.Object(o2690sub)) -> f7317_0_flatten_Load(EOS(STATIC_7317), java.lang.Object(o2690sub)) :|: TRUE
13.03/4.33	f7317_0_flatten_Load(EOS(STATIC_7317), java.lang.Object(o2690sub)) -> f7323_0_flatten_FieldAccess(EOS(STATIC_7323), java.lang.Object(o2690sub), java.lang.Object(o2690sub)) :|: TRUE
13.03/4.33	f7323_0_flatten_FieldAccess(EOS(STATIC_7323), java.lang.Object(Tree(EOC, o2698, o2699)), java.lang.Object(Tree(EOC, o2698, o2699))) -> f7328_0_flatten_FieldAccess(EOS(STATIC_7328), java.lang.Object(Tree(EOC, o2698, o2699)), java.lang.Object(Tree(EOC, o2698, o2699))) :|: TRUE
13.03/4.33	f7328_0_flatten_FieldAccess(EOS(STATIC_7328), java.lang.Object(Tree(EOC, o2698, o2699)), java.lang.Object(Tree(EOC, o2698, o2699))) -> f7334_0_flatten_NONNULL(EOS(STATIC_7334), java.lang.Object(Tree(EOC, o2698, o2699)), o2698) :|: TRUE
13.03/4.33	f7334_0_flatten_NONNULL(EOS(STATIC_7334), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699)), java.lang.Object(o2712sub)) -> f7339_0_flatten_NONNULL(EOS(STATIC_7339), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699)), java.lang.Object(o2712sub)) :|: TRUE
13.03/4.33	f7339_0_flatten_NONNULL(EOS(STATIC_7339), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699)), java.lang.Object(o2712sub)) -> f7347_0_flatten_Load(EOS(STATIC_7347), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699))) :|: TRUE
13.03/4.33	f7347_0_flatten_Load(EOS(STATIC_7347), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699))) -> f7354_0_flatten_FieldAccess(EOS(STATIC_7354), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699)), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699))) :|: TRUE
13.03/4.33	f7354_0_flatten_FieldAccess(EOS(STATIC_7354), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699)), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699))) -> f7361_0_flatten_FieldAccess(EOS(STATIC_7361), java.lang.Object(Tree(EOC, java.lang.Object(o2712sub), o2699)), java.lang.Object(o2712sub)) :|: TRUE
13.03/4.33	f7361_0_flatten_FieldAccess(EOS(STATIC_7361), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), java.lang.Object(Tree(EOC, o2736, o2737))) -> f7368_0_flatten_FieldAccess(EOS(STATIC_7368), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), java.lang.Object(Tree(EOC, o2736, o2737))) :|: TRUE
13.03/4.33	f7368_0_flatten_FieldAccess(EOS(STATIC_7368), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), java.lang.Object(Tree(EOC, o2736, o2737))) -> f7375_0_flatten_Store(EOS(STATIC_7375), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736) :|: TRUE
13.03/4.33	f7375_0_flatten_Store(EOS(STATIC_7375), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736) -> f7384_0_flatten_Load(EOS(STATIC_7384), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736) :|: TRUE
13.03/4.33	f7384_0_flatten_Load(EOS(STATIC_7384), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736) -> f7393_0_flatten_FieldAccess(EOS(STATIC_7393), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699))) :|: TRUE
13.03/4.33	f7393_0_flatten_FieldAccess(EOS(STATIC_7393), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699))) -> f7401_0_flatten_FieldAccess(EOS(STATIC_7401), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, java.lang.Object(Tree(EOC, o2736, o2737))) :|: TRUE
13.03/4.33	f7401_0_flatten_FieldAccess(EOS(STATIC_7401), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, java.lang.Object(Tree(EOC, o2736, o2737))) -> f7410_0_flatten_Store(EOS(STATIC_7410), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, o2737) :|: TRUE
13.03/4.33	f7410_0_flatten_Store(EOS(STATIC_7410), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, o2737) -> f7417_0_flatten_Load(EOS(STATIC_7417), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, o2737) :|: TRUE
13.03/4.33	f7417_0_flatten_Load(EOS(STATIC_7417), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699)), o2736, o2737) -> f7425_0_flatten_FieldAccess(EOS(STATIC_7425), o2736, o2737, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699))) :|: TRUE
13.03/4.33	f7425_0_flatten_FieldAccess(EOS(STATIC_7425), o2736, o2737, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736, o2737)), o2699))) -> f7433_0_flatten_Store(EOS(STATIC_7433), o2736, o2737, o2699) :|: TRUE
13.03/4.33	f7433_0_flatten_Store(EOS(STATIC_7433), o2736, o2737, o2699) -> f7440_0_flatten_New(EOS(STATIC_7440), o2736, o2737, o2699) :|: TRUE
13.03/4.33	f7440_0_flatten_New(EOS(STATIC_7440), o2736, o2737, o2699) -> f7443_0_flatten_Duplicate(EOS(STATIC_7443), o2736, o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7443_0_flatten_Duplicate(EOS(STATIC_7443), o2736, o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7448_0_flatten_Load(EOS(STATIC_7448), o2736, o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7448_0_flatten_Load(EOS(STATIC_7448), o2736, o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7452_0_flatten_New(EOS(STATIC_7452), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736) :|: TRUE
13.03/4.33	f7452_0_flatten_New(EOS(STATIC_7452), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736) -> f7457_0_flatten_Duplicate(EOS(STATIC_7457), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7457_0_flatten_Duplicate(EOS(STATIC_7457), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7461_0_flatten_Load(EOS(STATIC_7461), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7461_0_flatten_Load(EOS(STATIC_7461), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7465_0_flatten_Load(EOS(STATIC_7465), o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737) :|: TRUE
13.03/4.33	f7465_0_flatten_Load(EOS(STATIC_7465), o2699, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737) -> f7469_0_flatten_InvokeMethod(EOS(STATIC_7469), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699) :|: TRUE
13.03/4.33	f7469_0_flatten_InvokeMethod(EOS(STATIC_7469), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699) -> f7473_0__init__Load(EOS(STATIC_7473), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699) :|: TRUE
13.03/4.33	f7473_0__init__Load(EOS(STATIC_7473), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699) -> f7480_0__init__InvokeMethod(EOS(STATIC_7480), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7480_0__init__InvokeMethod(EOS(STATIC_7480), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7485_0__init__Load(EOS(STATIC_7485), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699) :|: TRUE
13.03/4.33	f7485_0__init__Load(EOS(STATIC_7485), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699) -> f7490_0__init__Load(EOS(STATIC_7490), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7490_0__init__Load(EOS(STATIC_7490), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2737, o2699, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7497_0__init__FieldAccess(EOS(STATIC_7497), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2699, java.lang.Object(Tree(EOC, NULL, NULL)), o2737) :|: TRUE
13.03/4.33	f7497_0__init__FieldAccess(EOS(STATIC_7497), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2699, java.lang.Object(Tree(EOC, NULL, NULL)), o2737) -> f7504_0__init__Load(EOS(STATIC_7504), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, NULL)), java.lang.Object(Tree(EOC, o2737, NULL)), o2699) :|: TRUE
13.03/4.33	f7504_0__init__Load(EOS(STATIC_7504), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, NULL)), java.lang.Object(Tree(EOC, o2737, NULL)), o2699) -> f7510_0__init__Load(EOS(STATIC_7510), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, NULL)), o2699, java.lang.Object(Tree(EOC, o2737, NULL))) :|: TRUE
13.03/4.33	f7510_0__init__Load(EOS(STATIC_7510), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, NULL)), o2699, java.lang.Object(Tree(EOC, o2737, NULL))) -> f7519_0__init__FieldAccess(EOS(STATIC_7519), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, NULL)), java.lang.Object(Tree(EOC, o2737, NULL)), o2699) :|: TRUE
13.03/4.33	f7519_0__init__FieldAccess(EOS(STATIC_7519), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, NULL)), java.lang.Object(Tree(EOC, o2737, NULL)), o2699) -> f7526_0__init__Return(EOS(STATIC_7526), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) :|: TRUE
13.03/4.33	f7526_0__init__Return(EOS(STATIC_7526), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) -> f7531_0_flatten_InvokeMethod(EOS(STATIC_7531), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) :|: TRUE
13.03/4.33	f7531_0_flatten_InvokeMethod(EOS(STATIC_7531), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) -> f7536_0__init__Load(EOS(STATIC_7536), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) :|: TRUE
13.03/4.33	f7536_0__init__Load(EOS(STATIC_7536), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) -> f7544_0__init__InvokeMethod(EOS(STATIC_7544), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7544_0__init__InvokeMethod(EOS(STATIC_7544), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7549_0__init__Load(EOS(STATIC_7549), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) :|: TRUE
13.03/4.33	f7549_0__init__Load(EOS(STATIC_7549), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699))) -> f7553_0__init__Load(EOS(STATIC_7553), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7553_0__init__Load(EOS(STATIC_7553), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736, java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7557_0__init__FieldAccess(EOS(STATIC_7557), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736) :|: TRUE
13.03/4.33	f7557_0__init__FieldAccess(EOS(STATIC_7557), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, NULL, NULL)), o2736) -> f7561_0__init__Load(EOS(STATIC_7561), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2737, o2699))) :|: TRUE
13.03/4.33	f7561_0__init__Load(EOS(STATIC_7561), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2737, o2699))) -> f7567_0__init__Load(EOS(STATIC_7567), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, o2736, NULL))) :|: TRUE
13.03/4.33	f7567_0__init__Load(EOS(STATIC_7567), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2737, o2699)), java.lang.Object(Tree(EOC, o2736, NULL))) -> f7573_0__init__FieldAccess(EOS(STATIC_7573), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2737, o2699))) :|: TRUE
13.03/4.33	f7573_0__init__FieldAccess(EOS(STATIC_7573), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2736, NULL)), java.lang.Object(Tree(EOC, o2737, o2699))) -> f7580_0__init__Return(EOS(STATIC_7580), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) :|: TRUE
13.03/4.33	f7580_0__init__Return(EOS(STATIC_7580), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) -> f7586_0_flatten_Store(EOS(STATIC_7586), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) :|: TRUE
13.03/4.33	f7586_0_flatten_Store(EOS(STATIC_7586), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) -> f7592_0_flatten_JMP(EOS(STATIC_7592), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) :|: TRUE
13.03/4.33	f7592_0_flatten_JMP(EOS(STATIC_7592), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) -> f7599_0_flatten_Load(EOS(STATIC_7599), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) :|: TRUE
13.03/4.33	f7599_0_flatten_Load(EOS(STATIC_7599), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) -> f7304_0_flatten_Load(EOS(STATIC_7304), java.lang.Object(Tree(EOC, o2736, java.lang.Object(Tree(EOC, o2737, o2699))))) :|: TRUE
13.03/4.33	f7304_0_flatten_Load(EOS(STATIC_7304), o2663) -> f7309_0_flatten_NULL(EOS(STATIC_7309), o2663, o2663) :|: TRUE
13.03/4.33	R rules:
13.03/4.33	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
13.03/4.33	f7309_0_flatten_NULL(EOS(STATIC_7309), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736:0, o2737:0)), o2699:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o2736:0, o2737:0)), o2699:0))) -> f7309_0_flatten_NULL(EOS(STATIC_7309), java.lang.Object(Tree(EOC, o2736:0, java.lang.Object(Tree(EOC, o2737:0, o2699:0)))), java.lang.Object(Tree(EOC, o2736:0, java.lang.Object(Tree(EOC, o2737:0, o2699:0))))) :|: TRUE
13.03/4.33	R rules:
13.03/4.33	Filtered ground terms:
13.03/4.33	   f7309_0_flatten_NULL(x1, x2, x3) -> f7309_0_flatten_NULL(x2, x3)
13.03/4.33	   EOS(x1) -> EOS
13.03/4.33	   Tree(x1, x2, x3) -> Tree(x2, x3)
13.03/4.33	Filtered unneeded arguments:
13.03/4.33	   Tree(x1, x2) -> Tree(x1)
13.03/4.33	Filtered duplicate args:
13.03/4.33	   f7309_0_flatten_NULL(x1, x2) -> f7309_0_flatten_NULL(x2)
13.03/4.33	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
13.03/4.33	F7309_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o2736:0:0))))) -> F7309_0_FLATTEN_NULL(java.lang.Object(Tree(o2736:0:0))) :|: TRUE
13.03/4.33	R rules:
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(16)
13.03/4.33	Obligation:
13.03/4.33	Q DP problem:
13.03/4.33	The TRS P consists of the following rules:
13.03/4.33	
13.03/4.33	   F7309_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o2736:0:0))))) -> F7309_0_FLATTEN_NULL(java.lang.Object(Tree(o2736:0:0)))
13.03/4.33	
13.03/4.33	R is empty.
13.03/4.33	Q is empty.
13.03/4.33	We have to consider all minimal (P,Q,R)-chains.
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(17) QDPSizeChangeProof (EQUIVALENT)
13.03/4.33	By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 
13.03/4.33	
13.03/4.33	From the DPs we obtained the following set of size-change graphs:
13.03/4.33	*F7309_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o2736:0:0))))) -> F7309_0_FLATTEN_NULL(java.lang.Object(Tree(o2736:0:0)))
13.03/4.33	The graph contains the following edges 1 > 1
13.03/4.33	
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(18)
13.03/4.33	YES
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(19)
13.03/4.33	Obligation:
13.03/4.33	SCC of termination graph based on JBC Program.
13.03/4.33	SCC contains nodes from the following methods: Tree.createTree()LTree;
13.03/4.33	SCC calls the following helper methods: 
13.03/4.33	Performed SCC analyses:
13.03/4.33	*Used field analysis yielded the following read fields:
13.03/4.33	*java.lang.String: [count]
13.03/4.33	*Tree: [right, left]
13.03/4.33	*Marker field analysis yielded the following relations that could be markers:
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(20) SCCToIRSProof (SOUND)
13.03/4.33	Transformed FIGraph SCCs to intTRSs. Log: 
13.03/4.33	Generated rules. Obtained 114 IRulesP rules:
13.03/4.33	f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1176) -> f7543_0_createTree_LE(EOS(STATIC_7543(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1176) :|: TRUE
13.03/4.33	f7543_0_createTree_LE(EOS(STATIC_7543(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1176) -> f7548_0_createTree_InvokeMethod(EOS(STATIC_7548(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: i1176 > 0
13.03/4.33	f7548_0_createTree_InvokeMethod(EOS(STATIC_7548(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7552_0_random_FieldAccess(EOS(STATIC_7552(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: TRUE
13.03/4.33	f7552_0_random_FieldAccess(EOS(STATIC_7552(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7560_0_random_FieldAccess(EOS(STATIC_7560(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.03/4.33	f7560_0_random_FieldAccess(EOS(STATIC_7560(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7566_0_random_ArrayAccess(EOS(STATIC_7566(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.03/4.33	f7566_0_random_ArrayAccess(EOS(STATIC_7566(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7572_0_random_ArrayAccess(EOS(STATIC_7572(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.03/4.33	f7572_0_random_ArrayAccess(EOS(STATIC_7572(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7578_0_random_ArrayAccess(EOS(STATIC_7578(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) :|: TRUE
13.03/4.33	f7578_0_random_ArrayAccess(EOS(STATIC_7578(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(ARRAY(i6))) -> f7584_0_random_Store(EOS(STATIC_7584(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
13.03/4.33	f7584_0_random_Store(EOS(STATIC_7584(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7591_0_random_FieldAccess(EOS(STATIC_7591(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
13.03/4.33	f7591_0_random_FieldAccess(EOS(STATIC_7591(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7597_0_random_ConstantStackPush(EOS(STATIC_7597(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
13.03/4.33	f7597_0_random_ConstantStackPush(EOS(STATIC_7597(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7603_0_random_IntArithmetic(EOS(STATIC_7603(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
13.03/4.33	f7603_0_random_IntArithmetic(EOS(STATIC_7603(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7609_0_random_FieldAccess(EOS(STATIC_7609(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
13.03/4.33	f7609_0_random_FieldAccess(EOS(STATIC_7609(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7613_0_random_Load(EOS(STATIC_7613(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
13.03/4.33	f7613_0_random_Load(EOS(STATIC_7613(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) -> f7621_0_random_InvokeMethod(EOS(STATIC_7621(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), o3411) :|: TRUE
13.03/4.33	f7621_0_random_InvokeMethod(EOS(STATIC_7621(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3540sub)) -> f7626_0_random_InvokeMethod(EOS(STATIC_7626(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3540sub)) :|: TRUE
13.03/4.33	f7626_0_random_InvokeMethod(EOS(STATIC_7626(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3580sub)) -> f7632_0_random_InvokeMethod(EOS(STATIC_7632(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3580sub)) :|: TRUE
13.03/4.33	f7632_0_random_InvokeMethod(EOS(STATIC_7632(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3580sub)) -> f7636_0_length_Load(EOS(STATIC_7636(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3580sub)) :|: TRUE
13.03/4.33	f7636_0_length_Load(EOS(STATIC_7636(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3580sub)) -> f7645_0_length_FieldAccess(EOS(STATIC_7645(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3580sub)) :|: TRUE
13.03/4.33	f7645_0_length_FieldAccess(EOS(STATIC_7645(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(java.lang.String(EOC, i1245))) -> f7650_0_length_FieldAccess(EOS(STATIC_7650(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(java.lang.String(EOC, i1245))) :|: i1245 >= 0
13.03/4.33	f7650_0_length_FieldAccess(EOS(STATIC_7650(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(java.lang.String(EOC, i1245))) -> f7655_0_length_Return(EOS(STATIC_7655(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
13.03/4.33	f7655_0_length_Return(EOS(STATIC_7655(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7659_0_random_Return(EOS(STATIC_7659(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
13.03/4.33	f7659_0_random_Return(EOS(STATIC_7659(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7668_0_createTree_Store(EOS(STATIC_7668(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
13.03/4.33	f7668_0_createTree_Store(EOS(STATIC_7668(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7674_0_createTree_Load(EOS(STATIC_7674(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
13.03/4.33	f7674_0_createTree_Load(EOS(STATIC_7674(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) -> f7681_0_createTree_LE(EOS(STATIC_7681(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1245) :|: TRUE
13.03/4.33	f7681_0_createTree_LE(EOS(STATIC_7681(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), matching1) -> f7688_0_createTree_LE(EOS(STATIC_7688(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), 0) :|: TRUE && matching1 = 0
13.03/4.33	f7681_0_createTree_LE(EOS(STATIC_7681(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1283) -> f7689_0_createTree_LE(EOS(STATIC_7689(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1283) :|: TRUE
13.03/4.33	f7688_0_createTree_LE(EOS(STATIC_7688(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), matching1) -> f7694_0_createTree_Load(EOS(STATIC_7694(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: 0 <= 0 && matching1 = 0
13.03/4.33	f7694_0_createTree_Load(EOS(STATIC_7694(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7701_0_createTree_FieldAccess(EOS(STATIC_7701(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3174sub)) :|: TRUE
13.03/4.33	f7701_0_createTree_FieldAccess(EOS(STATIC_7701(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3815, o3814)), java.lang.Object(Tree(EOC, o3815, o3814))) -> f7708_0_createTree_FieldAccess(EOS(STATIC_7708(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3815, o3814)), java.lang.Object(Tree(EOC, o3815, o3814))) :|: TRUE
13.03/4.33	f7708_0_createTree_FieldAccess(EOS(STATIC_7708(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3815, o3814)), java.lang.Object(Tree(EOC, o3815, o3814))) -> f7714_0_createTree_NONNULL(EOS(STATIC_7714(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3815, o3814)), o3815) :|: TRUE
13.03/4.33	f7714_0_createTree_NONNULL(EOS(STATIC_7714(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub), o3814)), java.lang.Object(o3858sub)) -> f7721_0_createTree_NONNULL(EOS(STATIC_7721(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub), o3814)), java.lang.Object(o3858sub)) :|: TRUE
13.03/4.33	f7714_0_createTree_NONNULL(EOS(STATIC_7714(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), NULL) -> f7722_0_createTree_NONNULL(EOS(STATIC_7722(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), NULL) :|: TRUE
13.03/4.33	f7721_0_createTree_NONNULL(EOS(STATIC_7721(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub), o3814)), java.lang.Object(o3858sub)) -> f7730_0_createTree_Load(EOS(STATIC_7730(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub), o3814))) :|: TRUE
13.03/4.33	f7730_0_createTree_Load(EOS(STATIC_7730(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub), o3814))) -> f7739_0_createTree_FieldAccess(EOS(STATIC_7739(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub), o3814))) :|: TRUE
13.03/4.33	f7739_0_createTree_FieldAccess(EOS(STATIC_7739(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub), o3814))) -> f7748_0_createTree_Store(EOS(STATIC_7748(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) :|: TRUE
13.03/4.33	f7748_0_createTree_Store(EOS(STATIC_7748(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) -> f7757_0_createTree_Inc(EOS(STATIC_7757(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) :|: TRUE
13.03/4.33	f7757_0_createTree_Inc(EOS(STATIC_7757(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) -> f7763_0_createTree_JMP(EOS(STATIC_7763(java.lang.Object(ARRAY(i6)))), i1176 + -1, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) :|: TRUE
13.03/4.33	f7763_0_createTree_JMP(EOS(STATIC_7763(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) -> f7773_0_createTree_Load(EOS(STATIC_7773(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) :|: TRUE
13.03/4.33	f7773_0_createTree_Load(EOS(STATIC_7773(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) -> f7535_0_createTree_Load(EOS(STATIC_7535(java.lang.Object(ARRAY(i6)))), i1318, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3858sub)) :|: TRUE
13.03/4.33	f7535_0_createTree_Load(EOS(STATIC_7535(java.lang.Object(ARRAY(i6)))), i1171, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6)))), i1171, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1171) :|: TRUE
13.03/4.33	f7722_0_createTree_NONNULL(EOS(STATIC_7722(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), NULL) -> f7731_0_createTree_Load(EOS(STATIC_7731(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814))) :|: TRUE
13.03/4.33	f7731_0_createTree_Load(EOS(STATIC_7731(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814))) -> f7740_0_createTree_InvokeMethod(EOS(STATIC_7740(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814))) :|: TRUE
13.03/4.33	f7740_0_createTree_InvokeMethod(EOS(STATIC_7740(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814))) -> f7749_0_createNode_New(EOS(STATIC_7749(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814))) :|: TRUE
13.03/4.33	f7749_0_createNode_New(EOS(STATIC_7749(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814))) -> f7764_0_createNode_Duplicate(EOS(STATIC_7764(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7764_0_createNode_Duplicate(EOS(STATIC_7764(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7774_0_createNode_InvokeMethod(EOS(STATIC_7774(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7774_0_createNode_InvokeMethod(EOS(STATIC_7774(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7780_0__init__Load(EOS(STATIC_7780(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7780_0__init__Load(EOS(STATIC_7780(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7789_0__init__InvokeMethod(EOS(STATIC_7789(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7789_0__init__InvokeMethod(EOS(STATIC_7789(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7794_0__init__Return(EOS(STATIC_7794(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7794_0__init__Return(EOS(STATIC_7794(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7798_0_createNode_Store(EOS(STATIC_7798(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7798_0_createNode_Store(EOS(STATIC_7798(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7803_0_createNode_Load(EOS(STATIC_7803(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7803_0_createNode_Load(EOS(STATIC_7803(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7808_0_createNode_New(EOS(STATIC_7808(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7808_0_createNode_New(EOS(STATIC_7808(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7811_0_createNode_Duplicate(EOS(STATIC_7811(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.03/4.33	f7811_0_createNode_Duplicate(EOS(STATIC_7811(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7815_0_createNode_InvokeMethod(EOS(STATIC_7815(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
13.03/4.33	f7815_0_createNode_InvokeMethod(EOS(STATIC_7815(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7819_0_createNode_FieldAccess(EOS(STATIC_7819(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.03/4.33	f7819_0_createNode_FieldAccess(EOS(STATIC_7819(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7823_0_createNode_Load(EOS(STATIC_7823(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7823_0_createNode_Load(EOS(STATIC_7823(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7827_0_createNode_Return(EOS(STATIC_7827(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7827_0_createNode_Return(EOS(STATIC_7827(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7830_0_createTree_FieldAccess(EOS(STATIC_7830(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7830_0_createTree_FieldAccess(EOS(STATIC_7830(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7836_0_createTree_FieldAccess(EOS(STATIC_7836(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7830_0_createTree_FieldAccess(EOS(STATIC_7830(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, NULL, o4292)), java.lang.Object(Tree(EOC, NULL, o4292)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7837_0_createTree_FieldAccess(EOS(STATIC_7837(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, NULL, o4292)), java.lang.Object(Tree(EOC, NULL, o4292)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7836_0_createTree_FieldAccess(EOS(STATIC_7836(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, NULL, o3814)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172put, o3171put))) :|: TRUE
13.03/4.33	f7842_0_createTree_Load(EOS(STATIC_7842(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171))) -> f7848_0_createTree_Store(EOS(STATIC_7848(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7848_0_createTree_Store(EOS(STATIC_7848(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7854_0_createTree_JMP(EOS(STATIC_7854(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7854_0_createTree_JMP(EOS(STATIC_7854(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7860_0_createTree_Inc(EOS(STATIC_7860(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7860_0_createTree_Inc(EOS(STATIC_7860(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7866_0_createTree_JMP(EOS(STATIC_7866(java.lang.Object(ARRAY(i6)))), i1176 + -1, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7866_0_createTree_JMP(EOS(STATIC_7866(java.lang.Object(ARRAY(i6)))), i1384, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7870_0_createTree_Load(EOS(STATIC_7870(java.lang.Object(ARRAY(i6)))), i1384, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7870_0_createTree_Load(EOS(STATIC_7870(java.lang.Object(ARRAY(i6)))), i1384, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7535_0_createTree_Load(EOS(STATIC_7535(java.lang.Object(ARRAY(i6)))), i1384, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7837_0_createTree_FieldAccess(EOS(STATIC_7837(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, NULL, o4292)), java.lang.Object(Tree(EOC, NULL, o4292)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7843_0_createTree_Load(EOS(STATIC_7843(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) :|: TRUE
13.03/4.33	f7843_0_createTree_Load(EOS(STATIC_7843(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) -> f7849_0_createTree_Store(EOS(STATIC_7849(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) :|: TRUE
13.03/4.33	f7849_0_createTree_Store(EOS(STATIC_7849(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) -> f7855_0_createTree_JMP(EOS(STATIC_7855(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) :|: TRUE
13.03/4.33	f7855_0_createTree_JMP(EOS(STATIC_7855(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) -> f7861_0_createTree_Inc(EOS(STATIC_7861(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) :|: TRUE
13.03/4.33	f7861_0_createTree_Inc(EOS(STATIC_7861(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) -> f7862_0_createTree_Inc(EOS(STATIC_7862(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o4292))) :|: TRUE
13.03/4.33	f7862_0_createTree_Inc(EOS(STATIC_7862(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7860_0_createTree_Inc(EOS(STATIC_7860(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7689_0_createTree_LE(EOS(STATIC_7689(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), i1283) -> f7695_0_createTree_Load(EOS(STATIC_7695(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) :|: i1283 > 0
13.03/4.33	f7695_0_createTree_Load(EOS(STATIC_7695(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub)) -> f7702_0_createTree_FieldAccess(EOS(STATIC_7702(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3174sub), java.lang.Object(o3174sub)) :|: TRUE
13.03/4.33	f7702_0_createTree_FieldAccess(EOS(STATIC_7702(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, o3818)), java.lang.Object(Tree(EOC, o3819, o3818))) -> f7709_0_createTree_FieldAccess(EOS(STATIC_7709(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, o3818)), java.lang.Object(Tree(EOC, o3819, o3818))) :|: TRUE
13.03/4.33	f7709_0_createTree_FieldAccess(EOS(STATIC_7709(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, o3818)), java.lang.Object(Tree(EOC, o3819, o3818))) -> f7715_0_createTree_NONNULL(EOS(STATIC_7715(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, o3818)), o3818) :|: TRUE
13.03/4.33	f7715_0_createTree_NONNULL(EOS(STATIC_7715(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, java.lang.Object(o3859sub))), java.lang.Object(o3859sub)) -> f7723_0_createTree_NONNULL(EOS(STATIC_7723(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, java.lang.Object(o3859sub))), java.lang.Object(o3859sub)) :|: TRUE
13.03/4.33	f7715_0_createTree_NONNULL(EOS(STATIC_7715(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), NULL) -> f7724_0_createTree_NONNULL(EOS(STATIC_7724(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), NULL) :|: TRUE
13.03/4.33	f7723_0_createTree_NONNULL(EOS(STATIC_7723(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, java.lang.Object(o3859sub))), java.lang.Object(o3859sub)) -> f7732_0_createTree_Load(EOS(STATIC_7732(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, java.lang.Object(o3859sub)))) :|: TRUE
13.03/4.33	f7732_0_createTree_Load(EOS(STATIC_7732(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, java.lang.Object(o3859sub)))) -> f7741_0_createTree_FieldAccess(EOS(STATIC_7741(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, java.lang.Object(o3859sub)))) :|: TRUE
13.03/4.33	f7741_0_createTree_FieldAccess(EOS(STATIC_7741(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, java.lang.Object(o3859sub)))) -> f7750_0_createTree_Store(EOS(STATIC_7750(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3859sub)) :|: TRUE
13.03/4.33	f7750_0_createTree_Store(EOS(STATIC_7750(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3859sub)) -> f7758_0_createTree_JMP(EOS(STATIC_7758(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3859sub)) :|: TRUE
13.03/4.33	f7758_0_createTree_JMP(EOS(STATIC_7758(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3859sub)) -> f7765_0_createTree_Inc(EOS(STATIC_7765(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3859sub)) :|: TRUE
13.03/4.33	f7765_0_createTree_Inc(EOS(STATIC_7765(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3859sub)) -> f7757_0_createTree_Inc(EOS(STATIC_7757(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(o3859sub)) :|: TRUE
13.03/4.33	f7724_0_createTree_NONNULL(EOS(STATIC_7724(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), NULL) -> f7733_0_createTree_Load(EOS(STATIC_7733(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL))) :|: TRUE
13.03/4.33	f7733_0_createTree_Load(EOS(STATIC_7733(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL))) -> f7742_0_createTree_InvokeMethod(EOS(STATIC_7742(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL))) :|: TRUE
13.03/4.33	f7742_0_createTree_InvokeMethod(EOS(STATIC_7742(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL))) -> f7751_0_createNode_New(EOS(STATIC_7751(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL))) :|: TRUE
13.03/4.33	f7751_0_createNode_New(EOS(STATIC_7751(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL))) -> f7766_0_createNode_Duplicate(EOS(STATIC_7766(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7766_0_createNode_Duplicate(EOS(STATIC_7766(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7775_0_createNode_InvokeMethod(EOS(STATIC_7775(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7775_0_createNode_InvokeMethod(EOS(STATIC_7775(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7781_0__init__Load(EOS(STATIC_7781(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7781_0__init__Load(EOS(STATIC_7781(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7790_0__init__InvokeMethod(EOS(STATIC_7790(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7790_0__init__InvokeMethod(EOS(STATIC_7790(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7795_0__init__Return(EOS(STATIC_7795(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7795_0__init__Return(EOS(STATIC_7795(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7799_0_createNode_Store(EOS(STATIC_7799(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7799_0_createNode_Store(EOS(STATIC_7799(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7804_0_createNode_Load(EOS(STATIC_7804(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7804_0_createNode_Load(EOS(STATIC_7804(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7809_0_createNode_New(EOS(STATIC_7809(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7809_0_createNode_New(EOS(STATIC_7809(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7812_0_createNode_Duplicate(EOS(STATIC_7812(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.03/4.33	f7812_0_createNode_Duplicate(EOS(STATIC_7812(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7816_0_createNode_InvokeMethod(EOS(STATIC_7816(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
13.03/4.33	f7816_0_createNode_InvokeMethod(EOS(STATIC_7816(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7820_0_createNode_FieldAccess(EOS(STATIC_7820(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
13.03/4.33	f7820_0_createNode_FieldAccess(EOS(STATIC_7820(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7824_0_createNode_Load(EOS(STATIC_7824(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7824_0_createNode_Load(EOS(STATIC_7824(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7828_0_createNode_Return(EOS(STATIC_7828(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7828_0_createNode_Return(EOS(STATIC_7828(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7831_0_createTree_FieldAccess(EOS(STATIC_7831(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7831_0_createTree_FieldAccess(EOS(STATIC_7831(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7838_0_createTree_FieldAccess(EOS(STATIC_7838(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7831_0_createTree_FieldAccess(EOS(STATIC_7831(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, NULL)), java.lang.Object(Tree(EOC, o4301, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7839_0_createTree_FieldAccess(EOS(STATIC_7839(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, NULL)), java.lang.Object(Tree(EOC, o4301, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
13.03/4.33	f7838_0_createTree_FieldAccess(EOS(STATIC_7838(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3819, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7844_0_createTree_Load(EOS(STATIC_7844(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172put, o3171put))) :|: TRUE
13.03/4.33	f7844_0_createTree_Load(EOS(STATIC_7844(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171))) -> f7850_0_createTree_Store(EOS(STATIC_7850(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7850_0_createTree_Store(EOS(STATIC_7850(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7856_0_createTree_JMP(EOS(STATIC_7856(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7856_0_createTree_JMP(EOS(STATIC_7856(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) -> f7862_0_createTree_Inc(EOS(STATIC_7862(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o3172, o3171)), java.lang.Object(Tree(EOC, o3172, o3171))) :|: TRUE
13.03/4.33	f7839_0_createTree_FieldAccess(EOS(STATIC_7839(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, NULL)), java.lang.Object(Tree(EOC, o4301, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7845_0_createTree_Load(EOS(STATIC_7845(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.03/4.33	f7845_0_createTree_Load(EOS(STATIC_7845(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7851_0_createTree_Store(EOS(STATIC_7851(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.03/4.33	f7851_0_createTree_Store(EOS(STATIC_7851(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7857_0_createTree_JMP(EOS(STATIC_7857(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.03/4.33	f7857_0_createTree_JMP(EOS(STATIC_7857(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7863_0_createTree_Inc(EOS(STATIC_7863(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.03/4.33	f7863_0_createTree_Inc(EOS(STATIC_7863(java.lang.Object(ARRAY(i6)))), i1176, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7867_0_createTree_JMP(EOS(STATIC_7867(java.lang.Object(ARRAY(i6)))), i1176 + -1, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.03/4.33	f7867_0_createTree_JMP(EOS(STATIC_7867(java.lang.Object(ARRAY(i6)))), i1386, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7871_0_createTree_Load(EOS(STATIC_7871(java.lang.Object(ARRAY(i6)))), i1386, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.03/4.33	f7871_0_createTree_Load(EOS(STATIC_7871(java.lang.Object(ARRAY(i6)))), i1386, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7535_0_createTree_Load(EOS(STATIC_7535(java.lang.Object(ARRAY(i6)))), i1386, java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o4301, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
13.03/4.33	Combined rules. Obtained 6 IRulesP rules:
13.03/4.33	f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, o3819:0, NULL)), i1176:0) -> f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
13.03/4.33	f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, java.lang.Object(o3858sub:0), o3814:0)), i1176:0) -> f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(o3858sub:0), i1176:0 - 1) :|: i1176:0 > 0
13.03/4.33	f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, NULL, o3814:0)), i1176:0) -> f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), java.lang.Object(Tree(EOC, o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0
13.03/4.33	f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, NULL, o3171:0)), java.lang.Object(Tree(EOC, NULL, o3171:0)), i1176:0) -> f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3171:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3171:0)), i1176:0 - 1) :|: i1176:0 > 0
13.03/4.33	f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(Tree(EOC, o3819:0, java.lang.Object(o3859sub:0))), i1176:0) -> f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172:0, o3171:0)), java.lang.Object(o3859sub:0), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
13.03/4.33	f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0, java.lang.Object(Tree(EOC, o3172:0, NULL)), java.lang.Object(Tree(EOC, o3172:0, NULL)), i1176:0) -> f7539_0_createTree_LE(EOS(STATIC_7539(java.lang.Object(ARRAY(i6:0)))), i1176:0 - 1, java.lang.Object(Tree(EOC, o3172:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3172:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
13.03/4.33	Filtered constant ground arguments:
13.03/4.33	   Tree(x1, x2, x3) -> Tree(x2, x3)
13.03/4.33	Filtered duplicate arguments:
13.03/4.33	   f7539_0_createTree_LE(x1, x2, x3, x4, x5) -> f7539_0_createTree_LE(x1, x3, x4, x5)
13.03/4.33	Filtered unneeded arguments:
13.03/4.33	   f7539_0_createTree_LE(x1, x2, x3, x4) -> f7539_0_createTree_LE(x2, x3, x4)
13.03/4.33	Finished conversion. Obtained 6 rules.P rules:
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3819:0, NULL)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(java.lang.Object(o3858sub:0), o3814:0)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(o3858sub:0), i1176:0 - 1) :|: i1176:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(NULL, o3814:0)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(NULL, o3171:0)), java.lang.Object(Tree(NULL, o3171:0)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3171:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o3171:0)), i1176:0 - 1) :|: i1176:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3819:0, java.lang.Object(o3859sub:0))), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(o3859sub:0), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, NULL)), java.lang.Object(Tree(o3172:0, NULL)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o3172:0, java.lang.Object(Tree(NULL, NULL)))), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(21)
13.03/4.33	Obligation:
13.03/4.33	Rules:
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3819:0, NULL)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), i1176:0 - 1) :|: i1176:0 > 0 && i1245:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(java.lang.Object(x2), x3)), x4) -> f7539_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(x2), x4 - 1) :|: x4 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x5, x6)), java.lang.Object(Tree(NULL, x7)), x8) -> f7539_0_createTree_LE(java.lang.Object(Tree(x9, x10)), java.lang.Object(Tree(x9, x10)), x8 - 1) :|: x8 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(NULL, x11)), java.lang.Object(Tree(NULL, x11)), x12) -> f7539_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x11)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x11)), x12 - 1) :|: x12 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x13, x14)), java.lang.Object(Tree(x15, java.lang.Object(x16))), x17) -> f7539_0_createTree_LE(java.lang.Object(Tree(x13, x14)), java.lang.Object(x16), x17 - 1) :|: x17 > 0 && x18 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x19, NULL)), java.lang.Object(Tree(x19, NULL)), x20) -> f7539_0_createTree_LE(java.lang.Object(Tree(x19, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x19, java.lang.Object(Tree(NULL, NULL)))), x20 - 1) :|: x20 > 0 && x21 > 0
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(22) IRSFormatTransformerProof (EQUIVALENT)
13.03/4.33	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(23)
13.03/4.33	Obligation:
13.03/4.33	Rules:
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3819:0, NULL)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), arith) :|: i1176:0 > 0 && i1245:0 > 0 && arith = i1176:0 - 1
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x22, x23)), java.lang.Object(Tree(java.lang.Object(x24), x25)), x26) -> f7539_0_createTree_LE(java.lang.Object(Tree(x22, x23)), java.lang.Object(x24), x27) :|: x26 > 0 && x27 = x26 - 1
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x28, x29)), java.lang.Object(Tree(NULL, x30)), x31) -> f7539_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x32, x33)), x34) :|: x31 > 0 && x34 = x31 - 1
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7539_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x40, java.lang.Object(x41))), x42) -> f7539_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x41), x43) :|: x42 > 0 && x44 > 0 && x43 = x42 - 1
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x45, NULL)), java.lang.Object(Tree(x45, NULL)), x46) -> f7539_0_createTree_LE(java.lang.Object(Tree(x45, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x45, java.lang.Object(Tree(NULL, NULL)))), x47) :|: x46 > 0 && x48 > 0 && x47 = x46 - 1
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(24) IRSwTTerminationDigraphProof (EQUIVALENT)
13.03/4.33	Constructed termination digraph!
13.03/4.33	Nodes:
13.03/4.33	(1) f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3819:0, NULL)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), arith) :|: i1176:0 > 0 && i1245:0 > 0 && arith = i1176:0 - 1
13.03/4.33	(2) f7539_0_createTree_LE(java.lang.Object(Tree(x22, x23)), java.lang.Object(Tree(java.lang.Object(x24), x25)), x26) -> f7539_0_createTree_LE(java.lang.Object(Tree(x22, x23)), java.lang.Object(x24), x27) :|: x26 > 0 && x27 = x26 - 1
13.03/4.33	(3) f7539_0_createTree_LE(java.lang.Object(Tree(x28, x29)), java.lang.Object(Tree(NULL, x30)), x31) -> f7539_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x32, x33)), x34) :|: x31 > 0 && x34 = x31 - 1
13.03/4.33	(4) f7539_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7539_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
13.03/4.33	(5) f7539_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x40, java.lang.Object(x41))), x42) -> f7539_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x41), x43) :|: x42 > 0 && x44 > 0 && x43 = x42 - 1
13.03/4.33	(6) f7539_0_createTree_LE(java.lang.Object(Tree(x45, NULL)), java.lang.Object(Tree(x45, NULL)), x46) -> f7539_0_createTree_LE(java.lang.Object(Tree(x45, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x45, java.lang.Object(Tree(NULL, NULL)))), x47) :|: x46 > 0 && x48 > 0 && x47 = x46 - 1
13.03/4.33	
13.03/4.33	Arcs:
13.03/4.33	(1) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(2) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(3) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(4) -> (1), (2), (5), (6)
13.03/4.33	(5) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(6) -> (2), (3), (4), (5)
13.03/4.33	
13.03/4.33	This digraph is fully evaluated!
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(25)
13.03/4.33	Obligation:
13.03/4.33	
13.03/4.33	Termination digraph:
13.03/4.33	Nodes:
13.03/4.33	(1) f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0, o3171:0)), java.lang.Object(Tree(o3819:0, NULL)), i1176:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172put:0, o3171put:0)), java.lang.Object(Tree(o3172put:0, o3171put:0)), arith) :|: i1176:0 > 0 && i1245:0 > 0 && arith = i1176:0 - 1
13.03/4.33	(2) f7539_0_createTree_LE(java.lang.Object(Tree(x22, x23)), java.lang.Object(Tree(java.lang.Object(x24), x25)), x26) -> f7539_0_createTree_LE(java.lang.Object(Tree(x22, x23)), java.lang.Object(x24), x27) :|: x26 > 0 && x27 = x26 - 1
13.03/4.33	(3) f7539_0_createTree_LE(java.lang.Object(Tree(x28, x29)), java.lang.Object(Tree(NULL, x30)), x31) -> f7539_0_createTree_LE(java.lang.Object(Tree(x32, x33)), java.lang.Object(Tree(x32, x33)), x34) :|: x31 > 0 && x34 = x31 - 1
13.03/4.33	(4) f7539_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x40, java.lang.Object(x41))), x42) -> f7539_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x41), x43) :|: x42 > 0 && x44 > 0 && x43 = x42 - 1
13.03/4.33	(5) f7539_0_createTree_LE(java.lang.Object(Tree(NULL, x35)), java.lang.Object(Tree(NULL, x35)), x36) -> f7539_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35)), x37) :|: x36 > 0 && x37 = x36 - 1
13.03/4.33	(6) f7539_0_createTree_LE(java.lang.Object(Tree(x45, NULL)), java.lang.Object(Tree(x45, NULL)), x46) -> f7539_0_createTree_LE(java.lang.Object(Tree(x45, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x45, java.lang.Object(Tree(NULL, NULL)))), x47) :|: x46 > 0 && x48 > 0 && x47 = x46 - 1
13.03/4.33	
13.03/4.33	Arcs:
13.03/4.33	(1) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(2) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(3) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(4) -> (1), (2), (3), (4), (5), (6)
13.03/4.33	(5) -> (1), (2), (4), (6)
13.03/4.33	(6) -> (2), (3), (4), (5)
13.03/4.33	
13.03/4.33	This digraph is fully evaluated!
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(26) IntTRSCompressionProof (EQUIVALENT)
13.03/4.33	Compressed rules.
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(27)
13.03/4.33	Obligation:
13.03/4.33	Rules:
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x28:0, x29:0)), java.lang.Object(Tree(NULL, x30:0)), x31:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(x32:0, x33:0)), java.lang.Object(Tree(x32:0, x33:0)), x31:0 - 1) :|: x31:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(o3172:0:0, o3171:0:0)), java.lang.Object(Tree(o3819:0:0, NULL)), i1176:0:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(o3172put:0:0, o3171put:0:0)), java.lang.Object(Tree(o3172put:0:0, o3171put:0:0)), i1176:0:0 - 1) :|: i1176:0:0 > 0 && i1245:0:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x22:0, x23:0)), java.lang.Object(Tree(java.lang.Object(x24:0), x25:0)), x26:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(x22:0, x23:0)), java.lang.Object(x24:0), x26:0 - 1) :|: x26:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(Tree(x40:0, java.lang.Object(x41:0))), x42:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(x41:0), x42:0 - 1) :|: x42:0 > 0 && x44:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(x45:0, NULL)), java.lang.Object(Tree(x45:0, NULL)), x46:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(x45:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x45:0, java.lang.Object(Tree(NULL, NULL)))), x46:0 - 1) :|: x46:0 > 0 && x48:0 > 0
13.03/4.33	f7539_0_createTree_LE(java.lang.Object(Tree(NULL, x35:0)), java.lang.Object(Tree(NULL, x35:0)), x36:0) -> f7539_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x35:0)), x36:0 - 1) :|: x36:0 > 0
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(28) TempFilterProof (SOUND)
13.03/4.33	Used the following sort dictionary for filtering: 
13.03/4.33	f7539_0_createTree_LE(VARIABLE, VARIABLE, INTEGER)
13.03/4.33	java.lang.Object(VARIABLE)
13.03/4.33	Tree(VARIABLE, VARIABLE)
13.03/4.33	NULL()
13.03/4.33	Replaced non-predefined constructor symbols by 0.
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(29)
13.03/4.33	Obligation:
13.03/4.33	Rules:
13.03/4.33	f7539_0_createTree_LE(c, c1, x31:0) -> f7539_0_createTree_LE(c2, c3, c4) :|: c4 = x31:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x31:0 > 0
13.03/4.33	f7539_0_createTree_LE(c5, c6, i1176:0:0) -> f7539_0_createTree_LE(c7, c8, c9) :|: c9 = i1176:0:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (i1176:0:0 > 0 && i1245:0:0 > 0)
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(30) PolynomialOrderProcessor (EQUIVALENT)
13.03/4.33	Found the following polynomial interpretation:
13.03/4.33	[f7539_0_createTree_LE(x, x1, x2)] = c*x + c1*x1 + x2
13.03/4.33	
13.03/4.33	The following rules are decreasing:
13.03/4.33	f7539_0_createTree_LE(c, c1, x31:0) -> f7539_0_createTree_LE(c2, c3, c4) :|: c4 = x31:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x31:0 > 0
13.03/4.33	f7539_0_createTree_LE(c5, c6, i1176:0:0) -> f7539_0_createTree_LE(c7, c8, c9) :|: c9 = i1176:0:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (i1176:0:0 > 0 && i1245:0:0 > 0)
13.03/4.33	The following rules are bounded:
13.03/4.33	f7539_0_createTree_LE(c, c1, x31:0) -> f7539_0_createTree_LE(c2, c3, c4) :|: c4 = x31:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x31:0 > 0
13.03/4.33	f7539_0_createTree_LE(c5, c6, i1176:0:0) -> f7539_0_createTree_LE(c7, c8, c9) :|: c9 = i1176:0:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (i1176:0:0 > 0 && i1245:0:0 > 0)
13.03/4.33	
13.03/4.33	----------------------------------------
13.03/4.33	
13.03/4.33	(31)
13.03/4.33	YES
13.20/4.36	EOF