11.97/4.15	YES
12.30/4.16	proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
12.30/4.16	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
12.30/4.16	
12.30/4.16	
12.30/4.16	termination of the given Bare JBC problem could be proven:
12.30/4.16	
12.30/4.16	(0) Bare JBC problem
12.30/4.16	(1) BareJBCToJBCProof [EQUIVALENT, 95 ms]
12.30/4.16	(2) JBC problem
12.30/4.16	(3) JBCToGraph [EQUIVALENT, 1138 ms]
12.30/4.16	(4) JBCTerminationGraph
12.30/4.16	(5) TerminationGraphToSCCProof [SOUND, 0 ms]
12.30/4.16	(6) AND
12.30/4.16	    (7) JBCTerminationSCC
12.30/4.16	        (8) SCCToIRSProof [SOUND, 313 ms]
12.30/4.16	        (9) IRSwT
12.30/4.16	        (10) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
12.30/4.16	        (11) IRSwT
12.30/4.16	        (12) IRSwTTerminationDigraphProof [EQUIVALENT, 116 ms]
12.30/4.16	        (13) IRSwT
12.30/4.16	        (14) IntTRSCompressionProof [EQUIVALENT, 0 ms]
12.30/4.16	        (15) IRSwT
12.30/4.16	        (16) TempFilterProof [SOUND, 16 ms]
12.30/4.16	        (17) IntTRS
12.30/4.16	        (18) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
12.30/4.16	        (19) YES
12.30/4.16	    (20) JBCTerminationSCC
12.30/4.16	        (21) SCCToQDPProof [SOUND, 141 ms]
12.30/4.16	        (22) QDP
12.30/4.16	        (23) QDPSizeChangeProof [EQUIVALENT, 0 ms]
12.30/4.16	        (24) YES
12.30/4.16	
12.30/4.16	
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(0)
12.30/4.16	Obligation:
12.30/4.16	need to prove termination of the following program:
12.30/4.16	public class List {
12.30/4.16	  Tree value;
12.30/4.16	  List next;
12.30/4.16	
12.30/4.16	  public List(Tree value, List next) {
12.30/4.16	    this.value = value;
12.30/4.16	    this.next = next;
12.30/4.16	  }
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	public class MirrorTree {
12.30/4.16	    public static void main(String[] args) {
12.30/4.16			Random.args = args;
12.30/4.16	        Tree tree = Tree.createTree();
12.30/4.16	
12.30/4.16	        //Now mirror the left-most path:
12.30/4.16			mirror(tree);
12.30/4.16	    }
12.30/4.16	
12.30/4.16		public static void mirror(Tree tree) {
12.30/4.16			Tree cur = tree;
12.30/4.16	        while (cur != null) {
12.30/4.16	            Tree t = cur.left;
12.30/4.16	            cur.left = cur.right;
12.30/4.16	            cur.right = t;
12.30/4.16	            cur = cur.right;
12.30/4.16	        }	
12.30/4.16		}
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	public class Random {
12.30/4.16	  static String[] args;
12.30/4.16	  static int index = 0;
12.30/4.16	
12.30/4.16	  public static int random() {
12.30/4.16	    String string = args[index];
12.30/4.16	    index++;
12.30/4.16	    return string.length();
12.30/4.16	  }
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	public class Tree {
12.30/4.16	  Tree left;
12.30/4.16	  Tree right;
12.30/4.16	  Object value;
12.30/4.16	
12.30/4.16	  public Tree(Tree l, Tree r) {
12.30/4.16	    this.left = l;
12.30/4.16	    this.right = r;
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public Tree() {
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public static Tree createNode() {
12.30/4.16	   if (Random.random() == 0) {
12.30/4.16	      return null;
12.30/4.16	    }
12.30/4.16	    Tree result = new Tree();
12.30/4.16	    return result;
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public static Tree createTree() {
12.30/4.16	    Tree result = createNode();
12.30/4.16	    List list = new List(result, null);
12.30/4.16	    
12.30/4.16	    int counter = Random.random();
12.30/4.16	    while (counter > 0 && list != null) {
12.30/4.16	      Tree first = list.value;
12.30/4.16	      list = list.next;
12.30/4.16	
12.30/4.16	      if (first != null) {
12.30/4.16	        Tree left = createNode();
12.30/4.16	        Tree right = createNode();
12.30/4.16	        first.left = left;
12.30/4.16	        first.right = right;
12.30/4.16	        list = new List(left, list);
12.30/4.16	        list = new List(right, list);
12.30/4.16	      }
12.30/4.16	
12.30/4.16	      counter--;
12.30/4.16	    }
12.30/4.16	
12.30/4.16	    return result;
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public static void main(String[] args) {
12.30/4.16	    Random.args = args;
12.30/4.16	    createTree();
12.30/4.16	  }
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(1) BareJBCToJBCProof (EQUIVALENT)
12.30/4.16	initialized classpath
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(2)
12.30/4.16	Obligation:
12.30/4.16	need to prove termination of the following program:
12.30/4.16	public class List {
12.30/4.16	  Tree value;
12.30/4.16	  List next;
12.30/4.16	
12.30/4.16	  public List(Tree value, List next) {
12.30/4.16	    this.value = value;
12.30/4.16	    this.next = next;
12.30/4.16	  }
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	public class MirrorTree {
12.30/4.16	    public static void main(String[] args) {
12.30/4.16			Random.args = args;
12.30/4.16	        Tree tree = Tree.createTree();
12.30/4.16	
12.30/4.16	        //Now mirror the left-most path:
12.30/4.16			mirror(tree);
12.30/4.16	    }
12.30/4.16	
12.30/4.16		public static void mirror(Tree tree) {
12.30/4.16			Tree cur = tree;
12.30/4.16	        while (cur != null) {
12.30/4.16	            Tree t = cur.left;
12.30/4.16	            cur.left = cur.right;
12.30/4.16	            cur.right = t;
12.30/4.16	            cur = cur.right;
12.30/4.16	        }	
12.30/4.16		}
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	public class Random {
12.30/4.16	  static String[] args;
12.30/4.16	  static int index = 0;
12.30/4.16	
12.30/4.16	  public static int random() {
12.30/4.16	    String string = args[index];
12.30/4.16	    index++;
12.30/4.16	    return string.length();
12.30/4.16	  }
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	public class Tree {
12.30/4.16	  Tree left;
12.30/4.16	  Tree right;
12.30/4.16	  Object value;
12.30/4.16	
12.30/4.16	  public Tree(Tree l, Tree r) {
12.30/4.16	    this.left = l;
12.30/4.16	    this.right = r;
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public Tree() {
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public static Tree createNode() {
12.30/4.16	   if (Random.random() == 0) {
12.30/4.16	      return null;
12.30/4.16	    }
12.30/4.16	    Tree result = new Tree();
12.30/4.16	    return result;
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public static Tree createTree() {
12.30/4.16	    Tree result = createNode();
12.30/4.16	    List list = new List(result, null);
12.30/4.16	    
12.30/4.16	    int counter = Random.random();
12.30/4.16	    while (counter > 0 && list != null) {
12.30/4.16	      Tree first = list.value;
12.30/4.16	      list = list.next;
12.30/4.16	
12.30/4.16	      if (first != null) {
12.30/4.16	        Tree left = createNode();
12.30/4.16	        Tree right = createNode();
12.30/4.16	        first.left = left;
12.30/4.16	        first.right = right;
12.30/4.16	        list = new List(left, list);
12.30/4.16	        list = new List(right, list);
12.30/4.16	      }
12.30/4.16	
12.30/4.16	      counter--;
12.30/4.16	    }
12.30/4.16	
12.30/4.16	    return result;
12.30/4.16	  }
12.30/4.16	
12.30/4.16	  public static void main(String[] args) {
12.30/4.16	    Random.args = args;
12.30/4.16	    createTree();
12.30/4.16	  }
12.30/4.16	}
12.30/4.16	
12.30/4.16	
12.30/4.16	
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(3) JBCToGraph (EQUIVALENT)
12.30/4.16	Constructed TerminationGraph.
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(4)
12.30/4.16	Obligation:
12.30/4.16	Termination Graph based on JBC Program:
12.30/4.16	MirrorTree.main([Ljava/lang/String;)V: Graph of 56 nodes with 1 SCC.
12.30/4.16	
12.30/4.16	
12.30/4.16	
12.30/4.16	Tree.createTree()LTree;: Graph of 407 nodes with 1 SCC.
12.30/4.16	
12.30/4.16	
12.30/4.16	
12.30/4.16	Tree.createNode()LTree;: Graph of 109 nodes with 0 SCCs.
12.30/4.16	
12.30/4.16	
12.30/4.16	
12.30/4.16	
12.30/4.16	
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(5) TerminationGraphToSCCProof (SOUND)
12.30/4.16	Splitted TerminationGraph to 2 SCCss.
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(6)
12.30/4.16	Complex Obligation (AND)
12.30/4.16	
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(7)
12.30/4.16	Obligation:
12.30/4.16	SCC of termination graph based on JBC Program.
12.30/4.16	SCC contains nodes from the following methods: Tree.createTree()LTree;
12.30/4.16	SCC calls the following helper methods: Tree.createNode()LTree;
12.30/4.16	Performed SCC analyses:
12.30/4.16	*Used field analysis yielded the following read fields:
12.30/4.16	*List: [value, next]
12.30/4.16	*Marker field analysis yielded the following relations that could be markers:
12.30/4.16	
12.30/4.16	----------------------------------------
12.30/4.16	
12.30/4.16	(8) SCCToIRSProof (SOUND)
12.30/4.16	Transformed FIGraph SCCs to intTRSs. Log: 
12.30/4.16	Generated rules. Obtained 208 IRulesP rules:
12.30/4.16	f7149_0_createTree_LE(EOS(STATIC_7149), o7844, i5871, i5871) -> f7151_0_createTree_LE(EOS(STATIC_7151), o7844, i5871, i5871) :|: TRUE
12.30/4.16	f7151_0_createTree_LE(EOS(STATIC_7151), o7844, i5871, i5871) -> f7153_0_createTree_Load(EOS(STATIC_7153), o7844, i5871) :|: i5871 > 0
12.30/4.16	f7153_0_createTree_Load(EOS(STATIC_7153), o7844, i5871) -> f7155_0_createTree_NULL(EOS(STATIC_7155), o7844, i5871, o7844) :|: TRUE
12.30/4.16	f7155_0_createTree_NULL(EOS(STATIC_7155), java.lang.Object(o7851sub), i5871, java.lang.Object(o7851sub)) -> f7157_0_createTree_NULL(EOS(STATIC_7157), java.lang.Object(o7851sub), i5871, java.lang.Object(o7851sub)) :|: TRUE
12.30/4.16	f7157_0_createTree_NULL(EOS(STATIC_7157), java.lang.Object(o7851sub), i5871, java.lang.Object(o7851sub)) -> f7159_0_createTree_Load(EOS(STATIC_7159), java.lang.Object(o7851sub), i5871) :|: TRUE
12.30/4.16	f7159_0_createTree_Load(EOS(STATIC_7159), java.lang.Object(o7851sub), i5871) -> f7162_0_createTree_FieldAccess(EOS(STATIC_7162), java.lang.Object(o7851sub), i5871, java.lang.Object(o7851sub)) :|: TRUE
12.30/4.16	f7162_0_createTree_FieldAccess(EOS(STATIC_7162), java.lang.Object(List(EOC, o7858, o7859)), i5871, java.lang.Object(List(EOC, o7858, o7859))) -> f7163_0_createTree_FieldAccess(EOS(STATIC_7163), java.lang.Object(List(EOC, o7858, o7859)), i5871, java.lang.Object(List(EOC, o7858, o7859))) :|: TRUE
12.30/4.16	f7163_0_createTree_FieldAccess(EOS(STATIC_7163), java.lang.Object(List(EOC, o7858, o7859)), i5871, java.lang.Object(List(EOC, o7858, o7859))) -> f7164_0_createTree_Store(EOS(STATIC_7164), java.lang.Object(List(EOC, o7858, o7859)), i5871, o7858) :|: TRUE
12.30/4.16	f7164_0_createTree_Store(EOS(STATIC_7164), java.lang.Object(List(EOC, o7858, o7859)), i5871, o7858) -> f7165_0_createTree_Load(EOS(STATIC_7165), java.lang.Object(List(EOC, o7858, o7859)), i5871, o7858) :|: TRUE
12.30/4.16	f7165_0_createTree_Load(EOS(STATIC_7165), java.lang.Object(List(EOC, o7858, o7859)), i5871, o7858) -> f7166_0_createTree_FieldAccess(EOS(STATIC_7166), i5871, o7858, java.lang.Object(List(EOC, o7858, o7859))) :|: TRUE
12.30/4.16	f7166_0_createTree_FieldAccess(EOS(STATIC_7166), i5871, o7858, java.lang.Object(List(EOC, o7858, o7859))) -> f7167_0_createTree_Store(EOS(STATIC_7167), i5871, o7858, o7859) :|: TRUE
12.30/4.16	f7167_0_createTree_Store(EOS(STATIC_7167), i5871, o7858, o7859) -> f7168_0_createTree_Load(EOS(STATIC_7168), o7859, i5871, o7858) :|: TRUE
12.30/4.16	f7168_0_createTree_Load(EOS(STATIC_7168), o7859, i5871, o7858) -> f7169_0_createTree_NULL(EOS(STATIC_7169), o7859, i5871, o7858, o7858) :|: TRUE
12.30/4.16	f7169_0_createTree_NULL(EOS(STATIC_7169), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(o7860sub)) -> f7170_0_createTree_NULL(EOS(STATIC_7170), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(o7860sub)) :|: TRUE
12.30/4.16	f7169_0_createTree_NULL(EOS(STATIC_7169), o7859, i5871, NULL, NULL) -> f7171_0_createTree_NULL(EOS(STATIC_7171), o7859, i5871, NULL, NULL) :|: TRUE
12.30/4.16	f7170_0_createTree_NULL(EOS(STATIC_7170), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(o7860sub)) -> f7172_0_createTree_InvokeMethod(EOS(STATIC_7172), o7859, i5871, java.lang.Object(o7860sub)) :|: TRUE
12.30/4.16	f7172_0_createTree_InvokeMethod(EOS(STATIC_7172), o7859, i5871, java.lang.Object(o7860sub)) -> f7174_0_createNode_InvokeMethod(EOS(STATIC_7174)) :|: i5871 >= 1 && i5863 >= 1
12.30/4.16	f7172_0_createTree_InvokeMethod(EOS(STATIC_7172), o7859, i5871, java.lang.Object(o7860sub)) -> f7174_1_createNode_InvokeMethod(EOS(STATIC_7174), o7859, i5871, java.lang.Object(o7860sub)) :|: i5871 >= 1 && i5863 >= 1
12.30/4.16	f7174_0_createNode_InvokeMethod(EOS(STATIC_7174)) -> f7416_0_createNode_InvokeMethod(EOS(STATIC_7416)) :|: TRUE
12.30/4.16	f7178_0_createNode_Return(EOS(STATIC_7178), o7859, i5871, java.lang.Object(o7860sub), NULL) -> f7184_0_createTree_Store(EOS(STATIC_7184), o7859, i5871, java.lang.Object(o7860sub), NULL) :|: TRUE
12.30/4.16	f7184_0_createTree_Store(EOS(STATIC_7184), o7859, i5871, java.lang.Object(o7860sub), NULL) -> f7187_0_createTree_InvokeMethod(EOS(STATIC_7187), o7859, i5871, java.lang.Object(o7860sub), NULL) :|: TRUE
12.30/4.16	f7187_0_createTree_InvokeMethod(EOS(STATIC_7187), o7859, i5871, java.lang.Object(o7860sub), NULL) -> f7190_0_createNode_InvokeMethod(EOS(STATIC_7190)) :|: i5871 >= 1 && i5880 >= 1
12.30/4.16	f7187_0_createTree_InvokeMethod(EOS(STATIC_7187), o7859, i5871, java.lang.Object(o7860sub), NULL) -> f7190_1_createNode_InvokeMethod(EOS(STATIC_7190), o7859, i5871, java.lang.Object(o7860sub), NULL) :|: i5871 >= 1 && i5880 >= 1
12.30/4.16	f7190_0_createNode_InvokeMethod(EOS(STATIC_7190)) -> f7436_0_createNode_InvokeMethod(EOS(STATIC_7436)) :|: TRUE
12.30/4.16	f7197_0_createNode_Return(EOS(STATIC_7197), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL) -> f7209_0_createTree_Store(EOS(STATIC_7209), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL) :|: TRUE
12.30/4.16	f7209_0_createTree_Store(EOS(STATIC_7209), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL) -> f7215_0_createTree_Load(EOS(STATIC_7215), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL) :|: TRUE
12.30/4.16	f7215_0_createTree_Load(EOS(STATIC_7215), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL) -> f7221_0_createTree_Load(EOS(STATIC_7221), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL, java.lang.Object(o7860sub)) :|: TRUE
12.30/4.16	f7221_0_createTree_Load(EOS(STATIC_7221), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL, java.lang.Object(o7860sub)) -> f7225_0_createTree_FieldAccess(EOS(STATIC_7225), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL, java.lang.Object(o7860sub), NULL) :|: TRUE
12.30/4.16	f7225_0_createTree_FieldAccess(EOS(STATIC_7225), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f7232_0_createTree_FieldAccess(EOS(STATIC_7232), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.16	f7232_0_createTree_FieldAccess(EOS(STATIC_7232), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f7237_0_createTree_Load(EOS(STATIC_7237), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, NULL) :|: TRUE
12.30/4.16	f7237_0_createTree_Load(EOS(STATIC_7237), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, NULL) -> f7241_0_createTree_Load(EOS(STATIC_7241), o7859, i5871, NULL, NULL, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.16	f7241_0_createTree_Load(EOS(STATIC_7241), o7859, i5871, NULL, NULL, java.lang.Object(Tree(EOC))) -> f7245_0_createTree_FieldAccess(EOS(STATIC_7245), o7859, i5871, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.16	f7245_0_createTree_FieldAccess(EOS(STATIC_7245), o7859, i5871, NULL, NULL, java.lang.Object(Tree(EOC)), NULL) -> f7249_0_createTree_New(EOS(STATIC_7249), o7859, i5871, NULL, NULL) :|: TRUE
12.30/4.16	f7249_0_createTree_New(EOS(STATIC_7249), o7859, i5871, NULL, NULL) -> f7253_0_createTree_Duplicate(EOS(STATIC_7253), o7859, i5871, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7253_0_createTree_Duplicate(EOS(STATIC_7253), o7859, i5871, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f7257_0_createTree_Load(EOS(STATIC_7257), o7859, i5871, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7257_0_createTree_Load(EOS(STATIC_7257), o7859, i5871, NULL, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7261_0_createTree_Load(EOS(STATIC_7261), o7859, i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.16	f7261_0_createTree_Load(EOS(STATIC_7261), o7859, i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7265_0_createTree_InvokeMethod(EOS(STATIC_7265), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) :|: TRUE
12.30/4.16	f7265_0_createTree_InvokeMethod(EOS(STATIC_7265), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) -> f7269_0__init__Load(EOS(STATIC_7269), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) :|: TRUE
12.30/4.16	f7269_0__init__Load(EOS(STATIC_7269), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) -> f7273_0__init__InvokeMethod(EOS(STATIC_7273), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7273_0__init__InvokeMethod(EOS(STATIC_7273), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7277_0__init__Load(EOS(STATIC_7277), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) :|: TRUE
12.30/4.16	f7277_0__init__Load(EOS(STATIC_7277), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) -> f7281_0__init__Load(EOS(STATIC_7281), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7281_0__init__Load(EOS(STATIC_7281), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7285_0__init__FieldAccess(EOS(STATIC_7285), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.16	f7285_0__init__FieldAccess(EOS(STATIC_7285), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7289_0__init__Load(EOS(STATIC_7289), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) :|: TRUE
12.30/4.16	f7289_0__init__Load(EOS(STATIC_7289), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) -> f7293_0__init__Load(EOS(STATIC_7293), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7293_0__init__Load(EOS(STATIC_7293), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7297_0__init__FieldAccess(EOS(STATIC_7297), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) :|: TRUE
12.30/4.16	f7297_0__init__FieldAccess(EOS(STATIC_7297), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) -> f7301_0__init__Return(EOS(STATIC_7301), i5871, NULL, java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.16	f7301_0__init__Return(EOS(STATIC_7301), i5871, NULL, java.lang.Object(List(EOC, NULL, o7859))) -> f7305_0_createTree_Store(EOS(STATIC_7305), i5871, NULL, java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.16	f7305_0_createTree_Store(EOS(STATIC_7305), i5871, NULL, java.lang.Object(List(EOC, NULL, o7859))) -> f7309_0_createTree_New(EOS(STATIC_7309), java.lang.Object(List(EOC, NULL, o7859)), i5871, NULL) :|: TRUE
12.30/4.16	f7309_0_createTree_New(EOS(STATIC_7309), java.lang.Object(List(EOC, NULL, o7859)), i5871, NULL) -> f7313_0_createTree_Duplicate(EOS(STATIC_7313), java.lang.Object(List(EOC, NULL, o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7313_0_createTree_Duplicate(EOS(STATIC_7313), java.lang.Object(List(EOC, NULL, o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f7317_0_createTree_Load(EOS(STATIC_7317), java.lang.Object(List(EOC, NULL, o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7317_0_createTree_Load(EOS(STATIC_7317), java.lang.Object(List(EOC, NULL, o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7321_0_createTree_Load(EOS(STATIC_7321), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.16	f7321_0_createTree_Load(EOS(STATIC_7321), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7325_0_createTree_InvokeMethod(EOS(STATIC_7325), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.16	f7325_0_createTree_InvokeMethod(EOS(STATIC_7325), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859))) -> f7329_0__init__Load(EOS(STATIC_7329), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.16	f7329_0__init__Load(EOS(STATIC_7329), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859))) -> f7333_0__init__InvokeMethod(EOS(STATIC_7333), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7333_0__init__InvokeMethod(EOS(STATIC_7333), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7337_0__init__Load(EOS(STATIC_7337), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.16	f7337_0__init__Load(EOS(STATIC_7337), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859))) -> f7341_0__init__Load(EOS(STATIC_7341), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7341_0__init__Load(EOS(STATIC_7341), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7345_0__init__FieldAccess(EOS(STATIC_7345), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.16	f7345_0__init__FieldAccess(EOS(STATIC_7345), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7349_0__init__Load(EOS(STATIC_7349), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.16	f7349_0__init__Load(EOS(STATIC_7349), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859))) -> f7353_0__init__Load(EOS(STATIC_7353), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7353_0__init__Load(EOS(STATIC_7353), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7357_0__init__FieldAccess(EOS(STATIC_7357), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.16	f7357_0__init__FieldAccess(EOS(STATIC_7357), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859))) -> f7361_0__init__Return(EOS(STATIC_7361), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859))))) :|: TRUE
12.30/4.16	f7361_0__init__Return(EOS(STATIC_7361), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859))))) -> f7365_0_createTree_Store(EOS(STATIC_7365), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859))))) :|: TRUE
12.30/4.16	f7365_0_createTree_Store(EOS(STATIC_7365), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859))))) -> f7369_0_createTree_Inc(EOS(STATIC_7369), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859)))), i5871) :|: TRUE
12.30/4.16	f7369_0_createTree_Inc(EOS(STATIC_7369), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859)))), i5871) -> f7373_0_createTree_JMP(EOS(STATIC_7373), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859)))), i5871 + -1) :|: TRUE
12.30/4.16	f7373_0_createTree_JMP(EOS(STATIC_7373), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859)))), i6943) -> f7377_0_createTree_Load(EOS(STATIC_7377), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859)))), i6943) :|: TRUE
12.30/4.16	f7377_0_createTree_Load(EOS(STATIC_7377), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859)))), i6943) -> f7148_0_createTree_Load(EOS(STATIC_7148), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859)))), i6943) :|: TRUE
12.30/4.16	f7148_0_createTree_Load(EOS(STATIC_7148), o7844, i5864) -> f7149_0_createTree_LE(EOS(STATIC_7149), o7844, i5864, i5864) :|: TRUE
12.30/4.16	f7199_0_createNode_Return(EOS(STATIC_7199), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC))) -> f7210_0_createTree_Store(EOS(STATIC_7210), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.16	f7210_0_createTree_Store(EOS(STATIC_7210), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC))) -> f7216_0_createTree_Load(EOS(STATIC_7216), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.16	f7216_0_createTree_Load(EOS(STATIC_7216), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC))) -> f7222_0_createTree_Load(EOS(STATIC_7222), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o7860sub)) :|: TRUE
12.30/4.16	f7222_0_createTree_Load(EOS(STATIC_7222), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o7860sub)) -> f7226_0_createTree_FieldAccess(EOS(STATIC_7226), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(o7860sub), NULL) :|: TRUE
12.30/4.16	f7226_0_createTree_FieldAccess(EOS(STATIC_7226), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f7233_0_createTree_FieldAccess(EOS(STATIC_7233), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.16	f7233_0_createTree_FieldAccess(EOS(STATIC_7233), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f7238_0_createTree_Load(EOS(STATIC_7238), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.16	f7238_0_createTree_Load(EOS(STATIC_7238), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f7242_0_createTree_Load(EOS(STATIC_7242), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.16	f7242_0_createTree_Load(EOS(STATIC_7242), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7246_0_createTree_FieldAccess(EOS(STATIC_7246), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.16	f7246_0_createTree_FieldAccess(EOS(STATIC_7246), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7250_0_createTree_New(EOS(STATIC_7250), o7859, i5871, NULL, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.16	f7250_0_createTree_New(EOS(STATIC_7250), o7859, i5871, NULL, java.lang.Object(Tree(EOC))) -> f7254_0_createTree_Duplicate(EOS(STATIC_7254), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7254_0_createTree_Duplicate(EOS(STATIC_7254), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f7258_0_createTree_Load(EOS(STATIC_7258), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.16	f7258_0_createTree_Load(EOS(STATIC_7258), o7859, i5871, NULL, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7262_0_createTree_Load(EOS(STATIC_7262), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.16	f7262_0_createTree_Load(EOS(STATIC_7262), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7266_0_createTree_InvokeMethod(EOS(STATIC_7266), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) :|: TRUE
12.30/4.16	f7266_0_createTree_InvokeMethod(EOS(STATIC_7266), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) -> f7270_0__init__Load(EOS(STATIC_7270), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) :|: TRUE
12.30/4.16	f7270_0__init__Load(EOS(STATIC_7270), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) -> f7274_0__init__InvokeMethod(EOS(STATIC_7274), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7274_0__init__InvokeMethod(EOS(STATIC_7274), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7278_0__init__Load(EOS(STATIC_7278), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) :|: TRUE
12.30/4.17	f7278_0__init__Load(EOS(STATIC_7278), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859) -> f7282_0__init__Load(EOS(STATIC_7282), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7282_0__init__Load(EOS(STATIC_7282), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7286_0__init__FieldAccess(EOS(STATIC_7286), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.17	f7286_0__init__FieldAccess(EOS(STATIC_7286), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7290_0__init__Load(EOS(STATIC_7290), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) :|: TRUE
12.30/4.17	f7290_0__init__Load(EOS(STATIC_7290), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) -> f7294_0__init__Load(EOS(STATIC_7294), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7294_0__init__Load(EOS(STATIC_7294), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7298_0__init__FieldAccess(EOS(STATIC_7298), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) :|: TRUE
12.30/4.17	f7298_0__init__FieldAccess(EOS(STATIC_7298), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859) -> f7302_0__init__Return(EOS(STATIC_7302), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.17	f7302_0__init__Return(EOS(STATIC_7302), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) -> f7306_0_createTree_Store(EOS(STATIC_7306), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.17	f7306_0_createTree_Store(EOS(STATIC_7306), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) -> f7310_0_createTree_New(EOS(STATIC_7310), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7310_0_createTree_New(EOS(STATIC_7310), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(Tree(EOC))) -> f7314_0_createTree_Duplicate(EOS(STATIC_7314), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7314_0_createTree_Duplicate(EOS(STATIC_7314), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f7318_0_createTree_Load(EOS(STATIC_7318), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7318_0_createTree_Load(EOS(STATIC_7318), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7322_0_createTree_Load(EOS(STATIC_7322), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7322_0_createTree_Load(EOS(STATIC_7322), java.lang.Object(List(EOC, NULL, o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7326_0_createTree_InvokeMethod(EOS(STATIC_7326), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.17	f7326_0_createTree_InvokeMethod(EOS(STATIC_7326), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) -> f7330_0__init__Load(EOS(STATIC_7330), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.17	f7330_0__init__Load(EOS(STATIC_7330), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) -> f7334_0__init__InvokeMethod(EOS(STATIC_7334), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7334_0__init__InvokeMethod(EOS(STATIC_7334), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7338_0__init__Load(EOS(STATIC_7338), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.17	f7338_0__init__Load(EOS(STATIC_7338), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))) -> f7342_0__init__Load(EOS(STATIC_7342), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7342_0__init__Load(EOS(STATIC_7342), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7346_0__init__FieldAccess(EOS(STATIC_7346), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7346_0__init__FieldAccess(EOS(STATIC_7346), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7350_0__init__Load(EOS(STATIC_7350), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.17	f7350_0__init__Load(EOS(STATIC_7350), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o7859))) -> f7354_0__init__Load(EOS(STATIC_7354), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE
12.30/4.17	f7354_0__init__Load(EOS(STATIC_7354), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o7859)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f7358_0__init__FieldAccess(EOS(STATIC_7358), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o7859))) :|: TRUE
12.30/4.17	f7358_0__init__FieldAccess(EOS(STATIC_7358), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, NULL, o7859))) -> f7362_0__init__Return(EOS(STATIC_7362), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))))) :|: TRUE
12.30/4.17	f7362_0__init__Return(EOS(STATIC_7362), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))))) -> f7366_0_createTree_Store(EOS(STATIC_7366), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))))) :|: TRUE
12.30/4.17	f7366_0_createTree_Store(EOS(STATIC_7366), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859))))) -> f7370_0_createTree_Inc(EOS(STATIC_7370), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)))), i5871) :|: TRUE
12.30/4.17	f7370_0_createTree_Inc(EOS(STATIC_7370), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)))), i5871) -> f7374_0_createTree_JMP(EOS(STATIC_7374), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)))), i5871 + -1) :|: TRUE
12.30/4.17	f7374_0_createTree_JMP(EOS(STATIC_7374), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)))), i6946) -> f7378_0_createTree_Load(EOS(STATIC_7378), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)))), i6946) :|: TRUE
12.30/4.17	f7378_0_createTree_Load(EOS(STATIC_7378), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)))), i6946) -> f7148_0_createTree_Load(EOS(STATIC_7148), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859)))), i6946) :|: TRUE
12.30/4.17	f7180_0_createNode_Return(EOS(STATIC_7180), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) -> f7185_0_createTree_Store(EOS(STATIC_7185), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7185_0_createTree_Store(EOS(STATIC_7185), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) -> f7188_0_createTree_InvokeMethod(EOS(STATIC_7188), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7188_0_createTree_InvokeMethod(EOS(STATIC_7188), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) -> f7191_0_createNode_InvokeMethod(EOS(STATIC_7191)) :|: i5871 >= 1 && i5890 >= 1
12.30/4.17	f7188_0_createTree_InvokeMethod(EOS(STATIC_7188), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) -> f7191_1_createNode_InvokeMethod(EOS(STATIC_7191), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) :|: i5871 >= 1 && i5890 >= 1
12.30/4.17	f7191_0_createNode_InvokeMethod(EOS(STATIC_7191)) -> f7626_0_createNode_InvokeMethod(EOS(STATIC_7626)) :|: TRUE
12.30/4.17	f7203_0_createNode_Return(EOS(STATIC_7203), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL) -> f7212_0_createTree_Store(EOS(STATIC_7212), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.17	f7212_0_createTree_Store(EOS(STATIC_7212), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL) -> f7218_0_createTree_Load(EOS(STATIC_7218), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.17	f7218_0_createTree_Load(EOS(STATIC_7218), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL) -> f7223_0_createTree_Load(EOS(STATIC_7223), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o7860sub)) :|: TRUE
12.30/4.17	f7223_0_createTree_Load(EOS(STATIC_7223), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o7860sub)) -> f7229_0_createTree_FieldAccess(EOS(STATIC_7229), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7229_0_createTree_FieldAccess(EOS(STATIC_7229), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7235_0_createTree_FieldAccess(EOS(STATIC_7235), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7235_0_createTree_FieldAccess(EOS(STATIC_7235), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7239_0_createTree_Load(EOS(STATIC_7239), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.17	f7239_0_createTree_Load(EOS(STATIC_7239), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), NULL) -> f7243_0_createTree_Load(EOS(STATIC_7243), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7243_0_createTree_Load(EOS(STATIC_7243), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC))) -> f7247_0_createTree_FieldAccess(EOS(STATIC_7247), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.17	f7247_0_createTree_FieldAccess(EOS(STATIC_7247), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(Tree(EOC)), NULL) -> f7251_0_createTree_New(EOS(STATIC_7251), o7859, i5871, java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.17	f7251_0_createTree_New(EOS(STATIC_7251), o7859, i5871, java.lang.Object(Tree(EOC)), NULL) -> f7255_0_createTree_Duplicate(EOS(STATIC_7255), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7255_0_createTree_Duplicate(EOS(STATIC_7255), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f7259_0_createTree_Load(EOS(STATIC_7259), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7259_0_createTree_Load(EOS(STATIC_7259), o7859, i5871, java.lang.Object(Tree(EOC)), NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7263_0_createTree_Load(EOS(STATIC_7263), o7859, i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7263_0_createTree_Load(EOS(STATIC_7263), o7859, i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7267_0_createTree_InvokeMethod(EOS(STATIC_7267), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) :|: TRUE
12.30/4.17	f7267_0_createTree_InvokeMethod(EOS(STATIC_7267), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) -> f7271_0__init__Load(EOS(STATIC_7271), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) :|: TRUE
12.30/4.17	f7271_0__init__Load(EOS(STATIC_7271), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) -> f7275_0__init__InvokeMethod(EOS(STATIC_7275), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7275_0__init__InvokeMethod(EOS(STATIC_7275), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7279_0__init__Load(EOS(STATIC_7279), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) :|: TRUE
12.30/4.17	f7279_0__init__Load(EOS(STATIC_7279), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) -> f7283_0__init__Load(EOS(STATIC_7283), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7283_0__init__Load(EOS(STATIC_7283), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7287_0__init__FieldAccess(EOS(STATIC_7287), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7287_0__init__FieldAccess(EOS(STATIC_7287), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7291_0__init__Load(EOS(STATIC_7291), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) :|: TRUE
12.30/4.17	f7291_0__init__Load(EOS(STATIC_7291), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) -> f7295_0__init__Load(EOS(STATIC_7295), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE
12.30/4.17	f7295_0__init__Load(EOS(STATIC_7295), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f7299_0__init__FieldAccess(EOS(STATIC_7299), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) :|: TRUE
12.30/4.17	f7299_0__init__FieldAccess(EOS(STATIC_7299), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) -> f7303_0__init__Return(EOS(STATIC_7303), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7303_0__init__Return(EOS(STATIC_7303), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7307_0_createTree_Store(EOS(STATIC_7307), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7307_0_createTree_Store(EOS(STATIC_7307), i5871, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7311_0_createTree_New(EOS(STATIC_7311), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, NULL) :|: TRUE
12.30/4.17	f7311_0_createTree_New(EOS(STATIC_7311), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, NULL) -> f7315_0_createTree_Duplicate(EOS(STATIC_7315), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7315_0_createTree_Duplicate(EOS(STATIC_7315), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL))) -> f7319_0_createTree_Load(EOS(STATIC_7319), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7319_0_createTree_Load(EOS(STATIC_7319), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, NULL, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7323_0_createTree_Load(EOS(STATIC_7323), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.17	f7323_0_createTree_Load(EOS(STATIC_7323), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7327_0_createTree_InvokeMethod(EOS(STATIC_7327), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7327_0_createTree_InvokeMethod(EOS(STATIC_7327), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7331_0__init__Load(EOS(STATIC_7331), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7331_0__init__Load(EOS(STATIC_7331), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7335_0__init__InvokeMethod(EOS(STATIC_7335), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7335_0__init__InvokeMethod(EOS(STATIC_7335), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7339_0__init__Load(EOS(STATIC_7339), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7339_0__init__Load(EOS(STATIC_7339), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7343_0__init__Load(EOS(STATIC_7343), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7343_0__init__Load(EOS(STATIC_7343), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7347_0__init__FieldAccess(EOS(STATIC_7347), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL)), NULL) :|: TRUE
12.30/4.17	f7347_0__init__FieldAccess(EOS(STATIC_7347), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL)), NULL) -> f7351_0__init__Load(EOS(STATIC_7351), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7351_0__init__Load(EOS(STATIC_7351), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7355_0__init__Load(EOS(STATIC_7355), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7355_0__init__Load(EOS(STATIC_7355), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7359_0__init__FieldAccess(EOS(STATIC_7359), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7359_0__init__FieldAccess(EOS(STATIC_7359), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7363_0__init__Return(EOS(STATIC_7363), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) :|: TRUE
12.30/4.17	f7363_0__init__Return(EOS(STATIC_7363), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) -> f7367_0_createTree_Store(EOS(STATIC_7367), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) :|: TRUE
12.30/4.17	f7367_0_createTree_Store(EOS(STATIC_7367), i5871, java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) -> f7371_0_createTree_Inc(EOS(STATIC_7371), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i5871) :|: TRUE
12.30/4.17	f7371_0_createTree_Inc(EOS(STATIC_7371), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i5871) -> f7375_0_createTree_JMP(EOS(STATIC_7375), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i5871 + -1) :|: TRUE
12.30/4.17	f7375_0_createTree_JMP(EOS(STATIC_7375), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6951) -> f7379_0_createTree_Load(EOS(STATIC_7379), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6951) :|: TRUE
12.30/4.17	f7379_0_createTree_Load(EOS(STATIC_7379), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6951) -> f7148_0_createTree_Load(EOS(STATIC_7148), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6951) :|: TRUE
12.30/4.17	f7205_0_createNode_Return(EOS(STATIC_7205), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7213_0_createTree_Store(EOS(STATIC_7213), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7213_0_createTree_Store(EOS(STATIC_7213), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7219_0_createTree_Load(EOS(STATIC_7219), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7219_0_createTree_Load(EOS(STATIC_7219), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7224_0_createTree_Load(EOS(STATIC_7224), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o7860sub)) :|: TRUE
12.30/4.17	f7224_0_createTree_Load(EOS(STATIC_7224), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o7860sub)) -> f7230_0_createTree_FieldAccess(EOS(STATIC_7230), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7230_0_createTree_FieldAccess(EOS(STATIC_7230), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7236_0_createTree_FieldAccess(EOS(STATIC_7236), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7236_0_createTree_FieldAccess(EOS(STATIC_7236), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7240_0_createTree_Load(EOS(STATIC_7240), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7240_0_createTree_Load(EOS(STATIC_7240), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7244_0_createTree_Load(EOS(STATIC_7244), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7244_0_createTree_Load(EOS(STATIC_7244), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7248_0_createTree_FieldAccess(EOS(STATIC_7248), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7248_0_createTree_FieldAccess(EOS(STATIC_7248), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7252_0_createTree_New(EOS(STATIC_7252), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7252_0_createTree_New(EOS(STATIC_7252), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) -> f7256_0_createTree_Duplicate(EOS(STATIC_7256), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7256_0_createTree_Duplicate(EOS(STATIC_7256), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f7260_0_createTree_Load(EOS(STATIC_7260), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7260_0_createTree_Load(EOS(STATIC_7260), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7264_0_createTree_Load(EOS(STATIC_7264), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7264_0_createTree_Load(EOS(STATIC_7264), o7859, i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7268_0_createTree_InvokeMethod(EOS(STATIC_7268), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) :|: TRUE
12.30/4.17	f7268_0_createTree_InvokeMethod(EOS(STATIC_7268), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) -> f7272_0__init__Load(EOS(STATIC_7272), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) :|: TRUE
12.30/4.17	f7272_0__init__Load(EOS(STATIC_7272), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) -> f7276_0__init__InvokeMethod(EOS(STATIC_7276), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7276_0__init__InvokeMethod(EOS(STATIC_7276), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7280_0__init__Load(EOS(STATIC_7280), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) :|: TRUE
12.30/4.17	f7280_0__init__Load(EOS(STATIC_7280), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859) -> f7284_0__init__Load(EOS(STATIC_7284), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7284_0__init__Load(EOS(STATIC_7284), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), o7859, java.lang.Object(List(EOC, NULL, NULL))) -> f7288_0__init__FieldAccess(EOS(STATIC_7288), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7288_0__init__FieldAccess(EOS(STATIC_7288), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), o7859, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7292_0__init__Load(EOS(STATIC_7292), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) :|: TRUE
12.30/4.17	f7292_0__init__Load(EOS(STATIC_7292), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) -> f7296_0__init__Load(EOS(STATIC_7296), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE
12.30/4.17	f7296_0__init__Load(EOS(STATIC_7296), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f7300_0__init__FieldAccess(EOS(STATIC_7300), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) :|: TRUE
12.30/4.17	f7300_0__init__FieldAccess(EOS(STATIC_7300), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), o7859) -> f7304_0__init__Return(EOS(STATIC_7304), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7304_0__init__Return(EOS(STATIC_7304), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7308_0_createTree_Store(EOS(STATIC_7308), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7308_0_createTree_Store(EOS(STATIC_7308), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7312_0_createTree_New(EOS(STATIC_7312), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7312_0_createTree_New(EOS(STATIC_7312), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(Tree(EOC))) -> f7316_0_createTree_Duplicate(EOS(STATIC_7316), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7316_0_createTree_Duplicate(EOS(STATIC_7316), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL))) -> f7320_0_createTree_Load(EOS(STATIC_7320), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7320_0_createTree_Load(EOS(STATIC_7320), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL))) -> f7324_0_createTree_Load(EOS(STATIC_7324), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7324_0_createTree_Load(EOS(STATIC_7324), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7328_0_createTree_InvokeMethod(EOS(STATIC_7328), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7328_0_createTree_InvokeMethod(EOS(STATIC_7328), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7332_0__init__Load(EOS(STATIC_7332), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7332_0__init__Load(EOS(STATIC_7332), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7336_0__init__InvokeMethod(EOS(STATIC_7336), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7336_0__init__InvokeMethod(EOS(STATIC_7336), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7340_0__init__Load(EOS(STATIC_7340), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7340_0__init__Load(EOS(STATIC_7340), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7344_0__init__Load(EOS(STATIC_7344), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) :|: TRUE
12.30/4.17	f7344_0__init__Load(EOS(STATIC_7344), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL))) -> f7348_0__init__FieldAccess(EOS(STATIC_7348), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7348_0__init__FieldAccess(EOS(STATIC_7348), i5871, java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, NULL, NULL)), java.lang.Object(Tree(EOC))) -> f7352_0__init__Load(EOS(STATIC_7352), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7352_0__init__Load(EOS(STATIC_7352), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7356_0__init__Load(EOS(STATIC_7356), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) :|: TRUE
12.30/4.17	f7356_0__init__Load(EOS(STATIC_7356), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL))) -> f7360_0__init__FieldAccess(EOS(STATIC_7360), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) :|: TRUE
12.30/4.17	f7360_0__init__FieldAccess(EOS(STATIC_7360), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), NULL)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))) -> f7364_0__init__Return(EOS(STATIC_7364), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) :|: TRUE
12.30/4.17	f7364_0__init__Return(EOS(STATIC_7364), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) -> f7368_0_createTree_Store(EOS(STATIC_7368), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) :|: TRUE
12.30/4.17	f7368_0_createTree_Store(EOS(STATIC_7368), i5871, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859))))) -> f7372_0_createTree_Inc(EOS(STATIC_7372), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i5871) :|: TRUE
12.30/4.17	f7372_0_createTree_Inc(EOS(STATIC_7372), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i5871) -> f7376_0_createTree_JMP(EOS(STATIC_7376), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i5871 + -1) :|: TRUE
12.30/4.17	f7376_0_createTree_JMP(EOS(STATIC_7376), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6958) -> f7380_0_createTree_Load(EOS(STATIC_7380), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6958) :|: TRUE
12.30/4.17	f7380_0_createTree_Load(EOS(STATIC_7380), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6958) -> f7148_0_createTree_Load(EOS(STATIC_7148), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859)))), i6958) :|: TRUE
12.30/4.17	f7171_0_createTree_NULL(EOS(STATIC_7171), o7859, i5871, NULL, NULL) -> f7173_0_createTree_Inc(EOS(STATIC_7173), o7859, i5871) :|: TRUE
12.30/4.17	f7173_0_createTree_Inc(EOS(STATIC_7173), o7859, i5871) -> f7175_0_createTree_JMP(EOS(STATIC_7175), o7859, i5871 + -1) :|: TRUE
12.30/4.17	f7175_0_createTree_JMP(EOS(STATIC_7175), o7859, i5876) -> f7177_0_createTree_Load(EOS(STATIC_7177), o7859, i5876) :|: TRUE
12.30/4.17	f7177_0_createTree_Load(EOS(STATIC_7177), o7859, i5876) -> f7148_0_createTree_Load(EOS(STATIC_7148), o7859, i5876) :|: TRUE
12.30/4.17	f7174_1_createNode_InvokeMethod(EOS(STATIC_7174), o7859, i5871, java.lang.Object(o7860sub)) -> f7178_0_createNode_Return(EOS(STATIC_7178), o7859, i5871, java.lang.Object(o7860sub), NULL) :|: TRUE
12.30/4.17	f7174_1_createNode_InvokeMethod(EOS(STATIC_7174), o7859, i5871, java.lang.Object(o7860sub)) -> f7180_0_createNode_Return(EOS(STATIC_7180), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7190_1_createNode_InvokeMethod(EOS(STATIC_7190), o7859, i5871, java.lang.Object(o7860sub), NULL) -> f7197_0_createNode_Return(EOS(STATIC_7197), o7859, i5871, java.lang.Object(o7860sub), NULL, NULL) :|: TRUE
12.30/4.17	f7190_1_createNode_InvokeMethod(EOS(STATIC_7190), o7859, i5871, java.lang.Object(o7860sub), NULL) -> f7199_0_createNode_Return(EOS(STATIC_7199), o7859, i5871, java.lang.Object(o7860sub), NULL, java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	f7191_1_createNode_InvokeMethod(EOS(STATIC_7191), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) -> f7203_0_createNode_Return(EOS(STATIC_7203), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), NULL) :|: TRUE
12.30/4.17	f7191_1_createNode_InvokeMethod(EOS(STATIC_7191), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC))) -> f7205_0_createNode_Return(EOS(STATIC_7205), o7859, i5871, java.lang.Object(o7860sub), java.lang.Object(Tree(EOC)), java.lang.Object(Tree(EOC))) :|: TRUE
12.30/4.17	Combined rules. Obtained 8 IRulesP rules:
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859:0)), i5871:0, i5871:0) -> f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859:0)))), i5871:0 - 1, i5871:0 - 1) :|: i5871:0 > 0 && i5890:0 > 0 && i5863:0 > 0
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859:0)), i5871:0, i5871:0) -> f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859:0)))), i5871:0 - 1, i5871:0 - 1) :|: i5871:0 > 0 && i5890:0 > 0 && i5863:0 > 0
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859:0)), i5871:0, i5871:0) -> f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), java.lang.Object(List(EOC, NULL, o7859:0)))), i5871:0 - 1, i5871:0 - 1) :|: i5871:0 > 0 && i5880:0 > 0 && i5863:0 > 0
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, NULL, o7859:0)), i5871:0, i5871:0) -> f7149_0_createTree_LE(EOS(STATIC_7149), o7859:0, i5871:0 - 1, i5871:0 - 1) :|: i5871:0 > 0
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(Tree(EOC)), o7859:0)), i5871:0, i5871:0) -> f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, NULL, java.lang.Object(List(EOC, NULL, o7859:0)))), i5871:0 - 1, i5871:0 - 1) :|: i5871:0 > 0 && i5880:0 > 0 && i5863:0 > 0
12.30/4.17	Removed following non-SCC rules:
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(o7860sub:0), o7859:0)), i5871:0, i5871:0) -> f7436_0_createNode_InvokeMethod(EOS(STATIC_7436)) :|: i5871:0 > 0 && i5880:0 > 0 && i5863:0 > 0
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(o7860sub:0), o7859:0)), i5871:0, i5871:0) -> f7416_0_createNode_InvokeMethod(EOS(STATIC_7416)) :|: i5871:0 > 0 && i5863:0 > 0
12.30/4.17	f7149_0_createTree_LE(EOS(STATIC_7149), java.lang.Object(List(EOC, java.lang.Object(o7860sub:0), o7859:0)), i5871:0, i5871:0) -> f7626_0_createNode_InvokeMethod(EOS(STATIC_7626)) :|: i5871:0 > 0 && i5890:0 > 0 && i5863:0 > 0
12.30/4.17	Filtered constant ground arguments:
12.30/4.17	   f7149_0_createTree_LE(x1, x2, x3, x4) -> f7149_0_createTree_LE(x2, x3, x4)
12.30/4.17	   EOS(x1) -> EOS
12.30/4.17	   List(x1, x2, x3) -> List(x2, x3)
12.30/4.17	   Tree(x1) -> Tree
12.30/4.17	Filtered duplicate arguments:
12.30/4.17	   f7149_0_createTree_LE(x1, x2, x3) -> f7149_0_createTree_LE(x1, x3)
12.30/4.17	Finished conversion. Obtained 5 rules.P rules:
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o7859:0)))), i5871:0 - 1) :|: i5890:0 > 0 && i5863:0 > 0 && i5871:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), o7859:0)))), i5871:0 - 1) :|: i5890:0 > 0 && i5863:0 > 0 && i5871:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, o7859:0)))), i5871:0 - 1) :|: i5880:0 > 0 && i5863:0 > 0 && i5871:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(NULL, o7859:0)), i5871:0) -> f7149_0_createTree_LE(o7859:0, i5871:0 - 1) :|: i5871:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, o7859:0)))), i5871:0 - 1) :|: i5880:0 > 0 && i5863:0 > 0 && i5871:0 > 0
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(9)
12.30/4.17	Obligation:
12.30/4.17	Rules:
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o7859:0)))), i5871:0 - 1) :|: i5890:0 > 0 && i5863:0 > 0 && i5871:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x)), x1) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x)))), x1 - 1) :|: x2 > 0 && x3 > 0 && x1 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x4)), x5) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x4)))), x5 - 1) :|: x6 > 0 && x7 > 0 && x5 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(NULL, x8)), x9) -> f7149_0_createTree_LE(x8, x9 - 1) :|: x9 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x10)), x11) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x10)))), x11 - 1) :|: x12 > 0 && x13 > 0 && x11 > 0
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(10) IRSFormatTransformerProof (EQUIVALENT)
12.30/4.17	Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(11)
12.30/4.17	Obligation:
12.30/4.17	Rules:
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o7859:0)))), arith) :|: i5890:0 > 0 && i5863:0 > 0 && i5871:0 > 0 && arith = i5871:0 - 1
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(NULL, x24)), x25) -> f7149_0_createTree_LE(x24, x26) :|: x25 > 0 && x26 = x25 - 1
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(12) IRSwTTerminationDigraphProof (EQUIVALENT)
12.30/4.17	Constructed termination digraph!
12.30/4.17	Nodes:
12.30/4.17	(1) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o7859:0)))), arith) :|: i5890:0 > 0 && i5863:0 > 0 && i5871:0 > 0 && arith = i5871:0 - 1
12.30/4.17	(2) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1
12.30/4.17	(3) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1
12.30/4.17	(4) f7149_0_createTree_LE(java.lang.Object(List(NULL, x24)), x25) -> f7149_0_createTree_LE(x24, x26) :|: x25 > 0 && x26 = x25 - 1
12.30/4.17	(5) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1
12.30/4.17	
12.30/4.17	Arcs:
12.30/4.17	(1) -> (1), (2), (3), (5)
12.30/4.17	(2) -> (4)
12.30/4.17	(3) -> (1), (2), (3), (5)
12.30/4.17	(4) -> (1), (2), (3), (4), (5)
12.30/4.17	(5) -> (4)
12.30/4.17	
12.30/4.17	This digraph is fully evaluated!
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(13)
12.30/4.17	Obligation:
12.30/4.17	
12.30/4.17	Termination digraph:
12.30/4.17	Nodes:
12.30/4.17	(1) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0)), i5871:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o7859:0)))), arith) :|: i5890:0 > 0 && i5863:0 > 0 && i5871:0 > 0 && arith = i5871:0 - 1
12.30/4.17	(2) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19)), x20) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x19)))), x21) :|: x22 > 0 && x23 > 0 && x20 > 0 && x21 = x20 - 1
12.30/4.17	(3) f7149_0_createTree_LE(java.lang.Object(List(NULL, x24)), x25) -> f7149_0_createTree_LE(x24, x26) :|: x25 > 0 && x26 = x25 - 1
12.30/4.17	(4) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27)), x28) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27)))), x29) :|: x30 > 0 && x31 > 0 && x28 > 0 && x29 = x28 - 1
12.30/4.17	(5) f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14)), x15) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x14)))), x16) :|: x17 > 0 && x18 > 0 && x15 > 0 && x16 = x15 - 1
12.30/4.17	
12.30/4.17	Arcs:
12.30/4.17	(1) -> (1), (2), (4), (5)
12.30/4.17	(2) -> (1), (2), (4), (5)
12.30/4.17	(3) -> (1), (2), (3), (4), (5)
12.30/4.17	(4) -> (3)
12.30/4.17	(5) -> (3)
12.30/4.17	
12.30/4.17	This digraph is fully evaluated!
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(14) IntTRSCompressionProof (EQUIVALENT)
12.30/4.17	Compressed rules.
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(15)
12.30/4.17	Obligation:
12.30/4.17	Rules:
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x19:0)), x20:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(NULL, x19:0)))), x20:0 - 1) :|: x22:0 > 0 && x23:0 > 0 && x20:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), o7859:0:0)), i5871:0:0) -> f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), java.lang.Object(List(java.lang.Object(Tree), o7859:0:0)))), i5871:0:0 - 1) :|: i5890:0:0 > 0 && i5863:0:0 > 0 && i5871:0:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x27:0)), x28:0) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(NULL, x27:0)))), x28:0 - 1) :|: x30:0 > 0 && x31:0 > 0 && x28:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(NULL, x24:0)), x25:0) -> f7149_0_createTree_LE(x24:0, x25:0 - 1) :|: x25:0 > 0
12.30/4.17	f7149_0_createTree_LE(java.lang.Object(List(java.lang.Object(Tree), x14:0)), x15:0) -> f7149_0_createTree_LE(java.lang.Object(List(NULL, java.lang.Object(List(java.lang.Object(Tree), x14:0)))), x15:0 - 1) :|: x17:0 > 0 && x18:0 > 0 && x15:0 > 0
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(16) TempFilterProof (SOUND)
12.30/4.17	Used the following sort dictionary for filtering: 
12.30/4.17	f7149_0_createTree_LE(VARIABLE, INTEGER)
12.30/4.17	java.lang.Object(VARIABLE)
12.30/4.17	List(VARIABLE, VARIABLE)
12.30/4.17	Tree()
12.30/4.17	NULL()
12.30/4.17	Replaced non-predefined constructor symbols by 0.
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(17)
12.30/4.17	Obligation:
12.30/4.17	Rules:
12.30/4.17	f7149_0_createTree_LE(c, x20:0) -> f7149_0_createTree_LE(c1, c2) :|: c2 = x20:0 - 1 && (c1 = 0 && c = 0) && (x22:0 > 0 && x23:0 > 0 && x20:0 > 0)
12.30/4.17	f7149_0_createTree_LE(c9, x25:0) -> f7149_0_createTree_LE(x24:0, c10) :|: c10 = x25:0 - 1 && c9 = 0 && x25:0 > 0
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(18) PolynomialOrderProcessor (EQUIVALENT)
12.30/4.17	Found the following polynomial interpretation:
12.30/4.17	[f7149_0_createTree_LE(x, x1)] = x1
12.30/4.17	
12.30/4.17	The following rules are decreasing:
12.30/4.17	f7149_0_createTree_LE(c, x20:0) -> f7149_0_createTree_LE(c1, c2) :|: c2 = x20:0 - 1 && (c1 = 0 && c = 0) && (x22:0 > 0 && x23:0 > 0 && x20:0 > 0)
12.30/4.17	f7149_0_createTree_LE(c9, x25:0) -> f7149_0_createTree_LE(x24:0, c10) :|: c10 = x25:0 - 1 && c9 = 0 && x25:0 > 0
12.30/4.17	The following rules are bounded:
12.30/4.17	f7149_0_createTree_LE(c, x20:0) -> f7149_0_createTree_LE(c1, c2) :|: c2 = x20:0 - 1 && (c1 = 0 && c = 0) && (x22:0 > 0 && x23:0 > 0 && x20:0 > 0)
12.30/4.17	f7149_0_createTree_LE(c9, x25:0) -> f7149_0_createTree_LE(x24:0, c10) :|: c10 = x25:0 - 1 && c9 = 0 && x25:0 > 0
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(19)
12.30/4.17	YES
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(20)
12.30/4.17	Obligation:
12.30/4.17	SCC of termination graph based on JBC Program.
12.30/4.17	SCC contains nodes from the following methods: MirrorTree.main([Ljava/lang/String;)V
12.30/4.17	SCC calls the following helper methods: 
12.30/4.17	Performed SCC analyses:
12.30/4.17	*Used field analysis yielded the following read fields:
12.30/4.17	*Tree: [left, right]
12.30/4.17	*Marker field analysis yielded the following relations that could be markers:
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(21) SCCToQDPProof (SOUND)
12.30/4.17	Transformed TerminationGraph SCC to QDP. Log: 
12.30/4.17	Generated 19 rules for P and 0 rules for R.P rules:
12.30/4.17	f5747_0_mirror_NULL(EOS(STATIC_5747), java.lang.Object(o2084sub), java.lang.Object(o2084sub)) -> f5767_0_mirror_NULL(EOS(STATIC_5767), java.lang.Object(o2084sub), java.lang.Object(o2084sub)) :|: TRUE
12.30/4.17	f5767_0_mirror_NULL(EOS(STATIC_5767), java.lang.Object(o2084sub), java.lang.Object(o2084sub)) -> f5794_0_mirror_Load(EOS(STATIC_5794), java.lang.Object(o2084sub)) :|: TRUE
12.30/4.17	f5794_0_mirror_Load(EOS(STATIC_5794), java.lang.Object(o2084sub)) -> f5797_0_mirror_FieldAccess(EOS(STATIC_5797), java.lang.Object(o2084sub), java.lang.Object(o2084sub)) :|: TRUE
12.30/4.17	f5797_0_mirror_FieldAccess(EOS(STATIC_5797), java.lang.Object(Tree(EOC, o2116, o2117)), java.lang.Object(Tree(EOC, o2116, o2117))) -> f5808_0_mirror_FieldAccess(EOS(STATIC_5808), java.lang.Object(Tree(EOC, o2116, o2117)), java.lang.Object(Tree(EOC, o2116, o2117))) :|: TRUE
12.30/4.17	f5808_0_mirror_FieldAccess(EOS(STATIC_5808), java.lang.Object(Tree(EOC, o2116, o2117)), java.lang.Object(Tree(EOC, o2116, o2117))) -> f5890_0_mirror_Store(EOS(STATIC_5890), java.lang.Object(Tree(EOC, o2116, o2117)), o2116) :|: TRUE
12.30/4.17	f5890_0_mirror_Store(EOS(STATIC_5890), java.lang.Object(Tree(EOC, o2116, o2117)), o2116) -> f6403_0_mirror_Load(EOS(STATIC_6403), java.lang.Object(Tree(EOC, o2116, o2117)), o2116) :|: TRUE
12.30/4.17	f6403_0_mirror_Load(EOS(STATIC_6403), java.lang.Object(Tree(EOC, o2116, o2117)), o2116) -> f6418_0_mirror_Load(EOS(STATIC_6418), java.lang.Object(Tree(EOC, o2116, o2117)), o2116, java.lang.Object(Tree(EOC, o2116, o2117))) :|: TRUE
12.30/4.17	f6418_0_mirror_Load(EOS(STATIC_6418), java.lang.Object(Tree(EOC, o2116, o2117)), o2116, java.lang.Object(Tree(EOC, o2116, o2117))) -> f6438_0_mirror_FieldAccess(EOS(STATIC_6438), java.lang.Object(Tree(EOC, o2116, o2117)), o2116, java.lang.Object(Tree(EOC, o2116, o2117)), java.lang.Object(Tree(EOC, o2116, o2117))) :|: TRUE
12.30/4.17	f6438_0_mirror_FieldAccess(EOS(STATIC_6438), java.lang.Object(Tree(EOC, o2116, o2117)), o2116, java.lang.Object(Tree(EOC, o2116, o2117)), java.lang.Object(Tree(EOC, o2116, o2117))) -> f6474_0_mirror_FieldAccess(EOS(STATIC_6474), java.lang.Object(Tree(EOC, o2116, o2117)), o2116, java.lang.Object(Tree(EOC, o2116, o2117)), o2117) :|: TRUE
12.30/4.17	f6474_0_mirror_FieldAccess(EOS(STATIC_6474), java.lang.Object(Tree(EOC, o2116, o2117)), o2116, java.lang.Object(Tree(EOC, o2116, o2117)), o2117) -> f6504_0_mirror_Load(EOS(STATIC_6504), java.lang.Object(Tree(EOC, o2117, o2117)), o2116) :|: TRUE
12.30/4.17	f6504_0_mirror_Load(EOS(STATIC_6504), java.lang.Object(Tree(EOC, o2117, o2117)), o2116) -> f6519_0_mirror_Load(EOS(STATIC_6519), java.lang.Object(Tree(EOC, o2117, o2117)), o2116, java.lang.Object(Tree(EOC, o2117, o2117))) :|: TRUE
12.30/4.17	f6519_0_mirror_Load(EOS(STATIC_6519), java.lang.Object(Tree(EOC, o2117, o2117)), o2116, java.lang.Object(Tree(EOC, o2117, o2117))) -> f6523_0_mirror_FieldAccess(EOS(STATIC_6523), java.lang.Object(Tree(EOC, o2117, o2117)), java.lang.Object(Tree(EOC, o2117, o2117)), o2116) :|: TRUE
12.30/4.17	f6523_0_mirror_FieldAccess(EOS(STATIC_6523), java.lang.Object(Tree(EOC, o2117, o2117)), java.lang.Object(Tree(EOC, o2117, o2117)), o2116) -> f6588_0_mirror_Load(EOS(STATIC_6588), java.lang.Object(Tree(EOC, o2117, o2116))) :|: TRUE
12.30/4.17	f6588_0_mirror_Load(EOS(STATIC_6588), java.lang.Object(Tree(EOC, o2117, o2116))) -> f6602_0_mirror_FieldAccess(EOS(STATIC_6602), java.lang.Object(Tree(EOC, o2117, o2116))) :|: TRUE
12.30/4.17	f6602_0_mirror_FieldAccess(EOS(STATIC_6602), java.lang.Object(Tree(EOC, o2117, o2116))) -> f6610_0_mirror_Store(EOS(STATIC_6610), o2116) :|: TRUE
12.30/4.17	f6610_0_mirror_Store(EOS(STATIC_6610), o2116) -> f6618_0_mirror_JMP(EOS(STATIC_6618), o2116) :|: TRUE
12.30/4.17	f6618_0_mirror_JMP(EOS(STATIC_6618), o2116) -> f6625_0_mirror_Load(EOS(STATIC_6625), o2116) :|: TRUE
12.30/4.17	f6625_0_mirror_Load(EOS(STATIC_6625), o2116) -> f5717_0_mirror_Load(EOS(STATIC_5717), o2116) :|: TRUE
12.30/4.17	f5717_0_mirror_Load(EOS(STATIC_5717), o1999) -> f5747_0_mirror_NULL(EOS(STATIC_5747), o1999, o1999) :|: TRUE
12.30/4.17	R rules:
12.30/4.17	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
12.30/4.17	f5747_0_mirror_NULL(EOS(STATIC_5747), java.lang.Object(Tree(EOC, o2116:0, o2117:0)), java.lang.Object(Tree(EOC, o2116:0, o2117:0))) -> f5747_0_mirror_NULL(EOS(STATIC_5747), o2116:0, o2116:0) :|: TRUE
12.30/4.17	R rules:
12.30/4.17	Filtered ground terms:
12.30/4.17	   f5747_0_mirror_NULL(x1, x2, x3) -> f5747_0_mirror_NULL(x2, x3)
12.30/4.17	   EOS(x1) -> EOS
12.30/4.17	   Tree(x1, x2, x3) -> Tree(x2, x3)
12.30/4.17	Filtered unneeded arguments:
12.30/4.17	   Tree(x1, x2) -> Tree(x1)
12.30/4.17	Filtered duplicate args:
12.30/4.17	   f5747_0_mirror_NULL(x1, x2) -> f5747_0_mirror_NULL(x2)
12.30/4.17	Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
12.30/4.17	F5747_0_MIRROR_NULL(java.lang.Object(Tree(o2116:0:0))) -> F5747_0_MIRROR_NULL(o2116:0:0) :|: TRUE
12.30/4.17	R rules:
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(22)
12.30/4.17	Obligation:
12.30/4.17	Q DP problem:
12.30/4.17	The TRS P consists of the following rules:
12.30/4.17	
12.30/4.17	   F5747_0_MIRROR_NULL(java.lang.Object(Tree(o2116:0:0))) -> F5747_0_MIRROR_NULL(o2116:0:0)
12.30/4.17	
12.30/4.17	R is empty.
12.30/4.17	Q is empty.
12.30/4.17	We have to consider all minimal (P,Q,R)-chains.
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(23) QDPSizeChangeProof (EQUIVALENT)
12.30/4.17	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. 
12.30/4.17	
12.30/4.17	From the DPs we obtained the following set of size-change graphs:
12.30/4.17	*F5747_0_MIRROR_NULL(java.lang.Object(Tree(o2116:0:0))) -> F5747_0_MIRROR_NULL(o2116:0:0)
12.30/4.17	The graph contains the following edges 1 > 1
12.30/4.17	
12.30/4.17	
12.30/4.17	----------------------------------------
12.30/4.17	
12.30/4.17	(24)
12.30/4.17	YES
12.35/4.21	EOF