/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.jar /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


YES
proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
# AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty


termination of the given Bare JBC problem could be proven:

(0) Bare JBC problem
(1) BareJBCToJBCProof [EQUIVALENT, 97 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1176 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 233 ms]
        (9) QDP
        (10) UsableRulesReductionPairsProof [EQUIVALENT, 65 ms]
        (11) QDP
        (12) PisEmptyProof [EQUIVALENT, 0 ms]
        (13) YES
    (14) JBCTerminationSCC
        (15) SCCToQDPProof [SOUND, 197 ms]
        (16) QDP
        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (18) YES
    (19) JBCTerminationSCC
        (20) SCCToQDPProof [SOUND, 363 ms]
        (21) QDP
        (22) DependencyGraphProof [EQUIVALENT, 0 ms]
        (23) QDP
        (24) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (25) YES
    (26) JBCTerminationSCC
        (27) SCCToIRSProof [SOUND, 258 ms]
        (28) IRSwT
        (29) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (30) IRSwT
        (31) IRSwTTerminationDigraphProof [EQUIVALENT, 153 ms]
        (32) IRSwT
        (33) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (34) IRSwT
        (35) TempFilterProof [SOUND, 17 ms]
        (36) IntTRS
        (37) PolynomialOrderProcessor [EQUIVALENT, 0 ms]
        (38) YES


----------------------------------------

(0)
Obligation:
need to prove termination of the following program:
public class Count {
  public static void main(String[] args) {
    Random.args = args;
    Tree tree = Tree.createTree();

    int c = count(tree);
  }

  public static Tree flatten(Tree start) {
    Tree result = null;
    Tree s,t,u;

    while (start != null) {

      if (start.left == null) {

        result = new Tree(null,result);
        start = start.right;
      }
      else {
        s = start.left.left;
        t = start.left.right;
        u = start.right;
        start = new Tree(s, new Tree(t,u));



      }
    }

    return result;
  }


  public static int count(Tree start) {

    int res = 0;

    while (start != null) {

      if (start.left == null) {

        res++;
        start = start.right;
      }
      else {
        start = flatten(start);    

      }
    }

    return res;
  }
}


public class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    String string = args[index];
    index++;
    return string.length();
  }
}


public class Tree {
  Tree left;
  Tree right;
  Object value;

  public Tree(Tree l, Tree r) {
    this.left = l;
    this.right = r;
  }

  public Tree() {
  }

  public static Tree createNode() {
    Tree result = new Tree();
    result.value = new Object();
    return result;
  }

  public static Tree createTree() {
    int counter = Random.random();
    if (counter == 0) {
      return null;
    }
    Tree result = createNode();
    Tree t = result;

    while (counter > 0) {
      int branch = Random.random();
      if (branch > 0) {
        if (t.left == null) {
          t.left = createNode();
          t = result;
        } else {
          t = t.left;
        }
      } else {
        if (t.right == null) {
          t.right = createNode();
          t = result;
        } else {
          t = t.right;
        }
      }
      counter--;
    }

    return result;
  }
  public static void main(String[] args) {
    Random.args = args;
    createTree();
  }
}



----------------------------------------

(1) BareJBCToJBCProof (EQUIVALENT)
initialized classpath
----------------------------------------

(2)
Obligation:
need to prove termination of the following program:
public class Count {
  public static void main(String[] args) {
    Random.args = args;
    Tree tree = Tree.createTree();

    int c = count(tree);
  }

  public static Tree flatten(Tree start) {
    Tree result = null;
    Tree s,t,u;

    while (start != null) {

      if (start.left == null) {

        result = new Tree(null,result);
        start = start.right;
      }
      else {
        s = start.left.left;
        t = start.left.right;
        u = start.right;
        start = new Tree(s, new Tree(t,u));



      }
    }

    return result;
  }


  public static int count(Tree start) {

    int res = 0;

    while (start != null) {

      if (start.left == null) {

        res++;
        start = start.right;
      }
      else {
        start = flatten(start);    

      }
    }

    return res;
  }
}


public class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    String string = args[index];
    index++;
    return string.length();
  }
}


public class Tree {
  Tree left;
  Tree right;
  Object value;

  public Tree(Tree l, Tree r) {
    this.left = l;
    this.right = r;
  }

  public Tree() {
  }

  public static Tree createNode() {
    Tree result = new Tree();
    result.value = new Object();
    return result;
  }

  public static Tree createTree() {
    int counter = Random.random();
    if (counter == 0) {
      return null;
    }
    Tree result = createNode();
    Tree t = result;

    while (counter > 0) {
      int branch = Random.random();
      if (branch > 0) {
        if (t.left == null) {
          t.left = createNode();
          t = result;
        } else {
          t = t.left;
        }
      } else {
        if (t.right == null) {
          t.right = createNode();
          t = result;
        } else {
          t = t.right;
        }
      }
      counter--;
    }

    return result;
  }
  public static void main(String[] args) {
    Random.args = args;
    createTree();
  }
}



----------------------------------------

(3) JBCToGraph (EQUIVALENT)
Constructed TerminationGraph.
----------------------------------------

(4)
Obligation:
Termination Graph based on JBC Program:
Count.main([Ljava/lang/String;)V: Graph of 45 nodes with 0 SCCs.



Tree.createTree()LTree;: Graph of 316 nodes with 1 SCC.



Count.count(LTree;)I: Graph of 34 nodes with 1 SCC.



Count.flatten(LTree;)LTree;: Graph of 148 nodes with 2 SCCs.





----------------------------------------

(5) TerminationGraphToSCCProof (SOUND)
Splitted TerminationGraph to 4 SCCss.
----------------------------------------

(6)
Complex Obligation (AND)

----------------------------------------

(7)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Count.flatten(LTree;)LTree;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*Tree: [left, right]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 72 rules for P and 0 rules for R.P rules:
f7285_0_flatten_NULL(EOS(STATIC_7285), java.lang.Object(o3142sub), java.lang.Object(o3142sub)) -> f7288_0_flatten_NULL(EOS(STATIC_7288), java.lang.Object(o3142sub), java.lang.Object(o3142sub)) :|: TRUE
f7288_0_flatten_NULL(EOS(STATIC_7288), java.lang.Object(o3142sub), java.lang.Object(o3142sub)) -> f7292_0_flatten_Load(EOS(STATIC_7292), java.lang.Object(o3142sub)) :|: TRUE
f7292_0_flatten_Load(EOS(STATIC_7292), java.lang.Object(o3142sub)) -> f7296_0_flatten_FieldAccess(EOS(STATIC_7296), java.lang.Object(o3142sub), java.lang.Object(o3142sub)) :|: TRUE
f7296_0_flatten_FieldAccess(EOS(STATIC_7296), java.lang.Object(Tree(EOC, o3186, o3187)), java.lang.Object(Tree(EOC, o3186, o3187))) -> f7300_0_flatten_FieldAccess(EOS(STATIC_7300), java.lang.Object(Tree(EOC, o3186, o3187)), java.lang.Object(Tree(EOC, o3186, o3187))) :|: TRUE
f7300_0_flatten_FieldAccess(EOS(STATIC_7300), java.lang.Object(Tree(EOC, o3186, o3187)), java.lang.Object(Tree(EOC, o3186, o3187))) -> f7304_0_flatten_NONNULL(EOS(STATIC_7304), java.lang.Object(Tree(EOC, o3186, o3187)), o3186) :|: TRUE
f7304_0_flatten_NONNULL(EOS(STATIC_7304), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(o3235sub)) -> f7307_0_flatten_NONNULL(EOS(STATIC_7307), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(o3235sub)) :|: TRUE
f7304_0_flatten_NONNULL(EOS(STATIC_7304), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7308_0_flatten_NONNULL(EOS(STATIC_7308), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7307_0_flatten_NONNULL(EOS(STATIC_7307), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(o3235sub)) -> f7313_0_flatten_Load(EOS(STATIC_7313), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187))) :|: TRUE
f7313_0_flatten_Load(EOS(STATIC_7313), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187))) -> f7320_0_flatten_FieldAccess(EOS(STATIC_7320), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187))) :|: TRUE
f7320_0_flatten_FieldAccess(EOS(STATIC_7320), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187))) -> f7327_0_flatten_FieldAccess(EOS(STATIC_7327), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(o3235sub)) :|: TRUE
f7327_0_flatten_FieldAccess(EOS(STATIC_7327), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, o3345, o3346))) -> f7334_0_flatten_FieldAccess(EOS(STATIC_7334), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, o3345, o3346))) :|: TRUE
f7334_0_flatten_FieldAccess(EOS(STATIC_7334), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, o3345, o3346))) -> f7340_0_flatten_Store(EOS(STATIC_7340), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345) :|: TRUE
f7340_0_flatten_Store(EOS(STATIC_7340), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345) -> f7346_0_flatten_Load(EOS(STATIC_7346), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345) :|: TRUE
f7346_0_flatten_Load(EOS(STATIC_7346), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345) -> f7352_0_flatten_FieldAccess(EOS(STATIC_7352), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) :|: TRUE
f7352_0_flatten_FieldAccess(EOS(STATIC_7352), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) -> f7357_0_flatten_FieldAccess(EOS(STATIC_7357), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, java.lang.Object(Tree(EOC, o3345, o3346))) :|: TRUE
f7357_0_flatten_FieldAccess(EOS(STATIC_7357), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, java.lang.Object(Tree(EOC, o3345, o3346))) -> f7359_0_flatten_Store(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, o3346) :|: TRUE
f7359_0_flatten_Store(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, o3346) -> f7361_0_flatten_Load(EOS(STATIC_7361), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, o3346) :|: TRUE
f7361_0_flatten_Load(EOS(STATIC_7361), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), o3345, o3346) -> f7363_0_flatten_FieldAccess(EOS(STATIC_7363), o3345, o3346, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) :|: TRUE
f7363_0_flatten_FieldAccess(EOS(STATIC_7363), o3345, o3346, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) -> f7365_0_flatten_Store(EOS(STATIC_7365), o3345, o3346, o3187) :|: TRUE
f7365_0_flatten_Store(EOS(STATIC_7365), o3345, o3346, o3187) -> f7367_0_flatten_New(EOS(STATIC_7367), o3345, o3346, o3187) :|: TRUE
f7367_0_flatten_New(EOS(STATIC_7367), o3345, o3346, o3187) -> f7369_0_flatten_Duplicate(EOS(STATIC_7369), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7369_0_flatten_Duplicate(EOS(STATIC_7369), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7371_0_flatten_Load(EOS(STATIC_7371), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7371_0_flatten_Load(EOS(STATIC_7371), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7373_0_flatten_New(EOS(STATIC_7373), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) :|: TRUE
f7373_0_flatten_New(EOS(STATIC_7373), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) -> f7375_0_flatten_Duplicate(EOS(STATIC_7375), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7375_0_flatten_Duplicate(EOS(STATIC_7375), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7377_0_flatten_Load(EOS(STATIC_7377), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7377_0_flatten_Load(EOS(STATIC_7377), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7379_0_flatten_Load(EOS(STATIC_7379), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346) :|: TRUE
f7379_0_flatten_Load(EOS(STATIC_7379), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346) -> f7381_0_flatten_InvokeMethod(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) :|: TRUE
f7381_0_flatten_InvokeMethod(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) -> f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) :|: TRUE
f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) -> f7385_0__init__InvokeMethod(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7385_0__init__InvokeMethod(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7386_0__init__Load(EOS(STATIC_7386), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) :|: TRUE
f7386_0__init__Load(EOS(STATIC_7386), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) -> f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7388_0__init__FieldAccess(EOS(STATIC_7388), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), o3346) :|: TRUE
f7388_0__init__FieldAccess(EOS(STATIC_7388), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), o3346) -> f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) :|: TRUE
f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) -> f7390_0__init__Load(EOS(STATIC_7390), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), o3187, java.lang.Object(Tree(EOC, o3346, NULL))) :|: TRUE
f7390_0__init__Load(EOS(STATIC_7390), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), o3187, java.lang.Object(Tree(EOC, o3346, NULL))) -> f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) :|: TRUE
f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) -> f7392_0__init__Return(EOS(STATIC_7392), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7392_0__init__Return(EOS(STATIC_7392), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7393_0_flatten_InvokeMethod(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7393_0_flatten_InvokeMethod(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7394_0__init__Load(EOS(STATIC_7394), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7394_0__init__Load(EOS(STATIC_7394), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7395_0__init__InvokeMethod(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7395_0__init__InvokeMethod(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7396_0__init__Load(EOS(STATIC_7396), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7396_0__init__Load(EOS(STATIC_7396), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7397_0__init__Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7397_0__init__Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7398_0__init__FieldAccess(EOS(STATIC_7398), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) :|: TRUE
f7398_0__init__FieldAccess(EOS(STATIC_7398), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) -> f7399_0__init__Load(EOS(STATIC_7399), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7399_0__init__Load(EOS(STATIC_7399), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) -> f7400_0__init__Load(EOS(STATIC_7400), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, o3345, NULL))) :|: TRUE
f7400_0__init__Load(EOS(STATIC_7400), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, o3345, NULL))) -> f7401_0__init__FieldAccess(EOS(STATIC_7401), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7401_0__init__FieldAccess(EOS(STATIC_7401), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) -> f7402_0__init__Return(EOS(STATIC_7402), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) :|: TRUE
f7402_0__init__Return(EOS(STATIC_7402), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) -> f7403_0_flatten_Store(EOS(STATIC_7403), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) :|: TRUE
f7403_0_flatten_Store(EOS(STATIC_7403), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) -> f7404_0_flatten_JMP(EOS(STATIC_7404), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) :|: TRUE
f7404_0_flatten_JMP(EOS(STATIC_7404), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) -> f7405_0_flatten_Load(EOS(STATIC_7405), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) :|: TRUE
f7405_0_flatten_Load(EOS(STATIC_7405), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) -> f7282_0_flatten_Load(EOS(STATIC_7282), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) :|: TRUE
f7282_0_flatten_Load(EOS(STATIC_7282), o3102) -> f7285_0_flatten_NULL(EOS(STATIC_7285), o3102, o3102) :|: TRUE
f7308_0_flatten_NONNULL(EOS(STATIC_7308), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7314_0_flatten_New(EOS(STATIC_7314), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7314_0_flatten_New(EOS(STATIC_7314), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7321_0_flatten_Duplicate(EOS(STATIC_7321), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7321_0_flatten_Duplicate(EOS(STATIC_7321), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7328_0_flatten_ConstantStackPush(EOS(STATIC_7328), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7328_0_flatten_ConstantStackPush(EOS(STATIC_7328), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7335_0_flatten_Load(EOS(STATIC_7335), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7335_0_flatten_Load(EOS(STATIC_7335), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7341_0_flatten_InvokeMethod(EOS(STATIC_7341), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7341_0_flatten_InvokeMethod(EOS(STATIC_7341), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7347_0__init__Load(EOS(STATIC_7347), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7347_0__init__Load(EOS(STATIC_7347), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7358_0__init__InvokeMethod(EOS(STATIC_7358), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7358_0__init__InvokeMethod(EOS(STATIC_7358), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7360_0__init__Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7360_0__init__Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7362_0__init__Load(EOS(STATIC_7362), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7362_0__init__Load(EOS(STATIC_7362), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7364_0__init__FieldAccess(EOS(STATIC_7364), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) :|: TRUE
f7364_0__init__FieldAccess(EOS(STATIC_7364), java.lang.Object(Tree(EOC, NULL, o3187)), NULL) -> f7366_0__init__Load(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7366_0__init__Load(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7368_0__init__Load(EOS(STATIC_7368), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7368_0__init__Load(EOS(STATIC_7368), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7370_0__init__FieldAccess(EOS(STATIC_7370), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7370_0__init__FieldAccess(EOS(STATIC_7370), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7372_0__init__Return(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7372_0__init__Return(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7374_0_flatten_Store(EOS(STATIC_7374), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7374_0_flatten_Store(EOS(STATIC_7374), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7376_0_flatten_Load(EOS(STATIC_7376), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7376_0_flatten_Load(EOS(STATIC_7376), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7380_0_flatten_Store(EOS(STATIC_7380), o3187) :|: TRUE
f7380_0_flatten_Store(EOS(STATIC_7380), o3187) -> f7382_0_flatten_JMP(EOS(STATIC_7382), o3187) :|: TRUE
f7382_0_flatten_JMP(EOS(STATIC_7382), o3187) -> f7384_0_flatten_Load(EOS(STATIC_7384), o3187) :|: TRUE
f7384_0_flatten_Load(EOS(STATIC_7384), o3187) -> f7282_0_flatten_Load(EOS(STATIC_7282), o3187) :|: TRUE
R rules:
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
f7285_0_flatten_NULL(EOS(STATIC_7285), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345:0, o3346:0)), o3187:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345:0, o3346:0)), o3187:0))) -> f7285_0_flatten_NULL(EOS(STATIC_7285), java.lang.Object(Tree(EOC, o3345:0, java.lang.Object(Tree(EOC, o3346:0, o3187:0)))), java.lang.Object(Tree(EOC, o3345:0, java.lang.Object(Tree(EOC, o3346:0, o3187:0))))) :|: TRUE
f7285_0_flatten_NULL(EOS(STATIC_7285), java.lang.Object(Tree(EOC, NULL, o3187:0)), java.lang.Object(Tree(EOC, NULL, o3187:0))) -> f7285_0_flatten_NULL(EOS(STATIC_7285), o3187:0, o3187:0) :|: TRUE
R rules:
Filtered ground terms:
   f7285_0_flatten_NULL(x1, x2, x3) -> f7285_0_flatten_NULL(x2, x3)
   EOS(x1) -> EOS
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f7285_0_flatten_NULL(x1, x2) -> f7285_0_flatten_NULL(x2)
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
F7285_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3187:0:0))) -> F7285_0_FLATTEN_NULL(o3187:0:0) :|: TRUE
F7285_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3345:0:0, o3346:0:0)), o3187:0:0))) -> F7285_0_FLATTEN_NULL(java.lang.Object(Tree(o3345:0:0, java.lang.Object(Tree(o3346:0:0, o3187:0:0))))) :|: TRUE
R rules:

----------------------------------------

(9)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F7285_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3187:0:0))) -> F7285_0_FLATTEN_NULL(o3187:0:0)
   F7285_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3345:0:0, o3346:0:0)), o3187:0:0))) -> F7285_0_FLATTEN_NULL(java.lang.Object(Tree(o3345:0:0, java.lang.Object(Tree(o3346:0:0, o3187:0:0)))))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(10) UsableRulesReductionPairsProof (EQUIVALENT)
By using the usable rules with reduction pair processor [LPAR04] with a polynomial ordering [POLO], all dependency pairs and the corresponding usable rules [FROCOS05] can be oriented non-strictly. All non-usable rules are removed, and those dependency pairs and usable rules that have been oriented strictly or contain non-usable symbols in their left-hand side are removed as well.

The following dependency pairs can be deleted:

   F7285_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3187:0:0))) -> F7285_0_FLATTEN_NULL(o3187:0:0)
   F7285_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3345:0:0, o3346:0:0)), o3187:0:0))) -> F7285_0_FLATTEN_NULL(java.lang.Object(Tree(o3345:0:0, java.lang.Object(Tree(o3346:0:0, o3187:0:0)))))
No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

   POL(F7285_0_FLATTEN_NULL(x_1)) = 2*x_1
   POL(NULL) = 0
   POL(Tree(x_1, x_2)) = 2*x_1 + x_2
   POL(java.lang.Object(x_1)) = 1 + x_1


----------------------------------------

(11)
Obligation:
Q DP problem:
P is empty.
R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(12) PisEmptyProof (EQUIVALENT)
The TRS P is empty. Hence, there is no (P,Q,R) chain.
----------------------------------------

(13)
YES

----------------------------------------

(14)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Count.flatten(LTree;)LTree;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*Tree: [left, right]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(15) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 48 rules for P and 0 rules for R.P rules:
f6790_0_flatten_NULL(EOS(STATIC_6790), java.lang.Object(Tree(EOC, o1752, o1753)), java.lang.Object(Tree(EOC, o1752, o1753))) -> f6794_0_flatten_Load(EOS(STATIC_6794), java.lang.Object(Tree(EOC, o1752, o1753))) :|: TRUE
f6794_0_flatten_Load(EOS(STATIC_6794), java.lang.Object(Tree(EOC, o1752, o1753))) -> f6799_0_flatten_FieldAccess(EOS(STATIC_6799), java.lang.Object(Tree(EOC, o1752, o1753)), java.lang.Object(Tree(EOC, o1752, o1753))) :|: TRUE
f6799_0_flatten_FieldAccess(EOS(STATIC_6799), java.lang.Object(Tree(EOC, o1752, o1753)), java.lang.Object(Tree(EOC, o1752, o1753))) -> f6803_0_flatten_NONNULL(EOS(STATIC_6803), java.lang.Object(Tree(EOC, o1752, o1753)), o1752) :|: TRUE
f6803_0_flatten_NONNULL(EOS(STATIC_6803), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), java.lang.Object(o1778sub)) -> f6808_0_flatten_NONNULL(EOS(STATIC_6808), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), java.lang.Object(o1778sub)) :|: TRUE
f6808_0_flatten_NONNULL(EOS(STATIC_6808), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), java.lang.Object(o1778sub)) -> f6814_0_flatten_Load(EOS(STATIC_6814), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753))) :|: TRUE
f6814_0_flatten_Load(EOS(STATIC_6814), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753))) -> f6820_0_flatten_FieldAccess(EOS(STATIC_6820), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753))) :|: TRUE
f6820_0_flatten_FieldAccess(EOS(STATIC_6820), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753))) -> f6827_0_flatten_FieldAccess(EOS(STATIC_6827), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), java.lang.Object(o1778sub)) :|: TRUE
f6827_0_flatten_FieldAccess(EOS(STATIC_6827), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), java.lang.Object(Tree(EOC, o1791, o1792))) -> f6834_0_flatten_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), java.lang.Object(Tree(EOC, o1791, o1792))) :|: TRUE
f6834_0_flatten_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), java.lang.Object(Tree(EOC, o1791, o1792))) -> f6841_0_flatten_Store(EOS(STATIC_6841), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791) :|: TRUE
f6841_0_flatten_Store(EOS(STATIC_6841), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791) -> f6848_0_flatten_Load(EOS(STATIC_6848), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791) :|: TRUE
f6848_0_flatten_Load(EOS(STATIC_6848), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791) -> f6857_0_flatten_FieldAccess(EOS(STATIC_6857), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) :|: TRUE
f6857_0_flatten_FieldAccess(EOS(STATIC_6857), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) -> f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, java.lang.Object(Tree(EOC, o1791, o1792))) :|: TRUE
f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, java.lang.Object(Tree(EOC, o1791, o1792))) -> f6874_0_flatten_Store(EOS(STATIC_6874), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, o1792) :|: TRUE
f6874_0_flatten_Store(EOS(STATIC_6874), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, o1792) -> f6883_0_flatten_Load(EOS(STATIC_6883), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, o1792) :|: TRUE
f6883_0_flatten_Load(EOS(STATIC_6883), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), o1791, o1792) -> f6890_0_flatten_FieldAccess(EOS(STATIC_6890), o1791, o1792, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) :|: TRUE
f6890_0_flatten_FieldAccess(EOS(STATIC_6890), o1791, o1792, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) -> f6898_0_flatten_Store(EOS(STATIC_6898), o1791, o1792, o1753) :|: TRUE
f6898_0_flatten_Store(EOS(STATIC_6898), o1791, o1792, o1753) -> f6907_0_flatten_New(EOS(STATIC_6907), o1791, o1792, o1753) :|: TRUE
f6907_0_flatten_New(EOS(STATIC_6907), o1791, o1792, o1753) -> f6915_0_flatten_Duplicate(EOS(STATIC_6915), o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6915_0_flatten_Duplicate(EOS(STATIC_6915), o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6918_0_flatten_Load(EOS(STATIC_6918), o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6918_0_flatten_Load(EOS(STATIC_6918), o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6923_0_flatten_New(EOS(STATIC_6923), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) :|: TRUE
f6923_0_flatten_New(EOS(STATIC_6923), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) -> f6927_0_flatten_Duplicate(EOS(STATIC_6927), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6927_0_flatten_Duplicate(EOS(STATIC_6927), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6932_0_flatten_Load(EOS(STATIC_6932), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6932_0_flatten_Load(EOS(STATIC_6932), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6936_0_flatten_Load(EOS(STATIC_6936), o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792) :|: TRUE
f6936_0_flatten_Load(EOS(STATIC_6936), o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792) -> f6940_0_flatten_InvokeMethod(EOS(STATIC_6940), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) :|: TRUE
f6940_0_flatten_InvokeMethod(EOS(STATIC_6940), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) -> f6944_0__init__Load(EOS(STATIC_6944), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) :|: TRUE
f6944_0__init__Load(EOS(STATIC_6944), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) -> f6951_0__init__InvokeMethod(EOS(STATIC_6951), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6951_0__init__InvokeMethod(EOS(STATIC_6951), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6956_0__init__Load(EOS(STATIC_6956), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) :|: TRUE
f6956_0__init__Load(EOS(STATIC_6956), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) -> f6961_0__init__Load(EOS(STATIC_6961), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6961_0__init__Load(EOS(STATIC_6961), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6966_0__init__FieldAccess(EOS(STATIC_6966), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1753, java.lang.Object(Tree(EOC, NULL, NULL)), o1792) :|: TRUE
f6966_0__init__FieldAccess(EOS(STATIC_6966), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1753, java.lang.Object(Tree(EOC, NULL, NULL)), o1792) -> f6973_0__init__Load(EOS(STATIC_6973), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) :|: TRUE
f6973_0__init__Load(EOS(STATIC_6973), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) -> f6979_0__init__Load(EOS(STATIC_6979), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), o1753, java.lang.Object(Tree(EOC, o1792, NULL))) :|: TRUE
f6979_0__init__Load(EOS(STATIC_6979), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), o1753, java.lang.Object(Tree(EOC, o1792, NULL))) -> f6987_0__init__FieldAccess(EOS(STATIC_6987), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) :|: TRUE
f6987_0__init__FieldAccess(EOS(STATIC_6987), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) -> f6995_0__init__Return(EOS(STATIC_6995), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f6995_0__init__Return(EOS(STATIC_6995), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7003_0_flatten_InvokeMethod(EOS(STATIC_7003), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7003_0_flatten_InvokeMethod(EOS(STATIC_7003), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7011_0__init__Load(EOS(STATIC_7011), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7011_0__init__Load(EOS(STATIC_7011), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7019_0__init__InvokeMethod(EOS(STATIC_7019), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7019_0__init__InvokeMethod(EOS(STATIC_7019), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7024_0__init__Load(EOS(STATIC_7024), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7024_0__init__Load(EOS(STATIC_7024), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7028_0__init__Load(EOS(STATIC_7028), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7028_0__init__Load(EOS(STATIC_7028), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7033_0__init__FieldAccess(EOS(STATIC_7033), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) :|: TRUE
f7033_0__init__FieldAccess(EOS(STATIC_7033), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) -> f7037_0__init__Load(EOS(STATIC_7037), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7037_0__init__Load(EOS(STATIC_7037), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) -> f7041_0__init__Load(EOS(STATIC_7041), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, o1791, NULL))) :|: TRUE
f7041_0__init__Load(EOS(STATIC_7041), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, o1791, NULL))) -> f7047_0__init__FieldAccess(EOS(STATIC_7047), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7047_0__init__FieldAccess(EOS(STATIC_7047), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) -> f7053_0__init__Return(EOS(STATIC_7053), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) :|: TRUE
f7053_0__init__Return(EOS(STATIC_7053), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) -> f7060_0_flatten_Store(EOS(STATIC_7060), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) :|: TRUE
f7060_0_flatten_Store(EOS(STATIC_7060), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) -> f7066_0_flatten_JMP(EOS(STATIC_7066), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) :|: TRUE
f7066_0_flatten_JMP(EOS(STATIC_7066), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) -> f7072_0_flatten_Load(EOS(STATIC_7072), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) :|: TRUE
f7072_0_flatten_Load(EOS(STATIC_7072), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) -> f6787_0_flatten_Load(EOS(STATIC_6787), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) :|: TRUE
f6787_0_flatten_Load(EOS(STATIC_6787), java.lang.Object(Tree(EOC, o1752, o1753))) -> f6790_0_flatten_NULL(EOS(STATIC_6790), java.lang.Object(Tree(EOC, o1752, o1753)), java.lang.Object(Tree(EOC, o1752, o1753))) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6790_0_flatten_NULL(EOS(STATIC_6790), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791:0, o1792:0)), o1753:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791:0, o1792:0)), o1753:0))) -> f6790_0_flatten_NULL(EOS(STATIC_6790), java.lang.Object(Tree(EOC, o1791:0, java.lang.Object(Tree(EOC, o1792:0, o1753:0)))), java.lang.Object(Tree(EOC, o1791:0, java.lang.Object(Tree(EOC, o1792:0, o1753:0))))) :|: TRUE
R rules:
Filtered ground terms:
   f6790_0_flatten_NULL(x1, x2, x3) -> f6790_0_flatten_NULL(x2, x3)
   EOS(x1) -> EOS
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered unneeded arguments:
   Tree(x1, x2) -> Tree(x1)
Filtered duplicate args:
   f6790_0_flatten_NULL(x1, x2) -> f6790_0_flatten_NULL(x2)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6790_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1791:0:0))))) -> F6790_0_FLATTEN_NULL(java.lang.Object(Tree(o1791:0:0))) :|: TRUE
R rules:

----------------------------------------

(16)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F6790_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1791:0:0))))) -> F6790_0_FLATTEN_NULL(java.lang.Object(Tree(o1791:0:0)))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(17) QDPSizeChangeProof (EQUIVALENT)
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. 

From the DPs we obtained the following set of size-change graphs:
*F6790_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1791:0:0))))) -> F6790_0_FLATTEN_NULL(java.lang.Object(Tree(o1791:0:0)))
The graph contains the following edges 1 > 1


----------------------------------------

(18)
YES

----------------------------------------

(19)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Count.count(LTree;)I
SCC calls the following helper methods: Count.flatten(LTree;)LTree;
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*Tree: [left, right]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(20) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 25 rules for P and 152 rules for R.P rules:
f6470_0_count_NULL(EOS(STATIC_6470), java.lang.Object(o1193sub), java.lang.Object(o1193sub)) -> f6478_0_count_NULL(EOS(STATIC_6478), java.lang.Object(o1193sub), java.lang.Object(o1193sub)) :|: TRUE
f6478_0_count_NULL(EOS(STATIC_6478), java.lang.Object(o1193sub), java.lang.Object(o1193sub)) -> f6487_0_count_Load(EOS(STATIC_6487), java.lang.Object(o1193sub)) :|: TRUE
f6487_0_count_Load(EOS(STATIC_6487), java.lang.Object(o1193sub)) -> f6497_0_count_FieldAccess(EOS(STATIC_6497), java.lang.Object(o1193sub), java.lang.Object(o1193sub)) :|: TRUE
f6497_0_count_FieldAccess(EOS(STATIC_6497), java.lang.Object(Tree(EOC, o1299, o1300)), java.lang.Object(Tree(EOC, o1299, o1300))) -> f6503_0_count_FieldAccess(EOS(STATIC_6503), java.lang.Object(Tree(EOC, o1299, o1300)), java.lang.Object(Tree(EOC, o1299, o1300))) :|: TRUE
f6503_0_count_FieldAccess(EOS(STATIC_6503), java.lang.Object(Tree(EOC, o1299, o1300)), java.lang.Object(Tree(EOC, o1299, o1300))) -> f6510_0_count_NONNULL(EOS(STATIC_6510), java.lang.Object(Tree(EOC, o1299, o1300)), o1299) :|: TRUE
f6510_0_count_NONNULL(EOS(STATIC_6510), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300)), java.lang.Object(o1337sub)) -> f6515_0_count_NONNULL(EOS(STATIC_6515), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300)), java.lang.Object(o1337sub)) :|: TRUE
f6510_0_count_NONNULL(EOS(STATIC_6510), java.lang.Object(Tree(EOC, NULL, o1300)), NULL) -> f6516_0_count_NONNULL(EOS(STATIC_6516), java.lang.Object(Tree(EOC, NULL, o1300)), NULL) :|: TRUE
f6515_0_count_NONNULL(EOS(STATIC_6515), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300)), java.lang.Object(o1337sub)) -> f6524_0_count_Load(EOS(STATIC_6524), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) :|: TRUE
f6524_0_count_Load(EOS(STATIC_6524), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) -> f6529_0_count_InvokeMethod(EOS(STATIC_6529), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) :|: TRUE
f6529_0_count_InvokeMethod(EOS(STATIC_6529), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) -> f6535_1_count_InvokeMethod(f6535_0_flatten_ConstantStackPush(EOS(STATIC_6535), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300)))) :|: TRUE
f6535_0_flatten_ConstantStackPush(EOS(STATIC_6535), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) -> f7667_0_flatten_ConstantStackPush(EOS(STATIC_7667), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) :|: TRUE
f7309_0_flatten_Return(EOS(STATIC_7309), java.lang.Object(Tree(EOC, NULL, o3224))) -> f7310_0_flatten_Return(EOS(STATIC_7310), java.lang.Object(Tree(EOC, NULL, o3224))) :|: TRUE
f7310_0_flatten_Return(EOS(STATIC_7310), java.lang.Object(Tree(EOC, NULL, o3243))) -> f7315_0_count_Store(EOS(STATIC_7315), java.lang.Object(Tree(EOC, NULL, o3243))) :|: TRUE
f7315_0_count_Store(EOS(STATIC_7315), java.lang.Object(Tree(EOC, NULL, o3243))) -> f7322_0_count_JMP(EOS(STATIC_7322), java.lang.Object(Tree(EOC, NULL, o3243))) :|: TRUE
f7322_0_count_JMP(EOS(STATIC_7322), java.lang.Object(Tree(EOC, NULL, o3243))) -> f7329_0_count_Load(EOS(STATIC_7329), java.lang.Object(Tree(EOC, NULL, o3243))) :|: TRUE
f7329_0_count_Load(EOS(STATIC_7329), java.lang.Object(Tree(EOC, NULL, o3243))) -> f6463_0_count_Load(EOS(STATIC_6463), java.lang.Object(Tree(EOC, NULL, o3243))) :|: TRUE
f6463_0_count_Load(EOS(STATIC_6463), o1150) -> f6470_0_count_NULL(EOS(STATIC_6470), o1150, o1150) :|: TRUE
f6516_0_count_NONNULL(EOS(STATIC_6516), java.lang.Object(Tree(EOC, NULL, o1300)), NULL) -> f6525_0_count_Inc(EOS(STATIC_6525), java.lang.Object(Tree(EOC, NULL, o1300))) :|: TRUE
f6525_0_count_Inc(EOS(STATIC_6525), java.lang.Object(Tree(EOC, NULL, o1300))) -> f6530_0_count_Load(EOS(STATIC_6530), java.lang.Object(Tree(EOC, NULL, o1300))) :|: TRUE
f6530_0_count_Load(EOS(STATIC_6530), java.lang.Object(Tree(EOC, NULL, o1300))) -> f6536_0_count_FieldAccess(EOS(STATIC_6536), java.lang.Object(Tree(EOC, NULL, o1300))) :|: TRUE
f6536_0_count_FieldAccess(EOS(STATIC_6536), java.lang.Object(Tree(EOC, NULL, o1300))) -> f6544_0_count_Store(EOS(STATIC_6544), o1300) :|: TRUE
f6544_0_count_Store(EOS(STATIC_6544), o1300) -> f6551_0_count_JMP(EOS(STATIC_6551), o1300) :|: TRUE
f6551_0_count_JMP(EOS(STATIC_6551), o1300) -> f6559_0_count_Load(EOS(STATIC_6559), o1300) :|: TRUE
f6559_0_count_Load(EOS(STATIC_6559), o1300) -> f6463_0_count_Load(EOS(STATIC_6463), o1300) :|: TRUE
f6535_1_count_InvokeMethod(f7297_0_flatten_Return(EOS(STATIC_7297), java.lang.Object(Tree(EOC, NULL, o3224)))) -> f7309_0_flatten_Return(EOS(STATIC_7309), java.lang.Object(Tree(EOC, NULL, o3224))) :|: TRUE
R rules:
f6535_0_flatten_ConstantStackPush(EOS(STATIC_6535), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) -> f6543_0_flatten_ConstantStackPush(EOS(STATIC_6543), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) :|: TRUE
f6543_0_flatten_ConstantStackPush(EOS(STATIC_6543), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) -> f6570_0_flatten_ConstantStackPush(EOS(STATIC_6570), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) :|: TRUE
f6570_0_flatten_ConstantStackPush(EOS(STATIC_6570), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) -> f6566_0_flatten_ConstantStackPush(EOS(STATIC_6566), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub), o1300))) :|: TRUE
f6566_0_flatten_ConstantStackPush(EOS(STATIC_6566), java.lang.Object(Tree(EOC, java.lang.Object(o1532sub), o1533))) -> f6571_0_flatten_Store(EOS(STATIC_6571), java.lang.Object(Tree(EOC, java.lang.Object(o1532sub), o1533)), NULL) :|: TRUE
f6571_0_flatten_Store(EOS(STATIC_6571), java.lang.Object(Tree(EOC, java.lang.Object(o1532sub), o1533)), NULL) -> f6576_0_flatten_Load(EOS(STATIC_6576), java.lang.Object(Tree(EOC, java.lang.Object(o1532sub), o1533)), NULL) :|: TRUE
f6576_0_flatten_Load(EOS(STATIC_6576), java.lang.Object(Tree(EOC, java.lang.Object(o1532sub), o1533)), NULL) -> f6787_0_flatten_Load(EOS(STATIC_6787), java.lang.Object(Tree(EOC, java.lang.Object(o1532sub), o1533)), NULL) :|: TRUE
f6787_0_flatten_Load(EOS(STATIC_6787), java.lang.Object(Tree(EOC, o1752, o1753)), NULL) -> f6790_0_flatten_NULL(EOS(STATIC_6790), java.lang.Object(Tree(EOC, o1752, o1753)), NULL, java.lang.Object(Tree(EOC, o1752, o1753))) :|: TRUE
f6790_0_flatten_NULL(EOS(STATIC_6790), java.lang.Object(Tree(EOC, o1752, o1753)), NULL, java.lang.Object(Tree(EOC, o1752, o1753))) -> f6794_0_flatten_Load(EOS(STATIC_6794), java.lang.Object(Tree(EOC, o1752, o1753)), NULL) :|: TRUE
f6794_0_flatten_Load(EOS(STATIC_6794), java.lang.Object(Tree(EOC, o1752, o1753)), NULL) -> f6799_0_flatten_FieldAccess(EOS(STATIC_6799), java.lang.Object(Tree(EOC, o1752, o1753)), NULL, java.lang.Object(Tree(EOC, o1752, o1753))) :|: TRUE
f6799_0_flatten_FieldAccess(EOS(STATIC_6799), java.lang.Object(Tree(EOC, o1752, o1753)), NULL, java.lang.Object(Tree(EOC, o1752, o1753))) -> f6803_0_flatten_NONNULL(EOS(STATIC_6803), java.lang.Object(Tree(EOC, o1752, o1753)), NULL, o1752) :|: TRUE
f6803_0_flatten_NONNULL(EOS(STATIC_6803), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL, java.lang.Object(o1778sub)) -> f6808_0_flatten_NONNULL(EOS(STATIC_6808), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL, java.lang.Object(o1778sub)) :|: TRUE
f6803_0_flatten_NONNULL(EOS(STATIC_6803), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, NULL) -> f6809_0_flatten_NONNULL(EOS(STATIC_6809), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, NULL) :|: TRUE
f6808_0_flatten_NONNULL(EOS(STATIC_6808), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL, java.lang.Object(o1778sub)) -> f6814_0_flatten_Load(EOS(STATIC_6814), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL) :|: TRUE
f6809_0_flatten_NONNULL(EOS(STATIC_6809), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, NULL) -> f6815_0_flatten_New(EOS(STATIC_6815), java.lang.Object(Tree(EOC, NULL, o1753)), NULL) :|: TRUE
f6814_0_flatten_Load(EOS(STATIC_6814), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL) -> f6820_0_flatten_FieldAccess(EOS(STATIC_6820), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL, java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753))) :|: TRUE
f6815_0_flatten_New(EOS(STATIC_6815), java.lang.Object(Tree(EOC, NULL, o1753)), NULL) -> f6821_0_flatten_Duplicate(EOS(STATIC_6821), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6820_0_flatten_FieldAccess(EOS(STATIC_6820), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL, java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753))) -> f6827_0_flatten_FieldAccess(EOS(STATIC_6827), java.lang.Object(Tree(EOC, java.lang.Object(o1778sub), o1753)), NULL, java.lang.Object(o1778sub)) :|: TRUE
f6821_0_flatten_Duplicate(EOS(STATIC_6821), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6828_0_flatten_ConstantStackPush(EOS(STATIC_6828), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6827_0_flatten_FieldAccess(EOS(STATIC_6827), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, java.lang.Object(Tree(EOC, o1791, o1792))) -> f6834_0_flatten_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, java.lang.Object(Tree(EOC, o1791, o1792))) :|: TRUE
f6828_0_flatten_ConstantStackPush(EOS(STATIC_6828), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6835_0_flatten_Load(EOS(STATIC_6835), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6834_0_flatten_FieldAccess(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, java.lang.Object(Tree(EOC, o1791, o1792))) -> f6841_0_flatten_Store(EOS(STATIC_6841), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791) :|: TRUE
f6835_0_flatten_Load(EOS(STATIC_6835), java.lang.Object(Tree(EOC, NULL, o1753)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6842_0_flatten_InvokeMethod(EOS(STATIC_6842), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE
f6841_0_flatten_Store(EOS(STATIC_6841), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791) -> f6848_0_flatten_Load(EOS(STATIC_6848), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791) :|: TRUE
f6842_0_flatten_InvokeMethod(EOS(STATIC_6842), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6849_0__init__Load(EOS(STATIC_6849), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE
f6848_0_flatten_Load(EOS(STATIC_6848), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791) -> f6857_0_flatten_FieldAccess(EOS(STATIC_6857), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) :|: TRUE
f6849_0__init__Load(EOS(STATIC_6849), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6866_0__init__InvokeMethod(EOS(STATIC_6866), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6857_0_flatten_FieldAccess(EOS(STATIC_6857), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) -> f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, java.lang.Object(Tree(EOC, o1791, o1792))) :|: TRUE
f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, java.lang.Object(Tree(EOC, o1791, o1792))) -> f6874_0_flatten_Store(EOS(STATIC_6874), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, o1792) :|: TRUE
f6866_0__init__InvokeMethod(EOS(STATIC_6866), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6875_0__init__Load(EOS(STATIC_6875), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE
f6874_0_flatten_Store(EOS(STATIC_6874), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, o1792) -> f6883_0_flatten_Load(EOS(STATIC_6883), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, o1792) :|: TRUE
f6875_0__init__Load(EOS(STATIC_6875), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6884_0__init__Load(EOS(STATIC_6884), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6883_0_flatten_Load(EOS(STATIC_6883), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753)), NULL, o1791, o1792) -> f6890_0_flatten_FieldAccess(EOS(STATIC_6890), NULL, o1791, o1792, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) :|: TRUE
f6884_0__init__Load(EOS(STATIC_6884), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6891_0__init__FieldAccess(EOS(STATIC_6891), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6890_0_flatten_FieldAccess(EOS(STATIC_6890), NULL, o1791, o1792, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1791, o1792)), o1753))) -> f6898_0_flatten_Store(EOS(STATIC_6898), NULL, o1791, o1792, o1753) :|: TRUE
f6891_0__init__FieldAccess(EOS(STATIC_6891), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6899_0__init__Load(EOS(STATIC_6899), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6898_0_flatten_Store(EOS(STATIC_6898), NULL, o1791, o1792, o1753) -> f6907_0_flatten_New(EOS(STATIC_6907), NULL, o1791, o1792, o1753) :|: TRUE
f6899_0__init__Load(EOS(STATIC_6899), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6908_0__init__Load(EOS(STATIC_6908), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6907_0_flatten_New(EOS(STATIC_6907), NULL, o1791, o1792, o1753) -> f6915_0_flatten_Duplicate(EOS(STATIC_6915), NULL, o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6908_0__init__Load(EOS(STATIC_6908), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6916_0__init__FieldAccess(EOS(STATIC_6916), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6915_0_flatten_Duplicate(EOS(STATIC_6915), NULL, o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6918_0_flatten_Load(EOS(STATIC_6918), NULL, o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6916_0__init__FieldAccess(EOS(STATIC_6916), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6919_0__init__Return(EOS(STATIC_6919), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6918_0_flatten_Load(EOS(STATIC_6918), NULL, o1791, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6923_0_flatten_New(EOS(STATIC_6923), NULL, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) :|: TRUE
f6919_0__init__Return(EOS(STATIC_6919), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6924_0_flatten_Store(EOS(STATIC_6924), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6923_0_flatten_New(EOS(STATIC_6923), NULL, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) -> f6927_0_flatten_Duplicate(EOS(STATIC_6927), NULL, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6924_0_flatten_Store(EOS(STATIC_6924), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6928_0_flatten_Load(EOS(STATIC_6928), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6927_0_flatten_Duplicate(EOS(STATIC_6927), NULL, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6932_0_flatten_Load(EOS(STATIC_6932), NULL, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6928_0_flatten_Load(EOS(STATIC_6928), java.lang.Object(Tree(EOC, NULL, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6933_0_flatten_FieldAccess(EOS(STATIC_6933), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o1753))) :|: TRUE
f6932_0_flatten_Load(EOS(STATIC_6932), NULL, o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6936_0_flatten_Load(EOS(STATIC_6936), NULL, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792) :|: TRUE
f6933_0_flatten_FieldAccess(EOS(STATIC_6933), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o1753))) -> f6937_0_flatten_Store(EOS(STATIC_6937), java.lang.Object(Tree(EOC, NULL, NULL)), o1753) :|: TRUE
f6936_0_flatten_Load(EOS(STATIC_6936), NULL, o1753, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792) -> f6940_0_flatten_InvokeMethod(EOS(STATIC_6940), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) :|: TRUE
f6937_0_flatten_Store(EOS(STATIC_6937), java.lang.Object(Tree(EOC, NULL, NULL)), o1753) -> f6941_0_flatten_JMP(EOS(STATIC_6941), o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6940_0_flatten_InvokeMethod(EOS(STATIC_6940), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) -> f6944_0__init__Load(EOS(STATIC_6944), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) :|: TRUE
f6941_0_flatten_JMP(EOS(STATIC_6941), o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6945_0_flatten_Load(EOS(STATIC_6945), o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6944_0__init__Load(EOS(STATIC_6944), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) -> f6951_0__init__InvokeMethod(EOS(STATIC_6951), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6945_0_flatten_Load(EOS(STATIC_6945), o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7102_0_flatten_Load(EOS(STATIC_7102), o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6951_0__init__InvokeMethod(EOS(STATIC_6951), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6956_0__init__Load(EOS(STATIC_6956), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) :|: TRUE
f6956_0__init__Load(EOS(STATIC_6956), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753) -> f6961_0__init__Load(EOS(STATIC_6961), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6961_0__init__Load(EOS(STATIC_6961), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1792, o1753, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6966_0__init__FieldAccess(EOS(STATIC_6966), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1753, java.lang.Object(Tree(EOC, NULL, NULL)), o1792) :|: TRUE
f6966_0__init__FieldAccess(EOS(STATIC_6966), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1753, java.lang.Object(Tree(EOC, NULL, NULL)), o1792) -> f6973_0__init__Load(EOS(STATIC_6973), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) :|: TRUE
f6973_0__init__Load(EOS(STATIC_6973), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) -> f6979_0__init__Load(EOS(STATIC_6979), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), o1753, java.lang.Object(Tree(EOC, o1792, NULL))) :|: TRUE
f6979_0__init__Load(EOS(STATIC_6979), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), o1753, java.lang.Object(Tree(EOC, o1792, NULL))) -> f6987_0__init__FieldAccess(EOS(STATIC_6987), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) :|: TRUE
f6987_0__init__FieldAccess(EOS(STATIC_6987), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, NULL)), java.lang.Object(Tree(EOC, o1792, NULL)), o1753) -> f6995_0__init__Return(EOS(STATIC_6995), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f6995_0__init__Return(EOS(STATIC_6995), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7003_0_flatten_InvokeMethod(EOS(STATIC_7003), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7003_0_flatten_InvokeMethod(EOS(STATIC_7003), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7011_0__init__Load(EOS(STATIC_7011), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7011_0__init__Load(EOS(STATIC_7011), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7019_0__init__InvokeMethod(EOS(STATIC_7019), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7019_0__init__InvokeMethod(EOS(STATIC_7019), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7024_0__init__Load(EOS(STATIC_7024), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7024_0__init__Load(EOS(STATIC_7024), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753))) -> f7028_0__init__Load(EOS(STATIC_7028), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7028_0__init__Load(EOS(STATIC_7028), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791, java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7033_0__init__FieldAccess(EOS(STATIC_7033), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) :|: TRUE
f7033_0__init__FieldAccess(EOS(STATIC_7033), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, NULL, NULL)), o1791) -> f7037_0__init__Load(EOS(STATIC_7037), NULL, java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7037_0__init__Load(EOS(STATIC_7037), NULL, java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) -> f7041_0__init__Load(EOS(STATIC_7041), NULL, java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, o1791, NULL))) :|: TRUE
f7041_0__init__Load(EOS(STATIC_7041), NULL, java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753)), java.lang.Object(Tree(EOC, o1791, NULL))) -> f7047_0__init__FieldAccess(EOS(STATIC_7047), NULL, java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) :|: TRUE
f7047_0__init__FieldAccess(EOS(STATIC_7047), NULL, java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1791, NULL)), java.lang.Object(Tree(EOC, o1792, o1753))) -> f7053_0__init__Return(EOS(STATIC_7053), NULL, java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) :|: TRUE
f7053_0__init__Return(EOS(STATIC_7053), NULL, java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) -> f7060_0_flatten_Store(EOS(STATIC_7060), NULL, java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) :|: TRUE
f7060_0_flatten_Store(EOS(STATIC_7060), NULL, java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753))))) -> f7066_0_flatten_JMP(EOS(STATIC_7066), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753)))), NULL) :|: TRUE
f7066_0_flatten_JMP(EOS(STATIC_7066), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753)))), NULL) -> f7072_0_flatten_Load(EOS(STATIC_7072), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753)))), NULL) :|: TRUE
f7072_0_flatten_Load(EOS(STATIC_7072), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753)))), NULL) -> f6787_0_flatten_Load(EOS(STATIC_6787), java.lang.Object(Tree(EOC, o1791, java.lang.Object(Tree(EOC, o1792, o1753)))), NULL) :|: TRUE
f7102_0_flatten_Load(EOS(STATIC_7102), o2526, java.lang.Object(Tree(EOC, NULL, o2528))) -> f7282_0_flatten_Load(EOS(STATIC_7282), o2526, java.lang.Object(Tree(EOC, NULL, o2528))) :|: TRUE
f7282_0_flatten_Load(EOS(STATIC_7282), o3102, java.lang.Object(Tree(EOC, NULL, o3104))) -> f7285_0_flatten_NULL(EOS(STATIC_7285), o3102, java.lang.Object(Tree(EOC, NULL, o3104)), o3102) :|: TRUE
f7285_0_flatten_NULL(EOS(STATIC_7285), java.lang.Object(o3142sub), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3142sub)) -> f7288_0_flatten_NULL(EOS(STATIC_7288), java.lang.Object(o3142sub), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3142sub)) :|: TRUE
f7285_0_flatten_NULL(EOS(STATIC_7285), NULL, java.lang.Object(Tree(EOC, NULL, o3104)), NULL) -> f7289_0_flatten_NULL(EOS(STATIC_7289), NULL, java.lang.Object(Tree(EOC, NULL, o3104)), NULL) :|: TRUE
f7288_0_flatten_NULL(EOS(STATIC_7288), java.lang.Object(o3142sub), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3142sub)) -> f7292_0_flatten_Load(EOS(STATIC_7292), java.lang.Object(o3142sub), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7289_0_flatten_NULL(EOS(STATIC_7289), NULL, java.lang.Object(Tree(EOC, NULL, o3104)), NULL) -> f7293_0_flatten_Load(EOS(STATIC_7293), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7292_0_flatten_Load(EOS(STATIC_7292), java.lang.Object(o3142sub), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7296_0_flatten_FieldAccess(EOS(STATIC_7296), java.lang.Object(o3142sub), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3142sub)) :|: TRUE
f7293_0_flatten_Load(EOS(STATIC_7293), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7297_0_flatten_Return(EOS(STATIC_7297), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7296_0_flatten_FieldAccess(EOS(STATIC_7296), java.lang.Object(Tree(EOC, o3186, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3186, o3187))) -> f7300_0_flatten_FieldAccess(EOS(STATIC_7300), java.lang.Object(Tree(EOC, o3186, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3186, o3187))) :|: TRUE
f7300_0_flatten_FieldAccess(EOS(STATIC_7300), java.lang.Object(Tree(EOC, o3186, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3186, o3187))) -> f7304_0_flatten_NONNULL(EOS(STATIC_7304), java.lang.Object(Tree(EOC, o3186, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3186) :|: TRUE
f7304_0_flatten_NONNULL(EOS(STATIC_7304), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3235sub)) -> f7307_0_flatten_NONNULL(EOS(STATIC_7307), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3235sub)) :|: TRUE
f7304_0_flatten_NONNULL(EOS(STATIC_7304), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), NULL) -> f7308_0_flatten_NONNULL(EOS(STATIC_7308), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), NULL) :|: TRUE
f7307_0_flatten_NONNULL(EOS(STATIC_7307), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3235sub)) -> f7313_0_flatten_Load(EOS(STATIC_7313), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7308_0_flatten_NONNULL(EOS(STATIC_7308), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), NULL) -> f7314_0_flatten_New(EOS(STATIC_7314), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7313_0_flatten_Load(EOS(STATIC_7313), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7320_0_flatten_FieldAccess(EOS(STATIC_7320), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187))) :|: TRUE
f7314_0_flatten_New(EOS(STATIC_7314), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7321_0_flatten_Duplicate(EOS(STATIC_7321), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7320_0_flatten_FieldAccess(EOS(STATIC_7320), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187))) -> f7327_0_flatten_FieldAccess(EOS(STATIC_7327), java.lang.Object(Tree(EOC, java.lang.Object(o3235sub), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(o3235sub)) :|: TRUE
f7321_0_flatten_Duplicate(EOS(STATIC_7321), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7328_0_flatten_ConstantStackPush(EOS(STATIC_7328), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7327_0_flatten_FieldAccess(EOS(STATIC_7327), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, o3346))) -> f7334_0_flatten_FieldAccess(EOS(STATIC_7334), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, o3346))) :|: TRUE
f7328_0_flatten_ConstantStackPush(EOS(STATIC_7328), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7335_0_flatten_Load(EOS(STATIC_7335), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f7334_0_flatten_FieldAccess(EOS(STATIC_7334), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, o3346))) -> f7340_0_flatten_Store(EOS(STATIC_7340), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345) :|: TRUE
f7335_0_flatten_Load(EOS(STATIC_7335), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f7341_0_flatten_InvokeMethod(EOS(STATIC_7341), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7340_0_flatten_Store(EOS(STATIC_7340), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345) -> f7346_0_flatten_Load(EOS(STATIC_7346), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345) :|: TRUE
f7341_0_flatten_InvokeMethod(EOS(STATIC_7341), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104))) -> f7347_0__init__Load(EOS(STATIC_7347), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7346_0_flatten_Load(EOS(STATIC_7346), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345) -> f7352_0_flatten_FieldAccess(EOS(STATIC_7352), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) :|: TRUE
f7347_0__init__Load(EOS(STATIC_7347), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104))) -> f7358_0__init__InvokeMethod(EOS(STATIC_7358), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7352_0_flatten_FieldAccess(EOS(STATIC_7352), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) -> f7357_0_flatten_FieldAccess(EOS(STATIC_7357), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, java.lang.Object(Tree(EOC, o3345, o3346))) :|: TRUE
f7357_0_flatten_FieldAccess(EOS(STATIC_7357), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, java.lang.Object(Tree(EOC, o3345, o3346))) -> f7359_0_flatten_Store(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346) :|: TRUE
f7358_0__init__InvokeMethod(EOS(STATIC_7358), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7360_0__init__Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7359_0_flatten_Store(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346) -> f7361_0_flatten_Load(EOS(STATIC_7361), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346) :|: TRUE
f7360_0__init__Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104))) -> f7362_0__init__Load(EOS(STATIC_7362), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7361_0_flatten_Load(EOS(STATIC_7361), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187)), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346) -> f7363_0_flatten_FieldAccess(EOS(STATIC_7363), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) :|: TRUE
f7362_0__init__Load(EOS(STATIC_7362), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7364_0__init__FieldAccess(EOS(STATIC_7364), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f7363_0_flatten_FieldAccess(EOS(STATIC_7363), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3345, o3346)), o3187))) -> f7365_0_flatten_Store(EOS(STATIC_7365), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187) :|: TRUE
f7364_0__init__FieldAccess(EOS(STATIC_7364), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f7366_0__init__Load(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7365_0_flatten_Store(EOS(STATIC_7365), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187) -> f7367_0_flatten_New(EOS(STATIC_7367), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187) :|: TRUE
f7366_0__init__Load(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7368_0__init__Load(EOS(STATIC_7368), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7367_0_flatten_New(EOS(STATIC_7367), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187) -> f7369_0_flatten_Duplicate(EOS(STATIC_7369), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7368_0__init__Load(EOS(STATIC_7368), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7370_0__init__FieldAccess(EOS(STATIC_7370), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7369_0_flatten_Duplicate(EOS(STATIC_7369), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7371_0_flatten_Load(EOS(STATIC_7371), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7370_0__init__FieldAccess(EOS(STATIC_7370), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7372_0__init__Return(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) :|: TRUE
f7371_0_flatten_Load(EOS(STATIC_7371), java.lang.Object(Tree(EOC, NULL, o3104)), o3345, o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7373_0_flatten_New(EOS(STATIC_7373), java.lang.Object(Tree(EOC, NULL, o3104)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) :|: TRUE
f7372_0__init__Return(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) -> f7374_0_flatten_Store(EOS(STATIC_7374), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) :|: TRUE
f7373_0_flatten_New(EOS(STATIC_7373), java.lang.Object(Tree(EOC, NULL, o3104)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) -> f7375_0_flatten_Duplicate(EOS(STATIC_7375), java.lang.Object(Tree(EOC, NULL, o3104)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7374_0_flatten_Store(EOS(STATIC_7374), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) -> f7376_0_flatten_Load(EOS(STATIC_7376), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) :|: TRUE
f7375_0_flatten_Duplicate(EOS(STATIC_7375), java.lang.Object(Tree(EOC, NULL, o3104)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7377_0_flatten_Load(EOS(STATIC_7377), java.lang.Object(Tree(EOC, NULL, o3104)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7376_0_flatten_Load(EOS(STATIC_7376), java.lang.Object(Tree(EOC, NULL, o3187)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) -> f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104)))), java.lang.Object(Tree(EOC, NULL, o3187))) :|: TRUE
f7377_0_flatten_Load(EOS(STATIC_7377), java.lang.Object(Tree(EOC, NULL, o3104)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7379_0_flatten_Load(EOS(STATIC_7379), java.lang.Object(Tree(EOC, NULL, o3104)), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346) :|: TRUE
f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104)))), java.lang.Object(Tree(EOC, NULL, o3187))) -> f7380_0_flatten_Store(EOS(STATIC_7380), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104)))), o3187) :|: TRUE
f7379_0_flatten_Load(EOS(STATIC_7379), java.lang.Object(Tree(EOC, NULL, o3104)), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346) -> f7381_0_flatten_InvokeMethod(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) :|: TRUE
f7380_0_flatten_Store(EOS(STATIC_7380), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104)))), o3187) -> f7382_0_flatten_JMP(EOS(STATIC_7382), o3187, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) :|: TRUE
f7381_0_flatten_InvokeMethod(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) -> f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) :|: TRUE
f7382_0_flatten_JMP(EOS(STATIC_7382), o3187, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) -> f7384_0_flatten_Load(EOS(STATIC_7384), o3187, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) :|: TRUE
f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) -> f7385_0__init__InvokeMethod(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7384_0_flatten_Load(EOS(STATIC_7384), o3187, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) -> f7282_0_flatten_Load(EOS(STATIC_7282), o3187, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3104))))) :|: TRUE
f7385_0__init__InvokeMethod(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7386_0__init__Load(EOS(STATIC_7386), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) :|: TRUE
f7386_0__init__Load(EOS(STATIC_7386), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187) -> f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3346, o3187, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7388_0__init__FieldAccess(EOS(STATIC_7388), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), o3346) :|: TRUE
f7388_0__init__FieldAccess(EOS(STATIC_7388), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3187, java.lang.Object(Tree(EOC, NULL, NULL)), o3346) -> f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) :|: TRUE
f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) -> f7390_0__init__Load(EOS(STATIC_7390), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), o3187, java.lang.Object(Tree(EOC, o3346, NULL))) :|: TRUE
f7390_0__init__Load(EOS(STATIC_7390), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), o3187, java.lang.Object(Tree(EOC, o3346, NULL))) -> f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) :|: TRUE
f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, NULL)), java.lang.Object(Tree(EOC, o3346, NULL)), o3187) -> f7392_0__init__Return(EOS(STATIC_7392), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7392_0__init__Return(EOS(STATIC_7392), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7393_0_flatten_InvokeMethod(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7393_0_flatten_InvokeMethod(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7394_0__init__Load(EOS(STATIC_7394), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7394_0__init__Load(EOS(STATIC_7394), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7395_0__init__InvokeMethod(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7395_0__init__InvokeMethod(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7396_0__init__Load(EOS(STATIC_7396), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7396_0__init__Load(EOS(STATIC_7396), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187))) -> f7397_0__init__Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7397_0__init__Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345, java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7398_0__init__FieldAccess(EOS(STATIC_7398), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) :|: TRUE
f7398_0__init__FieldAccess(EOS(STATIC_7398), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, NULL, NULL)), o3345) -> f7399_0__init__Load(EOS(STATIC_7399), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7399_0__init__Load(EOS(STATIC_7399), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) -> f7400_0__init__Load(EOS(STATIC_7400), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, o3345, NULL))) :|: TRUE
f7400_0__init__Load(EOS(STATIC_7400), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187)), java.lang.Object(Tree(EOC, o3345, NULL))) -> f7401_0__init__FieldAccess(EOS(STATIC_7401), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) :|: TRUE
f7401_0__init__FieldAccess(EOS(STATIC_7401), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3345, NULL)), java.lang.Object(Tree(EOC, o3346, o3187))) -> f7402_0__init__Return(EOS(STATIC_7402), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) :|: TRUE
f7402_0__init__Return(EOS(STATIC_7402), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) -> f7403_0_flatten_Store(EOS(STATIC_7403), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) :|: TRUE
f7403_0_flatten_Store(EOS(STATIC_7403), java.lang.Object(Tree(EOC, NULL, o3104)), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187))))) -> f7404_0_flatten_JMP(EOS(STATIC_7404), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187)))), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7404_0_flatten_JMP(EOS(STATIC_7404), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187)))), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7405_0_flatten_Load(EOS(STATIC_7405), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187)))), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
f7405_0_flatten_Load(EOS(STATIC_7405), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187)))), java.lang.Object(Tree(EOC, NULL, o3104))) -> f7282_0_flatten_Load(EOS(STATIC_7282), java.lang.Object(Tree(EOC, o3345, java.lang.Object(Tree(EOC, o3346, o3187)))), java.lang.Object(Tree(EOC, NULL, o3104))) :|: TRUE
Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
f6470_0_count_NULL(EOS(STATIC_6470), java.lang.Object(Tree(EOC, NULL, o1300:0)), java.lang.Object(Tree(EOC, NULL, o1300:0))) -> f6470_0_count_NULL(EOS(STATIC_6470), o1300:0, o1300:0) :|: TRUE
f6470_0_count_NULL(EOS(STATIC_6470), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub:0), o1300:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub:0), o1300:0))) -> f6535_1_count_InvokeMethod(f7667_0_flatten_ConstantStackPush(EOS(STATIC_7667), java.lang.Object(Tree(EOC, java.lang.Object(o1337sub:0), o1300:0)))) :|: TRUE
f6535_1_count_InvokeMethod(f7297_0_flatten_Return(EOS(STATIC_7297), java.lang.Object(Tree(EOC, NULL, o3224:0)))) -> f6470_0_count_NULL(EOS(STATIC_6470), java.lang.Object(Tree(EOC, NULL, o3224:0)), java.lang.Object(Tree(EOC, NULL, o3224:0))) :|: TRUE
R rules:
Filtered ground terms:
   f6470_0_count_NULL(x1, x2, x3) -> f6470_0_count_NULL(x2, x3)
   f7667_0_flatten_ConstantStackPush(x1, x2) -> f7667_0_flatten_ConstantStackPush(x2)
   f7297_0_flatten_Return(x1, x2) -> f7297_0_flatten_Return(x2)
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f6470_0_count_NULL(x1, x2) -> f6470_0_count_NULL(x2)
Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
F6470_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1300:0:0))) -> F6470_0_COUNT_NULL(o1300:0:0) :|: TRUE
F6470_0_COUNT_NULL(java.lang.Object(Tree(java.lang.Object(o1337sub:0:0), o1300:0:0))) -> F6535_1_COUNT_INVOKEMETHOD(f7667_0_flatten_ConstantStackPush(java.lang.Object(Tree(java.lang.Object(o1337sub:0:0), o1300:0:0)))) :|: TRUE
F6535_1_COUNT_INVOKEMETHOD(f7297_0_flatten_Return(java.lang.Object(Tree(NULL, o3224:0:0)))) -> F6470_0_COUNT_NULL(java.lang.Object(Tree(NULL, o3224:0:0))) :|: TRUE
R rules:

----------------------------------------

(21)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F6470_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1300:0:0))) -> F6470_0_COUNT_NULL(o1300:0:0)
   F6470_0_COUNT_NULL(java.lang.Object(Tree(java.lang.Object(o1337sub:0:0), o1300:0:0))) -> F6535_1_COUNT_INVOKEMETHOD(f7667_0_flatten_ConstantStackPush(java.lang.Object(Tree(java.lang.Object(o1337sub:0:0), o1300:0:0))))
   F6535_1_COUNT_INVOKEMETHOD(f7297_0_flatten_Return(java.lang.Object(Tree(NULL, o3224:0:0)))) -> F6470_0_COUNT_NULL(java.lang.Object(Tree(NULL, o3224:0:0)))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(22) DependencyGraphProof (EQUIVALENT)
The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 2 less nodes.
----------------------------------------

(23)
Obligation:
Q DP problem:
The TRS P consists of the following rules:

   F6470_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1300:0:0))) -> F6470_0_COUNT_NULL(o1300:0:0)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
----------------------------------------

(24) QDPSizeChangeProof (EQUIVALENT)
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. 

From the DPs we obtained the following set of size-change graphs:
*F6470_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1300:0:0))) -> F6470_0_COUNT_NULL(o1300:0:0)
The graph contains the following edges 1 > 1


----------------------------------------

(25)
YES

----------------------------------------

(26)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: Tree.createTree()LTree;
SCC calls the following helper methods: 
Performed SCC analyses:
*Used field analysis yielded the following read fields:
*java.lang.String: [count]
*Tree: [right, left]
*Marker field analysis yielded the following relations that could be markers:

----------------------------------------

(27) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 120 IRulesP rules:
f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1211) -> f7023_0_createTree_LE(EOS(STATIC_7023(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1211) :|: TRUE
f7023_0_createTree_LE(EOS(STATIC_7023(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1211) -> f7027_0_createTree_InvokeMethod(EOS(STATIC_7027(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) :|: i1211 > 0
f7027_0_createTree_InvokeMethod(EOS(STATIC_7027(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) -> f7032_0_random_FieldAccess(EOS(STATIC_7032(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) :|: TRUE
f7032_0_random_FieldAccess(EOS(STATIC_7032(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) -> f7040_0_random_FieldAccess(EOS(STATIC_7040(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7040_0_random_FieldAccess(EOS(STATIC_7040(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) -> f7046_0_random_ArrayAccess(EOS(STATIC_7046(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7046_0_random_ArrayAccess(EOS(STATIC_7046(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) -> f7052_0_random_ArrayAccess(EOS(STATIC_7052(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7052_0_random_ArrayAccess(EOS(STATIC_7052(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) -> f7058_0_random_ArrayAccess(EOS(STATIC_7058(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7058_0_random_ArrayAccess(EOS(STATIC_7058(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(ARRAY(i6))) -> f7064_0_random_Store(EOS(STATIC_7064(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) :|: TRUE
f7064_0_random_Store(EOS(STATIC_7064(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) -> f7071_0_random_FieldAccess(EOS(STATIC_7071(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) :|: TRUE
f7071_0_random_FieldAccess(EOS(STATIC_7071(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) -> f7077_0_random_ConstantStackPush(EOS(STATIC_7077(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) :|: TRUE
f7077_0_random_ConstantStackPush(EOS(STATIC_7077(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) -> f7082_0_random_IntArithmetic(EOS(STATIC_7082(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) :|: TRUE
f7082_0_random_IntArithmetic(EOS(STATIC_7082(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) -> f7088_0_random_FieldAccess(EOS(STATIC_7088(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) :|: TRUE
f7088_0_random_FieldAccess(EOS(STATIC_7088(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) -> f7092_0_random_Load(EOS(STATIC_7092(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) :|: TRUE
f7092_0_random_Load(EOS(STATIC_7092(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) -> f7098_0_random_InvokeMethod(EOS(STATIC_7098(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), o2405) :|: TRUE
f7098_0_random_InvokeMethod(EOS(STATIC_7098(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2552sub)) -> f7105_0_random_InvokeMethod(EOS(STATIC_7105(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2552sub)) :|: TRUE
f7105_0_random_InvokeMethod(EOS(STATIC_7105(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2567sub)) -> f7109_0_random_InvokeMethod(EOS(STATIC_7109(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2567sub)) :|: TRUE
f7109_0_random_InvokeMethod(EOS(STATIC_7109(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2567sub)) -> f7114_0_length_Load(EOS(STATIC_7114(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2567sub)) :|: TRUE
f7114_0_length_Load(EOS(STATIC_7114(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2567sub)) -> f7123_0_length_FieldAccess(EOS(STATIC_7123(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2567sub)) :|: TRUE
f7123_0_length_FieldAccess(EOS(STATIC_7123(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(java.lang.String(EOC, i1276))) -> f7128_0_length_FieldAccess(EOS(STATIC_7128(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(java.lang.String(EOC, i1276))) :|: i1276 >= 0
f7128_0_length_FieldAccess(EOS(STATIC_7128(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(java.lang.String(EOC, i1276))) -> f7132_0_length_Return(EOS(STATIC_7132(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) :|: TRUE
f7132_0_length_Return(EOS(STATIC_7132(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) -> f7139_0_random_Return(EOS(STATIC_7139(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) :|: TRUE
f7139_0_random_Return(EOS(STATIC_7139(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) -> f7146_0_createTree_Store(EOS(STATIC_7146(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) :|: TRUE
f7146_0_createTree_Store(EOS(STATIC_7146(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) -> f7152_0_createTree_Load(EOS(STATIC_7152(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) :|: TRUE
f7152_0_createTree_Load(EOS(STATIC_7152(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) -> f7159_0_createTree_LE(EOS(STATIC_7159(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1276) :|: TRUE
f7159_0_createTree_LE(EOS(STATIC_7159(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), matching1) -> f7165_0_createTree_LE(EOS(STATIC_7165(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), 0) :|: TRUE && matching1 = 0
f7159_0_createTree_LE(EOS(STATIC_7159(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1304) -> f7166_0_createTree_LE(EOS(STATIC_7166(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1304) :|: TRUE
f7165_0_createTree_LE(EOS(STATIC_7165(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), matching1) -> f7171_0_createTree_Load(EOS(STATIC_7171(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) :|: 0 <= 0 && matching1 = 0
f7171_0_createTree_Load(EOS(STATIC_7171(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) -> f7178_0_createTree_FieldAccess(EOS(STATIC_7178(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2167sub)) :|: TRUE
f7178_0_createTree_FieldAccess(EOS(STATIC_7178(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2796, o2795)), java.lang.Object(Tree(EOC, o2796, o2795))) -> f7184_0_createTree_FieldAccess(EOS(STATIC_7184(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2796, o2795)), java.lang.Object(Tree(EOC, o2796, o2795))) :|: TRUE
f7184_0_createTree_FieldAccess(EOS(STATIC_7184(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2796, o2795)), java.lang.Object(Tree(EOC, o2796, o2795))) -> f7191_0_createTree_NONNULL(EOS(STATIC_7191(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2796, o2795)), o2796) :|: TRUE
f7191_0_createTree_NONNULL(EOS(STATIC_7191(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub), o2795)), java.lang.Object(o2848sub)) -> f7198_0_createTree_NONNULL(EOS(STATIC_7198(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub), o2795)), java.lang.Object(o2848sub)) :|: TRUE
f7191_0_createTree_NONNULL(EOS(STATIC_7191(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), NULL) -> f7199_0_createTree_NONNULL(EOS(STATIC_7199(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), NULL) :|: TRUE
f7198_0_createTree_NONNULL(EOS(STATIC_7198(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub), o2795)), java.lang.Object(o2848sub)) -> f7207_0_createTree_Load(EOS(STATIC_7207(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub), o2795))) :|: TRUE
f7207_0_createTree_Load(EOS(STATIC_7207(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub), o2795))) -> f7216_0_createTree_FieldAccess(EOS(STATIC_7216(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub), o2795))) :|: TRUE
f7216_0_createTree_FieldAccess(EOS(STATIC_7216(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub), o2795))) -> f7225_0_createTree_Store(EOS(STATIC_7225(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) :|: TRUE
f7225_0_createTree_Store(EOS(STATIC_7225(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) -> f7234_0_createTree_Inc(EOS(STATIC_7234(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) :|: TRUE
f7234_0_createTree_Inc(EOS(STATIC_7234(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) -> f7240_0_createTree_JMP(EOS(STATIC_7240(java.lang.Object(ARRAY(i6)))), i1211 + -1, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) :|: TRUE
f7240_0_createTree_JMP(EOS(STATIC_7240(java.lang.Object(ARRAY(i6)))), i1339, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) -> f7250_0_createTree_Load(EOS(STATIC_7250(java.lang.Object(ARRAY(i6)))), i1339, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) :|: TRUE
f7250_0_createTree_Load(EOS(STATIC_7250(java.lang.Object(ARRAY(i6)))), i1339, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) -> f7015_0_createTree_Load(EOS(STATIC_7015(java.lang.Object(ARRAY(i6)))), i1339, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2848sub)) :|: TRUE
f7015_0_createTree_Load(EOS(STATIC_7015(java.lang.Object(ARRAY(i6)))), i1206, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) -> f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6)))), i1206, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1206) :|: TRUE
f7199_0_createTree_NONNULL(EOS(STATIC_7199(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), NULL) -> f7208_0_createTree_Load(EOS(STATIC_7208(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795))) :|: TRUE
f7208_0_createTree_Load(EOS(STATIC_7208(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795))) -> f7217_0_createTree_InvokeMethod(EOS(STATIC_7217(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795))) :|: TRUE
f7217_0_createTree_InvokeMethod(EOS(STATIC_7217(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795))) -> f7226_0_createNode_New(EOS(STATIC_7226(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795))) :|: TRUE
f7226_0_createNode_New(EOS(STATIC_7226(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795))) -> f7241_0_createNode_Duplicate(EOS(STATIC_7241(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7241_0_createNode_Duplicate(EOS(STATIC_7241(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7251_0_createNode_InvokeMethod(EOS(STATIC_7251(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7251_0_createNode_InvokeMethod(EOS(STATIC_7251(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7258_0__init__Load(EOS(STATIC_7258(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7258_0__init__Load(EOS(STATIC_7258(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7268_0__init__InvokeMethod(EOS(STATIC_7268(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7268_0__init__InvokeMethod(EOS(STATIC_7268(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7273_0__init__Return(EOS(STATIC_7273(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7273_0__init__Return(EOS(STATIC_7273(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7277_0_createNode_Store(EOS(STATIC_7277(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7277_0_createNode_Store(EOS(STATIC_7277(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7283_0_createNode_Load(EOS(STATIC_7283(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7283_0_createNode_Load(EOS(STATIC_7283(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7286_0_createNode_New(EOS(STATIC_7286(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7286_0_createNode_New(EOS(STATIC_7286(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7290_0_createNode_Duplicate(EOS(STATIC_7290(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7290_0_createNode_Duplicate(EOS(STATIC_7290(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7294_0_createNode_InvokeMethod(EOS(STATIC_7294(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7294_0_createNode_InvokeMethod(EOS(STATIC_7294(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7298_0_createNode_FieldAccess(EOS(STATIC_7298(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7298_0_createNode_FieldAccess(EOS(STATIC_7298(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7302_0_createNode_Load(EOS(STATIC_7302(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7302_0_createNode_Load(EOS(STATIC_7302(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7305_0_createNode_Return(EOS(STATIC_7305(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7305_0_createNode_Return(EOS(STATIC_7305(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7311_0_createTree_FieldAccess(EOS(STATIC_7311(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7311_0_createTree_FieldAccess(EOS(STATIC_7311(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7316_0_createTree_FieldAccess(EOS(STATIC_7316(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7311_0_createTree_FieldAccess(EOS(STATIC_7311(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, NULL, o3276)), java.lang.Object(Tree(EOC, NULL, o3276)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7317_0_createTree_FieldAccess(EOS(STATIC_7317(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, NULL, o3276)), java.lang.Object(Tree(EOC, NULL, o3276)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7316_0_createTree_FieldAccess(EOS(STATIC_7316(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, NULL, o2795)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7323_0_createTree_Load(EOS(STATIC_7323(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165put, o2164put))) :|: TRUE
f7323_0_createTree_Load(EOS(STATIC_7323(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164))) -> f7330_0_createTree_Store(EOS(STATIC_7330(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7330_0_createTree_Store(EOS(STATIC_7330(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7336_0_createTree_JMP(EOS(STATIC_7336(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7336_0_createTree_JMP(EOS(STATIC_7336(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7342_0_createTree_Inc(EOS(STATIC_7342(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7342_0_createTree_Inc(EOS(STATIC_7342(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7348_0_createTree_JMP(EOS(STATIC_7348(java.lang.Object(ARRAY(i6)))), i1211 + -1, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7348_0_createTree_JMP(EOS(STATIC_7348(java.lang.Object(ARRAY(i6)))), i1406, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7353_0_createTree_Load(EOS(STATIC_7353(java.lang.Object(ARRAY(i6)))), i1406, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7353_0_createTree_Load(EOS(STATIC_7353(java.lang.Object(ARRAY(i6)))), i1406, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7015_0_createTree_Load(EOS(STATIC_7015(java.lang.Object(ARRAY(i6)))), i1406, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7317_0_createTree_FieldAccess(EOS(STATIC_7317(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, NULL, o3276)), java.lang.Object(Tree(EOC, NULL, o3276)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7324_0_createTree_Load(EOS(STATIC_7324(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) :|: TRUE
f7324_0_createTree_Load(EOS(STATIC_7324(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) -> f7331_0_createTree_Store(EOS(STATIC_7331(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) :|: TRUE
f7331_0_createTree_Store(EOS(STATIC_7331(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) -> f7337_0_createTree_JMP(EOS(STATIC_7337(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) :|: TRUE
f7337_0_createTree_JMP(EOS(STATIC_7337(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) -> f7343_0_createTree_Inc(EOS(STATIC_7343(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) :|: TRUE
f7343_0_createTree_Inc(EOS(STATIC_7343(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) -> f7349_0_createTree_JMP(EOS(STATIC_7349(java.lang.Object(ARRAY(i6)))), i1211 + -1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) :|: TRUE
f7349_0_createTree_JMP(EOS(STATIC_7349(java.lang.Object(ARRAY(i6)))), i1407, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) -> f7354_0_createTree_Load(EOS(STATIC_7354(java.lang.Object(ARRAY(i6)))), i1407, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) :|: TRUE
f7354_0_createTree_Load(EOS(STATIC_7354(java.lang.Object(ARRAY(i6)))), i1407, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) -> f7015_0_createTree_Load(EOS(STATIC_7015(java.lang.Object(ARRAY(i6)))), i1407, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3276))) :|: TRUE
f7166_0_createTree_LE(EOS(STATIC_7166(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), i1304) -> f7172_0_createTree_Load(EOS(STATIC_7172(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) :|: i1304 > 0
f7172_0_createTree_Load(EOS(STATIC_7172(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub)) -> f7179_0_createTree_FieldAccess(EOS(STATIC_7179(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2167sub), java.lang.Object(o2167sub)) :|: TRUE
f7179_0_createTree_FieldAccess(EOS(STATIC_7179(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, o2799)), java.lang.Object(Tree(EOC, o2800, o2799))) -> f7185_0_createTree_FieldAccess(EOS(STATIC_7185(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, o2799)), java.lang.Object(Tree(EOC, o2800, o2799))) :|: TRUE
f7185_0_createTree_FieldAccess(EOS(STATIC_7185(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, o2799)), java.lang.Object(Tree(EOC, o2800, o2799))) -> f7192_0_createTree_NONNULL(EOS(STATIC_7192(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, o2799)), o2799) :|: TRUE
f7192_0_createTree_NONNULL(EOS(STATIC_7192(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, java.lang.Object(o2849sub))), java.lang.Object(o2849sub)) -> f7200_0_createTree_NONNULL(EOS(STATIC_7200(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, java.lang.Object(o2849sub))), java.lang.Object(o2849sub)) :|: TRUE
f7192_0_createTree_NONNULL(EOS(STATIC_7192(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), NULL) -> f7201_0_createTree_NONNULL(EOS(STATIC_7201(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), NULL) :|: TRUE
f7200_0_createTree_NONNULL(EOS(STATIC_7200(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, java.lang.Object(o2849sub))), java.lang.Object(o2849sub)) -> f7209_0_createTree_Load(EOS(STATIC_7209(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, java.lang.Object(o2849sub)))) :|: TRUE
f7209_0_createTree_Load(EOS(STATIC_7209(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, java.lang.Object(o2849sub)))) -> f7218_0_createTree_FieldAccess(EOS(STATIC_7218(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, java.lang.Object(o2849sub)))) :|: TRUE
f7218_0_createTree_FieldAccess(EOS(STATIC_7218(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, java.lang.Object(o2849sub)))) -> f7227_0_createTree_Store(EOS(STATIC_7227(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) :|: TRUE
f7227_0_createTree_Store(EOS(STATIC_7227(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) -> f7235_0_createTree_JMP(EOS(STATIC_7235(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) :|: TRUE
f7235_0_createTree_JMP(EOS(STATIC_7235(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) -> f7242_0_createTree_Inc(EOS(STATIC_7242(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) :|: TRUE
f7242_0_createTree_Inc(EOS(STATIC_7242(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) -> f7252_0_createTree_JMP(EOS(STATIC_7252(java.lang.Object(ARRAY(i6)))), i1211 + -1, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) :|: TRUE
f7252_0_createTree_JMP(EOS(STATIC_7252(java.lang.Object(ARRAY(i6)))), i1358, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) -> f7259_0_createTree_Load(EOS(STATIC_7259(java.lang.Object(ARRAY(i6)))), i1358, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) :|: TRUE
f7259_0_createTree_Load(EOS(STATIC_7259(java.lang.Object(ARRAY(i6)))), i1358, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) -> f7015_0_createTree_Load(EOS(STATIC_7015(java.lang.Object(ARRAY(i6)))), i1358, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(o2849sub)) :|: TRUE
f7201_0_createTree_NONNULL(EOS(STATIC_7201(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), NULL) -> f7210_0_createTree_Load(EOS(STATIC_7210(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL))) :|: TRUE
f7210_0_createTree_Load(EOS(STATIC_7210(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL))) -> f7219_0_createTree_InvokeMethod(EOS(STATIC_7219(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL))) :|: TRUE
f7219_0_createTree_InvokeMethod(EOS(STATIC_7219(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL))) -> f7228_0_createNode_New(EOS(STATIC_7228(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL))) :|: TRUE
f7228_0_createNode_New(EOS(STATIC_7228(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL))) -> f7243_0_createNode_Duplicate(EOS(STATIC_7243(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7243_0_createNode_Duplicate(EOS(STATIC_7243(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7253_0_createNode_InvokeMethod(EOS(STATIC_7253(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7253_0_createNode_InvokeMethod(EOS(STATIC_7253(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7260_0__init__Load(EOS(STATIC_7260(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7260_0__init__Load(EOS(STATIC_7260(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7269_0__init__InvokeMethod(EOS(STATIC_7269(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7269_0__init__InvokeMethod(EOS(STATIC_7269(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7274_0__init__Return(EOS(STATIC_7274(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7274_0__init__Return(EOS(STATIC_7274(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7278_0_createNode_Store(EOS(STATIC_7278(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7278_0_createNode_Store(EOS(STATIC_7278(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7284_0_createNode_Load(EOS(STATIC_7284(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7284_0_createNode_Load(EOS(STATIC_7284(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7287_0_createNode_New(EOS(STATIC_7287(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7287_0_createNode_New(EOS(STATIC_7287(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7291_0_createNode_Duplicate(EOS(STATIC_7291(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7291_0_createNode_Duplicate(EOS(STATIC_7291(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7295_0_createNode_InvokeMethod(EOS(STATIC_7295(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7295_0_createNode_InvokeMethod(EOS(STATIC_7295(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7299_0_createNode_FieldAccess(EOS(STATIC_7299(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7299_0_createNode_FieldAccess(EOS(STATIC_7299(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7303_0_createNode_Load(EOS(STATIC_7303(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7303_0_createNode_Load(EOS(STATIC_7303(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7306_0_createNode_Return(EOS(STATIC_7306(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7306_0_createNode_Return(EOS(STATIC_7306(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7312_0_createTree_FieldAccess(EOS(STATIC_7312(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7312_0_createTree_FieldAccess(EOS(STATIC_7312(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7318_0_createTree_FieldAccess(EOS(STATIC_7318(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7312_0_createTree_FieldAccess(EOS(STATIC_7312(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, NULL)), java.lang.Object(Tree(EOC, o3285, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7319_0_createTree_FieldAccess(EOS(STATIC_7319(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, NULL)), java.lang.Object(Tree(EOC, o3285, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7318_0_createTree_FieldAccess(EOS(STATIC_7318(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2800, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7325_0_createTree_Load(EOS(STATIC_7325(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165put, o2164put))) :|: TRUE
f7325_0_createTree_Load(EOS(STATIC_7325(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164))) -> f7332_0_createTree_Store(EOS(STATIC_7332(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7332_0_createTree_Store(EOS(STATIC_7332(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7338_0_createTree_JMP(EOS(STATIC_7338(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7338_0_createTree_JMP(EOS(STATIC_7338(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7344_0_createTree_Inc(EOS(STATIC_7344(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7344_0_createTree_Inc(EOS(STATIC_7344(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7350_0_createTree_JMP(EOS(STATIC_7350(java.lang.Object(ARRAY(i6)))), i1211 + -1, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7350_0_createTree_JMP(EOS(STATIC_7350(java.lang.Object(ARRAY(i6)))), i1408, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7355_0_createTree_Load(EOS(STATIC_7355(java.lang.Object(ARRAY(i6)))), i1408, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7355_0_createTree_Load(EOS(STATIC_7355(java.lang.Object(ARRAY(i6)))), i1408, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) -> f7015_0_createTree_Load(EOS(STATIC_7015(java.lang.Object(ARRAY(i6)))), i1408, java.lang.Object(Tree(EOC, o2165, o2164)), java.lang.Object(Tree(EOC, o2165, o2164))) :|: TRUE
f7319_0_createTree_FieldAccess(EOS(STATIC_7319(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, NULL)), java.lang.Object(Tree(EOC, o3285, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7326_0_createTree_Load(EOS(STATIC_7326(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7326_0_createTree_Load(EOS(STATIC_7326(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7333_0_createTree_Store(EOS(STATIC_7333(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7333_0_createTree_Store(EOS(STATIC_7333(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7339_0_createTree_JMP(EOS(STATIC_7339(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7339_0_createTree_JMP(EOS(STATIC_7339(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7345_0_createTree_Inc(EOS(STATIC_7345(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7345_0_createTree_Inc(EOS(STATIC_7345(java.lang.Object(ARRAY(i6)))), i1211, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7351_0_createTree_JMP(EOS(STATIC_7351(java.lang.Object(ARRAY(i6)))), i1211 + -1, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7351_0_createTree_JMP(EOS(STATIC_7351(java.lang.Object(ARRAY(i6)))), i1409, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7356_0_createTree_Load(EOS(STATIC_7356(java.lang.Object(ARRAY(i6)))), i1409, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7356_0_createTree_Load(EOS(STATIC_7356(java.lang.Object(ARRAY(i6)))), i1409, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7015_0_createTree_Load(EOS(STATIC_7015(java.lang.Object(ARRAY(i6)))), i1409, java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3285, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0, java.lang.Object(Tree(EOC, o2165:0, o2164:0)), java.lang.Object(Tree(EOC, NULL, o2795:0)), i1211:0) -> f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0 - 1, java.lang.Object(Tree(EOC, o2165put:0, o2164put:0)), java.lang.Object(Tree(EOC, o2165put:0, o2164put:0)), i1211:0 - 1) :|: i1211:0 > 0
f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0, java.lang.Object(Tree(EOC, o2165:0, o2164:0)), java.lang.Object(Tree(EOC, o2800:0, java.lang.Object(o2849sub:0))), i1211:0) -> f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0 - 1, java.lang.Object(Tree(EOC, o2165:0, o2164:0)), java.lang.Object(o2849sub:0), i1211:0 - 1) :|: i1211:0 > 0 && i1276:0 > 0
f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0, java.lang.Object(Tree(EOC, o2165:0, o2164:0)), java.lang.Object(Tree(EOC, o2800:0, NULL)), i1211:0) -> f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0 - 1, java.lang.Object(Tree(EOC, o2165put:0, o2164put:0)), java.lang.Object(Tree(EOC, o2165put:0, o2164put:0)), i1211:0 - 1) :|: i1211:0 > 0 && i1276:0 > 0
f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0, java.lang.Object(Tree(EOC, o2165:0, NULL)), java.lang.Object(Tree(EOC, o2165:0, NULL)), i1211:0) -> f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0 - 1, java.lang.Object(Tree(EOC, o2165:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2165:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1211:0 - 1) :|: i1211:0 > 0 && i1276:0 > 0
f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0, java.lang.Object(Tree(EOC, NULL, o2164:0)), java.lang.Object(Tree(EOC, NULL, o2164:0)), i1211:0) -> f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2164:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2164:0)), i1211:0 - 1) :|: i1211:0 > 0
f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0, java.lang.Object(Tree(EOC, o2165:0, o2164:0)), java.lang.Object(Tree(EOC, java.lang.Object(o2848sub:0), o2795:0)), i1211:0) -> f7018_0_createTree_LE(EOS(STATIC_7018(java.lang.Object(ARRAY(i6:0)))), i1211:0 - 1, java.lang.Object(Tree(EOC, o2165:0, o2164:0)), java.lang.Object(o2848sub:0), i1211:0 - 1) :|: i1211:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f7018_0_createTree_LE(x1, x2, x3, x4, x5) -> f7018_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f7018_0_createTree_LE(x1, x2, x3, x4) -> f7018_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(NULL, o2795:0)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165put:0, o2164put:0)), java.lang.Object(Tree(o2165put:0, o2164put:0)), i1211:0 - 1) :|: i1211:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(o2800:0, java.lang.Object(o2849sub:0))), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(o2849sub:0), i1211:0 - 1) :|: i1211:0 > 0 && i1276:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(o2800:0, NULL)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165put:0, o2164put:0)), java.lang.Object(Tree(o2165put:0, o2164put:0)), i1211:0 - 1) :|: i1211:0 > 0 && i1276:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, NULL)), java.lang.Object(Tree(o2165:0, NULL)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o2165:0, java.lang.Object(Tree(NULL, NULL)))), i1211:0 - 1) :|: i1211:0 > 0 && i1276:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(NULL, o2164:0)), java.lang.Object(Tree(NULL, o2164:0)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2164:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2164:0)), i1211:0 - 1) :|: i1211:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(java.lang.Object(o2848sub:0), o2795:0)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(o2848sub:0), i1211:0 - 1) :|: i1211:0 > 0

----------------------------------------

(28)
Obligation:
Rules:
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(NULL, o2795:0)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165put:0, o2164put:0)), java.lang.Object(Tree(o2165put:0, o2164put:0)), i1211:0 - 1) :|: i1211:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(x2, java.lang.Object(x3))), x4) -> f7018_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(x3), x4 - 1) :|: x4 > 0 && x5 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(x6, x7)), java.lang.Object(Tree(x8, NULL)), x9) -> f7018_0_createTree_LE(java.lang.Object(Tree(x10, x11)), java.lang.Object(Tree(x10, x11)), x9 - 1) :|: x9 > 0 && x12 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(x13, NULL)), java.lang.Object(Tree(x13, NULL)), x14) -> f7018_0_createTree_LE(java.lang.Object(Tree(x13, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x13, java.lang.Object(Tree(NULL, NULL)))), x14 - 1) :|: x14 > 0 && x15 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(NULL, x16)), java.lang.Object(Tree(NULL, x16)), x17) -> f7018_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x16)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x16)), x17 - 1) :|: x17 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(x18, x19)), java.lang.Object(Tree(java.lang.Object(x20), x21)), x22) -> f7018_0_createTree_LE(java.lang.Object(Tree(x18, x19)), java.lang.Object(x20), x22 - 1) :|: x22 > 0

----------------------------------------

(29) IRSFormatTransformerProof (EQUIVALENT)
Reformatted IRS to match normalized format (transformed away non-linear left-hand sides, !=, / and %).
----------------------------------------

(30)
Obligation:
Rules:
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(NULL, o2795:0)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165put:0, o2164put:0)), java.lang.Object(Tree(o2165put:0, o2164put:0)), arith) :|: i1211:0 > 0 && arith = i1211:0 - 1
f7018_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, java.lang.Object(x26))), x27) -> f7018_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(x26), x28) :|: x27 > 0 && x29 > 0 && x28 = x27 - 1
f7018_0_createTree_LE(java.lang.Object(Tree(x30, x31)), java.lang.Object(Tree(x32, NULL)), x33) -> f7018_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(x34, x35)), x36) :|: x33 > 0 && x37 > 0 && x36 = x33 - 1
f7018_0_createTree_LE(java.lang.Object(Tree(x38, NULL)), java.lang.Object(Tree(x38, NULL)), x39) -> f7018_0_createTree_LE(java.lang.Object(Tree(x38, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x38, java.lang.Object(Tree(NULL, NULL)))), x40) :|: x39 > 0 && x41 > 0 && x40 = x39 - 1
f7018_0_createTree_LE(java.lang.Object(Tree(NULL, x42)), java.lang.Object(Tree(NULL, x42)), x43) -> f7018_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42)), x44) :|: x43 > 0 && x44 = x43 - 1
f7018_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(java.lang.Object(x47), x48)), x49) -> f7018_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(x47), x50) :|: x49 > 0 && x50 = x49 - 1

----------------------------------------

(31) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(NULL, o2795:0)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165put:0, o2164put:0)), java.lang.Object(Tree(o2165put:0, o2164put:0)), arith) :|: i1211:0 > 0 && arith = i1211:0 - 1
(2) f7018_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, java.lang.Object(x26))), x27) -> f7018_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(x26), x28) :|: x27 > 0 && x29 > 0 && x28 = x27 - 1
(3) f7018_0_createTree_LE(java.lang.Object(Tree(x30, x31)), java.lang.Object(Tree(x32, NULL)), x33) -> f7018_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(x34, x35)), x36) :|: x33 > 0 && x37 > 0 && x36 = x33 - 1
(4) f7018_0_createTree_LE(java.lang.Object(Tree(x38, NULL)), java.lang.Object(Tree(x38, NULL)), x39) -> f7018_0_createTree_LE(java.lang.Object(Tree(x38, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x38, java.lang.Object(Tree(NULL, NULL)))), x40) :|: x39 > 0 && x41 > 0 && x40 = x39 - 1
(5) f7018_0_createTree_LE(java.lang.Object(Tree(NULL, x42)), java.lang.Object(Tree(NULL, x42)), x43) -> f7018_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42)), x44) :|: x43 > 0 && x44 = x43 - 1
(6) f7018_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(java.lang.Object(x47), x48)), x49) -> f7018_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(x47), x50) :|: x49 > 0 && x50 = x49 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (2), (3), (4), (5), (6)
(3) -> (1), (2), (3), (4), (5), (6)
(4) -> (1), (2), (5), (6)
(5) -> (2), (3), (4), (6)
(6) -> (1), (2), (3), (4), (5), (6)

This digraph is fully evaluated!
----------------------------------------

(32)
Obligation:

Termination digraph:
Nodes:
(1) f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0, o2164:0)), java.lang.Object(Tree(NULL, o2795:0)), i1211:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165put:0, o2164put:0)), java.lang.Object(Tree(o2165put:0, o2164put:0)), arith) :|: i1211:0 > 0 && arith = i1211:0 - 1
(2) f7018_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(Tree(x25, java.lang.Object(x26))), x27) -> f7018_0_createTree_LE(java.lang.Object(Tree(x23, x24)), java.lang.Object(x26), x28) :|: x27 > 0 && x29 > 0 && x28 = x27 - 1
(3) f7018_0_createTree_LE(java.lang.Object(Tree(x30, x31)), java.lang.Object(Tree(x32, NULL)), x33) -> f7018_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(x34, x35)), x36) :|: x33 > 0 && x37 > 0 && x36 = x33 - 1
(4) f7018_0_createTree_LE(java.lang.Object(Tree(NULL, x42)), java.lang.Object(Tree(NULL, x42)), x43) -> f7018_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42)), x44) :|: x43 > 0 && x44 = x43 - 1
(5) f7018_0_createTree_LE(java.lang.Object(Tree(x38, NULL)), java.lang.Object(Tree(x38, NULL)), x39) -> f7018_0_createTree_LE(java.lang.Object(Tree(x38, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x38, java.lang.Object(Tree(NULL, NULL)))), x40) :|: x39 > 0 && x41 > 0 && x40 = x39 - 1
(6) f7018_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(Tree(java.lang.Object(x47), x48)), x49) -> f7018_0_createTree_LE(java.lang.Object(Tree(x45, x46)), java.lang.Object(x47), x50) :|: x49 > 0 && x50 = x49 - 1

Arcs:
(1) -> (1), (2), (3), (4), (5), (6)
(2) -> (1), (2), (3), (4), (5), (6)
(3) -> (1), (2), (3), (4), (5), (6)
(4) -> (2), (3), (5), (6)
(5) -> (1), (2), (4), (6)
(6) -> (1), (2), (3), (4), (5), (6)

This digraph is fully evaluated!

----------------------------------------

(33) IntTRSCompressionProof (EQUIVALENT)
Compressed rules.
----------------------------------------

(34)
Obligation:
Rules:
f7018_0_createTree_LE(java.lang.Object(Tree(x45:0, x46:0)), java.lang.Object(Tree(java.lang.Object(x47:0), x48:0)), x49:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(x45:0, x46:0)), java.lang.Object(x47:0), x49:0 - 1) :|: x49:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(x23:0, x24:0)), java.lang.Object(Tree(x25:0, java.lang.Object(x26:0))), x27:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(x23:0, x24:0)), java.lang.Object(x26:0), x27:0 - 1) :|: x27:0 > 0 && x29:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(o2165:0:0, o2164:0:0)), java.lang.Object(Tree(NULL, o2795:0:0)), i1211:0:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(o2165put:0:0, o2164put:0:0)), java.lang.Object(Tree(o2165put:0:0, o2164put:0:0)), i1211:0:0 - 1) :|: i1211:0:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(x30:0, x31:0)), java.lang.Object(Tree(x32:0, NULL)), x33:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(x34:0, x35:0)), java.lang.Object(Tree(x34:0, x35:0)), x33:0 - 1) :|: x33:0 > 0 && x37:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(x38:0, NULL)), java.lang.Object(Tree(x38:0, NULL)), x39:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(x38:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x38:0, java.lang.Object(Tree(NULL, NULL)))), x39:0 - 1) :|: x39:0 > 0 && x41:0 > 0
f7018_0_createTree_LE(java.lang.Object(Tree(NULL, x42:0)), java.lang.Object(Tree(NULL, x42:0)), x43:0) -> f7018_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x42:0)), x43:0 - 1) :|: x43:0 > 0

----------------------------------------

(35) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f7018_0_createTree_LE(VARIABLE, VARIABLE, INTEGER)
java.lang.Object(VARIABLE)
Tree(VARIABLE, VARIABLE)
NULL()
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(36)
Obligation:
Rules:
f7018_0_createTree_LE(c, c1, x49:0) -> f7018_0_createTree_LE(c2, c3, c4) :|: c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x49:0 > 0
f7018_0_createTree_LE(c5, c6, x27:0) -> f7018_0_createTree_LE(c7, c8, c9) :|: c9 = x27:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x27:0 > 0 && x29:0 > 0)

----------------------------------------

(37) PolynomialOrderProcessor (EQUIVALENT)
Found the following polynomial interpretation:
[f7018_0_createTree_LE(x, x1, x2)] = c*x + c1*x1 + x2

The following rules are decreasing:
f7018_0_createTree_LE(c, c1, x49:0) -> f7018_0_createTree_LE(c2, c3, c4) :|: c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x49:0 > 0
f7018_0_createTree_LE(c5, c6, x27:0) -> f7018_0_createTree_LE(c7, c8, c9) :|: c9 = x27:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x27:0 > 0 && x29:0 > 0)
The following rules are bounded:
f7018_0_createTree_LE(c, c1, x49:0) -> f7018_0_createTree_LE(c2, c3, c4) :|: c4 = x49:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x49:0 > 0
f7018_0_createTree_LE(c5, c6, x27:0) -> f7018_0_createTree_LE(c7, c8, c9) :|: c9 = x27:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x27:0 > 0 && x29:0 > 0)

----------------------------------------

(38)
YES