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


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


YES
proof of /export/starexec/sandbox/benchmark/theBenchmark.jar
# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 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, 1230 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 240 ms]
        (9) QDP
        (10) UsableRulesReductionPairsProof [EQUIVALENT, 58 ms]
        (11) QDP
        (12) PisEmptyProof [EQUIVALENT, 0 ms]
        (13) YES
    (14) JBCTerminationSCC
        (15) SCCToQDPProof [SOUND, 195 ms]
        (16) QDP
        (17) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (18) YES
    (19) JBCTerminationSCC
        (20) SCCToQDPProof [SOUND, 323 ms]
        (21) QDP
        (22) DependencyGraphProof [EQUIVALENT, 0 ms]
        (23) QDP
        (24) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (25) YES
    (26) JBCTerminationSCC
        (27) SCCToIRSProof [SOUND, 279 ms]
        (28) IRSwT
        (29) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (30) IRSwT
        (31) IRSwTTerminationDigraphProof [EQUIVALENT, 170 ms]
        (32) IRSwT
        (33) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (34) IRSwT
        (35) TempFilterProof [SOUND, 51 ms]
        (36) IntTRS
        (37) RankingReductionPairProof [EQUIVALENT, 10 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 44 nodes with 0 SCCs.



Tree.createTree()LTree;: Graph of 310 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:
f7310_0_flatten_NULL(EOS(STATIC_7310), java.lang.Object(o3355sub), java.lang.Object(o3355sub)) -> f7313_0_flatten_NULL(EOS(STATIC_7313), java.lang.Object(o3355sub), java.lang.Object(o3355sub)) :|: TRUE
f7313_0_flatten_NULL(EOS(STATIC_7313), java.lang.Object(o3355sub), java.lang.Object(o3355sub)) -> f7317_0_flatten_Load(EOS(STATIC_7317), java.lang.Object(o3355sub)) :|: TRUE
f7317_0_flatten_Load(EOS(STATIC_7317), java.lang.Object(o3355sub)) -> f7321_0_flatten_FieldAccess(EOS(STATIC_7321), java.lang.Object(o3355sub), java.lang.Object(o3355sub)) :|: TRUE
f7321_0_flatten_FieldAccess(EOS(STATIC_7321), java.lang.Object(Tree(EOC, o3399, o3400)), java.lang.Object(Tree(EOC, o3399, o3400))) -> f7325_0_flatten_FieldAccess(EOS(STATIC_7325), java.lang.Object(Tree(EOC, o3399, o3400)), java.lang.Object(Tree(EOC, o3399, o3400))) :|: TRUE
f7325_0_flatten_FieldAccess(EOS(STATIC_7325), java.lang.Object(Tree(EOC, o3399, o3400)), java.lang.Object(Tree(EOC, o3399, o3400))) -> f7329_0_flatten_NONNULL(EOS(STATIC_7329), java.lang.Object(Tree(EOC, o3399, o3400)), o3399) :|: TRUE
f7329_0_flatten_NONNULL(EOS(STATIC_7329), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(o3448sub)) -> f7332_0_flatten_NONNULL(EOS(STATIC_7332), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(o3448sub)) :|: TRUE
f7329_0_flatten_NONNULL(EOS(STATIC_7329), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7333_0_flatten_NONNULL(EOS(STATIC_7333), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7332_0_flatten_NONNULL(EOS(STATIC_7332), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(o3448sub)) -> f7338_0_flatten_Load(EOS(STATIC_7338), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400))) :|: TRUE
f7338_0_flatten_Load(EOS(STATIC_7338), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400))) -> f7345_0_flatten_FieldAccess(EOS(STATIC_7345), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400))) :|: TRUE
f7345_0_flatten_FieldAccess(EOS(STATIC_7345), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400))) -> f7352_0_flatten_FieldAccess(EOS(STATIC_7352), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(o3448sub)) :|: TRUE
f7352_0_flatten_FieldAccess(EOS(STATIC_7352), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, o3572, o3573))) -> f7359_0_flatten_FieldAccess(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, o3572, o3573))) :|: TRUE
f7359_0_flatten_FieldAccess(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, o3572, o3573))) -> f7365_0_flatten_Store(EOS(STATIC_7365), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572) :|: TRUE
f7365_0_flatten_Store(EOS(STATIC_7365), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572) -> f7371_0_flatten_Load(EOS(STATIC_7371), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572) :|: TRUE
f7371_0_flatten_Load(EOS(STATIC_7371), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572) -> f7375_0_flatten_FieldAccess(EOS(STATIC_7375), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) :|: TRUE
f7375_0_flatten_FieldAccess(EOS(STATIC_7375), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) -> f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, java.lang.Object(Tree(EOC, o3572, o3573))) :|: TRUE
f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, java.lang.Object(Tree(EOC, o3572, o3573))) -> f7380_0_flatten_Store(EOS(STATIC_7380), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, o3573) :|: TRUE
f7380_0_flatten_Store(EOS(STATIC_7380), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, o3573) -> f7382_0_flatten_Load(EOS(STATIC_7382), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, o3573) :|: TRUE
f7382_0_flatten_Load(EOS(STATIC_7382), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), o3572, o3573) -> f7384_0_flatten_FieldAccess(EOS(STATIC_7384), o3572, o3573, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) :|: TRUE
f7384_0_flatten_FieldAccess(EOS(STATIC_7384), o3572, o3573, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) -> f7386_0_flatten_Store(EOS(STATIC_7386), o3572, o3573, o3400) :|: TRUE
f7386_0_flatten_Store(EOS(STATIC_7386), o3572, o3573, o3400) -> f7388_0_flatten_New(EOS(STATIC_7388), o3572, o3573, o3400) :|: TRUE
f7388_0_flatten_New(EOS(STATIC_7388), o3572, o3573, o3400) -> f7390_0_flatten_Duplicate(EOS(STATIC_7390), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7390_0_flatten_Duplicate(EOS(STATIC_7390), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7392_0_flatten_Load(EOS(STATIC_7392), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7392_0_flatten_Load(EOS(STATIC_7392), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7394_0_flatten_New(EOS(STATIC_7394), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) :|: TRUE
f7394_0_flatten_New(EOS(STATIC_7394), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) -> f7396_0_flatten_Duplicate(EOS(STATIC_7396), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7396_0_flatten_Duplicate(EOS(STATIC_7396), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7398_0_flatten_Load(EOS(STATIC_7398), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7398_0_flatten_Load(EOS(STATIC_7398), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7400_0_flatten_Load(EOS(STATIC_7400), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573) :|: TRUE
f7400_0_flatten_Load(EOS(STATIC_7400), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573) -> f7402_0_flatten_InvokeMethod(EOS(STATIC_7402), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) :|: TRUE
f7402_0_flatten_InvokeMethod(EOS(STATIC_7402), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) -> f7404_0__init__Load(EOS(STATIC_7404), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) :|: TRUE
f7404_0__init__Load(EOS(STATIC_7404), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) -> f7406_0__init__InvokeMethod(EOS(STATIC_7406), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7406_0__init__InvokeMethod(EOS(STATIC_7406), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7407_0__init__Load(EOS(STATIC_7407), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) :|: TRUE
f7407_0__init__Load(EOS(STATIC_7407), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) -> f7408_0__init__Load(EOS(STATIC_7408), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7408_0__init__Load(EOS(STATIC_7408), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7409_0__init__FieldAccess(EOS(STATIC_7409), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), o3573) :|: TRUE
f7409_0__init__FieldAccess(EOS(STATIC_7409), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), o3573) -> f7410_0__init__Load(EOS(STATIC_7410), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) :|: TRUE
f7410_0__init__Load(EOS(STATIC_7410), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) -> f7411_0__init__Load(EOS(STATIC_7411), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), o3400, java.lang.Object(Tree(EOC, o3573, NULL))) :|: TRUE
f7411_0__init__Load(EOS(STATIC_7411), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), o3400, java.lang.Object(Tree(EOC, o3573, NULL))) -> f7412_0__init__FieldAccess(EOS(STATIC_7412), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) :|: TRUE
f7412_0__init__FieldAccess(EOS(STATIC_7412), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) -> f7413_0__init__Return(EOS(STATIC_7413), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7413_0__init__Return(EOS(STATIC_7413), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7414_0_flatten_InvokeMethod(EOS(STATIC_7414), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7414_0_flatten_InvokeMethod(EOS(STATIC_7414), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7415_0__init__Load(EOS(STATIC_7415), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7415_0__init__Load(EOS(STATIC_7415), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7416_0__init__InvokeMethod(EOS(STATIC_7416), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7416_0__init__InvokeMethod(EOS(STATIC_7416), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7417_0__init__Load(EOS(STATIC_7417), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7417_0__init__Load(EOS(STATIC_7417), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7418_0__init__Load(EOS(STATIC_7418), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7418_0__init__Load(EOS(STATIC_7418), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7419_0__init__FieldAccess(EOS(STATIC_7419), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) :|: TRUE
f7419_0__init__FieldAccess(EOS(STATIC_7419), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) -> f7420_0__init__Load(EOS(STATIC_7420), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7420_0__init__Load(EOS(STATIC_7420), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) -> f7421_0__init__Load(EOS(STATIC_7421), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, o3572, NULL))) :|: TRUE
f7421_0__init__Load(EOS(STATIC_7421), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, o3572, NULL))) -> f7422_0__init__FieldAccess(EOS(STATIC_7422), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7422_0__init__FieldAccess(EOS(STATIC_7422), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) -> f7423_0__init__Return(EOS(STATIC_7423), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) :|: TRUE
f7423_0__init__Return(EOS(STATIC_7423), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) -> f7424_0_flatten_Store(EOS(STATIC_7424), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) :|: TRUE
f7424_0_flatten_Store(EOS(STATIC_7424), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) -> f7425_0_flatten_JMP(EOS(STATIC_7425), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) :|: TRUE
f7425_0_flatten_JMP(EOS(STATIC_7425), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) -> f7426_0_flatten_Load(EOS(STATIC_7426), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) :|: TRUE
f7426_0_flatten_Load(EOS(STATIC_7426), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) -> f7307_0_flatten_Load(EOS(STATIC_7307), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) :|: TRUE
f7307_0_flatten_Load(EOS(STATIC_7307), o3315) -> f7310_0_flatten_NULL(EOS(STATIC_7310), o3315, o3315) :|: TRUE
f7333_0_flatten_NONNULL(EOS(STATIC_7333), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7339_0_flatten_New(EOS(STATIC_7339), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7339_0_flatten_New(EOS(STATIC_7339), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7346_0_flatten_Duplicate(EOS(STATIC_7346), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7346_0_flatten_Duplicate(EOS(STATIC_7346), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7353_0_flatten_ConstantStackPush(EOS(STATIC_7353), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7353_0_flatten_ConstantStackPush(EOS(STATIC_7353), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7360_0_flatten_Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7360_0_flatten_Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7366_0_flatten_InvokeMethod(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7366_0_flatten_InvokeMethod(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7372_0__init__Load(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7372_0__init__Load(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7379_0__init__InvokeMethod(EOS(STATIC_7379), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7379_0__init__InvokeMethod(EOS(STATIC_7379), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7381_0__init__Load(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7381_0__init__Load(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7385_0__init__FieldAccess(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) :|: TRUE
f7385_0__init__FieldAccess(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, o3400)), NULL) -> f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7393_0__init__Return(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7393_0__init__Return(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7395_0_flatten_Store(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7395_0_flatten_Store(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7397_0_flatten_Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7397_0_flatten_Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7399_0_flatten_FieldAccess(EOS(STATIC_7399), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7399_0_flatten_FieldAccess(EOS(STATIC_7399), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7401_0_flatten_Store(EOS(STATIC_7401), o3400) :|: TRUE
f7401_0_flatten_Store(EOS(STATIC_7401), o3400) -> f7403_0_flatten_JMP(EOS(STATIC_7403), o3400) :|: TRUE
f7403_0_flatten_JMP(EOS(STATIC_7403), o3400) -> f7405_0_flatten_Load(EOS(STATIC_7405), o3400) :|: TRUE
f7405_0_flatten_Load(EOS(STATIC_7405), o3400) -> f7307_0_flatten_Load(EOS(STATIC_7307), o3400) :|: TRUE
R rules:
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
f7310_0_flatten_NULL(EOS(STATIC_7310), java.lang.Object(Tree(EOC, NULL, o3400:0)), java.lang.Object(Tree(EOC, NULL, o3400:0))) -> f7310_0_flatten_NULL(EOS(STATIC_7310), o3400:0, o3400:0) :|: TRUE
f7310_0_flatten_NULL(EOS(STATIC_7310), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572:0, o3573:0)), o3400:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572:0, o3573:0)), o3400:0))) -> f7310_0_flatten_NULL(EOS(STATIC_7310), java.lang.Object(Tree(EOC, o3572:0, java.lang.Object(Tree(EOC, o3573:0, o3400:0)))), java.lang.Object(Tree(EOC, o3572:0, java.lang.Object(Tree(EOC, o3573:0, o3400:0))))) :|: TRUE
R rules:
Filtered ground terms:
   f7310_0_flatten_NULL(x1, x2, x3) -> f7310_0_flatten_NULL(x2, x3)
   EOS(x1) -> EOS
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f7310_0_flatten_NULL(x1, x2) -> f7310_0_flatten_NULL(x2)
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
F7310_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3572:0:0, o3573:0:0)), o3400:0:0))) -> F7310_0_FLATTEN_NULL(java.lang.Object(Tree(o3572:0:0, java.lang.Object(Tree(o3573:0:0, o3400:0:0))))) :|: TRUE
F7310_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3400:0:0))) -> F7310_0_FLATTEN_NULL(o3400:0:0) :|: TRUE
R rules:

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

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

   F7310_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3572:0:0, o3573:0:0)), o3400:0:0))) -> F7310_0_FLATTEN_NULL(java.lang.Object(Tree(o3572:0:0, java.lang.Object(Tree(o3573:0:0, o3400:0:0)))))
   F7310_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3400:0:0))) -> F7310_0_FLATTEN_NULL(o3400: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:

   F7310_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o3572:0:0, o3573:0:0)), o3400:0:0))) -> F7310_0_FLATTEN_NULL(java.lang.Object(Tree(o3572:0:0, java.lang.Object(Tree(o3573:0:0, o3400:0:0)))))
   F7310_0_FLATTEN_NULL(java.lang.Object(Tree(NULL, o3400:0:0))) -> F7310_0_FLATTEN_NULL(o3400:0:0)
No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

   POL(F7310_0_FLATTEN_NULL(x_1)) = 2*x_1
   POL(NULL) = 0
   POL(Tree(x_1, x_2)) = 1 + 2*x_1 + x_2
   POL(java.lang.Object(x_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:
f6821_0_flatten_NULL(EOS(STATIC_6821), java.lang.Object(Tree(EOC, o1887, o1888)), java.lang.Object(Tree(EOC, o1887, o1888))) -> f6825_0_flatten_Load(EOS(STATIC_6825), java.lang.Object(Tree(EOC, o1887, o1888))) :|: TRUE
f6825_0_flatten_Load(EOS(STATIC_6825), java.lang.Object(Tree(EOC, o1887, o1888))) -> f6830_0_flatten_FieldAccess(EOS(STATIC_6830), java.lang.Object(Tree(EOC, o1887, o1888)), java.lang.Object(Tree(EOC, o1887, o1888))) :|: TRUE
f6830_0_flatten_FieldAccess(EOS(STATIC_6830), java.lang.Object(Tree(EOC, o1887, o1888)), java.lang.Object(Tree(EOC, o1887, o1888))) -> f6834_0_flatten_NONNULL(EOS(STATIC_6834), java.lang.Object(Tree(EOC, o1887, o1888)), o1887) :|: TRUE
f6834_0_flatten_NONNULL(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), java.lang.Object(o1913sub)) -> f6839_0_flatten_NONNULL(EOS(STATIC_6839), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), java.lang.Object(o1913sub)) :|: TRUE
f6839_0_flatten_NONNULL(EOS(STATIC_6839), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), java.lang.Object(o1913sub)) -> f6845_0_flatten_Load(EOS(STATIC_6845), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888))) :|: TRUE
f6845_0_flatten_Load(EOS(STATIC_6845), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888))) -> f6851_0_flatten_FieldAccess(EOS(STATIC_6851), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888))) :|: TRUE
f6851_0_flatten_FieldAccess(EOS(STATIC_6851), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888))) -> f6858_0_flatten_FieldAccess(EOS(STATIC_6858), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), java.lang.Object(o1913sub)) :|: TRUE
f6858_0_flatten_FieldAccess(EOS(STATIC_6858), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), java.lang.Object(Tree(EOC, o1926, o1927))) -> f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), java.lang.Object(Tree(EOC, o1926, o1927))) :|: TRUE
f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), java.lang.Object(Tree(EOC, o1926, o1927))) -> f6872_0_flatten_Store(EOS(STATIC_6872), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926) :|: TRUE
f6872_0_flatten_Store(EOS(STATIC_6872), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926) -> f6879_0_flatten_Load(EOS(STATIC_6879), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926) :|: TRUE
f6879_0_flatten_Load(EOS(STATIC_6879), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926) -> f6888_0_flatten_FieldAccess(EOS(STATIC_6888), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) :|: TRUE
f6888_0_flatten_FieldAccess(EOS(STATIC_6888), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) -> f6896_0_flatten_FieldAccess(EOS(STATIC_6896), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, java.lang.Object(Tree(EOC, o1926, o1927))) :|: TRUE
f6896_0_flatten_FieldAccess(EOS(STATIC_6896), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, java.lang.Object(Tree(EOC, o1926, o1927))) -> f6905_0_flatten_Store(EOS(STATIC_6905), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, o1927) :|: TRUE
f6905_0_flatten_Store(EOS(STATIC_6905), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, o1927) -> f6914_0_flatten_Load(EOS(STATIC_6914), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, o1927) :|: TRUE
f6914_0_flatten_Load(EOS(STATIC_6914), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), o1926, o1927) -> f6921_0_flatten_FieldAccess(EOS(STATIC_6921), o1926, o1927, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) :|: TRUE
f6921_0_flatten_FieldAccess(EOS(STATIC_6921), o1926, o1927, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) -> f6929_0_flatten_Store(EOS(STATIC_6929), o1926, o1927, o1888) :|: TRUE
f6929_0_flatten_Store(EOS(STATIC_6929), o1926, o1927, o1888) -> f6937_0_flatten_New(EOS(STATIC_6937), o1926, o1927, o1888) :|: TRUE
f6937_0_flatten_New(EOS(STATIC_6937), o1926, o1927, o1888) -> f6944_0_flatten_Duplicate(EOS(STATIC_6944), o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6944_0_flatten_Duplicate(EOS(STATIC_6944), o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6947_0_flatten_Load(EOS(STATIC_6947), o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6947_0_flatten_Load(EOS(STATIC_6947), o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6952_0_flatten_New(EOS(STATIC_6952), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) :|: TRUE
f6952_0_flatten_New(EOS(STATIC_6952), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) -> f6956_0_flatten_Duplicate(EOS(STATIC_6956), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6956_0_flatten_Duplicate(EOS(STATIC_6956), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6961_0_flatten_Load(EOS(STATIC_6961), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6961_0_flatten_Load(EOS(STATIC_6961), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6965_0_flatten_Load(EOS(STATIC_6965), o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927) :|: TRUE
f6965_0_flatten_Load(EOS(STATIC_6965), o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927) -> f6969_0_flatten_InvokeMethod(EOS(STATIC_6969), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) :|: TRUE
f6969_0_flatten_InvokeMethod(EOS(STATIC_6969), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) -> f6973_0__init__Load(EOS(STATIC_6973), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) :|: TRUE
f6973_0__init__Load(EOS(STATIC_6973), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) -> f6980_0__init__InvokeMethod(EOS(STATIC_6980), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6980_0__init__InvokeMethod(EOS(STATIC_6980), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6985_0__init__Load(EOS(STATIC_6985), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) :|: TRUE
f6985_0__init__Load(EOS(STATIC_6985), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) -> f6990_0__init__Load(EOS(STATIC_6990), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6990_0__init__Load(EOS(STATIC_6990), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6995_0__init__FieldAccess(EOS(STATIC_6995), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1888, java.lang.Object(Tree(EOC, NULL, NULL)), o1927) :|: TRUE
f6995_0__init__FieldAccess(EOS(STATIC_6995), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1888, java.lang.Object(Tree(EOC, NULL, NULL)), o1927) -> f7002_0__init__Load(EOS(STATIC_7002), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) :|: TRUE
f7002_0__init__Load(EOS(STATIC_7002), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) -> f7008_0__init__Load(EOS(STATIC_7008), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), o1888, java.lang.Object(Tree(EOC, o1927, NULL))) :|: TRUE
f7008_0__init__Load(EOS(STATIC_7008), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), o1888, java.lang.Object(Tree(EOC, o1927, NULL))) -> f7016_0__init__FieldAccess(EOS(STATIC_7016), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) :|: TRUE
f7016_0__init__FieldAccess(EOS(STATIC_7016), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) -> f7024_0__init__Return(EOS(STATIC_7024), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7024_0__init__Return(EOS(STATIC_7024), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7032_0_flatten_InvokeMethod(EOS(STATIC_7032), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7032_0_flatten_InvokeMethod(EOS(STATIC_7032), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7038_0__init__Load(EOS(STATIC_7038), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7038_0__init__Load(EOS(STATIC_7038), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7046_0__init__InvokeMethod(EOS(STATIC_7046), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7046_0__init__InvokeMethod(EOS(STATIC_7046), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7051_0__init__Load(EOS(STATIC_7051), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7051_0__init__Load(EOS(STATIC_7051), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7055_0__init__Load(EOS(STATIC_7055), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7055_0__init__Load(EOS(STATIC_7055), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7060_0__init__FieldAccess(EOS(STATIC_7060), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) :|: TRUE
f7060_0__init__FieldAccess(EOS(STATIC_7060), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) -> f7064_0__init__Load(EOS(STATIC_7064), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7064_0__init__Load(EOS(STATIC_7064), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) -> f7068_0__init__Load(EOS(STATIC_7068), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, o1926, NULL))) :|: TRUE
f7068_0__init__Load(EOS(STATIC_7068), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, o1926, NULL))) -> f7074_0__init__FieldAccess(EOS(STATIC_7074), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7074_0__init__FieldAccess(EOS(STATIC_7074), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) -> f7080_0__init__Return(EOS(STATIC_7080), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) :|: TRUE
f7080_0__init__Return(EOS(STATIC_7080), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) -> f7087_0_flatten_Store(EOS(STATIC_7087), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) :|: TRUE
f7087_0_flatten_Store(EOS(STATIC_7087), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) -> f7093_0_flatten_JMP(EOS(STATIC_7093), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) :|: TRUE
f7093_0_flatten_JMP(EOS(STATIC_7093), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) -> f7099_0_flatten_Load(EOS(STATIC_7099), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) :|: TRUE
f7099_0_flatten_Load(EOS(STATIC_7099), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) -> f6818_0_flatten_Load(EOS(STATIC_6818), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) :|: TRUE
f6818_0_flatten_Load(EOS(STATIC_6818), java.lang.Object(Tree(EOC, o1887, o1888))) -> f6821_0_flatten_NULL(EOS(STATIC_6821), java.lang.Object(Tree(EOC, o1887, o1888)), java.lang.Object(Tree(EOC, o1887, o1888))) :|: TRUE
R rules:
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
f6821_0_flatten_NULL(EOS(STATIC_6821), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926:0, o1927:0)), o1888:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926:0, o1927:0)), o1888:0))) -> f6821_0_flatten_NULL(EOS(STATIC_6821), java.lang.Object(Tree(EOC, o1926:0, java.lang.Object(Tree(EOC, o1927:0, o1888:0)))), java.lang.Object(Tree(EOC, o1926:0, java.lang.Object(Tree(EOC, o1927:0, o1888:0))))) :|: TRUE
R rules:
Filtered ground terms:
   f6821_0_flatten_NULL(x1, x2, x3) -> f6821_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:
   f6821_0_flatten_NULL(x1, x2) -> f6821_0_flatten_NULL(x2)
Combined rules. Obtained 1 conditional rules for P and 0 conditional rules for R.P rules:
F6821_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1926:0:0))))) -> F6821_0_FLATTEN_NULL(java.lang.Object(Tree(o1926:0:0))) :|: TRUE
R rules:

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

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

   F6821_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1926:0:0))))) -> F6821_0_FLATTEN_NULL(java.lang.Object(Tree(o1926: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:
*F6821_0_FLATTEN_NULL(java.lang.Object(Tree(java.lang.Object(Tree(o1926:0:0))))) -> F6821_0_FLATTEN_NULL(java.lang.Object(Tree(o1926: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:
f5277_0_count_NULL(EOS(STATIC_5277), java.lang.Object(o1271sub), java.lang.Object(o1271sub)) -> f5326_0_count_NULL(EOS(STATIC_5326), java.lang.Object(o1271sub), java.lang.Object(o1271sub)) :|: TRUE
f5326_0_count_NULL(EOS(STATIC_5326), java.lang.Object(o1271sub), java.lang.Object(o1271sub)) -> f5347_0_count_Load(EOS(STATIC_5347), java.lang.Object(o1271sub)) :|: TRUE
f5347_0_count_Load(EOS(STATIC_5347), java.lang.Object(o1271sub)) -> f5424_0_count_FieldAccess(EOS(STATIC_5424), java.lang.Object(o1271sub), java.lang.Object(o1271sub)) :|: TRUE
f5424_0_count_FieldAccess(EOS(STATIC_5424), java.lang.Object(Tree(EOC, o1384, o1385)), java.lang.Object(Tree(EOC, o1384, o1385))) -> f5450_0_count_FieldAccess(EOS(STATIC_5450), java.lang.Object(Tree(EOC, o1384, o1385)), java.lang.Object(Tree(EOC, o1384, o1385))) :|: TRUE
f5450_0_count_FieldAccess(EOS(STATIC_5450), java.lang.Object(Tree(EOC, o1384, o1385)), java.lang.Object(Tree(EOC, o1384, o1385))) -> f5470_0_count_NONNULL(EOS(STATIC_5470), java.lang.Object(Tree(EOC, o1384, o1385)), o1384) :|: TRUE
f5470_0_count_NONNULL(EOS(STATIC_5470), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385)), java.lang.Object(o1422sub)) -> f5509_0_count_NONNULL(EOS(STATIC_5509), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385)), java.lang.Object(o1422sub)) :|: TRUE
f5470_0_count_NONNULL(EOS(STATIC_5470), java.lang.Object(Tree(EOC, NULL, o1385)), NULL) -> f5510_0_count_NONNULL(EOS(STATIC_5510), java.lang.Object(Tree(EOC, NULL, o1385)), NULL) :|: TRUE
f5509_0_count_NONNULL(EOS(STATIC_5509), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385)), java.lang.Object(o1422sub)) -> f5545_0_count_Load(EOS(STATIC_5545), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) :|: TRUE
f5545_0_count_Load(EOS(STATIC_5545), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) -> f5557_0_count_InvokeMethod(EOS(STATIC_5557), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) :|: TRUE
f5557_0_count_InvokeMethod(EOS(STATIC_5557), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) -> f5581_1_count_InvokeMethod(f5581_0_flatten_ConstantStackPush(EOS(STATIC_5581), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385)))) :|: TRUE
f5581_0_flatten_ConstantStackPush(EOS(STATIC_5581), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) -> f7688_0_flatten_ConstantStackPush(EOS(STATIC_7688), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) :|: TRUE
f7334_0_flatten_Return(EOS(STATIC_7334), java.lang.Object(Tree(EOC, NULL, o3437))) -> f7335_0_flatten_Return(EOS(STATIC_7335), java.lang.Object(Tree(EOC, NULL, o3437))) :|: TRUE
f7335_0_flatten_Return(EOS(STATIC_7335), java.lang.Object(Tree(EOC, NULL, o3456))) -> f7340_0_count_Store(EOS(STATIC_7340), java.lang.Object(Tree(EOC, NULL, o3456))) :|: TRUE
f7340_0_count_Store(EOS(STATIC_7340), java.lang.Object(Tree(EOC, NULL, o3456))) -> f7347_0_count_JMP(EOS(STATIC_7347), java.lang.Object(Tree(EOC, NULL, o3456))) :|: TRUE
f7347_0_count_JMP(EOS(STATIC_7347), java.lang.Object(Tree(EOC, NULL, o3456))) -> f7354_0_count_Load(EOS(STATIC_7354), java.lang.Object(Tree(EOC, NULL, o3456))) :|: TRUE
f7354_0_count_Load(EOS(STATIC_7354), java.lang.Object(Tree(EOC, NULL, o3456))) -> f5246_0_count_Load(EOS(STATIC_5246), java.lang.Object(Tree(EOC, NULL, o3456))) :|: TRUE
f5246_0_count_Load(EOS(STATIC_5246), o1192) -> f5277_0_count_NULL(EOS(STATIC_5277), o1192, o1192) :|: TRUE
f5510_0_count_NONNULL(EOS(STATIC_5510), java.lang.Object(Tree(EOC, NULL, o1385)), NULL) -> f5547_0_count_Inc(EOS(STATIC_5547), java.lang.Object(Tree(EOC, NULL, o1385))) :|: TRUE
f5547_0_count_Inc(EOS(STATIC_5547), java.lang.Object(Tree(EOC, NULL, o1385))) -> f5558_0_count_Load(EOS(STATIC_5558), java.lang.Object(Tree(EOC, NULL, o1385))) :|: TRUE
f5558_0_count_Load(EOS(STATIC_5558), java.lang.Object(Tree(EOC, NULL, o1385))) -> f5583_0_count_FieldAccess(EOS(STATIC_5583), java.lang.Object(Tree(EOC, NULL, o1385))) :|: TRUE
f5583_0_count_FieldAccess(EOS(STATIC_5583), java.lang.Object(Tree(EOC, NULL, o1385))) -> f5612_0_count_Store(EOS(STATIC_5612), o1385) :|: TRUE
f5612_0_count_Store(EOS(STATIC_5612), o1385) -> f5624_0_count_JMP(EOS(STATIC_5624), o1385) :|: TRUE
f5624_0_count_JMP(EOS(STATIC_5624), o1385) -> f5655_0_count_Load(EOS(STATIC_5655), o1385) :|: TRUE
f5655_0_count_Load(EOS(STATIC_5655), o1385) -> f5246_0_count_Load(EOS(STATIC_5246), o1385) :|: TRUE
f5581_1_count_InvokeMethod(f7322_0_flatten_Return(EOS(STATIC_7322), java.lang.Object(Tree(EOC, NULL, o3437)))) -> f7334_0_flatten_Return(EOS(STATIC_7334), java.lang.Object(Tree(EOC, NULL, o3437))) :|: TRUE
R rules:
f5581_0_flatten_ConstantStackPush(EOS(STATIC_5581), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) -> f5610_0_flatten_ConstantStackPush(EOS(STATIC_5610), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) :|: TRUE
f5610_0_flatten_ConstantStackPush(EOS(STATIC_5610), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) -> f5707_0_flatten_ConstantStackPush(EOS(STATIC_5707), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) :|: TRUE
f5707_0_flatten_ConstantStackPush(EOS(STATIC_5707), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) -> f5691_0_flatten_ConstantStackPush(EOS(STATIC_5691), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub), o1385))) :|: TRUE
f5691_0_flatten_ConstantStackPush(EOS(STATIC_5691), java.lang.Object(Tree(EOC, java.lang.Object(o1621sub), o1622))) -> f5710_0_flatten_Store(EOS(STATIC_5710), java.lang.Object(Tree(EOC, java.lang.Object(o1621sub), o1622)), NULL) :|: TRUE
f5710_0_flatten_Store(EOS(STATIC_5710), java.lang.Object(Tree(EOC, java.lang.Object(o1621sub), o1622)), NULL) -> f5724_0_flatten_Load(EOS(STATIC_5724), java.lang.Object(Tree(EOC, java.lang.Object(o1621sub), o1622)), NULL) :|: TRUE
f5724_0_flatten_Load(EOS(STATIC_5724), java.lang.Object(Tree(EOC, java.lang.Object(o1621sub), o1622)), NULL) -> f6818_0_flatten_Load(EOS(STATIC_6818), java.lang.Object(Tree(EOC, java.lang.Object(o1621sub), o1622)), NULL) :|: TRUE
f6818_0_flatten_Load(EOS(STATIC_6818), java.lang.Object(Tree(EOC, o1887, o1888)), NULL) -> f6821_0_flatten_NULL(EOS(STATIC_6821), java.lang.Object(Tree(EOC, o1887, o1888)), NULL, java.lang.Object(Tree(EOC, o1887, o1888))) :|: TRUE
f6821_0_flatten_NULL(EOS(STATIC_6821), java.lang.Object(Tree(EOC, o1887, o1888)), NULL, java.lang.Object(Tree(EOC, o1887, o1888))) -> f6825_0_flatten_Load(EOS(STATIC_6825), java.lang.Object(Tree(EOC, o1887, o1888)), NULL) :|: TRUE
f6825_0_flatten_Load(EOS(STATIC_6825), java.lang.Object(Tree(EOC, o1887, o1888)), NULL) -> f6830_0_flatten_FieldAccess(EOS(STATIC_6830), java.lang.Object(Tree(EOC, o1887, o1888)), NULL, java.lang.Object(Tree(EOC, o1887, o1888))) :|: TRUE
f6830_0_flatten_FieldAccess(EOS(STATIC_6830), java.lang.Object(Tree(EOC, o1887, o1888)), NULL, java.lang.Object(Tree(EOC, o1887, o1888))) -> f6834_0_flatten_NONNULL(EOS(STATIC_6834), java.lang.Object(Tree(EOC, o1887, o1888)), NULL, o1887) :|: TRUE
f6834_0_flatten_NONNULL(EOS(STATIC_6834), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL, java.lang.Object(o1913sub)) -> f6839_0_flatten_NONNULL(EOS(STATIC_6839), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL, java.lang.Object(o1913sub)) :|: TRUE
f6834_0_flatten_NONNULL(EOS(STATIC_6834), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, NULL) -> f6840_0_flatten_NONNULL(EOS(STATIC_6840), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, NULL) :|: TRUE
f6839_0_flatten_NONNULL(EOS(STATIC_6839), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL, java.lang.Object(o1913sub)) -> f6845_0_flatten_Load(EOS(STATIC_6845), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL) :|: TRUE
f6840_0_flatten_NONNULL(EOS(STATIC_6840), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, NULL) -> f6846_0_flatten_New(EOS(STATIC_6846), java.lang.Object(Tree(EOC, NULL, o1888)), NULL) :|: TRUE
f6845_0_flatten_Load(EOS(STATIC_6845), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL) -> f6851_0_flatten_FieldAccess(EOS(STATIC_6851), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL, java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888))) :|: TRUE
f6846_0_flatten_New(EOS(STATIC_6846), java.lang.Object(Tree(EOC, NULL, o1888)), NULL) -> f6852_0_flatten_Duplicate(EOS(STATIC_6852), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6851_0_flatten_FieldAccess(EOS(STATIC_6851), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL, java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888))) -> f6858_0_flatten_FieldAccess(EOS(STATIC_6858), java.lang.Object(Tree(EOC, java.lang.Object(o1913sub), o1888)), NULL, java.lang.Object(o1913sub)) :|: TRUE
f6852_0_flatten_Duplicate(EOS(STATIC_6852), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6859_0_flatten_ConstantStackPush(EOS(STATIC_6859), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6858_0_flatten_FieldAccess(EOS(STATIC_6858), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, java.lang.Object(Tree(EOC, o1926, o1927))) -> f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, java.lang.Object(Tree(EOC, o1926, o1927))) :|: TRUE
f6859_0_flatten_ConstantStackPush(EOS(STATIC_6859), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6866_0_flatten_Load(EOS(STATIC_6866), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6865_0_flatten_FieldAccess(EOS(STATIC_6865), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, java.lang.Object(Tree(EOC, o1926, o1927))) -> f6872_0_flatten_Store(EOS(STATIC_6872), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926) :|: TRUE
f6866_0_flatten_Load(EOS(STATIC_6866), java.lang.Object(Tree(EOC, NULL, o1888)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6873_0_flatten_InvokeMethod(EOS(STATIC_6873), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE
f6872_0_flatten_Store(EOS(STATIC_6872), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926) -> f6879_0_flatten_Load(EOS(STATIC_6879), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926) :|: TRUE
f6873_0_flatten_InvokeMethod(EOS(STATIC_6873), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6880_0__init__Load(EOS(STATIC_6880), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE
f6879_0_flatten_Load(EOS(STATIC_6879), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926) -> f6888_0_flatten_FieldAccess(EOS(STATIC_6888), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) :|: TRUE
f6880_0__init__Load(EOS(STATIC_6880), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6897_0__init__InvokeMethod(EOS(STATIC_6897), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6888_0_flatten_FieldAccess(EOS(STATIC_6888), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) -> f6896_0_flatten_FieldAccess(EOS(STATIC_6896), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, java.lang.Object(Tree(EOC, o1926, o1927))) :|: TRUE
f6896_0_flatten_FieldAccess(EOS(STATIC_6896), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, java.lang.Object(Tree(EOC, o1926, o1927))) -> f6905_0_flatten_Store(EOS(STATIC_6905), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, o1927) :|: TRUE
f6897_0__init__InvokeMethod(EOS(STATIC_6897), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6906_0__init__Load(EOS(STATIC_6906), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) :|: TRUE
f6905_0_flatten_Store(EOS(STATIC_6905), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, o1927) -> f6914_0_flatten_Load(EOS(STATIC_6914), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, o1927) :|: TRUE
f6906_0__init__Load(EOS(STATIC_6906), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL) -> f6915_0__init__Load(EOS(STATIC_6915), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6914_0_flatten_Load(EOS(STATIC_6914), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888)), NULL, o1926, o1927) -> f6921_0_flatten_FieldAccess(EOS(STATIC_6921), NULL, o1926, o1927, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) :|: TRUE
f6915_0__init__Load(EOS(STATIC_6915), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6922_0__init__FieldAccess(EOS(STATIC_6922), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6921_0_flatten_FieldAccess(EOS(STATIC_6921), NULL, o1926, o1927, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o1926, o1927)), o1888))) -> f6929_0_flatten_Store(EOS(STATIC_6929), NULL, o1926, o1927, o1888) :|: TRUE
f6922_0__init__FieldAccess(EOS(STATIC_6922), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6930_0__init__Load(EOS(STATIC_6930), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6929_0_flatten_Store(EOS(STATIC_6929), NULL, o1926, o1927, o1888) -> f6937_0_flatten_New(EOS(STATIC_6937), NULL, o1926, o1927, o1888) :|: TRUE
f6930_0__init__Load(EOS(STATIC_6930), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6938_0__init__Load(EOS(STATIC_6938), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6937_0_flatten_New(EOS(STATIC_6937), NULL, o1926, o1927, o1888) -> f6944_0_flatten_Duplicate(EOS(STATIC_6944), NULL, o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6938_0__init__Load(EOS(STATIC_6938), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6945_0__init__FieldAccess(EOS(STATIC_6945), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f6944_0_flatten_Duplicate(EOS(STATIC_6944), NULL, o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6947_0_flatten_Load(EOS(STATIC_6947), NULL, o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6945_0__init__FieldAccess(EOS(STATIC_6945), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f6948_0__init__Return(EOS(STATIC_6948), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6947_0_flatten_Load(EOS(STATIC_6947), NULL, o1926, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6952_0_flatten_New(EOS(STATIC_6952), NULL, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) :|: TRUE
f6948_0__init__Return(EOS(STATIC_6948), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6953_0_flatten_Store(EOS(STATIC_6953), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6952_0_flatten_New(EOS(STATIC_6952), NULL, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) -> f6956_0_flatten_Duplicate(EOS(STATIC_6956), NULL, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6953_0_flatten_Store(EOS(STATIC_6953), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6957_0_flatten_Load(EOS(STATIC_6957), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6956_0_flatten_Duplicate(EOS(STATIC_6956), NULL, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6961_0_flatten_Load(EOS(STATIC_6961), NULL, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6957_0_flatten_Load(EOS(STATIC_6957), java.lang.Object(Tree(EOC, NULL, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6962_0_flatten_FieldAccess(EOS(STATIC_6962), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o1888))) :|: TRUE
f6961_0_flatten_Load(EOS(STATIC_6961), NULL, o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6965_0_flatten_Load(EOS(STATIC_6965), NULL, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927) :|: TRUE
f6962_0_flatten_FieldAccess(EOS(STATIC_6962), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o1888))) -> f6966_0_flatten_Store(EOS(STATIC_6966), java.lang.Object(Tree(EOC, NULL, NULL)), o1888) :|: TRUE
f6965_0_flatten_Load(EOS(STATIC_6965), NULL, o1888, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927) -> f6969_0_flatten_InvokeMethod(EOS(STATIC_6969), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) :|: TRUE
f6966_0_flatten_Store(EOS(STATIC_6966), java.lang.Object(Tree(EOC, NULL, NULL)), o1888) -> f6970_0_flatten_JMP(EOS(STATIC_6970), o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6969_0_flatten_InvokeMethod(EOS(STATIC_6969), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) -> f6973_0__init__Load(EOS(STATIC_6973), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) :|: TRUE
f6970_0_flatten_JMP(EOS(STATIC_6970), o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6974_0_flatten_Load(EOS(STATIC_6974), o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6973_0__init__Load(EOS(STATIC_6973), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) -> f6980_0__init__InvokeMethod(EOS(STATIC_6980), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6974_0_flatten_Load(EOS(STATIC_6974), o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7129_0_flatten_Load(EOS(STATIC_7129), o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6980_0__init__InvokeMethod(EOS(STATIC_6980), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6985_0__init__Load(EOS(STATIC_6985), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) :|: TRUE
f6985_0__init__Load(EOS(STATIC_6985), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888) -> f6990_0__init__Load(EOS(STATIC_6990), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6990_0__init__Load(EOS(STATIC_6990), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1927, o1888, java.lang.Object(Tree(EOC, NULL, NULL))) -> f6995_0__init__FieldAccess(EOS(STATIC_6995), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1888, java.lang.Object(Tree(EOC, NULL, NULL)), o1927) :|: TRUE
f6995_0__init__FieldAccess(EOS(STATIC_6995), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1888, java.lang.Object(Tree(EOC, NULL, NULL)), o1927) -> f7002_0__init__Load(EOS(STATIC_7002), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) :|: TRUE
f7002_0__init__Load(EOS(STATIC_7002), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) -> f7008_0__init__Load(EOS(STATIC_7008), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), o1888, java.lang.Object(Tree(EOC, o1927, NULL))) :|: TRUE
f7008_0__init__Load(EOS(STATIC_7008), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), o1888, java.lang.Object(Tree(EOC, o1927, NULL))) -> f7016_0__init__FieldAccess(EOS(STATIC_7016), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) :|: TRUE
f7016_0__init__FieldAccess(EOS(STATIC_7016), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, NULL)), java.lang.Object(Tree(EOC, o1927, NULL)), o1888) -> f7024_0__init__Return(EOS(STATIC_7024), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7024_0__init__Return(EOS(STATIC_7024), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7032_0_flatten_InvokeMethod(EOS(STATIC_7032), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7032_0_flatten_InvokeMethod(EOS(STATIC_7032), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7038_0__init__Load(EOS(STATIC_7038), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7038_0__init__Load(EOS(STATIC_7038), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7046_0__init__InvokeMethod(EOS(STATIC_7046), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7046_0__init__InvokeMethod(EOS(STATIC_7046), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7051_0__init__Load(EOS(STATIC_7051), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7051_0__init__Load(EOS(STATIC_7051), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888))) -> f7055_0__init__Load(EOS(STATIC_7055), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7055_0__init__Load(EOS(STATIC_7055), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926, java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7060_0__init__FieldAccess(EOS(STATIC_7060), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) :|: TRUE
f7060_0__init__FieldAccess(EOS(STATIC_7060), NULL, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, NULL, NULL)), o1926) -> f7064_0__init__Load(EOS(STATIC_7064), NULL, java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7064_0__init__Load(EOS(STATIC_7064), NULL, java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) -> f7068_0__init__Load(EOS(STATIC_7068), NULL, java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, o1926, NULL))) :|: TRUE
f7068_0__init__Load(EOS(STATIC_7068), NULL, java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888)), java.lang.Object(Tree(EOC, o1926, NULL))) -> f7074_0__init__FieldAccess(EOS(STATIC_7074), NULL, java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) :|: TRUE
f7074_0__init__FieldAccess(EOS(STATIC_7074), NULL, java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1926, NULL)), java.lang.Object(Tree(EOC, o1927, o1888))) -> f7080_0__init__Return(EOS(STATIC_7080), NULL, java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) :|: TRUE
f7080_0__init__Return(EOS(STATIC_7080), NULL, java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) -> f7087_0_flatten_Store(EOS(STATIC_7087), NULL, java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) :|: TRUE
f7087_0_flatten_Store(EOS(STATIC_7087), NULL, java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888))))) -> f7093_0_flatten_JMP(EOS(STATIC_7093), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888)))), NULL) :|: TRUE
f7093_0_flatten_JMP(EOS(STATIC_7093), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888)))), NULL) -> f7099_0_flatten_Load(EOS(STATIC_7099), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888)))), NULL) :|: TRUE
f7099_0_flatten_Load(EOS(STATIC_7099), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888)))), NULL) -> f6818_0_flatten_Load(EOS(STATIC_6818), java.lang.Object(Tree(EOC, o1926, java.lang.Object(Tree(EOC, o1927, o1888)))), NULL) :|: TRUE
f7129_0_flatten_Load(EOS(STATIC_7129), o2739, java.lang.Object(Tree(EOC, NULL, o2741))) -> f7307_0_flatten_Load(EOS(STATIC_7307), o2739, java.lang.Object(Tree(EOC, NULL, o2741))) :|: TRUE
f7307_0_flatten_Load(EOS(STATIC_7307), o3315, java.lang.Object(Tree(EOC, NULL, o3317))) -> f7310_0_flatten_NULL(EOS(STATIC_7310), o3315, java.lang.Object(Tree(EOC, NULL, o3317)), o3315) :|: TRUE
f7310_0_flatten_NULL(EOS(STATIC_7310), java.lang.Object(o3355sub), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3355sub)) -> f7313_0_flatten_NULL(EOS(STATIC_7313), java.lang.Object(o3355sub), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3355sub)) :|: TRUE
f7310_0_flatten_NULL(EOS(STATIC_7310), NULL, java.lang.Object(Tree(EOC, NULL, o3317)), NULL) -> f7314_0_flatten_NULL(EOS(STATIC_7314), NULL, java.lang.Object(Tree(EOC, NULL, o3317)), NULL) :|: TRUE
f7313_0_flatten_NULL(EOS(STATIC_7313), java.lang.Object(o3355sub), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3355sub)) -> f7317_0_flatten_Load(EOS(STATIC_7317), java.lang.Object(o3355sub), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7314_0_flatten_NULL(EOS(STATIC_7314), NULL, java.lang.Object(Tree(EOC, NULL, o3317)), NULL) -> f7318_0_flatten_Load(EOS(STATIC_7318), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7317_0_flatten_Load(EOS(STATIC_7317), java.lang.Object(o3355sub), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7321_0_flatten_FieldAccess(EOS(STATIC_7321), java.lang.Object(o3355sub), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3355sub)) :|: TRUE
f7318_0_flatten_Load(EOS(STATIC_7318), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7322_0_flatten_Return(EOS(STATIC_7322), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7321_0_flatten_FieldAccess(EOS(STATIC_7321), java.lang.Object(Tree(EOC, o3399, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3399, o3400))) -> f7325_0_flatten_FieldAccess(EOS(STATIC_7325), java.lang.Object(Tree(EOC, o3399, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3399, o3400))) :|: TRUE
f7325_0_flatten_FieldAccess(EOS(STATIC_7325), java.lang.Object(Tree(EOC, o3399, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3399, o3400))) -> f7329_0_flatten_NONNULL(EOS(STATIC_7329), java.lang.Object(Tree(EOC, o3399, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3399) :|: TRUE
f7329_0_flatten_NONNULL(EOS(STATIC_7329), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3448sub)) -> f7332_0_flatten_NONNULL(EOS(STATIC_7332), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3448sub)) :|: TRUE
f7329_0_flatten_NONNULL(EOS(STATIC_7329), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), NULL) -> f7333_0_flatten_NONNULL(EOS(STATIC_7333), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), NULL) :|: TRUE
f7332_0_flatten_NONNULL(EOS(STATIC_7332), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3448sub)) -> f7338_0_flatten_Load(EOS(STATIC_7338), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7333_0_flatten_NONNULL(EOS(STATIC_7333), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), NULL) -> f7339_0_flatten_New(EOS(STATIC_7339), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7338_0_flatten_Load(EOS(STATIC_7338), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7345_0_flatten_FieldAccess(EOS(STATIC_7345), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400))) :|: TRUE
f7339_0_flatten_New(EOS(STATIC_7339), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7346_0_flatten_Duplicate(EOS(STATIC_7346), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7345_0_flatten_FieldAccess(EOS(STATIC_7345), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400))) -> f7352_0_flatten_FieldAccess(EOS(STATIC_7352), java.lang.Object(Tree(EOC, java.lang.Object(o3448sub), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(o3448sub)) :|: TRUE
f7346_0_flatten_Duplicate(EOS(STATIC_7346), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7353_0_flatten_ConstantStackPush(EOS(STATIC_7353), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), 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, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, o3573))) -> f7359_0_flatten_FieldAccess(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, o3573))) :|: TRUE
f7353_0_flatten_ConstantStackPush(EOS(STATIC_7353), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7360_0_flatten_Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f7359_0_flatten_FieldAccess(EOS(STATIC_7359), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, o3573))) -> f7365_0_flatten_Store(EOS(STATIC_7365), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572) :|: TRUE
f7360_0_flatten_Load(EOS(STATIC_7360), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f7366_0_flatten_InvokeMethod(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7365_0_flatten_Store(EOS(STATIC_7365), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572) -> f7371_0_flatten_Load(EOS(STATIC_7371), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572) :|: TRUE
f7366_0_flatten_InvokeMethod(EOS(STATIC_7366), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317))) -> f7372_0__init__Load(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7371_0_flatten_Load(EOS(STATIC_7371), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572) -> f7375_0_flatten_FieldAccess(EOS(STATIC_7375), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) :|: TRUE
f7372_0__init__Load(EOS(STATIC_7372), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317))) -> f7379_0__init__InvokeMethod(EOS(STATIC_7379), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7375_0_flatten_FieldAccess(EOS(STATIC_7375), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) -> f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, java.lang.Object(Tree(EOC, o3572, o3573))) :|: TRUE
f7378_0_flatten_FieldAccess(EOS(STATIC_7378), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, java.lang.Object(Tree(EOC, o3572, o3573))) -> f7380_0_flatten_Store(EOS(STATIC_7380), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573) :|: TRUE
f7379_0__init__InvokeMethod(EOS(STATIC_7379), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7381_0__init__Load(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7380_0_flatten_Store(EOS(STATIC_7380), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573) -> f7382_0_flatten_Load(EOS(STATIC_7382), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573) :|: TRUE
f7381_0__init__Load(EOS(STATIC_7381), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317))) -> f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7382_0_flatten_Load(EOS(STATIC_7382), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400)), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573) -> f7384_0_flatten_FieldAccess(EOS(STATIC_7384), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) :|: TRUE
f7383_0__init__Load(EOS(STATIC_7383), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL, java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7385_0__init__FieldAccess(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) :|: TRUE
f7384_0_flatten_FieldAccess(EOS(STATIC_7384), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, o3572, o3573)), o3400))) -> f7386_0_flatten_Store(EOS(STATIC_7386), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400) :|: TRUE
f7385_0__init__FieldAccess(EOS(STATIC_7385), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), NULL) -> f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7386_0_flatten_Store(EOS(STATIC_7386), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400) -> f7388_0_flatten_New(EOS(STATIC_7388), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400) :|: TRUE
f7387_0__init__Load(EOS(STATIC_7387), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7388_0_flatten_New(EOS(STATIC_7388), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400) -> f7390_0_flatten_Duplicate(EOS(STATIC_7390), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7389_0__init__Load(EOS(STATIC_7389), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7390_0_flatten_Duplicate(EOS(STATIC_7390), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7392_0_flatten_Load(EOS(STATIC_7392), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7391_0__init__FieldAccess(EOS(STATIC_7391), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7393_0__init__Return(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) :|: TRUE
f7392_0_flatten_Load(EOS(STATIC_7392), java.lang.Object(Tree(EOC, NULL, o3317)), o3572, o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7394_0_flatten_New(EOS(STATIC_7394), java.lang.Object(Tree(EOC, NULL, o3317)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) :|: TRUE
f7393_0__init__Return(EOS(STATIC_7393), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) -> f7395_0_flatten_Store(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) :|: TRUE
f7394_0_flatten_New(EOS(STATIC_7394), java.lang.Object(Tree(EOC, NULL, o3317)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) -> f7396_0_flatten_Duplicate(EOS(STATIC_7396), java.lang.Object(Tree(EOC, NULL, o3317)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7395_0_flatten_Store(EOS(STATIC_7395), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) -> f7397_0_flatten_Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) :|: TRUE
f7396_0_flatten_Duplicate(EOS(STATIC_7396), java.lang.Object(Tree(EOC, NULL, o3317)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7398_0_flatten_Load(EOS(STATIC_7398), java.lang.Object(Tree(EOC, NULL, o3317)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7397_0_flatten_Load(EOS(STATIC_7397), java.lang.Object(Tree(EOC, NULL, o3400)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) -> f7399_0_flatten_FieldAccess(EOS(STATIC_7399), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317)))), java.lang.Object(Tree(EOC, NULL, o3400))) :|: TRUE
f7398_0_flatten_Load(EOS(STATIC_7398), java.lang.Object(Tree(EOC, NULL, o3317)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7400_0_flatten_Load(EOS(STATIC_7400), java.lang.Object(Tree(EOC, NULL, o3317)), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573) :|: TRUE
f7399_0_flatten_FieldAccess(EOS(STATIC_7399), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317)))), java.lang.Object(Tree(EOC, NULL, o3400))) -> f7401_0_flatten_Store(EOS(STATIC_7401), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317)))), o3400) :|: TRUE
f7400_0_flatten_Load(EOS(STATIC_7400), java.lang.Object(Tree(EOC, NULL, o3317)), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573) -> f7402_0_flatten_InvokeMethod(EOS(STATIC_7402), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) :|: TRUE
f7401_0_flatten_Store(EOS(STATIC_7401), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317)))), o3400) -> f7403_0_flatten_JMP(EOS(STATIC_7403), o3400, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) :|: TRUE
f7402_0_flatten_InvokeMethod(EOS(STATIC_7402), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) -> f7404_0__init__Load(EOS(STATIC_7404), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) :|: TRUE
f7403_0_flatten_JMP(EOS(STATIC_7403), o3400, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) -> f7405_0_flatten_Load(EOS(STATIC_7405), o3400, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) :|: TRUE
f7404_0__init__Load(EOS(STATIC_7404), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) -> f7406_0__init__InvokeMethod(EOS(STATIC_7406), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7405_0_flatten_Load(EOS(STATIC_7405), o3400, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) -> f7307_0_flatten_Load(EOS(STATIC_7307), o3400, java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, NULL, o3317))))) :|: TRUE
f7406_0__init__InvokeMethod(EOS(STATIC_7406), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7407_0__init__Load(EOS(STATIC_7407), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) :|: TRUE
f7407_0__init__Load(EOS(STATIC_7407), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400) -> f7408_0__init__Load(EOS(STATIC_7408), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7408_0__init__Load(EOS(STATIC_7408), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3573, o3400, java.lang.Object(Tree(EOC, NULL, NULL))) -> f7409_0__init__FieldAccess(EOS(STATIC_7409), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), o3573) :|: TRUE
f7409_0__init__FieldAccess(EOS(STATIC_7409), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3400, java.lang.Object(Tree(EOC, NULL, NULL)), o3573) -> f7410_0__init__Load(EOS(STATIC_7410), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) :|: TRUE
f7410_0__init__Load(EOS(STATIC_7410), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) -> f7411_0__init__Load(EOS(STATIC_7411), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), o3400, java.lang.Object(Tree(EOC, o3573, NULL))) :|: TRUE
f7411_0__init__Load(EOS(STATIC_7411), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), o3400, java.lang.Object(Tree(EOC, o3573, NULL))) -> f7412_0__init__FieldAccess(EOS(STATIC_7412), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) :|: TRUE
f7412_0__init__FieldAccess(EOS(STATIC_7412), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, NULL)), java.lang.Object(Tree(EOC, o3573, NULL)), o3400) -> f7413_0__init__Return(EOS(STATIC_7413), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7413_0__init__Return(EOS(STATIC_7413), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7414_0_flatten_InvokeMethod(EOS(STATIC_7414), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7414_0_flatten_InvokeMethod(EOS(STATIC_7414), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7415_0__init__Load(EOS(STATIC_7415), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7415_0__init__Load(EOS(STATIC_7415), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7416_0__init__InvokeMethod(EOS(STATIC_7416), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7416_0__init__InvokeMethod(EOS(STATIC_7416), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7417_0__init__Load(EOS(STATIC_7417), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7417_0__init__Load(EOS(STATIC_7417), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400))) -> f7418_0__init__Load(EOS(STATIC_7418), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7418_0__init__Load(EOS(STATIC_7418), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572, java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7419_0__init__FieldAccess(EOS(STATIC_7419), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) :|: TRUE
f7419_0__init__FieldAccess(EOS(STATIC_7419), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, NULL, NULL)), o3572) -> f7420_0__init__Load(EOS(STATIC_7420), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7420_0__init__Load(EOS(STATIC_7420), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) -> f7421_0__init__Load(EOS(STATIC_7421), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, o3572, NULL))) :|: TRUE
f7421_0__init__Load(EOS(STATIC_7421), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400)), java.lang.Object(Tree(EOC, o3572, NULL))) -> f7422_0__init__FieldAccess(EOS(STATIC_7422), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) :|: TRUE
f7422_0__init__FieldAccess(EOS(STATIC_7422), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3572, NULL)), java.lang.Object(Tree(EOC, o3573, o3400))) -> f7423_0__init__Return(EOS(STATIC_7423), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) :|: TRUE
f7423_0__init__Return(EOS(STATIC_7423), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) -> f7424_0_flatten_Store(EOS(STATIC_7424), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) :|: TRUE
f7424_0_flatten_Store(EOS(STATIC_7424), java.lang.Object(Tree(EOC, NULL, o3317)), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400))))) -> f7425_0_flatten_JMP(EOS(STATIC_7425), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400)))), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7425_0_flatten_JMP(EOS(STATIC_7425), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400)))), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7426_0_flatten_Load(EOS(STATIC_7426), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400)))), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
f7426_0_flatten_Load(EOS(STATIC_7426), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400)))), java.lang.Object(Tree(EOC, NULL, o3317))) -> f7307_0_flatten_Load(EOS(STATIC_7307), java.lang.Object(Tree(EOC, o3572, java.lang.Object(Tree(EOC, o3573, o3400)))), java.lang.Object(Tree(EOC, NULL, o3317))) :|: TRUE
Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
f5277_0_count_NULL(EOS(STATIC_5277), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub:0), o1385:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub:0), o1385:0))) -> f5581_1_count_InvokeMethod(f7688_0_flatten_ConstantStackPush(EOS(STATIC_7688), java.lang.Object(Tree(EOC, java.lang.Object(o1422sub:0), o1385:0)))) :|: TRUE
f5581_1_count_InvokeMethod(f7322_0_flatten_Return(EOS(STATIC_7322), java.lang.Object(Tree(EOC, NULL, o3437:0)))) -> f5277_0_count_NULL(EOS(STATIC_5277), java.lang.Object(Tree(EOC, NULL, o3437:0)), java.lang.Object(Tree(EOC, NULL, o3437:0))) :|: TRUE
f5277_0_count_NULL(EOS(STATIC_5277), java.lang.Object(Tree(EOC, NULL, o1385:0)), java.lang.Object(Tree(EOC, NULL, o1385:0))) -> f5277_0_count_NULL(EOS(STATIC_5277), o1385:0, o1385:0) :|: TRUE
R rules:
Filtered ground terms:
   f5277_0_count_NULL(x1, x2, x3) -> f5277_0_count_NULL(x2, x3)
   f7688_0_flatten_ConstantStackPush(x1, x2) -> f7688_0_flatten_ConstantStackPush(x2)
   f7322_0_flatten_Return(x1, x2) -> f7322_0_flatten_Return(x2)
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate args:
   f5277_0_count_NULL(x1, x2) -> f5277_0_count_NULL(x2)
Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
F5277_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1385:0:0))) -> F5277_0_COUNT_NULL(o1385:0:0) :|: TRUE
F5277_0_COUNT_NULL(java.lang.Object(Tree(java.lang.Object(o1422sub:0:0), o1385:0:0))) -> F5581_1_COUNT_INVOKEMETHOD(f7688_0_flatten_ConstantStackPush(java.lang.Object(Tree(java.lang.Object(o1422sub:0:0), o1385:0:0)))) :|: TRUE
F5581_1_COUNT_INVOKEMETHOD(f7322_0_flatten_Return(java.lang.Object(Tree(NULL, o3437:0:0)))) -> F5277_0_COUNT_NULL(java.lang.Object(Tree(NULL, o3437:0:0))) :|: TRUE
R rules:

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

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

   F5277_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1385:0:0))) -> F5277_0_COUNT_NULL(o1385:0:0)
   F5277_0_COUNT_NULL(java.lang.Object(Tree(java.lang.Object(o1422sub:0:0), o1385:0:0))) -> F5581_1_COUNT_INVOKEMETHOD(f7688_0_flatten_ConstantStackPush(java.lang.Object(Tree(java.lang.Object(o1422sub:0:0), o1385:0:0))))
   F5581_1_COUNT_INVOKEMETHOD(f7322_0_flatten_Return(java.lang.Object(Tree(NULL, o3437:0:0)))) -> F5277_0_COUNT_NULL(java.lang.Object(Tree(NULL, o3437: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:

   F5277_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1385:0:0))) -> F5277_0_COUNT_NULL(o1385: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:
*F5277_0_COUNT_NULL(java.lang.Object(Tree(NULL, o1385:0:0))) -> F5277_0_COUNT_NULL(o1385: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 114 IRulesP rules:
f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1192) -> f7050_0_createTree_LE(EOS(STATIC_7050(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1192) :|: TRUE
f7050_0_createTree_LE(EOS(STATIC_7050(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1192) -> f7054_0_createTree_InvokeMethod(EOS(STATIC_7054(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) :|: i1192 > 0
f7054_0_createTree_InvokeMethod(EOS(STATIC_7054(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) -> f7059_0_random_FieldAccess(EOS(STATIC_7059(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) :|: TRUE
f7059_0_random_FieldAccess(EOS(STATIC_7059(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) -> f7067_0_random_FieldAccess(EOS(STATIC_7067(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7067_0_random_FieldAccess(EOS(STATIC_7067(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) -> f7073_0_random_ArrayAccess(EOS(STATIC_7073(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7073_0_random_ArrayAccess(EOS(STATIC_7073(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) -> f7079_0_random_ArrayAccess(EOS(STATIC_7079(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7079_0_random_ArrayAccess(EOS(STATIC_7079(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) -> f7085_0_random_ArrayAccess(EOS(STATIC_7085(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f7085_0_random_ArrayAccess(EOS(STATIC_7085(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(ARRAY(i6))) -> f7091_0_random_Store(EOS(STATIC_7091(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) :|: TRUE
f7091_0_random_Store(EOS(STATIC_7091(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) -> f7098_0_random_FieldAccess(EOS(STATIC_7098(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) :|: TRUE
f7098_0_random_FieldAccess(EOS(STATIC_7098(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) -> f7104_0_random_ConstantStackPush(EOS(STATIC_7104(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) :|: TRUE
f7104_0_random_ConstantStackPush(EOS(STATIC_7104(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) -> f7109_0_random_IntArithmetic(EOS(STATIC_7109(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) :|: TRUE
f7109_0_random_IntArithmetic(EOS(STATIC_7109(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) -> f7115_0_random_FieldAccess(EOS(STATIC_7115(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) :|: TRUE
f7115_0_random_FieldAccess(EOS(STATIC_7115(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) -> f7119_0_random_Load(EOS(STATIC_7119(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) :|: TRUE
f7119_0_random_Load(EOS(STATIC_7119(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) -> f7125_0_random_InvokeMethod(EOS(STATIC_7125(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), o2614) :|: TRUE
f7125_0_random_InvokeMethod(EOS(STATIC_7125(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2760sub)) -> f7132_0_random_InvokeMethod(EOS(STATIC_7132(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2760sub)) :|: TRUE
f7132_0_random_InvokeMethod(EOS(STATIC_7132(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2775sub)) -> f7136_0_random_InvokeMethod(EOS(STATIC_7136(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2775sub)) :|: TRUE
f7136_0_random_InvokeMethod(EOS(STATIC_7136(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2775sub)) -> f7141_0_length_Load(EOS(STATIC_7141(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2775sub)) :|: TRUE
f7141_0_length_Load(EOS(STATIC_7141(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2775sub)) -> f7150_0_length_FieldAccess(EOS(STATIC_7150(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2775sub)) :|: TRUE
f7150_0_length_FieldAccess(EOS(STATIC_7150(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(java.lang.String(EOC, i1257))) -> f7155_0_length_FieldAccess(EOS(STATIC_7155(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(java.lang.String(EOC, i1257))) :|: i1257 >= 0
f7155_0_length_FieldAccess(EOS(STATIC_7155(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(java.lang.String(EOC, i1257))) -> f7159_0_length_Return(EOS(STATIC_7159(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) :|: TRUE
f7159_0_length_Return(EOS(STATIC_7159(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) -> f7166_0_random_Return(EOS(STATIC_7166(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) :|: TRUE
f7166_0_random_Return(EOS(STATIC_7166(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) -> f7173_0_createTree_Store(EOS(STATIC_7173(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) :|: TRUE
f7173_0_createTree_Store(EOS(STATIC_7173(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) -> f7179_0_createTree_Load(EOS(STATIC_7179(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) :|: TRUE
f7179_0_createTree_Load(EOS(STATIC_7179(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) -> f7186_0_createTree_LE(EOS(STATIC_7186(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1257) :|: TRUE
f7186_0_createTree_LE(EOS(STATIC_7186(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), matching1) -> f7192_0_createTree_LE(EOS(STATIC_7192(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), 0) :|: TRUE && matching1 = 0
f7186_0_createTree_LE(EOS(STATIC_7186(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1286) -> f7193_0_createTree_LE(EOS(STATIC_7193(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1286) :|: TRUE
f7192_0_createTree_LE(EOS(STATIC_7192(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), matching1) -> f7198_0_createTree_Load(EOS(STATIC_7198(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) :|: 0 <= 0 && matching1 = 0
f7198_0_createTree_Load(EOS(STATIC_7198(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) -> f7205_0_createTree_FieldAccess(EOS(STATIC_7205(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2376sub)) :|: TRUE
f7205_0_createTree_FieldAccess(EOS(STATIC_7205(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3004, o3003)), java.lang.Object(Tree(EOC, o3004, o3003))) -> f7211_0_createTree_FieldAccess(EOS(STATIC_7211(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3004, o3003)), java.lang.Object(Tree(EOC, o3004, o3003))) :|: TRUE
f7211_0_createTree_FieldAccess(EOS(STATIC_7211(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3004, o3003)), java.lang.Object(Tree(EOC, o3004, o3003))) -> f7218_0_createTree_NONNULL(EOS(STATIC_7218(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3004, o3003)), o3004) :|: TRUE
f7218_0_createTree_NONNULL(EOS(STATIC_7218(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub), o3003)), java.lang.Object(o3056sub)) -> f7225_0_createTree_NONNULL(EOS(STATIC_7225(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub), o3003)), java.lang.Object(o3056sub)) :|: TRUE
f7218_0_createTree_NONNULL(EOS(STATIC_7218(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), NULL) -> f7226_0_createTree_NONNULL(EOS(STATIC_7226(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), NULL) :|: TRUE
f7225_0_createTree_NONNULL(EOS(STATIC_7225(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub), o3003)), java.lang.Object(o3056sub)) -> f7234_0_createTree_Load(EOS(STATIC_7234(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub), o3003))) :|: TRUE
f7234_0_createTree_Load(EOS(STATIC_7234(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub), o3003))) -> f7243_0_createTree_FieldAccess(EOS(STATIC_7243(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub), o3003))) :|: TRUE
f7243_0_createTree_FieldAccess(EOS(STATIC_7243(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub), o3003))) -> f7252_0_createTree_Store(EOS(STATIC_7252(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) :|: TRUE
f7252_0_createTree_Store(EOS(STATIC_7252(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) -> f7261_0_createTree_Inc(EOS(STATIC_7261(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) :|: TRUE
f7261_0_createTree_Inc(EOS(STATIC_7261(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) -> f7267_0_createTree_JMP(EOS(STATIC_7267(java.lang.Object(ARRAY(i6)))), i1192 + -1, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) :|: TRUE
f7267_0_createTree_JMP(EOS(STATIC_7267(java.lang.Object(ARRAY(i6)))), i1321, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) -> f7277_0_createTree_Load(EOS(STATIC_7277(java.lang.Object(ARRAY(i6)))), i1321, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) :|: TRUE
f7277_0_createTree_Load(EOS(STATIC_7277(java.lang.Object(ARRAY(i6)))), i1321, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) -> f7042_0_createTree_Load(EOS(STATIC_7042(java.lang.Object(ARRAY(i6)))), i1321, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3056sub)) :|: TRUE
f7042_0_createTree_Load(EOS(STATIC_7042(java.lang.Object(ARRAY(i6)))), i1187, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) -> f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6)))), i1187, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1187) :|: TRUE
f7226_0_createTree_NONNULL(EOS(STATIC_7226(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), NULL) -> f7235_0_createTree_Load(EOS(STATIC_7235(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003))) :|: TRUE
f7235_0_createTree_Load(EOS(STATIC_7235(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003))) -> f7244_0_createTree_InvokeMethod(EOS(STATIC_7244(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003))) :|: TRUE
f7244_0_createTree_InvokeMethod(EOS(STATIC_7244(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003))) -> f7253_0_createNode_New(EOS(STATIC_7253(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003))) :|: TRUE
f7253_0_createNode_New(EOS(STATIC_7253(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003))) -> f7268_0_createNode_Duplicate(EOS(STATIC_7268(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7268_0_createNode_Duplicate(EOS(STATIC_7268(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7278_0_createNode_InvokeMethod(EOS(STATIC_7278(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7278_0_createNode_InvokeMethod(EOS(STATIC_7278(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7284_0__init__Load(EOS(STATIC_7284(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7284_0__init__Load(EOS(STATIC_7284(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7293_0__init__InvokeMethod(EOS(STATIC_7293(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7293_0__init__InvokeMethod(EOS(STATIC_7293(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7298_0__init__Return(EOS(STATIC_7298(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7298_0__init__Return(EOS(STATIC_7298(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7302_0_createNode_Store(EOS(STATIC_7302(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7302_0_createNode_Store(EOS(STATIC_7302(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7308_0_createNode_Load(EOS(STATIC_7308(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7308_0_createNode_Load(EOS(STATIC_7308(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7311_0_createNode_New(EOS(STATIC_7311(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7311_0_createNode_New(EOS(STATIC_7311(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7315_0_createNode_Duplicate(EOS(STATIC_7315(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7315_0_createNode_Duplicate(EOS(STATIC_7315(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7319_0_createNode_InvokeMethod(EOS(STATIC_7319(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7319_0_createNode_InvokeMethod(EOS(STATIC_7319(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7323_0_createNode_FieldAccess(EOS(STATIC_7323(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7323_0_createNode_FieldAccess(EOS(STATIC_7323(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7327_0_createNode_Load(EOS(STATIC_7327(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7327_0_createNode_Load(EOS(STATIC_7327(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7330_0_createNode_Return(EOS(STATIC_7330(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7330_0_createNode_Return(EOS(STATIC_7330(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7336_0_createTree_FieldAccess(EOS(STATIC_7336(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7336_0_createTree_FieldAccess(EOS(STATIC_7336(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7341_0_createTree_FieldAccess(EOS(STATIC_7341(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7336_0_createTree_FieldAccess(EOS(STATIC_7336(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, NULL, o3489)), java.lang.Object(Tree(EOC, NULL, o3489)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7342_0_createTree_FieldAccess(EOS(STATIC_7342(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, NULL, o3489)), java.lang.Object(Tree(EOC, NULL, o3489)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7341_0_createTree_FieldAccess(EOS(STATIC_7341(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, NULL, o3003)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7348_0_createTree_Load(EOS(STATIC_7348(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374put, o2373put))) :|: TRUE
f7348_0_createTree_Load(EOS(STATIC_7348(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373))) -> f7355_0_createTree_Store(EOS(STATIC_7355(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7355_0_createTree_Store(EOS(STATIC_7355(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7361_0_createTree_JMP(EOS(STATIC_7361(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7361_0_createTree_JMP(EOS(STATIC_7361(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7367_0_createTree_Inc(EOS(STATIC_7367(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7367_0_createTree_Inc(EOS(STATIC_7367(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7373_0_createTree_JMP(EOS(STATIC_7373(java.lang.Object(ARRAY(i6)))), i1192 + -1, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7373_0_createTree_JMP(EOS(STATIC_7373(java.lang.Object(ARRAY(i6)))), i1385, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7376_0_createTree_Load(EOS(STATIC_7376(java.lang.Object(ARRAY(i6)))), i1385, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7376_0_createTree_Load(EOS(STATIC_7376(java.lang.Object(ARRAY(i6)))), i1385, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7042_0_createTree_Load(EOS(STATIC_7042(java.lang.Object(ARRAY(i6)))), i1385, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7342_0_createTree_FieldAccess(EOS(STATIC_7342(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, NULL, o3489)), java.lang.Object(Tree(EOC, NULL, o3489)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7349_0_createTree_Load(EOS(STATIC_7349(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) :|: TRUE
f7349_0_createTree_Load(EOS(STATIC_7349(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) -> f7356_0_createTree_Store(EOS(STATIC_7356(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) :|: TRUE
f7356_0_createTree_Store(EOS(STATIC_7356(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) -> f7362_0_createTree_JMP(EOS(STATIC_7362(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) :|: TRUE
f7362_0_createTree_JMP(EOS(STATIC_7362(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) -> f7368_0_createTree_Inc(EOS(STATIC_7368(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) :|: TRUE
f7368_0_createTree_Inc(EOS(STATIC_7368(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) -> f7369_0_createTree_Inc(EOS(STATIC_7369(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o3489))) :|: TRUE
f7369_0_createTree_Inc(EOS(STATIC_7369(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7367_0_createTree_Inc(EOS(STATIC_7367(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7193_0_createTree_LE(EOS(STATIC_7193(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), i1286) -> f7199_0_createTree_Load(EOS(STATIC_7199(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) :|: i1286 > 0
f7199_0_createTree_Load(EOS(STATIC_7199(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub)) -> f7206_0_createTree_FieldAccess(EOS(STATIC_7206(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o2376sub), java.lang.Object(o2376sub)) :|: TRUE
f7206_0_createTree_FieldAccess(EOS(STATIC_7206(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, o3007)), java.lang.Object(Tree(EOC, o3008, o3007))) -> f7212_0_createTree_FieldAccess(EOS(STATIC_7212(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, o3007)), java.lang.Object(Tree(EOC, o3008, o3007))) :|: TRUE
f7212_0_createTree_FieldAccess(EOS(STATIC_7212(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, o3007)), java.lang.Object(Tree(EOC, o3008, o3007))) -> f7219_0_createTree_NONNULL(EOS(STATIC_7219(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, o3007)), o3007) :|: TRUE
f7219_0_createTree_NONNULL(EOS(STATIC_7219(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, java.lang.Object(o3057sub))), java.lang.Object(o3057sub)) -> f7227_0_createTree_NONNULL(EOS(STATIC_7227(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, java.lang.Object(o3057sub))), java.lang.Object(o3057sub)) :|: TRUE
f7219_0_createTree_NONNULL(EOS(STATIC_7219(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), NULL) -> f7228_0_createTree_NONNULL(EOS(STATIC_7228(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), NULL) :|: TRUE
f7227_0_createTree_NONNULL(EOS(STATIC_7227(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, java.lang.Object(o3057sub))), java.lang.Object(o3057sub)) -> f7236_0_createTree_Load(EOS(STATIC_7236(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, java.lang.Object(o3057sub)))) :|: TRUE
f7236_0_createTree_Load(EOS(STATIC_7236(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, java.lang.Object(o3057sub)))) -> f7245_0_createTree_FieldAccess(EOS(STATIC_7245(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, java.lang.Object(o3057sub)))) :|: TRUE
f7245_0_createTree_FieldAccess(EOS(STATIC_7245(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, java.lang.Object(o3057sub)))) -> f7254_0_createTree_Store(EOS(STATIC_7254(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3057sub)) :|: TRUE
f7254_0_createTree_Store(EOS(STATIC_7254(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3057sub)) -> f7262_0_createTree_JMP(EOS(STATIC_7262(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3057sub)) :|: TRUE
f7262_0_createTree_JMP(EOS(STATIC_7262(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3057sub)) -> f7269_0_createTree_Inc(EOS(STATIC_7269(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3057sub)) :|: TRUE
f7269_0_createTree_Inc(EOS(STATIC_7269(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3057sub)) -> f7261_0_createTree_Inc(EOS(STATIC_7261(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(o3057sub)) :|: TRUE
f7228_0_createTree_NONNULL(EOS(STATIC_7228(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), NULL) -> f7237_0_createTree_Load(EOS(STATIC_7237(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL))) :|: TRUE
f7237_0_createTree_Load(EOS(STATIC_7237(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL))) -> f7246_0_createTree_InvokeMethod(EOS(STATIC_7246(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL))) :|: TRUE
f7246_0_createTree_InvokeMethod(EOS(STATIC_7246(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL))) -> f7255_0_createNode_New(EOS(STATIC_7255(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL))) :|: TRUE
f7255_0_createNode_New(EOS(STATIC_7255(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL))) -> f7270_0_createNode_Duplicate(EOS(STATIC_7270(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7270_0_createNode_Duplicate(EOS(STATIC_7270(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7279_0_createNode_InvokeMethod(EOS(STATIC_7279(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7279_0_createNode_InvokeMethod(EOS(STATIC_7279(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7285_0__init__Load(EOS(STATIC_7285(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7285_0__init__Load(EOS(STATIC_7285(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7294_0__init__InvokeMethod(EOS(STATIC_7294(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7294_0__init__InvokeMethod(EOS(STATIC_7294(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7299_0__init__Return(EOS(STATIC_7299(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7299_0__init__Return(EOS(STATIC_7299(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7303_0_createNode_Store(EOS(STATIC_7303(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7303_0_createNode_Store(EOS(STATIC_7303(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7309_0_createNode_Load(EOS(STATIC_7309(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7309_0_createNode_Load(EOS(STATIC_7309(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7312_0_createNode_New(EOS(STATIC_7312(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7312_0_createNode_New(EOS(STATIC_7312(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7316_0_createNode_Duplicate(EOS(STATIC_7316(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7316_0_createNode_Duplicate(EOS(STATIC_7316(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7320_0_createNode_InvokeMethod(EOS(STATIC_7320(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f7320_0_createNode_InvokeMethod(EOS(STATIC_7320(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f7324_0_createNode_FieldAccess(EOS(STATIC_7324(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f7324_0_createNode_FieldAccess(EOS(STATIC_7324(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f7328_0_createNode_Load(EOS(STATIC_7328(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7328_0_createNode_Load(EOS(STATIC_7328(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7331_0_createNode_Return(EOS(STATIC_7331(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7331_0_createNode_Return(EOS(STATIC_7331(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7337_0_createTree_FieldAccess(EOS(STATIC_7337(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7337_0_createTree_FieldAccess(EOS(STATIC_7337(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7343_0_createTree_FieldAccess(EOS(STATIC_7343(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7337_0_createTree_FieldAccess(EOS(STATIC_7337(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, NULL)), java.lang.Object(Tree(EOC, o3498, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7344_0_createTree_FieldAccess(EOS(STATIC_7344(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, NULL)), java.lang.Object(Tree(EOC, o3498, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f7343_0_createTree_FieldAccess(EOS(STATIC_7343(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o3008, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7350_0_createTree_Load(EOS(STATIC_7350(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374put, o2373put))) :|: TRUE
f7350_0_createTree_Load(EOS(STATIC_7350(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373))) -> f7357_0_createTree_Store(EOS(STATIC_7357(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7357_0_createTree_Store(EOS(STATIC_7357(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7363_0_createTree_JMP(EOS(STATIC_7363(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7363_0_createTree_JMP(EOS(STATIC_7363(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) -> f7369_0_createTree_Inc(EOS(STATIC_7369(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o2374, o2373)), java.lang.Object(Tree(EOC, o2374, o2373))) :|: TRUE
f7344_0_createTree_FieldAccess(EOS(STATIC_7344(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, NULL)), java.lang.Object(Tree(EOC, o3498, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f7351_0_createTree_Load(EOS(STATIC_7351(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7351_0_createTree_Load(EOS(STATIC_7351(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7358_0_createTree_Store(EOS(STATIC_7358(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7358_0_createTree_Store(EOS(STATIC_7358(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7364_0_createTree_JMP(EOS(STATIC_7364(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7364_0_createTree_JMP(EOS(STATIC_7364(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7370_0_createTree_Inc(EOS(STATIC_7370(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7370_0_createTree_Inc(EOS(STATIC_7370(java.lang.Object(ARRAY(i6)))), i1192, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7374_0_createTree_JMP(EOS(STATIC_7374(java.lang.Object(ARRAY(i6)))), i1192 + -1, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7374_0_createTree_JMP(EOS(STATIC_7374(java.lang.Object(ARRAY(i6)))), i1387, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7377_0_createTree_Load(EOS(STATIC_7377(java.lang.Object(ARRAY(i6)))), i1387, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f7377_0_createTree_Load(EOS(STATIC_7377(java.lang.Object(ARRAY(i6)))), i1387, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f7042_0_createTree_Load(EOS(STATIC_7042(java.lang.Object(ARRAY(i6)))), i1387, java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o3498, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0, java.lang.Object(Tree(EOC, NULL, o2373:0)), java.lang.Object(Tree(EOC, NULL, o2373:0)), i1192:0) -> f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2373:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2373:0)), i1192:0 - 1) :|: i1192:0 > 0
f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0, java.lang.Object(Tree(EOC, o2374:0, o2373:0)), java.lang.Object(Tree(EOC, NULL, o3003:0)), i1192:0) -> f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0 - 1, java.lang.Object(Tree(EOC, o2374put:0, o2373put:0)), java.lang.Object(Tree(EOC, o2374put:0, o2373put:0)), i1192:0 - 1) :|: i1192:0 > 0
f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0, java.lang.Object(Tree(EOC, o2374:0, NULL)), java.lang.Object(Tree(EOC, o2374:0, NULL)), i1192:0) -> f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0 - 1, java.lang.Object(Tree(EOC, o2374:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2374:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1192:0 - 1) :|: i1192:0 > 0 && i1257:0 > 0
f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0, java.lang.Object(Tree(EOC, o2374:0, o2373:0)), java.lang.Object(Tree(EOC, java.lang.Object(o3056sub:0), o3003:0)), i1192:0) -> f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0 - 1, java.lang.Object(Tree(EOC, o2374:0, o2373:0)), java.lang.Object(o3056sub:0), i1192:0 - 1) :|: i1192:0 > 0
f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0, java.lang.Object(Tree(EOC, o2374:0, o2373:0)), java.lang.Object(Tree(EOC, o3008:0, java.lang.Object(o3057sub:0))), i1192:0) -> f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0 - 1, java.lang.Object(Tree(EOC, o2374:0, o2373:0)), java.lang.Object(o3057sub:0), i1192:0 - 1) :|: i1192:0 > 0 && i1257:0 > 0
f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0, java.lang.Object(Tree(EOC, o2374:0, o2373:0)), java.lang.Object(Tree(EOC, o3008:0, NULL)), i1192:0) -> f7045_0_createTree_LE(EOS(STATIC_7045(java.lang.Object(ARRAY(i6:0)))), i1192:0 - 1, java.lang.Object(Tree(EOC, o2374put:0, o2373put:0)), java.lang.Object(Tree(EOC, o2374put:0, o2373put:0)), i1192:0 - 1) :|: i1192:0 > 0 && i1257:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f7045_0_createTree_LE(x1, x2, x3, x4, x5) -> f7045_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f7045_0_createTree_LE(x1, x2, x3, x4) -> f7045_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f7045_0_createTree_LE(java.lang.Object(Tree(NULL, o2373:0)), java.lang.Object(Tree(NULL, o2373:0)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), i1192:0 - 1) :|: i1192:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, o2373:0)), java.lang.Object(Tree(NULL, o3003:0)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(o2374put:0, o2373put:0)), java.lang.Object(Tree(o2374put:0, o2373put:0)), i1192:0 - 1) :|: i1192:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, NULL)), java.lang.Object(Tree(o2374:0, NULL)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o2374:0, java.lang.Object(Tree(NULL, NULL)))), i1192:0 - 1) :|: i1192:0 > 0 && i1257:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, o2373:0)), java.lang.Object(Tree(java.lang.Object(o3056sub:0), o3003:0)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, o2373:0)), java.lang.Object(o3056sub:0), i1192:0 - 1) :|: i1192:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, o2373:0)), java.lang.Object(Tree(o3008:0, java.lang.Object(o3057sub:0))), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, o2373:0)), java.lang.Object(o3057sub:0), i1192:0 - 1) :|: i1192:0 > 0 && i1257:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(o2374:0, o2373:0)), java.lang.Object(Tree(o3008:0, NULL)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(o2374put:0, o2373put:0)), java.lang.Object(Tree(o2374put:0, o2373put:0)), i1192:0 - 1) :|: i1192:0 > 0 && i1257:0 > 0

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

(28)
Obligation:
Rules:
f7045_0_createTree_LE(java.lang.Object(Tree(NULL, o2373:0)), java.lang.Object(Tree(NULL, o2373:0)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), i1192:0 - 1) :|: i1192:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x, x1)), java.lang.Object(Tree(NULL, x2)), x3) -> f7045_0_createTree_LE(java.lang.Object(Tree(x4, x5)), java.lang.Object(Tree(x4, x5)), x3 - 1) :|: x3 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x6, NULL)), java.lang.Object(Tree(x6, NULL)), x7) -> f7045_0_createTree_LE(java.lang.Object(Tree(x6, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x6, java.lang.Object(Tree(NULL, NULL)))), x7 - 1) :|: x7 > 0 && x8 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x9, x10)), java.lang.Object(Tree(java.lang.Object(x11), x12)), x13) -> f7045_0_createTree_LE(java.lang.Object(Tree(x9, x10)), java.lang.Object(x11), x13 - 1) :|: x13 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x14, x15)), java.lang.Object(Tree(x16, java.lang.Object(x17))), x18) -> f7045_0_createTree_LE(java.lang.Object(Tree(x14, x15)), java.lang.Object(x17), x18 - 1) :|: x18 > 0 && x19 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x20, x21)), java.lang.Object(Tree(x22, NULL)), x23) -> f7045_0_createTree_LE(java.lang.Object(Tree(x24, x25)), java.lang.Object(Tree(x24, x25)), x23 - 1) :|: x23 > 0 && x26 > 0

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

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

(30)
Obligation:
Rules:
f7045_0_createTree_LE(java.lang.Object(Tree(NULL, o2373:0)), java.lang.Object(Tree(NULL, o2373:0)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), arith) :|: i1192:0 > 0 && arith = i1192:0 - 1
f7045_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(NULL, x29)), x30) -> f7045_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x31, x32)), x33) :|: x30 > 0 && x33 = x30 - 1
f7045_0_createTree_LE(java.lang.Object(Tree(x34, NULL)), java.lang.Object(Tree(x34, NULL)), x35) -> f7045_0_createTree_LE(java.lang.Object(Tree(x34, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x34, java.lang.Object(Tree(NULL, NULL)))), x36) :|: x35 > 0 && x37 > 0 && x36 = x35 - 1
f7045_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(java.lang.Object(x40), x41)), x42) -> f7045_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x40), x43) :|: x42 > 0 && x43 = x42 - 1
f7045_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(x46, java.lang.Object(x47))), x48) -> f7045_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(x47), x49) :|: x48 > 0 && x50 > 0 && x49 = x48 - 1
f7045_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x53, NULL)), x54) -> f7045_0_createTree_LE(java.lang.Object(Tree(x55, x56)), java.lang.Object(Tree(x55, x56)), x57) :|: x54 > 0 && x58 > 0 && x57 = x54 - 1

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

(31) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f7045_0_createTree_LE(java.lang.Object(Tree(NULL, o2373:0)), java.lang.Object(Tree(NULL, o2373:0)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), arith) :|: i1192:0 > 0 && arith = i1192:0 - 1
(2) f7045_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(NULL, x29)), x30) -> f7045_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x31, x32)), x33) :|: x30 > 0 && x33 = x30 - 1
(3) f7045_0_createTree_LE(java.lang.Object(Tree(x34, NULL)), java.lang.Object(Tree(x34, NULL)), x35) -> f7045_0_createTree_LE(java.lang.Object(Tree(x34, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x34, java.lang.Object(Tree(NULL, NULL)))), x36) :|: x35 > 0 && x37 > 0 && x36 = x35 - 1
(4) f7045_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(java.lang.Object(x40), x41)), x42) -> f7045_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x40), x43) :|: x42 > 0 && x43 = x42 - 1
(5) f7045_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(x46, java.lang.Object(x47))), x48) -> f7045_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(x47), x49) :|: x48 > 0 && x50 > 0 && x49 = x48 - 1
(6) f7045_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x53, NULL)), x54) -> f7045_0_createTree_LE(java.lang.Object(Tree(x55, x56)), java.lang.Object(Tree(x55, x56)), x57) :|: x54 > 0 && x58 > 0 && x57 = x54 - 1

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

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

(32)
Obligation:

Termination digraph:
Nodes:
(1) f7045_0_createTree_LE(java.lang.Object(Tree(NULL, o2373:0)), java.lang.Object(Tree(NULL, o2373:0)), i1192:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0)), arith) :|: i1192:0 > 0 && arith = i1192:0 - 1
(2) f7045_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(NULL, x29)), x30) -> f7045_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x31, x32)), x33) :|: x30 > 0 && x33 = x30 - 1
(3) f7045_0_createTree_LE(java.lang.Object(Tree(x34, NULL)), java.lang.Object(Tree(x34, NULL)), x35) -> f7045_0_createTree_LE(java.lang.Object(Tree(x34, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x34, java.lang.Object(Tree(NULL, NULL)))), x36) :|: x35 > 0 && x37 > 0 && x36 = x35 - 1
(4) f7045_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(java.lang.Object(x40), x41)), x42) -> f7045_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(x40), x43) :|: x42 > 0 && x43 = x42 - 1
(5) f7045_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(Tree(x46, java.lang.Object(x47))), x48) -> f7045_0_createTree_LE(java.lang.Object(Tree(x44, x45)), java.lang.Object(x47), x49) :|: x48 > 0 && x50 > 0 && x49 = x48 - 1
(6) f7045_0_createTree_LE(java.lang.Object(Tree(x51, x52)), java.lang.Object(Tree(x53, NULL)), x54) -> f7045_0_createTree_LE(java.lang.Object(Tree(x55, x56)), java.lang.Object(Tree(x55, x56)), x57) :|: x54 > 0 && x58 > 0 && x57 = x54 - 1

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

This digraph is fully evaluated!

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

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

(34)
Obligation:
Rules:
f7045_0_createTree_LE(java.lang.Object(Tree(x51:0, x52:0)), java.lang.Object(Tree(x53:0, NULL)), x54:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(x55:0, x56:0)), java.lang.Object(Tree(x55:0, x56:0)), x54:0 - 1) :|: x54:0 > 0 && x58:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x34:0, NULL)), java.lang.Object(Tree(x34:0, NULL)), x35:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(x34:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x34:0, java.lang.Object(Tree(NULL, NULL)))), x35:0 - 1) :|: x35:0 > 0 && x37:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(NULL, o2373:0:0)), java.lang.Object(Tree(NULL, o2373:0:0)), i1192:0:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o2373:0:0)), i1192:0:0 - 1) :|: i1192:0:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(Tree(java.lang.Object(x40:0), x41:0)), x42:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(x40:0), x42:0 - 1) :|: x42:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x44:0, x45:0)), java.lang.Object(Tree(x46:0, java.lang.Object(x47:0))), x48:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(x44:0, x45:0)), java.lang.Object(x47:0), x48:0 - 1) :|: x48:0 > 0 && x50:0 > 0
f7045_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(Tree(NULL, x29:0)), x30:0) -> f7045_0_createTree_LE(java.lang.Object(Tree(x31:0, x32:0)), java.lang.Object(Tree(x31:0, x32:0)), x30:0 - 1) :|: x30:0 > 0

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

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

(36)
Obligation:
Rules:
f7045_0_createTree_LE(c, c1, x54:0) -> f7045_0_createTree_LE(c2, c3, c4) :|: c4 = x54:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x54:0 > 0 && x58:0 > 0)
f7045_0_createTree_LE(c10, c11, i1192:0:0) -> f7045_0_createTree_LE(c12, c13, c14) :|: c14 = i1192:0:0 - 1 && (c13 = 0 && (c12 = 0 && (c11 = 0 && c10 = 0))) && i1192:0:0 > 0

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

(37) RankingReductionPairProof (EQUIVALENT)
Interpretation:
[ f7045_0_createTree_LE ] = f7045_0_createTree_LE_3

The following rules are decreasing:
f7045_0_createTree_LE(c, c1, x54:0) -> f7045_0_createTree_LE(c2, c3, c4) :|: c4 = x54:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x54:0 > 0 && x58:0 > 0)
f7045_0_createTree_LE(c10, c11, i1192:0:0) -> f7045_0_createTree_LE(c12, c13, c14) :|: c14 = i1192:0:0 - 1 && (c13 = 0 && (c12 = 0 && (c11 = 0 && c10 = 0))) && i1192:0:0 > 0

The following rules are bounded:
f7045_0_createTree_LE(c, c1, x54:0) -> f7045_0_createTree_LE(c2, c3, c4) :|: c4 = x54:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && (x54:0 > 0 && x58:0 > 0)
f7045_0_createTree_LE(c10, c11, i1192:0:0) -> f7045_0_createTree_LE(c12, c13, c14) :|: c14 = i1192:0:0 - 1 && (c13 = 0 && (c12 = 0 && (c11 = 0 && c10 = 0))) && i1192:0:0 > 0


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

(38)
YES