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


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


YES
proof of /export/starexec/sandbox2/benchmark/theBenchmark.jar
# AProVE Commit ID: 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, 1832 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 551 ms]
        (9) QDP
        (10) UsableRulesReductionPairsProof [EQUIVALENT, 59 ms]
        (11) QDP
        (12) PisEmptyProof [EQUIVALENT, 0 ms]
        (13) YES
    (14) JBCTerminationSCC
        (15) SCCToIRSProof [SOUND, 343 ms]
        (16) IRSwT
        (17) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (18) IRSwT
        (19) IRSwTTerminationDigraphProof [EQUIVALENT, 333 ms]
        (20) IRSwT
        (21) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (22) IRSwT
        (23) TempFilterProof [SOUND, 16 ms]
        (24) IntTRS
        (25) RankingReductionPairProof [EQUIVALENT, 0 ms]
        (26) YES
    (27) JBCTerminationSCC
        (28) SCCToIRSProof [SOUND, 161 ms]
        (29) IRSwT
        (30) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (31) IRSwT
        (32) IRSwTTerminationDigraphProof [EQUIVALENT, 0 ms]
        (33) IRSwT
        (34) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (35) IRSwT
        (36) TempFilterProof [SOUND, 38 ms]
        (37) IntTRS
        (38) RankingReductionPairProof [EQUIVALENT, 5 ms]
        (39) YES


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

(0)
Obligation:
need to prove termination of the following program:
package FlattenTreeListRec;

public class FlattenTreeListRec {
  public static void main(String[] args) {
    Random.args = args;
    int listLength = Random.random();
    TreeList list = null;
    for (int i = listLength; i > 0; i--) {
      Tree tree = Tree.createTree();
      list = new TreeList(tree, list);
    }

    flatten(list);
  }

  public static ObjectList flatten(TreeList start) {
      if (start == null) {
        return null;
      } else {
        Tree tree = start.value;
      if (tree != null) {
        Object value = tree.value;
        start = start.next;
        start = new TreeList(tree.left, start);
        start = new TreeList(tree.right, start);
        return new ObjectList(value, flatten(start));
      } else {
        return flatten(start.next);
      }
    }
  }
}


package FlattenTreeListRec;

public class ObjectList {
  Object value;
  ObjectList next;

  public ObjectList(Object value, ObjectList next) {
    this.value = value;
    this.next = next;
  }

  public static ObjectList createList() {
    ObjectList result = null;
    int length = Random.random();
    while (length > 0) {
      result = new ObjectList(new Object(), result);
      length--;
    }
    return result;
  }
}


package FlattenTreeListRec;

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

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


package FlattenTreeListRec;

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;
  }
}


package FlattenTreeListRec;

public class TreeList {
  Tree value;
  TreeList next;

  public TreeList(Tree value, TreeList next) {
    this.value = value;
    this.next = next;
  }
}



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

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

(2)
Obligation:
need to prove termination of the following program:
package FlattenTreeListRec;

public class FlattenTreeListRec {
  public static void main(String[] args) {
    Random.args = args;
    int listLength = Random.random();
    TreeList list = null;
    for (int i = listLength; i > 0; i--) {
      Tree tree = Tree.createTree();
      list = new TreeList(tree, list);
    }

    flatten(list);
  }

  public static ObjectList flatten(TreeList start) {
      if (start == null) {
        return null;
      } else {
        Tree tree = start.value;
      if (tree != null) {
        Object value = tree.value;
        start = start.next;
        start = new TreeList(tree.left, start);
        start = new TreeList(tree.right, start);
        return new ObjectList(value, flatten(start));
      } else {
        return flatten(start.next);
      }
    }
  }
}


package FlattenTreeListRec;

public class ObjectList {
  Object value;
  ObjectList next;

  public ObjectList(Object value, ObjectList next) {
    this.value = value;
    this.next = next;
  }

  public static ObjectList createList() {
    ObjectList result = null;
    int length = Random.random();
    while (length > 0) {
      result = new ObjectList(new Object(), result);
      length--;
    }
    return result;
  }
}


package FlattenTreeListRec;

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

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


package FlattenTreeListRec;

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;
  }
}


package FlattenTreeListRec;

public class TreeList {
  Tree value;
  TreeList next;

  public TreeList(Tree value, TreeList next) {
    this.value = value;
    this.next = next;
  }
}



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

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

(4)
Obligation:
Termination Graph based on JBC Program:
FlattenTreeListRec.FlattenTreeListRec.main([Ljava/lang/String;)V: Graph of 191 nodes with 1 SCC.



FlattenTreeListRec.Tree.createTree()LFlattenTreeListRec/Tree;: Graph of 310 nodes with 1 SCC.



FlattenTreeListRec.FlattenTreeListRec.flatten(LFlattenTreeListRec/TreeList;)LFlattenTreeListRec/ObjectList;: Graph of 122 nodes with 0 SCCs.





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

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

(6)
Complex Obligation (AND)

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

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

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

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 68 rules for P and 124 rules for R.P rules:
f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) -> f7702_0_flatten_NONNULL(EOS(STATIC_7702), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) :|: TRUE
f7702_0_flatten_NONNULL(EOS(STATIC_7702), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) -> f7706_0_flatten_Load(EOS(STATIC_7706), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) :|: TRUE
f7706_0_flatten_Load(EOS(STATIC_7706), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) -> f7711_0_flatten_FieldAccess(EOS(STATIC_7711), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) :|: TRUE
f7711_0_flatten_FieldAccess(EOS(STATIC_7711), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694))) -> f7716_0_flatten_FieldAccess(EOS(STATIC_7716), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694))) :|: TRUE
f7716_0_flatten_FieldAccess(EOS(STATIC_7716), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694))) -> f7720_0_flatten_Store(EOS(STATIC_7720), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) :|: TRUE
f7720_0_flatten_Store(EOS(STATIC_7720), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) -> f7723_0_flatten_Load(EOS(STATIC_7723), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) :|: TRUE
f7723_0_flatten_Load(EOS(STATIC_7723), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) -> f7726_0_flatten_NULL(EOS(STATIC_7726), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693, o2693) :|: TRUE
f7726_0_flatten_NULL(EOS(STATIC_7726), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) -> f7728_0_flatten_NULL(EOS(STATIC_7728), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) :|: TRUE
f7726_0_flatten_NULL(EOS(STATIC_7726), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), NULL, NULL) -> f7729_0_flatten_NULL(EOS(STATIC_7729), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), NULL, NULL) :|: TRUE
f7728_0_flatten_NULL(EOS(STATIC_7728), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) -> f7732_0_flatten_Load(EOS(STATIC_7732), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub)) :|: TRUE
f7732_0_flatten_Load(EOS(STATIC_7732), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub)) -> f7736_0_flatten_FieldAccess(EOS(STATIC_7736), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) :|: TRUE
f7736_0_flatten_FieldAccess(EOS(STATIC_7736), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7741_0_flatten_FieldAccess(EOS(STATIC_7741), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7741_0_flatten_FieldAccess(EOS(STATIC_7741), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7745_0_flatten_Store(EOS(STATIC_7745), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7745_0_flatten_Store(EOS(STATIC_7745), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7749_0_flatten_Load(EOS(STATIC_7749), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7749_0_flatten_Load(EOS(STATIC_7749), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7754_0_flatten_FieldAccess(EOS(STATIC_7754), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7754_0_flatten_FieldAccess(EOS(STATIC_7754), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f7758_0_flatten_Store(EOS(STATIC_7758), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694) :|: TRUE
f7758_0_flatten_Store(EOS(STATIC_7758), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694) -> f7761_0_flatten_New(EOS(STATIC_7761), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7761_0_flatten_New(EOS(STATIC_7761), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7765_0_flatten_Duplicate(EOS(STATIC_7765), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7765_0_flatten_Duplicate(EOS(STATIC_7765), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7770_0_flatten_Load(EOS(STATIC_7770), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7770_0_flatten_Load(EOS(STATIC_7770), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7775_0_flatten_FieldAccess(EOS(STATIC_7775), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7775_0_flatten_FieldAccess(EOS(STATIC_7775), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7781_0_flatten_Load(EOS(STATIC_7781), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) :|: TRUE
f7781_0_flatten_Load(EOS(STATIC_7781), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) -> f7784_0_flatten_InvokeMethod(EOS(STATIC_7784), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) :|: TRUE
f7784_0_flatten_InvokeMethod(EOS(STATIC_7784), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) -> f7789_0__init__Load(EOS(STATIC_7789), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) :|: TRUE
f7789_0__init__Load(EOS(STATIC_7789), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) -> f7798_0__init__InvokeMethod(EOS(STATIC_7798), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7798_0__init__InvokeMethod(EOS(STATIC_7798), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7802_0__init__Load(EOS(STATIC_7802), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) :|: TRUE
f7802_0__init__Load(EOS(STATIC_7802), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) -> f7810_0__init__Load(EOS(STATIC_7810), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7810_0__init__Load(EOS(STATIC_7810), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7815_0__init__FieldAccess(EOS(STATIC_7815), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) :|: TRUE
f7815_0__init__FieldAccess(EOS(STATIC_7815), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) -> f7821_0__init__Load(EOS(STATIC_7821), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) :|: TRUE
f7821_0__init__Load(EOS(STATIC_7821), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) -> f7826_0__init__Load(EOS(STATIC_7826), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL))) :|: TRUE
f7826_0__init__Load(EOS(STATIC_7826), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL))) -> f7833_0__init__FieldAccess(EOS(STATIC_7833), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) :|: TRUE
f7833_0__init__FieldAccess(EOS(STATIC_7833), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) -> f7839_0__init__Return(EOS(STATIC_7839), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7839_0__init__Return(EOS(STATIC_7839), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7845_0_flatten_Store(EOS(STATIC_7845), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7845_0_flatten_Store(EOS(STATIC_7845), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7851_0_flatten_New(EOS(STATIC_7851), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7851_0_flatten_New(EOS(STATIC_7851), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7857_0_flatten_Duplicate(EOS(STATIC_7857), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7857_0_flatten_Duplicate(EOS(STATIC_7857), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7865_0_flatten_Load(EOS(STATIC_7865), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7865_0_flatten_Load(EOS(STATIC_7865), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7873_0_flatten_FieldAccess(EOS(STATIC_7873), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7873_0_flatten_FieldAccess(EOS(STATIC_7873), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7881_0_flatten_Load(EOS(STATIC_7881), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) :|: TRUE
f7881_0_flatten_Load(EOS(STATIC_7881), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) -> f7889_0_flatten_InvokeMethod(EOS(STATIC_7889), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7889_0_flatten_InvokeMethod(EOS(STATIC_7889), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7895_0__init__Load(EOS(STATIC_7895), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7895_0__init__Load(EOS(STATIC_7895), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7908_0__init__InvokeMethod(EOS(STATIC_7908), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7908_0__init__InvokeMethod(EOS(STATIC_7908), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7914_0__init__Load(EOS(STATIC_7914), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7914_0__init__Load(EOS(STATIC_7914), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7920_0__init__FieldAccess(EOS(STATIC_7920), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) :|: TRUE
f7920_0__init__FieldAccess(EOS(STATIC_7920), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) -> f7923_0__init__Load(EOS(STATIC_7923), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7923_0__init__Load(EOS(STATIC_7923), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7927_0__init__Load(EOS(STATIC_7927), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL))) :|: TRUE
f7927_0__init__Load(EOS(STATIC_7927), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL))) -> f7930_0__init__FieldAccess(EOS(STATIC_7930), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7930_0__init__FieldAccess(EOS(STATIC_7930), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7933_0__init__Return(EOS(STATIC_7933), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7933_0__init__Return(EOS(STATIC_7933), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7936_0_flatten_Store(EOS(STATIC_7936), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7936_0_flatten_Store(EOS(STATIC_7936), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7939_0_flatten_New(EOS(STATIC_7939), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7939_0_flatten_New(EOS(STATIC_7939), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7942_0_flatten_Duplicate(EOS(STATIC_7942), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7942_0_flatten_Duplicate(EOS(STATIC_7942), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7945_0_flatten_Load(EOS(STATIC_7945), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7945_0_flatten_Load(EOS(STATIC_7945), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7948_0_flatten_Load(EOS(STATIC_7948), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7948_0_flatten_Load(EOS(STATIC_7948), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7951_0_flatten_InvokeMethod(EOS(STATIC_7951), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7951_0_flatten_InvokeMethod(EOS(STATIC_7951), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7956_1_flatten_InvokeMethod(f7956_0_flatten_Load(EOS(STATIC_7956), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7956_0_flatten_Load(EOS(STATIC_7956), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7961_0_flatten_Load(EOS(STATIC_7961), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7961_0_flatten_Load(EOS(STATIC_7961), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7966_0_flatten_Load(EOS(STATIC_7966), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)))), o2692[TreeList.value]o2709) :|: o2692[TreeList.value]o2709 = 1
f7966_0_flatten_Load(EOS(STATIC_7966), o3157, o3158, o3159, o3160, o3161, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), o3160[TreeList.value]o3161) -> f7971_0_flatten_Load(EOS(STATIC_7971), o3160, o3161, o3157, o3158, o3159, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), o3160[TreeList.value]o3161) :|: TRUE
f7971_0_flatten_Load(EOS(STATIC_7971), o3160, o3161, o3170, o3171, o3172, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), o3160[TreeList.value]o3161) -> f7978_0_flatten_Load(EOS(STATIC_7978), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158))))) :|: TRUE
f7978_0_flatten_Load(EOS(STATIC_7978), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158))))) -> f7689_0_flatten_Load(EOS(STATIC_7689), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158))))) :|: TRUE
f7689_0_flatten_Load(EOS(STATIC_7689), o2632, o2632) -> f7695_0_flatten_NONNULL(EOS(STATIC_7695), o2632, o2632, o2632) :|: TRUE
f7729_0_flatten_NULL(EOS(STATIC_7729), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), NULL, NULL) -> f7733_0_flatten_Load(EOS(STATIC_7733), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) :|: TRUE
f7733_0_flatten_Load(EOS(STATIC_7733), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) -> f7737_0_flatten_FieldAccess(EOS(STATIC_7737), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) :|: TRUE
f7737_0_flatten_FieldAccess(EOS(STATIC_7737), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) -> f7742_0_flatten_InvokeMethod(EOS(STATIC_7742), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) :|: TRUE
f7742_0_flatten_InvokeMethod(EOS(STATIC_7742), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) -> f7746_1_flatten_InvokeMethod(f7746_0_flatten_Load(EOS(STATIC_7746), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) :|: TRUE
f7746_0_flatten_Load(EOS(STATIC_7746), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) -> f7750_0_flatten_Load(EOS(STATIC_7750), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) :|: TRUE
f7750_0_flatten_Load(EOS(STATIC_7750), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) -> f7755_0_flatten_Load(EOS(STATIC_7755), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) :|: TRUE
f7755_0_flatten_Load(EOS(STATIC_7755), o2722, o2730, o2722) -> f7766_0_flatten_Load(EOS(STATIC_7766), o2722, o2722) :|: TRUE
f7766_0_flatten_Load(EOS(STATIC_7766), o2722, o2722) -> f7689_0_flatten_Load(EOS(STATIC_7689), o2722, o2722) :|: TRUE
R rules:
f7689_0_flatten_Load(EOS(STATIC_7689), o2632, o2632) -> f7695_0_flatten_NONNULL(EOS(STATIC_7695), o2632, o2632, o2632) :|: TRUE
f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) -> f7702_0_flatten_NONNULL(EOS(STATIC_7702), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) :|: TRUE
f7695_0_flatten_NONNULL(EOS(STATIC_7695), NULL, NULL, NULL) -> f7703_0_flatten_NONNULL(EOS(STATIC_7703), NULL, NULL, NULL) :|: TRUE
f7702_0_flatten_NONNULL(EOS(STATIC_7702), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) -> f7706_0_flatten_Load(EOS(STATIC_7706), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) :|: TRUE
f7703_0_flatten_NONNULL(EOS(STATIC_7703), NULL, NULL, NULL) -> f7707_0_flatten_ConstantStackPush(EOS(STATIC_7707), NULL) :|: TRUE
f7706_0_flatten_Load(EOS(STATIC_7706), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) -> f7711_0_flatten_FieldAccess(EOS(STATIC_7711), java.lang.Object(o2649sub), java.lang.Object(o2649sub), java.lang.Object(o2649sub)) :|: TRUE
f7707_0_flatten_ConstantStackPush(EOS(STATIC_7707), NULL) -> f7712_0_flatten_Return(EOS(STATIC_7712), NULL, NULL) :|: TRUE
f7711_0_flatten_FieldAccess(EOS(STATIC_7711), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694))) -> f7716_0_flatten_FieldAccess(EOS(STATIC_7716), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694))) :|: TRUE
f7716_0_flatten_FieldAccess(EOS(STATIC_7716), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694))) -> f7720_0_flatten_Store(EOS(STATIC_7720), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) :|: TRUE
f7720_0_flatten_Store(EOS(STATIC_7720), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) -> f7723_0_flatten_Load(EOS(STATIC_7723), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) :|: TRUE
f7723_0_flatten_Load(EOS(STATIC_7723), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693) -> f7726_0_flatten_NULL(EOS(STATIC_7726), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2693, o2694)), o2693, o2693) :|: TRUE
f7726_0_flatten_NULL(EOS(STATIC_7726), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) -> f7728_0_flatten_NULL(EOS(STATIC_7728), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) :|: TRUE
f7726_0_flatten_NULL(EOS(STATIC_7726), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), NULL, NULL) -> f7729_0_flatten_NULL(EOS(STATIC_7729), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), NULL, NULL) :|: TRUE
f7728_0_flatten_NULL(EOS(STATIC_7728), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) -> f7732_0_flatten_Load(EOS(STATIC_7732), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub)) :|: TRUE
f7729_0_flatten_NULL(EOS(STATIC_7729), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), NULL, NULL) -> f7733_0_flatten_Load(EOS(STATIC_7733), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) :|: TRUE
f7732_0_flatten_Load(EOS(STATIC_7732), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub)) -> f7736_0_flatten_FieldAccess(EOS(STATIC_7736), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(o2701sub), o2694)), java.lang.Object(o2701sub), java.lang.Object(o2701sub)) :|: TRUE
f7733_0_flatten_Load(EOS(STATIC_7733), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) -> f7737_0_flatten_FieldAccess(EOS(STATIC_7737), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) :|: TRUE
f7736_0_flatten_FieldAccess(EOS(STATIC_7736), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7741_0_flatten_FieldAccess(EOS(STATIC_7741), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7737_0_flatten_FieldAccess(EOS(STATIC_7737), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) -> f7742_0_flatten_InvokeMethod(EOS(STATIC_7742), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) :|: TRUE
f7741_0_flatten_FieldAccess(EOS(STATIC_7741), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7745_0_flatten_Store(EOS(STATIC_7745), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7742_0_flatten_InvokeMethod(EOS(STATIC_7742), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) -> f7746_1_flatten_InvokeMethod(f7746_0_flatten_Load(EOS(STATIC_7746), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694))) :|: TRUE
f7745_0_flatten_Store(EOS(STATIC_7745), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7749_0_flatten_Load(EOS(STATIC_7749), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7746_0_flatten_Load(EOS(STATIC_7746), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) -> f7750_0_flatten_Load(EOS(STATIC_7750), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) :|: TRUE
f7749_0_flatten_Load(EOS(STATIC_7749), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7754_0_flatten_FieldAccess(EOS(STATIC_7754), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7750_0_flatten_Load(EOS(STATIC_7750), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) -> f7755_0_flatten_Load(EOS(STATIC_7755), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694)), o2694) :|: TRUE
f7754_0_flatten_FieldAccess(EOS(STATIC_7754), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f7758_0_flatten_Store(EOS(STATIC_7758), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694) :|: TRUE
f7755_0_flatten_Load(EOS(STATIC_7755), o2722, o2730, o2722) -> f7766_0_flatten_Load(EOS(STATIC_7766), o2722, o2722) :|: TRUE
f7758_0_flatten_Store(EOS(STATIC_7758), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694) -> f7761_0_flatten_New(EOS(STATIC_7761), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7761_0_flatten_New(EOS(STATIC_7761), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7765_0_flatten_Duplicate(EOS(STATIC_7765), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7765_0_flatten_Duplicate(EOS(STATIC_7765), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7770_0_flatten_Load(EOS(STATIC_7770), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7767_0_flatten_Return(EOS(STATIC_7767), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL) -> f7771_0_flatten_Return(EOS(STATIC_7771), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL) :|: TRUE
f7770_0_flatten_Load(EOS(STATIC_7770), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7775_0_flatten_FieldAccess(EOS(STATIC_7775), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7775_0_flatten_FieldAccess(EOS(STATIC_7775), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7781_0_flatten_Load(EOS(STATIC_7781), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) :|: TRUE
f7781_0_flatten_Load(EOS(STATIC_7781), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), o2694, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) -> f7784_0_flatten_InvokeMethod(EOS(STATIC_7784), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) :|: TRUE
f7784_0_flatten_InvokeMethod(EOS(STATIC_7784), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) -> f7789_0__init__Load(EOS(STATIC_7789), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) :|: TRUE
f7786_0_flatten_Return(EOS(STATIC_7786), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)))), NULL) -> f7805_0_flatten_Return(EOS(STATIC_7805), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)))), NULL) :|: TRUE
f7789_0__init__Load(EOS(STATIC_7789), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) -> f7798_0__init__InvokeMethod(EOS(STATIC_7798), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7798_0__init__InvokeMethod(EOS(STATIC_7798), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7802_0__init__Load(EOS(STATIC_7802), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) :|: TRUE
f7802_0__init__Load(EOS(STATIC_7802), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694) -> f7810_0__init__Load(EOS(STATIC_7810), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7805_0_flatten_Return(EOS(STATIC_7805), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2862)))), NULL) -> f8059_0_flatten_Return(EOS(STATIC_8059), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2862))))) :|: TRUE
f7810_0__init__Load(EOS(STATIC_7810), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710, o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7815_0__init__FieldAccess(EOS(STATIC_7815), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) :|: TRUE
f7815_0__init__FieldAccess(EOS(STATIC_7815), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2710) -> f7821_0__init__Load(EOS(STATIC_7821), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) :|: TRUE
f7821_0__init__Load(EOS(STATIC_7821), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) -> f7826_0__init__Load(EOS(STATIC_7826), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL))) :|: TRUE
f7826_0__init__Load(EOS(STATIC_7826), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL))) -> f7833_0__init__FieldAccess(EOS(STATIC_7833), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) :|: TRUE
f7833_0__init__FieldAccess(EOS(STATIC_7833), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, NULL)), o2694) -> f7839_0__init__Return(EOS(STATIC_7839), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7839_0__init__Return(EOS(STATIC_7839), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7845_0_flatten_Store(EOS(STATIC_7845), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7845_0_flatten_Store(EOS(STATIC_7845), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7851_0_flatten_New(EOS(STATIC_7851), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7851_0_flatten_New(EOS(STATIC_7851), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7857_0_flatten_Duplicate(EOS(STATIC_7857), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7857_0_flatten_Duplicate(EOS(STATIC_7857), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7865_0_flatten_Load(EOS(STATIC_7865), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7865_0_flatten_Load(EOS(STATIC_7865), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7873_0_flatten_FieldAccess(EOS(STATIC_7873), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) :|: TRUE
f7873_0_flatten_FieldAccess(EOS(STATIC_7873), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711))) -> f7881_0_flatten_Load(EOS(STATIC_7881), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) :|: TRUE
f7881_0_flatten_Load(EOS(STATIC_7881), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) -> f7889_0_flatten_InvokeMethod(EOS(STATIC_7889), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7889_0_flatten_InvokeMethod(EOS(STATIC_7889), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7895_0__init__Load(EOS(STATIC_7895), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7895_0__init__Load(EOS(STATIC_7895), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7908_0__init__InvokeMethod(EOS(STATIC_7908), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7908_0__init__InvokeMethod(EOS(STATIC_7908), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7914_0__init__Load(EOS(STATIC_7914), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7914_0__init__Load(EOS(STATIC_7914), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) :|: TRUE
f7916_0__init__Load(EOS(STATIC_7916), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7920_0__init__FieldAccess(EOS(STATIC_7920), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) :|: TRUE
f7920_0__init__FieldAccess(EOS(STATIC_7920), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), o2711) -> f7923_0__init__Load(EOS(STATIC_7923), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7923_0__init__Load(EOS(STATIC_7923), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7927_0__init__Load(EOS(STATIC_7927), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL))) :|: TRUE
f7927_0__init__Load(EOS(STATIC_7927), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL))) -> f7930_0__init__FieldAccess(EOS(STATIC_7930), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) :|: TRUE
f7930_0__init__FieldAccess(EOS(STATIC_7930), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, NULL)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))) -> f7933_0__init__Return(EOS(STATIC_7933), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7933_0__init__Return(EOS(STATIC_7933), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7936_0_flatten_Store(EOS(STATIC_7936), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7936_0_flatten_Store(EOS(STATIC_7936), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7939_0_flatten_New(EOS(STATIC_7939), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7939_0_flatten_New(EOS(STATIC_7939), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7942_0_flatten_Duplicate(EOS(STATIC_7942), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7942_0_flatten_Duplicate(EOS(STATIC_7942), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7945_0_flatten_Load(EOS(STATIC_7945), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7945_0_flatten_Load(EOS(STATIC_7945), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7948_0_flatten_Load(EOS(STATIC_7948), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7948_0_flatten_Load(EOS(STATIC_7948), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7951_0_flatten_InvokeMethod(EOS(STATIC_7951), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7951_0_flatten_InvokeMethod(EOS(STATIC_7951), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7956_1_flatten_InvokeMethod(f7956_0_flatten_Load(EOS(STATIC_7956), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7956_0_flatten_Load(EOS(STATIC_7956), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7961_0_flatten_Load(EOS(STATIC_7961), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) :|: TRUE
f7961_0_flatten_Load(EOS(STATIC_7961), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694))))) -> f7966_0_flatten_Load(EOS(STATIC_7966), o2711, o2694, o2710, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710, o2694)))), o2692[TreeList.value]o2709) :|: o2692[TreeList.value]o2709 = 1
f7966_0_flatten_Load(EOS(STATIC_7966), o3157, o3158, o3159, o3160, o3161, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), o3160[TreeList.value]o3161) -> f7971_0_flatten_Load(EOS(STATIC_7971), o3160, o3161, o3157, o3158, o3159, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), o3160[TreeList.value]o3161) :|: TRUE
f7971_0_flatten_Load(EOS(STATIC_7971), o3160, o3161, o3170, o3171, o3172, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), o3160[TreeList.value]o3161) -> f7978_0_flatten_Load(EOS(STATIC_7978), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158))))) :|: TRUE
f7979_0_flatten_Return(EOS(STATIC_7979), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), NULL) -> f7984_0_flatten_InvokeMethod(EOS(STATIC_7984), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), NULL) :|: TRUE
f7980_0_flatten_Return(EOS(STATIC_7980), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), NULL) -> f8061_0_flatten_Return(EOS(STATIC_8061), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7984_0_flatten_InvokeMethod(EOS(STATIC_7984), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), NULL) -> f8068_0_flatten_InvokeMethod(EOS(STATIC_8068), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f8059_0_flatten_Return(EOS(STATIC_8059), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o3572))))) -> f8178_0_flatten_Return(EOS(STATIC_8178), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o3572))))) :|: TRUE
f8061_0_flatten_Return(EOS(STATIC_8061), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o3608, o3606, o3607)), o3604))) -> f8180_0_flatten_Return(EOS(STATIC_8180), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o3608, o3606, o3607)), o3604))) :|: TRUE
f8068_0_flatten_InvokeMethod(EOS(STATIC_8068), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o3608, o3606, o3607)), o3604))) -> f8191_0_flatten_InvokeMethod(EOS(STATIC_8191), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o3608, o3606, o3607)), o3604))) :|: TRUE
f8178_0_flatten_Return(EOS(STATIC_8178), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4336))))) -> f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4336))))) :|: TRUE
f8180_0_flatten_Return(EOS(STATIC_8180), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8191_0_flatten_InvokeMethod(EOS(STATIC_8191), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8191_0_flatten_InvokeMethod(EOS(STATIC_8191), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8202_0__init__Load(EOS(STATIC_8202), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8202_0__init__Load(EOS(STATIC_8202), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8221_0__init__InvokeMethod(EOS(STATIC_8221), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8219_0_flatten_Return(EOS(STATIC_8219), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514))))))) -> f8178_0_flatten_Return(EOS(STATIC_8178), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514))))))) :|: TRUE
f8220_0_flatten_Return(EOS(STATIC_8220), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8180_0_flatten_Return(EOS(STATIC_8180), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f8221_0__init__InvokeMethod(EOS(STATIC_8221), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8229_0__init__Load(EOS(STATIC_8229), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8229_0__init__Load(EOS(STATIC_8229), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8237_0__init__Load(EOS(STATIC_8237), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8237_0__init__Load(EOS(STATIC_8237), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8244_0__init__FieldAccess(EOS(STATIC_8244), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8244_0__init__FieldAccess(EOS(STATIC_8244), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8247_0__init__Load(EOS(STATIC_8247), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8247_0__init__Load(EOS(STATIC_8247), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8252_0__init__Load(EOS(STATIC_8252), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8252_0__init__Load(EOS(STATIC_8252), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8256_0__init__FieldAccess(EOS(STATIC_8256), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8256_0__init__FieldAccess(EOS(STATIC_8256), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8260_0__init__Return(EOS(STATIC_8260), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8260_0__init__Return(EOS(STATIC_8260), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) -> f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4396, o4394, o4395)), o4392))) :|: TRUE
f8264_0_flatten_Return(EOS(STATIC_8264), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4910, o4915, o4916)), o4913))))) -> f8271_0_flatten_Return(EOS(STATIC_8271), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4910, o4915, o4916)), o4913))))) :|: TRUE
f8266_0_flatten_Return(EOS(STATIC_8266), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8272_0_flatten_InvokeMethod(EOS(STATIC_8272), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8272_0_flatten_InvokeMethod(EOS(STATIC_8272), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8278_0__init__Load(EOS(STATIC_8278), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8278_0__init__Load(EOS(STATIC_8278), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8289_0__init__InvokeMethod(EOS(STATIC_8289), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8284_0_flatten_Return(EOS(STATIC_8284), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105, o5106, o5107)), o5102))))) -> f8264_0_flatten_Return(EOS(STATIC_8264), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105, o5106, o5107)), o5102))))) :|: TRUE
f8285_0_flatten_Return(EOS(STATIC_8285), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8266_0_flatten_Return(EOS(STATIC_8266), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f8287_0_flatten_Return(EOS(STATIC_8287), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175, o5178, o5179)), o5176))))))) -> f8178_0_flatten_Return(EOS(STATIC_8178), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175, o5178, o5179)), o5176))))))) :|: TRUE
f8288_0_flatten_Return(EOS(STATIC_8288), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8180_0_flatten_Return(EOS(STATIC_8180), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f8289_0__init__InvokeMethod(EOS(STATIC_8289), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8292_0__init__Load(EOS(STATIC_8292), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8292_0__init__Load(EOS(STATIC_8292), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8295_0__init__Load(EOS(STATIC_8295), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8295_0__init__Load(EOS(STATIC_8295), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8298_0__init__FieldAccess(EOS(STATIC_8298), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8298_0__init__FieldAccess(EOS(STATIC_8298), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8301_0__init__Load(EOS(STATIC_8301), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8301_0__init__Load(EOS(STATIC_8301), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8306_0__init__Load(EOS(STATIC_8306), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8306_0__init__Load(EOS(STATIC_8306), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8311_0__init__FieldAccess(EOS(STATIC_8311), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8311_0__init__FieldAccess(EOS(STATIC_8311), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8316_0__init__Return(EOS(STATIC_8316), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8316_0__init__Return(EOS(STATIC_8316), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) -> f8321_0_flatten_Return(EOS(STATIC_8321), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o4990, o4988, o4989)), o4986))) :|: TRUE
f8333_0_flatten_Return(EOS(STATIC_8333), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472, o5473, o5474)), o5469))))) -> f8264_0_flatten_Return(EOS(STATIC_8264), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472, o5473, o5474)), o5469))))) :|: TRUE
f8334_0_flatten_Return(EOS(STATIC_8334), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8266_0_flatten_Return(EOS(STATIC_8266), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7766_0_flatten_Load(EOS(STATIC_7766), o2722, o2722) -> f7689_0_flatten_Load(EOS(STATIC_7689), o2722, o2722) :|: TRUE
f7978_0_flatten_Load(EOS(STATIC_7978), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158))))) -> f7689_0_flatten_Load(EOS(STATIC_7689), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3157, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o3159, o3158))))) :|: TRUE
f7746_1_flatten_InvokeMethod(f7712_0_flatten_Return(EOS(STATIC_7712), NULL, NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7767_0_flatten_Return(EOS(STATIC_7767), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL) :|: TRUE
f7746_1_flatten_InvokeMethod(f7771_0_flatten_Return(EOS(STATIC_7771), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))))) -> f7786_0_flatten_Return(EOS(STATIC_7786), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)))), NULL) :|: TRUE
f7746_1_flatten_InvokeMethod(f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514))))))) -> f8219_0_flatten_Return(EOS(STATIC_8219), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514))))))) :|: TRUE
f7746_1_flatten_InvokeMethod(f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105, o5106, o5107)), o5102))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105, o5106, o5107)), o5102))))) -> f8284_0_flatten_Return(EOS(STATIC_8284), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105, o5106, o5107)), o5102))))) :|: TRUE
f7746_1_flatten_InvokeMethod(f8271_0_flatten_Return(EOS(STATIC_8271), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175, o5178, o5179)), o5176))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175, o5178, o5179)), o5176))))))) -> f8287_0_flatten_Return(EOS(STATIC_8287), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175, o5178, o5179)), o5176))))))) :|: TRUE
f7746_1_flatten_InvokeMethod(f8321_0_flatten_Return(EOS(STATIC_8321), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472, o5473, o5474)), o5469))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472, o5473, o5474)), o5469))))) -> f8333_0_flatten_Return(EOS(STATIC_8333), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472, o5473, o5474)), o5469))))) :|: TRUE
f7956_1_flatten_InvokeMethod(f7712_0_flatten_Return(EOS(STATIC_7712), NULL, NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f7979_0_flatten_Return(EOS(STATIC_7979), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), NULL) :|: TRUE
f7956_1_flatten_InvokeMethod(f7771_0_flatten_Return(EOS(STATIC_7771), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f7980_0_flatten_Return(EOS(STATIC_7980), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694)), NULL) :|: TRUE
f7956_1_flatten_InvokeMethod(f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4336))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8220_0_flatten_Return(EOS(STATIC_8220), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7956_1_flatten_InvokeMethod(f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5138, o4394, o4395)), o4392))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8285_0_flatten_Return(EOS(STATIC_8285), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7956_1_flatten_InvokeMethod(f8271_0_flatten_Return(EOS(STATIC_8271), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5209, o4915, o4916)), o4913))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8288_0_flatten_Return(EOS(STATIC_8288), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
f7956_1_flatten_InvokeMethod(f8321_0_flatten_Return(EOS(STATIC_8321), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5507, o4988, o4989)), o4986))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) -> f8334_0_flatten_Return(EOS(STATIC_8334), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712, o2710, o2711)), o2694))) :|: TRUE
Combined rules. Obtained 2 conditional rules for P and 15 conditional rules for R.P rules:
f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0))) -> f7746_1_flatten_InvokeMethod(f7695_0_flatten_NONNULL(EOS(STATIC_7695), o2694:0, o2694:0, o2694:0), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0))) :|: TRUE
f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f7956_1_flatten_InvokeMethod(f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711:0, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710:0, o2694:0)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711:0, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710:0, o2694:0)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711:0, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710:0, o2694:0))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
R rules:
f7956_1_flatten_InvokeMethod(f7712_0_flatten_Return(EOS(STATIC_7712), NULL, NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
f7746_1_flatten_InvokeMethod(f7712_0_flatten_Return(EOS(STATIC_7712), NULL, NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))) -> f7771_0_flatten_Return(EOS(STATIC_7771), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL) :|: TRUE
f7746_1_flatten_InvokeMethod(f8321_0_flatten_Return(EOS(STATIC_8321), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472:0, o5473:0, o5474:0)), o5469:0))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472:0, o5473:0, o5474:0)), o5469:0))))) -> f8271_0_flatten_Return(EOS(STATIC_8271), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5472:0, o5473:0, o5474:0)), o5469:0))))) :|: TRUE
f7956_1_flatten_InvokeMethod(f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4336:0))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f7956_1_flatten_InvokeMethod(f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711:0, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710:0, o2694:0)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711:0, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710:0, o2694:0)))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2711:0, java.lang.Object(FlattenTreeListRec.TreeList(EOC, o2710:0, o2694:0))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
f7746_1_flatten_InvokeMethod(f8271_0_flatten_Return(EOS(STATIC_8271), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175:0, o5178:0, o5179:0)), o5176:0))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175:0, o5178:0, o5179:0)), o5176:0))))))) -> f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5175:0, o5178:0, o5179:0)), o5176:0))))))) :|: TRUE
f7956_1_flatten_InvokeMethod(f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5138:0, o4394:0, o4395:0)), o4392:0))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f8321_0_flatten_Return(EOS(STATIC_8321), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
f7956_1_flatten_InvokeMethod(f8271_0_flatten_Return(EOS(STATIC_8271), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5209:0, o4915:0, o4916:0)), o4913:0))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
f7956_1_flatten_InvokeMethod(f8321_0_flatten_Return(EOS(STATIC_8321), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5507:0, o4988:0, o4989:0)), o4986:0))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f8321_0_flatten_Return(EOS(STATIC_8321), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
f7746_1_flatten_InvokeMethod(f7771_0_flatten_Return(EOS(STATIC_7771), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))))) -> f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL))))) :|: TRUE
f7746_1_flatten_InvokeMethod(f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105:0, o5106:0, o5107:0)), o5102:0))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105:0, o5106:0, o5107:0)), o5102:0))))) -> f8271_0_flatten_Return(EOS(STATIC_8271), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o5105:0, o5106:0, o5107:0)), o5102:0))))) :|: TRUE
f7956_1_flatten_InvokeMethod(f7771_0_flatten_Return(EOS(STATIC_7771), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, NULL)), NULL), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) -> f8269_0_flatten_Return(EOS(STATIC_8269), java.lang.Object(FlattenTreeListRec.TreeList(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, o2712:0, o2710:0, o2711:0)), o2694:0))) :|: TRUE
f7695_0_flatten_NONNULL(EOS(STATIC_7695), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0)), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0))) -> f7746_1_flatten_InvokeMethod(f7695_0_flatten_NONNULL(EOS(STATIC_7695), o2694:0, o2694:0, o2694:0), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o2694:0))) :|: TRUE
f7695_0_flatten_NONNULL(EOS(STATIC_7695), NULL, NULL, NULL) -> f7712_0_flatten_Return(EOS(STATIC_7712), NULL, NULL) :|: TRUE
f7746_1_flatten_InvokeMethod(f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514:0))))), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514:0))))))) -> f8190_0_flatten_Return(EOS(STATIC_8190), java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, java.lang.Object(FlattenTreeListRec.TreeList(EOC, NULL, o4514:0))))))) :|: TRUE
Filtered ground terms:
   f7695_0_flatten_NONNULL(x1, x2, x3, x4) -> f7695_0_flatten_NONNULL(x2, x3, x4)
   FlattenTreeListRec.TreeList(x1, x2, x3) -> FlattenTreeListRec.TreeList(x2, x3)
   FlattenTreeListRec.Tree(x1, x2, x3, x4) -> FlattenTreeListRec.Tree(x2, x3, x4)
   f8269_0_flatten_Return(x1, x2) -> f8269_0_flatten_Return(x2)
   f7771_0_flatten_Return(x1, x2, x3) -> f7771_0_flatten_Return
   f8271_0_flatten_Return(x1, x2) -> f8271_0_flatten_Return(x2)
   f8190_0_flatten_Return(x1, x2) -> f8190_0_flatten_Return(x2)
   f8321_0_flatten_Return(x1, x2) -> f8321_0_flatten_Return(x2)
   f7712_0_flatten_Return(x1, x2, x3) -> f7712_0_flatten_Return
Filtered unneeded arguments:
   FlattenTreeListRec.Tree(x1, x2, x3) -> FlattenTreeListRec.Tree(x2, x3)
Filtered duplicate args:
   f7695_0_flatten_NONNULL(x1, x2, x3) -> f7695_0_flatten_NONNULL(x3)
Combined rules. Obtained 2 conditional rules for P and 0 conditional rules for R.P rules:
F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(NULL, o2694:0:0))) -> F7695_0_FLATTEN_NONNULL(o2694:0:0) :|: TRUE
F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(java.lang.Object(FlattenTreeListRec.Tree(o2710:0:0, o2711:0:0)), o2694:0:0))) -> F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(o2711:0:0, java.lang.Object(FlattenTreeListRec.TreeList(o2710:0:0, o2694:0:0))))) :|: TRUE
R rules:

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

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

   F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(NULL, o2694:0:0))) -> F7695_0_FLATTEN_NONNULL(o2694:0:0)
   F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(java.lang.Object(FlattenTreeListRec.Tree(o2710:0:0, o2711:0:0)), o2694:0:0))) -> F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(o2711:0:0, java.lang.Object(FlattenTreeListRec.TreeList(o2710:0:0, o2694: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:

   F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(NULL, o2694:0:0))) -> F7695_0_FLATTEN_NONNULL(o2694:0:0)
   F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(java.lang.Object(FlattenTreeListRec.Tree(o2710:0:0, o2711:0:0)), o2694:0:0))) -> F7695_0_FLATTEN_NONNULL(java.lang.Object(FlattenTreeListRec.TreeList(o2711:0:0, java.lang.Object(FlattenTreeListRec.TreeList(o2710:0:0, o2694:0:0)))))
No rules are removed from R.

Used ordering: POLO with Polynomial interpretation [POLO]:

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


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

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

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

(13)
YES

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

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

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

(15) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 114 IRulesP rules:
f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3053) -> f8682_0_createTree_LE(EOS(STATIC_8682(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3053) :|: TRUE
f8682_0_createTree_LE(EOS(STATIC_8682(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3053) -> f8684_0_createTree_InvokeMethod(EOS(STATIC_8684(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) :|: i3053 > 0
f8684_0_createTree_InvokeMethod(EOS(STATIC_8684(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) -> f8686_0_random_FieldAccess(EOS(STATIC_8686(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) :|: TRUE
f8686_0_random_FieldAccess(EOS(STATIC_8686(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) -> f8688_0_random_FieldAccess(EOS(STATIC_8688(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666))) :|: TRUE
f8688_0_random_FieldAccess(EOS(STATIC_8688(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666))) -> f8691_0_random_ArrayAccess(EOS(STATIC_8691(java.lang.Object(ARRAY(i1666)), i3047)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666)), i3047) :|: TRUE
f8691_0_random_ArrayAccess(EOS(STATIC_8691(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666)), i3073) -> f8694_0_random_ArrayAccess(EOS(STATIC_8694(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666)), i3073) :|: TRUE
f8694_0_random_ArrayAccess(EOS(STATIC_8694(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666)), i3073) -> f8697_0_random_ArrayAccess(EOS(STATIC_8697(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666)), i3073) :|: TRUE
f8697_0_random_ArrayAccess(EOS(STATIC_8697(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(ARRAY(i1666)), i3073) -> f8700_0_random_Store(EOS(STATIC_8700(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164) :|: i3073 < i1666
f8700_0_random_Store(EOS(STATIC_8700(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164) -> f8704_0_random_FieldAccess(EOS(STATIC_8704(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164) :|: TRUE
f8704_0_random_FieldAccess(EOS(STATIC_8704(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164) -> f8707_0_random_ConstantStackPush(EOS(STATIC_8707(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164, i3073) :|: TRUE
f8707_0_random_ConstantStackPush(EOS(STATIC_8707(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164, i3073) -> f8710_0_random_IntArithmetic(EOS(STATIC_8710(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164, i3073, 1) :|: TRUE
f8710_0_random_IntArithmetic(EOS(STATIC_8710(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164, i3073, matching1) -> f8714_0_random_FieldAccess(EOS(STATIC_8714(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164, i3073 + 1) :|: i3073 >= 0 && matching1 = 1
f8714_0_random_FieldAccess(EOS(STATIC_8714(java.lang.Object(ARRAY(i1666)), i3073)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164, i3091) -> f8716_0_random_Load(EOS(STATIC_8716(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164) :|: TRUE
f8716_0_random_Load(EOS(STATIC_8716(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164) -> f8719_0_random_InvokeMethod(EOS(STATIC_8719(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), o6164) :|: TRUE
f8719_0_random_InvokeMethod(EOS(STATIC_8719(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6191sub)) -> f8723_0_random_InvokeMethod(EOS(STATIC_8723(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6191sub)) :|: TRUE
f8723_0_random_InvokeMethod(EOS(STATIC_8723(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6194sub)) -> f8727_0_random_InvokeMethod(EOS(STATIC_8727(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6194sub)) :|: TRUE
f8727_0_random_InvokeMethod(EOS(STATIC_8727(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6194sub)) -> f8731_0_length_Load(EOS(STATIC_8731(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6194sub)) :|: TRUE
f8731_0_length_Load(EOS(STATIC_8731(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6194sub)) -> f8738_0_length_FieldAccess(EOS(STATIC_8738(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6194sub)) :|: TRUE
f8738_0_length_FieldAccess(EOS(STATIC_8738(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(java.lang.String(EOC, i3131))) -> f8742_0_length_FieldAccess(EOS(STATIC_8742(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(java.lang.String(EOC, i3131))) :|: i3131 >= 0
f8742_0_length_FieldAccess(EOS(STATIC_8742(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(java.lang.String(EOC, i3131))) -> f8746_0_length_Return(EOS(STATIC_8746(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) :|: TRUE
f8746_0_length_Return(EOS(STATIC_8746(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) -> f8750_0_random_Return(EOS(STATIC_8750(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) :|: TRUE
f8750_0_random_Return(EOS(STATIC_8750(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) -> f8755_0_createTree_Store(EOS(STATIC_8755(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) :|: TRUE
f8755_0_createTree_Store(EOS(STATIC_8755(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) -> f8759_0_createTree_Load(EOS(STATIC_8759(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) :|: TRUE
f8759_0_createTree_Load(EOS(STATIC_8759(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) -> f8764_0_createTree_LE(EOS(STATIC_8764(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3131) :|: TRUE
f8764_0_createTree_LE(EOS(STATIC_8764(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), matching1) -> f8768_0_createTree_LE(EOS(STATIC_8768(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), 0) :|: TRUE && matching1 = 0
f8764_0_createTree_LE(EOS(STATIC_8764(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3165) -> f8769_0_createTree_LE(EOS(STATIC_8769(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3165) :|: TRUE
f8768_0_createTree_LE(EOS(STATIC_8768(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), matching1) -> f8772_0_createTree_Load(EOS(STATIC_8772(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) :|: 0 <= 0 && matching1 = 0
f8772_0_createTree_Load(EOS(STATIC_8772(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) -> f8777_0_createTree_FieldAccess(EOS(STATIC_8777(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6116sub)) :|: TRUE
f8777_0_createTree_FieldAccess(EOS(STATIC_8777(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6253, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6253, o6252))) -> f8782_0_createTree_FieldAccess(EOS(STATIC_8782(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6253, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6253, o6252))) :|: TRUE
f8782_0_createTree_FieldAccess(EOS(STATIC_8782(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6253, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6253, o6252))) -> f8787_0_createTree_NONNULL(EOS(STATIC_8787(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6253, o6252)), o6253) :|: TRUE
f8787_0_createTree_NONNULL(EOS(STATIC_8787(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub), o6252)), java.lang.Object(o6265sub)) -> f8792_0_createTree_NONNULL(EOS(STATIC_8792(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub), o6252)), java.lang.Object(o6265sub)) :|: TRUE
f8787_0_createTree_NONNULL(EOS(STATIC_8787(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), NULL) -> f8793_0_createTree_NONNULL(EOS(STATIC_8793(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), NULL) :|: TRUE
f8792_0_createTree_NONNULL(EOS(STATIC_8792(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub), o6252)), java.lang.Object(o6265sub)) -> f8799_0_createTree_Load(EOS(STATIC_8799(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub), o6252))) :|: TRUE
f8799_0_createTree_Load(EOS(STATIC_8799(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub), o6252))) -> f8806_0_createTree_FieldAccess(EOS(STATIC_8806(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub), o6252))) :|: TRUE
f8806_0_createTree_FieldAccess(EOS(STATIC_8806(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub), o6252))) -> f8813_0_createTree_Store(EOS(STATIC_8813(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) :|: TRUE
f8813_0_createTree_Store(EOS(STATIC_8813(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) -> f8820_0_createTree_Inc(EOS(STATIC_8820(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) :|: TRUE
f8820_0_createTree_Inc(EOS(STATIC_8820(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) -> f8824_0_createTree_JMP(EOS(STATIC_8824(java.lang.Object(ARRAY(i1666)), i3091)), i3053 + -1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) :|: TRUE
f8824_0_createTree_JMP(EOS(STATIC_8824(java.lang.Object(ARRAY(i1666)), i3091)), i3202, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) -> f8832_0_createTree_Load(EOS(STATIC_8832(java.lang.Object(ARRAY(i1666)), i3091)), i3202, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) :|: TRUE
f8832_0_createTree_Load(EOS(STATIC_8832(java.lang.Object(ARRAY(i1666)), i3091)), i3202, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) -> f8679_0_createTree_Load(EOS(STATIC_8679(java.lang.Object(ARRAY(i1666)), i3091)), i3202, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6265sub)) :|: TRUE
f8679_0_createTree_Load(EOS(STATIC_8679(java.lang.Object(ARRAY(i1666)), i3047)), i3048, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) -> f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666)), i3047)), i3048, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3048) :|: TRUE
f8793_0_createTree_NONNULL(EOS(STATIC_8793(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), NULL) -> f8800_0_createTree_Load(EOS(STATIC_8800(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252))) :|: TRUE
f8800_0_createTree_Load(EOS(STATIC_8800(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252))) -> f8807_0_createTree_InvokeMethod(EOS(STATIC_8807(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252))) :|: TRUE
f8807_0_createTree_InvokeMethod(EOS(STATIC_8807(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252))) -> f8814_0_createNode_New(EOS(STATIC_8814(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252))) :|: TRUE
f8814_0_createNode_New(EOS(STATIC_8814(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252))) -> f8825_0_createNode_Duplicate(EOS(STATIC_8825(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8825_0_createNode_Duplicate(EOS(STATIC_8825(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8833_0_createNode_InvokeMethod(EOS(STATIC_8833(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8833_0_createNode_InvokeMethod(EOS(STATIC_8833(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8837_0__init__Load(EOS(STATIC_8837(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8837_0__init__Load(EOS(STATIC_8837(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8842_0__init__InvokeMethod(EOS(STATIC_8842(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8842_0__init__InvokeMethod(EOS(STATIC_8842(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8845_0__init__Return(EOS(STATIC_8845(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8845_0__init__Return(EOS(STATIC_8845(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8847_0_createNode_Store(EOS(STATIC_8847(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8847_0_createNode_Store(EOS(STATIC_8847(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8850_0_createNode_Load(EOS(STATIC_8850(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8850_0_createNode_Load(EOS(STATIC_8850(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8852_0_createNode_New(EOS(STATIC_8852(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8852_0_createNode_New(EOS(STATIC_8852(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8854_0_createNode_Duplicate(EOS(STATIC_8854(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8854_0_createNode_Duplicate(EOS(STATIC_8854(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8856_0_createNode_InvokeMethod(EOS(STATIC_8856(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f8856_0_createNode_InvokeMethod(EOS(STATIC_8856(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8858_0_createNode_FieldAccess(EOS(STATIC_8858(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8858_0_createNode_FieldAccess(EOS(STATIC_8858(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8860_0_createNode_Load(EOS(STATIC_8860(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8860_0_createNode_Load(EOS(STATIC_8860(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8862_0_createNode_Return(EOS(STATIC_8862(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8862_0_createNode_Return(EOS(STATIC_8862(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8864_0_createTree_FieldAccess(EOS(STATIC_8864(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8864_0_createTree_FieldAccess(EOS(STATIC_8864(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8866_0_createTree_FieldAccess(EOS(STATIC_8866(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8864_0_createTree_FieldAccess(EOS(STATIC_8864(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8867_0_createTree_FieldAccess(EOS(STATIC_8867(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8866_0_createTree_FieldAccess(EOS(STATIC_8866(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8870_0_createTree_Load(EOS(STATIC_8870(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114put, o6113put))) :|: TRUE
f8870_0_createTree_Load(EOS(STATIC_8870(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8874_0_createTree_Store(EOS(STATIC_8874(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8874_0_createTree_Store(EOS(STATIC_8874(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8878_0_createTree_JMP(EOS(STATIC_8878(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8878_0_createTree_JMP(EOS(STATIC_8878(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8882_0_createTree_Inc(EOS(STATIC_8882(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8882_0_createTree_Inc(EOS(STATIC_8882(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8886_0_createTree_JMP(EOS(STATIC_8886(java.lang.Object(ARRAY(i1666)), i3091)), i3053 + -1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8886_0_createTree_JMP(EOS(STATIC_8886(java.lang.Object(ARRAY(i1666)), i3091)), i3262, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8888_0_createTree_Load(EOS(STATIC_8888(java.lang.Object(ARRAY(i1666)), i3091)), i3262, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8888_0_createTree_Load(EOS(STATIC_8888(java.lang.Object(ARRAY(i1666)), i3091)), i3262, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8679_0_createTree_Load(EOS(STATIC_8679(java.lang.Object(ARRAY(i1666)), i3091)), i3262, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8867_0_createTree_FieldAccess(EOS(STATIC_8867(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8871_0_createTree_Load(EOS(STATIC_8871(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) :|: TRUE
f8871_0_createTree_Load(EOS(STATIC_8871(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) -> f8875_0_createTree_Store(EOS(STATIC_8875(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) :|: TRUE
f8875_0_createTree_Store(EOS(STATIC_8875(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) -> f8879_0_createTree_JMP(EOS(STATIC_8879(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) :|: TRUE
f8879_0_createTree_JMP(EOS(STATIC_8879(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) -> f8883_0_createTree_Inc(EOS(STATIC_8883(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) :|: TRUE
f8883_0_createTree_Inc(EOS(STATIC_8883(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) -> f8884_0_createTree_Inc(EOS(STATIC_8884(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6419))) :|: TRUE
f8884_0_createTree_Inc(EOS(STATIC_8884(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8882_0_createTree_Inc(EOS(STATIC_8882(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8769_0_createTree_LE(EOS(STATIC_8769(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), i3165) -> f8773_0_createTree_Load(EOS(STATIC_8773(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) :|: i3165 > 0
f8773_0_createTree_Load(EOS(STATIC_8773(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub)) -> f8778_0_createTree_FieldAccess(EOS(STATIC_8778(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6116sub), java.lang.Object(o6116sub)) :|: TRUE
f8778_0_createTree_FieldAccess(EOS(STATIC_8778(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, o6256)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, o6256))) -> f8783_0_createTree_FieldAccess(EOS(STATIC_8783(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, o6256)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, o6256))) :|: TRUE
f8783_0_createTree_FieldAccess(EOS(STATIC_8783(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, o6256)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, o6256))) -> f8788_0_createTree_NONNULL(EOS(STATIC_8788(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, o6256)), o6256) :|: TRUE
f8788_0_createTree_NONNULL(EOS(STATIC_8788(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, java.lang.Object(o6266sub))), java.lang.Object(o6266sub)) -> f8794_0_createTree_NONNULL(EOS(STATIC_8794(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, java.lang.Object(o6266sub))), java.lang.Object(o6266sub)) :|: TRUE
f8788_0_createTree_NONNULL(EOS(STATIC_8788(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), NULL) -> f8795_0_createTree_NONNULL(EOS(STATIC_8795(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), NULL) :|: TRUE
f8794_0_createTree_NONNULL(EOS(STATIC_8794(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, java.lang.Object(o6266sub))), java.lang.Object(o6266sub)) -> f8801_0_createTree_Load(EOS(STATIC_8801(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, java.lang.Object(o6266sub)))) :|: TRUE
f8801_0_createTree_Load(EOS(STATIC_8801(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, java.lang.Object(o6266sub)))) -> f8808_0_createTree_FieldAccess(EOS(STATIC_8808(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, java.lang.Object(o6266sub)))) :|: TRUE
f8808_0_createTree_FieldAccess(EOS(STATIC_8808(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, java.lang.Object(o6266sub)))) -> f8815_0_createTree_Store(EOS(STATIC_8815(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6266sub)) :|: TRUE
f8815_0_createTree_Store(EOS(STATIC_8815(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6266sub)) -> f8821_0_createTree_JMP(EOS(STATIC_8821(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6266sub)) :|: TRUE
f8821_0_createTree_JMP(EOS(STATIC_8821(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6266sub)) -> f8826_0_createTree_Inc(EOS(STATIC_8826(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6266sub)) :|: TRUE
f8826_0_createTree_Inc(EOS(STATIC_8826(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6266sub)) -> f8820_0_createTree_Inc(EOS(STATIC_8820(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(o6266sub)) :|: TRUE
f8795_0_createTree_NONNULL(EOS(STATIC_8795(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), NULL) -> f8802_0_createTree_Load(EOS(STATIC_8802(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL))) :|: TRUE
f8802_0_createTree_Load(EOS(STATIC_8802(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL))) -> f8809_0_createTree_InvokeMethod(EOS(STATIC_8809(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL))) :|: TRUE
f8809_0_createTree_InvokeMethod(EOS(STATIC_8809(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL))) -> f8816_0_createNode_New(EOS(STATIC_8816(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL))) :|: TRUE
f8816_0_createNode_New(EOS(STATIC_8816(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL))) -> f8827_0_createNode_Duplicate(EOS(STATIC_8827(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8827_0_createNode_Duplicate(EOS(STATIC_8827(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8834_0_createNode_InvokeMethod(EOS(STATIC_8834(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8834_0_createNode_InvokeMethod(EOS(STATIC_8834(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8838_0__init__Load(EOS(STATIC_8838(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8838_0__init__Load(EOS(STATIC_8838(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8843_0__init__InvokeMethod(EOS(STATIC_8843(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8843_0__init__InvokeMethod(EOS(STATIC_8843(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8846_0__init__Return(EOS(STATIC_8846(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8846_0__init__Return(EOS(STATIC_8846(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8848_0_createNode_Store(EOS(STATIC_8848(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8848_0_createNode_Store(EOS(STATIC_8848(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8851_0_createNode_Load(EOS(STATIC_8851(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8851_0_createNode_Load(EOS(STATIC_8851(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8853_0_createNode_New(EOS(STATIC_8853(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8853_0_createNode_New(EOS(STATIC_8853(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8855_0_createNode_Duplicate(EOS(STATIC_8855(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8855_0_createNode_Duplicate(EOS(STATIC_8855(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8857_0_createNode_InvokeMethod(EOS(STATIC_8857(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f8857_0_createNode_InvokeMethod(EOS(STATIC_8857(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f8859_0_createNode_FieldAccess(EOS(STATIC_8859(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f8859_0_createNode_FieldAccess(EOS(STATIC_8859(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f8861_0_createNode_Load(EOS(STATIC_8861(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8861_0_createNode_Load(EOS(STATIC_8861(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8863_0_createNode_Return(EOS(STATIC_8863(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8863_0_createNode_Return(EOS(STATIC_8863(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8865_0_createTree_FieldAccess(EOS(STATIC_8865(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8865_0_createTree_FieldAccess(EOS(STATIC_8865(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8868_0_createTree_FieldAccess(EOS(STATIC_8868(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8865_0_createTree_FieldAccess(EOS(STATIC_8865(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8869_0_createTree_FieldAccess(EOS(STATIC_8869(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) :|: TRUE
f8868_0_createTree_FieldAccess(EOS(STATIC_8868(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8872_0_createTree_Load(EOS(STATIC_8872(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114put, o6113put))) :|: TRUE
f8872_0_createTree_Load(EOS(STATIC_8872(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8876_0_createTree_Store(EOS(STATIC_8876(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8876_0_createTree_Store(EOS(STATIC_8876(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8880_0_createTree_JMP(EOS(STATIC_8880(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8880_0_createTree_JMP(EOS(STATIC_8880(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) -> f8884_0_createTree_Inc(EOS(STATIC_8884(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114, o6113))) :|: TRUE
f8869_0_createTree_FieldAccess(EOS(STATIC_8869(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))) -> f8873_0_createTree_Load(EOS(STATIC_8873(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) :|: TRUE
f8873_0_createTree_Load(EOS(STATIC_8873(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) -> f8877_0_createTree_Store(EOS(STATIC_8877(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) :|: TRUE
f8877_0_createTree_Store(EOS(STATIC_8877(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) -> f8881_0_createTree_JMP(EOS(STATIC_8881(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) :|: TRUE
f8881_0_createTree_JMP(EOS(STATIC_8881(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) -> f8885_0_createTree_Inc(EOS(STATIC_8885(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) :|: TRUE
f8885_0_createTree_Inc(EOS(STATIC_8885(java.lang.Object(ARRAY(i1666)), i3091)), i3053, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) -> f8887_0_createTree_JMP(EOS(STATIC_8887(java.lang.Object(ARRAY(i1666)), i3091)), i3053 + -1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) :|: TRUE
f8887_0_createTree_JMP(EOS(STATIC_8887(java.lang.Object(ARRAY(i1666)), i3091)), i3264, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) -> f8889_0_createTree_Load(EOS(STATIC_8889(java.lang.Object(ARRAY(i1666)), i3091)), i3264, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) :|: TRUE
f8889_0_createTree_Load(EOS(STATIC_8889(java.lang.Object(ARRAY(i1666)), i3091)), i3264, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) -> f8679_0_createTree_Load(EOS(STATIC_8679(java.lang.Object(ARRAY(i1666)), i3091)), i3264, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6428, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0)), i3053:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257:0, java.lang.Object(o6266sub:0))), i3053:0) -> f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0 + 1)), i3053:0 - 1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, o6113:0)), java.lang.Object(o6266sub:0), i3053:0 - 1) :|: i3131:0 > 0 && i3053:0 > 0 && i3047:0 > -1 && i3047:0 < i1666:0
f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0)), i3053:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6252:0)), i3053:0) -> f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0 + 1)), i3053:0 - 1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114put:0, o6113put:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114put:0, o6113put:0)), i3053:0 - 1) :|: i3053:0 > 0 && i3047:0 > -1 && i3047:0 < i1666:0
f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0)), i3053:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(o6265sub:0), o6252:0)), i3053:0) -> f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0 + 1)), i3053:0 - 1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, o6113:0)), java.lang.Object(o6265sub:0), i3053:0 - 1) :|: i3053:0 > 0 && i3047:0 > -1 && i3047:0 < i1666:0
f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0)), i3053:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6257:0, NULL)), i3053:0) -> f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0 + 1)), i3053:0 - 1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114put:0, o6113put:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114put:0, o6113put:0)), i3053:0 - 1) :|: i3131:0 > 0 && i3053:0 > 0 && i3047:0 > -1 && i3047:0 < i1666:0
f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0)), i3053:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, o6113:0)), i3053:0) -> f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0 + 1)), i3053:0 - 1, java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(EOC, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)), o6113:0)), i3053:0 - 1) :|: i3053:0 > 0 && i3047:0 > -1 && i3047:0 < i1666:0
f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0)), i3053:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, NULL)), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, NULL)), i3053:0) -> f8680_0_createTree_LE(EOS(STATIC_8680(java.lang.Object(ARRAY(i1666:0)), i3047:0 + 1)), i3053:0 - 1, java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(EOC, o6114:0, java.lang.Object(FlattenTreeListRec.Tree(EOC, NULL, NULL)))), i3053:0 - 1) :|: i3131:0 > 0 && i3053:0 > 0 && i3047:0 > -1 && i3047:0 < i1666:0
Filtered constant ground arguments:
   FlattenTreeListRec.Tree(x1, x2, x3) -> FlattenTreeListRec.Tree(x2, x3)
Filtered duplicate arguments:
   f8680_0_createTree_LE(x1, x2, x3, x4, x5) -> f8680_0_createTree_LE(x1, x3, x4, x5)
Finished conversion. Obtained 6 rules.P rules:
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(o6257:0, java.lang.Object(o6266sub:0))), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(o6266sub:0), i3053:0 - 1, i1666:0, i3047:0 + 1) :|: i3053:0 > 0 && i3131:0 > 0 && i3047:0 < i1666:0 && i3047:0 > -1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(NULL, o6252:0)), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114put:0, o6113put:0)), java.lang.Object(FlattenTreeListRec.Tree(o6114put:0, o6113put:0)), i3053:0 - 1, i1666:0, i3047:0 + 1) :|: i3047:0 > -1 && i3047:0 < i1666:0 && i3053:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(o6265sub:0), o6252:0)), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(o6265sub:0), i3053:0 - 1, i1666:0, i3047:0 + 1) :|: i3047:0 > -1 && i3047:0 < i1666:0 && i3053:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(o6257:0, NULL)), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114put:0, o6113put:0)), java.lang.Object(FlattenTreeListRec.Tree(o6114put:0, o6113put:0)), i3053:0 - 1, i1666:0, i3047:0 + 1) :|: i3053:0 > 0 && i3131:0 > 0 && i3047:0 < i1666:0 && i3047:0 > -1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(NULL, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(NULL, o6113:0)), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), o6113:0)), i3053:0 - 1, i1666:0, i3047:0 + 1) :|: i3047:0 > -1 && i3047:0 < i1666:0 && i3053:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, NULL)), java.lang.Object(FlattenTreeListRec.Tree(o6114:0, NULL)), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(o6114:0, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), i3053:0 - 1, i1666:0, i3047:0 + 1) :|: i3053:0 > 0 && i3131:0 > 0 && i3047:0 < i1666:0 && i3047:0 > -1

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

(16)
Obligation:
Rules:
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(o6257:0, java.lang.Object(o6266sub:0))), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(o6266sub:0), i3053:0 - 1, i1666:0, i3047:0 + 1) :|: i3053:0 > 0 && i3131:0 > 0 && i3047:0 < i1666:0 && i3047:0 > -1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x, x1)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x2)), x3, x4, x5) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x6, x7)), java.lang.Object(FlattenTreeListRec.Tree(x6, x7)), x3 - 1, x4, x5 + 1) :|: x5 > -1 && x5 < x4 && x3 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x8, x9)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(x10), x11)), x12, x13, x14) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x8, x9)), java.lang.Object(x10), x12 - 1, x13, x14 + 1) :|: x14 > -1 && x14 < x13 && x12 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x15, x16)), java.lang.Object(FlattenTreeListRec.Tree(x17, NULL)), x18, x19, x20) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x21, x22)), java.lang.Object(FlattenTreeListRec.Tree(x21, x22)), x18 - 1, x19, x20 + 1) :|: x18 > 0 && x23 > 0 && x20 < x19 && x20 > -1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(NULL, x24)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x24)), x25, x26, x27) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x24)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x24)), x25 - 1, x26, x27 + 1) :|: x27 > -1 && x27 < x26 && x25 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x28, NULL)), java.lang.Object(FlattenTreeListRec.Tree(x28, NULL)), x29, x30, x31) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x28, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(x28, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), x29 - 1, x30, x31 + 1) :|: x29 > 0 && x32 > 0 && x31 < x30 && x31 > -1

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

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

(18)
Obligation:
Rules:
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(o6257:0, java.lang.Object(o6266sub:0))), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(o6266sub:0), arith, i1666:0, arith1) :|: i3053:0 > 0 && i3131:0 > 0 && i3047:0 < i1666:0 && i3047:0 > -1 && arith = i3053:0 - 1 && arith1 = i3047:0 + 1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x33, x34)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x35)), x36, x37, x38) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x39, x40)), java.lang.Object(FlattenTreeListRec.Tree(x39, x40)), x41, x37, x42) :|: x38 > -1 && x38 < x37 && x36 > 0 && x41 = x36 - 1 && x42 = x38 + 1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43, x44)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(x45), x46)), x47, x48, x49) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43, x44)), java.lang.Object(x45), x50, x48, x51) :|: x49 > -1 && x49 < x48 && x47 > 0 && x50 = x47 - 1 && x51 = x49 + 1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x52, x53)), java.lang.Object(FlattenTreeListRec.Tree(x54, NULL)), x55, x56, x57) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x58, x59)), java.lang.Object(FlattenTreeListRec.Tree(x58, x59)), x60, x56, x61) :|: x55 > 0 && x62 > 0 && x57 < x56 && x57 > -1 && x60 = x55 - 1 && x61 = x57 + 1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(NULL, x63)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x63)), x64, x65, x66) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63)), x67, x65, x68) :|: x66 > -1 && x66 < x65 && x64 > 0 && x67 = x64 - 1 && x68 = x66 + 1
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69, NULL)), java.lang.Object(FlattenTreeListRec.Tree(x69, NULL)), x70, x71, x72) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(x69, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), x73, x71, x74) :|: x70 > 0 && x75 > 0 && x72 < x71 && x72 > -1 && x73 = x70 - 1 && x74 = x72 + 1

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

(19) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(o6257:0, java.lang.Object(o6266sub:0))), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(o6266sub:0), arith, i1666:0, arith1) :|: i3053:0 > 0 && i3131:0 > 0 && i3047:0 < i1666:0 && i3047:0 > -1 && arith = i3053:0 - 1 && arith1 = i3047:0 + 1
(2) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x33, x34)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x35)), x36, x37, x38) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x39, x40)), java.lang.Object(FlattenTreeListRec.Tree(x39, x40)), x41, x37, x42) :|: x38 > -1 && x38 < x37 && x36 > 0 && x41 = x36 - 1 && x42 = x38 + 1
(3) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43, x44)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(x45), x46)), x47, x48, x49) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43, x44)), java.lang.Object(x45), x50, x48, x51) :|: x49 > -1 && x49 < x48 && x47 > 0 && x50 = x47 - 1 && x51 = x49 + 1
(4) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x52, x53)), java.lang.Object(FlattenTreeListRec.Tree(x54, NULL)), x55, x56, x57) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x58, x59)), java.lang.Object(FlattenTreeListRec.Tree(x58, x59)), x60, x56, x61) :|: x55 > 0 && x62 > 0 && x57 < x56 && x57 > -1 && x60 = x55 - 1 && x61 = x57 + 1
(5) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(NULL, x63)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x63)), x64, x65, x66) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63)), x67, x65, x68) :|: x66 > -1 && x66 < x65 && x64 > 0 && x67 = x64 - 1 && x68 = x66 + 1
(6) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69, NULL)), java.lang.Object(FlattenTreeListRec.Tree(x69, NULL)), x70, x71, x72) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(x69, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), x73, x71, x74) :|: x70 > 0 && x75 > 0 && x72 < x71 && x72 > -1 && x73 = x70 - 1 && x74 = x72 + 1

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

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

(20)
Obligation:

Termination digraph:
Nodes:
(1) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(FlattenTreeListRec.Tree(o6257:0, java.lang.Object(o6266sub:0))), i3053:0, i1666:0, i3047:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0, o6113:0)), java.lang.Object(o6266sub:0), arith, i1666:0, arith1) :|: i3053:0 > 0 && i3131:0 > 0 && i3047:0 < i1666:0 && i3047:0 > -1 && arith = i3053:0 - 1 && arith1 = i3047:0 + 1
(2) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x33, x34)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x35)), x36, x37, x38) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x39, x40)), java.lang.Object(FlattenTreeListRec.Tree(x39, x40)), x41, x37, x42) :|: x38 > -1 && x38 < x37 && x36 > 0 && x41 = x36 - 1 && x42 = x38 + 1
(3) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43, x44)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(x45), x46)), x47, x48, x49) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43, x44)), java.lang.Object(x45), x50, x48, x51) :|: x49 > -1 && x49 < x48 && x47 > 0 && x50 = x47 - 1 && x51 = x49 + 1
(4) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x52, x53)), java.lang.Object(FlattenTreeListRec.Tree(x54, NULL)), x55, x56, x57) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x58, x59)), java.lang.Object(FlattenTreeListRec.Tree(x58, x59)), x60, x56, x61) :|: x55 > 0 && x62 > 0 && x57 < x56 && x57 > -1 && x60 = x55 - 1 && x61 = x57 + 1
(5) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(NULL, x63)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x63)), x64, x65, x66) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63)), x67, x65, x68) :|: x66 > -1 && x66 < x65 && x64 > 0 && x67 = x64 - 1 && x68 = x66 + 1
(6) f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69, NULL)), java.lang.Object(FlattenTreeListRec.Tree(x69, NULL)), x70, x71, x72) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(x69, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), x73, x71, x74) :|: x70 > 0 && x75 > 0 && x72 < x71 && x72 > -1 && x73 = x70 - 1 && x74 = x72 + 1

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

This digraph is fully evaluated!

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

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

(22)
Obligation:
Rules:
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x33:0, x34:0)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x35:0)), x36:0, x37:0, x38:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x39:0, x40:0)), java.lang.Object(FlattenTreeListRec.Tree(x39:0, x40:0)), x36:0 - 1, x37:0, x38:0 + 1) :|: x38:0 > -1 && x38:0 < x37:0 && x36:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69:0, NULL)), java.lang.Object(FlattenTreeListRec.Tree(x69:0, NULL)), x70:0, x71:0, x72:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x69:0, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), java.lang.Object(FlattenTreeListRec.Tree(x69:0, java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)))), x70:0 - 1, x71:0, x72:0 + 1) :|: x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0:0, o6113:0:0)), java.lang.Object(FlattenTreeListRec.Tree(o6257:0:0, java.lang.Object(o6266sub:0:0))), i3053:0:0, i1666:0:0, i3047:0:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(o6114:0:0, o6113:0:0)), java.lang.Object(o6266sub:0:0), i3053:0:0 - 1, i1666:0:0, i3047:0:0 + 1) :|: i3047:0:0 < i1666:0:0 && i3047:0:0 > -1 && i3131:0:0 > 0 && i3053:0:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43:0, x44:0)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(x45:0), x46:0)), x47:0, x48:0, x49:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x43:0, x44:0)), java.lang.Object(x45:0), x47:0 - 1, x48:0, x49:0 + 1) :|: x49:0 > -1 && x49:0 < x48:0 && x47:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x52:0, x53:0)), java.lang.Object(FlattenTreeListRec.Tree(x54:0, NULL)), x55:0, x56:0, x57:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(x58:0, x59:0)), java.lang.Object(FlattenTreeListRec.Tree(x58:0, x59:0)), x55:0 - 1, x56:0, x57:0 + 1) :|: x57:0 < x56:0 && x57:0 > -1 && x62:0 > 0 && x55:0 > 0
f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(NULL, x63:0)), java.lang.Object(FlattenTreeListRec.Tree(NULL, x63:0)), x64:0, x65:0, x66:0) -> f8680_0_createTree_LE(java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63:0)), java.lang.Object(FlattenTreeListRec.Tree(java.lang.Object(FlattenTreeListRec.Tree(NULL, NULL)), x63:0)), x64:0 - 1, x65:0, x66:0 + 1) :|: x66:0 > -1 && x66:0 < x65:0 && x64:0 > 0

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

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

(24)
Obligation:
Rules:
f8680_0_createTree_LE(c, c1, x36:0, x37:0, x38:0) -> f8680_0_createTree_LE(c2, c3, c4, x37:0, c5) :|: c5 = x38:0 + 1 && (c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x38:0 > -1 && x38:0 < x37:0 && x36:0 > 0)
f8680_0_createTree_LE(c6, c7, x70:0, x71:0, x72:0) -> f8680_0_createTree_LE(c8, c9, c10, x71:0, c11) :|: c11 = x72:0 + 1 && (c10 = x70:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0)

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

(25) RankingReductionPairProof (EQUIVALENT)
Interpretation:
[ f8680_0_createTree_LE ] = f8680_0_createTree_LE_3

The following rules are decreasing:
f8680_0_createTree_LE(c, c1, x36:0, x37:0, x38:0) -> f8680_0_createTree_LE(c2, c3, c4, x37:0, c5) :|: c5 = x38:0 + 1 && (c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x38:0 > -1 && x38:0 < x37:0 && x36:0 > 0)
f8680_0_createTree_LE(c6, c7, x70:0, x71:0, x72:0) -> f8680_0_createTree_LE(c8, c9, c10, x71:0, c11) :|: c11 = x72:0 + 1 && (c10 = x70:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0)

The following rules are bounded:
f8680_0_createTree_LE(c, c1, x36:0, x37:0, x38:0) -> f8680_0_createTree_LE(c2, c3, c4, x37:0, c5) :|: c5 = x38:0 + 1 && (c4 = x36:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0)))) && (x38:0 > -1 && x38:0 < x37:0 && x36:0 > 0)
f8680_0_createTree_LE(c6, c7, x70:0, x71:0, x72:0) -> f8680_0_createTree_LE(c8, c9, c10, x71:0, c11) :|: c11 = x72:0 + 1 && (c10 = x70:0 - 1 && (c9 = 0 && (c8 = 0 && (c7 = 0 && c6 = 0)))) && (x72:0 < x71:0 && x72:0 > -1 && x75:0 > 0 && x70:0 > 0)


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

(26)
YES

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

(27)
Obligation:
SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: FlattenTreeListRec.FlattenTreeListRec.main([Ljava/lang/String;)V
SCC calls the following helper methods: FlattenTreeListRec.Tree.createTree()LFlattenTreeListRec/Tree;
Performed SCC analyses:
*Used field analysis yielded the following read fields:

*Marker field analysis yielded the following relations that could be markers:

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

(28) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 49 IRulesP rules:
f7011_0_main_LE(EOS(STATIC_7011), java.lang.Object(ARRAY(i1626)), i1638, i1638) -> f7019_0_main_LE(EOS(STATIC_7019), java.lang.Object(ARRAY(i1626)), i1638, i1638) :|: TRUE
f7019_0_main_LE(EOS(STATIC_7019), java.lang.Object(ARRAY(i1626)), i1638, i1638) -> f7028_0_main_InvokeMethod(EOS(STATIC_7028), java.lang.Object(ARRAY(i1626)), i1638) :|: i1638 > 0
f7028_0_main_InvokeMethod(EOS(STATIC_7028), java.lang.Object(ARRAY(i1626)), i1638) -> f7037_0_createTree_InvokeMethod(EOS(STATIC_7037), java.lang.Object(ARRAY(i1626))) :|: i1638 >= 1
f7028_0_main_InvokeMethod(EOS(STATIC_7028), java.lang.Object(ARRAY(i1626)), i1638) -> f7037_1_createTree_InvokeMethod(EOS(STATIC_7037), java.lang.Object(ARRAY(i1626)), i1638) :|: i1638 >= 1
f7037_0_createTree_InvokeMethod(EOS(STATIC_7037), java.lang.Object(ARRAY(i1626))) -> f9413_0_createTree_InvokeMethod(EOS(STATIC_9413), java.lang.Object(ARRAY(i1626))) :|: TRUE
f7224_0_createTree_Return(EOS(STATIC_7224), java.lang.Object(ARRAY(i1714)), i1638) -> f7230_0_main_Store(EOS(STATIC_7230), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7230_0_main_Store(EOS(STATIC_7230), java.lang.Object(ARRAY(i1714)), i1638) -> f7235_0_main_New(EOS(STATIC_7235), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7235_0_main_New(EOS(STATIC_7235), java.lang.Object(ARRAY(i1714)), i1638) -> f7241_0_main_Duplicate(EOS(STATIC_7241), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7241_0_main_Duplicate(EOS(STATIC_7241), java.lang.Object(ARRAY(i1714)), i1638) -> f7247_0_main_Load(EOS(STATIC_7247), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7247_0_main_Load(EOS(STATIC_7247), java.lang.Object(ARRAY(i1714)), i1638) -> f7252_0_main_Load(EOS(STATIC_7252), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7252_0_main_Load(EOS(STATIC_7252), java.lang.Object(ARRAY(i1714)), i1638) -> f7258_0_main_InvokeMethod(EOS(STATIC_7258), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7258_0_main_InvokeMethod(EOS(STATIC_7258), java.lang.Object(ARRAY(i1714)), i1638) -> f7263_0__init__Load(EOS(STATIC_7263), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7263_0__init__Load(EOS(STATIC_7263), java.lang.Object(ARRAY(i1714)), i1638) -> f7273_0__init__InvokeMethod(EOS(STATIC_7273), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7273_0__init__InvokeMethod(EOS(STATIC_7273), java.lang.Object(ARRAY(i1714)), i1638) -> f7277_0__init__Load(EOS(STATIC_7277), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7277_0__init__Load(EOS(STATIC_7277), java.lang.Object(ARRAY(i1714)), i1638) -> f7280_0__init__Load(EOS(STATIC_7280), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7280_0__init__Load(EOS(STATIC_7280), java.lang.Object(ARRAY(i1714)), i1638) -> f7285_0__init__FieldAccess(EOS(STATIC_7285), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7285_0__init__FieldAccess(EOS(STATIC_7285), java.lang.Object(ARRAY(i1714)), i1638) -> f7289_0__init__Load(EOS(STATIC_7289), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7289_0__init__Load(EOS(STATIC_7289), java.lang.Object(ARRAY(i1714)), i1638) -> f7293_0__init__Load(EOS(STATIC_7293), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7293_0__init__Load(EOS(STATIC_7293), java.lang.Object(ARRAY(i1714)), i1638) -> f7296_0__init__FieldAccess(EOS(STATIC_7296), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7296_0__init__FieldAccess(EOS(STATIC_7296), java.lang.Object(ARRAY(i1714)), i1638) -> f7299_0__init__Return(EOS(STATIC_7299), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7299_0__init__Return(EOS(STATIC_7299), java.lang.Object(ARRAY(i1714)), i1638) -> f7302_0_main_Store(EOS(STATIC_7302), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7302_0_main_Store(EOS(STATIC_7302), java.lang.Object(ARRAY(i1714)), i1638) -> f7305_0_main_Inc(EOS(STATIC_7305), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7305_0_main_Inc(EOS(STATIC_7305), java.lang.Object(ARRAY(i1714)), i1638) -> f7308_0_main_JMP(EOS(STATIC_7308), java.lang.Object(ARRAY(i1714)), i1638 + -1) :|: TRUE
f7308_0_main_JMP(EOS(STATIC_7308), java.lang.Object(ARRAY(i1714)), i1743) -> f7310_0_main_Load(EOS(STATIC_7310), java.lang.Object(ARRAY(i1714)), i1743) :|: TRUE
f7310_0_main_Load(EOS(STATIC_7310), java.lang.Object(ARRAY(i1714)), i1743) -> f7004_0_main_Load(EOS(STATIC_7004), java.lang.Object(ARRAY(i1714)), i1743) :|: TRUE
f7004_0_main_Load(EOS(STATIC_7004), java.lang.Object(ARRAY(i1626)), i1628) -> f7011_0_main_LE(EOS(STATIC_7011), java.lang.Object(ARRAY(i1626)), i1628, i1628) :|: TRUE
f8689_0_createTree_Return(EOS(STATIC_8689), java.lang.Object(ARRAY(i3057)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8690_0_createTree_Return(EOS(STATIC_8690), java.lang.Object(ARRAY(i3057)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8690_0_createTree_Return(EOS(STATIC_8690), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8692_0_main_Store(EOS(STATIC_8692), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8692_0_main_Store(EOS(STATIC_8692), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8695_0_main_New(EOS(STATIC_8695), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8695_0_main_New(EOS(STATIC_8695), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8699_0_main_Duplicate(EOS(STATIC_8699), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8699_0_main_Duplicate(EOS(STATIC_8699), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8702_0_main_Load(EOS(STATIC_8702), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8702_0_main_Load(EOS(STATIC_8702), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8705_0_main_Load(EOS(STATIC_8705), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8705_0_main_Load(EOS(STATIC_8705), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8709_0_main_InvokeMethod(EOS(STATIC_8709), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8709_0_main_InvokeMethod(EOS(STATIC_8709), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8712_0__init__Load(EOS(STATIC_8712), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8712_0__init__Load(EOS(STATIC_8712), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8718_0__init__InvokeMethod(EOS(STATIC_8718), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8718_0__init__InvokeMethod(EOS(STATIC_8718), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8721_0__init__Load(EOS(STATIC_8721), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8721_0__init__Load(EOS(STATIC_8721), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8725_0__init__Load(EOS(STATIC_8725), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8725_0__init__Load(EOS(STATIC_8725), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8730_0__init__FieldAccess(EOS(STATIC_8730), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
f8730_0__init__FieldAccess(EOS(STATIC_8730), java.lang.Object(ARRAY(i3060)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) -> f8733_0__init__Load(EOS(STATIC_8733), java.lang.Object(ARRAY(i3060)), i1638) :|: TRUE
f8733_0__init__Load(EOS(STATIC_8733), java.lang.Object(ARRAY(i3060)), i1638) -> f8736_0__init__Load(EOS(STATIC_8736), java.lang.Object(ARRAY(i3060)), i1638) :|: TRUE
f8736_0__init__Load(EOS(STATIC_8736), java.lang.Object(ARRAY(i3060)), i1638) -> f8741_0__init__FieldAccess(EOS(STATIC_8741), java.lang.Object(ARRAY(i3060)), i1638) :|: TRUE
f8741_0__init__FieldAccess(EOS(STATIC_8741), java.lang.Object(ARRAY(i3060)), i1638) -> f8744_0__init__Return(EOS(STATIC_8744), java.lang.Object(ARRAY(i3060)), i1638) :|: TRUE
f8744_0__init__Return(EOS(STATIC_8744), java.lang.Object(ARRAY(i3060)), i1638) -> f8748_0_main_Store(EOS(STATIC_8748), java.lang.Object(ARRAY(i3060)), i1638) :|: TRUE
f8748_0_main_Store(EOS(STATIC_8748), java.lang.Object(ARRAY(i3060)), i1638) -> f8753_0_main_Inc(EOS(STATIC_8753), java.lang.Object(ARRAY(i3060)), i1638) :|: TRUE
f8753_0_main_Inc(EOS(STATIC_8753), java.lang.Object(ARRAY(i3060)), i1638) -> f8757_0_main_JMP(EOS(STATIC_8757), java.lang.Object(ARRAY(i3060)), i1638 + -1) :|: TRUE
f8757_0_main_JMP(EOS(STATIC_8757), java.lang.Object(ARRAY(i3060)), i3151) -> f8762_0_main_Load(EOS(STATIC_8762), java.lang.Object(ARRAY(i3060)), i3151) :|: TRUE
f8762_0_main_Load(EOS(STATIC_8762), java.lang.Object(ARRAY(i3060)), i3151) -> f7004_0_main_Load(EOS(STATIC_7004), java.lang.Object(ARRAY(i3060)), i3151) :|: TRUE
f7037_1_createTree_InvokeMethod(EOS(STATIC_7037), java.lang.Object(ARRAY(i1714)), i1638) -> f7224_0_createTree_Return(EOS(STATIC_7224), java.lang.Object(ARRAY(i1714)), i1638) :|: TRUE
f7037_1_createTree_InvokeMethod(EOS(STATIC_7037), java.lang.Object(ARRAY(i3057)), i1638) -> f8689_0_createTree_Return(EOS(STATIC_8689), java.lang.Object(ARRAY(i3057)), i1638, java.lang.Object(FlattenTreeListRec.Tree(EOC))) :|: TRUE
Combined rules. Obtained 2 IRulesP rules:
f7011_0_main_LE(EOS(STATIC_7011), java.lang.Object(ARRAY(i1626:0)), i1638:0, i1638:0) -> f7011_0_main_LE(EOS(STATIC_7011), java.lang.Object(ARRAY(i1626:0)), i1638:0 - 1, i1638:0 - 1) :|: i1638:0 > 0
Removed following non-SCC rules:
f7011_0_main_LE(EOS(STATIC_7011), java.lang.Object(ARRAY(i1626:0)), i1638:0, i1638:0) -> f9413_0_createTree_InvokeMethod(EOS(STATIC_9413), java.lang.Object(ARRAY(i1626:0))) :|: i1638:0 > 0
Filtered constant ground arguments:
   f7011_0_main_LE(x1, x2, x3, x4) -> f7011_0_main_LE(x2, x3, x4)
   EOS(x1) -> EOS
Filtered duplicate arguments:
   f7011_0_main_LE(x1, x2, x3) -> f7011_0_main_LE(x1, x3)
Filtered unneeded arguments:
   f7011_0_main_LE(x1, x2) -> f7011_0_main_LE(x2)
Finished conversion. Obtained 1 rules.P rules:
f7011_0_main_LE(i1638:0) -> f7011_0_main_LE(i1638:0 - 1) :|: i1638:0 > 0

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

(29)
Obligation:
Rules:
f7011_0_main_LE(i1638:0) -> f7011_0_main_LE(i1638:0 - 1) :|: i1638:0 > 0

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

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

(31)
Obligation:
Rules:
f7011_0_main_LE(i1638:0) -> f7011_0_main_LE(arith) :|: i1638:0 > 0 && arith = i1638:0 - 1

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

(32) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f7011_0_main_LE(i1638:0) -> f7011_0_main_LE(arith) :|: i1638:0 > 0 && arith = i1638:0 - 1

Arcs:
(1) -> (1)

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

(33)
Obligation:

Termination digraph:
Nodes:
(1) f7011_0_main_LE(i1638:0) -> f7011_0_main_LE(arith) :|: i1638:0 > 0 && arith = i1638:0 - 1

Arcs:
(1) -> (1)

This digraph is fully evaluated!

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

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

(35)
Obligation:
Rules:
f7011_0_main_LE(i1638:0:0) -> f7011_0_main_LE(i1638:0:0 - 1) :|: i1638:0:0 > 0

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

(36) TempFilterProof (SOUND)
Used the following sort dictionary for filtering: 
f7011_0_main_LE(INTEGER)
Replaced non-predefined constructor symbols by 0.
----------------------------------------

(37)
Obligation:
Rules:
f7011_0_main_LE(i1638:0:0) -> f7011_0_main_LE(c) :|: c = i1638:0:0 - 1 && i1638:0:0 > 0

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

(38) RankingReductionPairProof (EQUIVALENT)
Interpretation:
[ f7011_0_main_LE ] = f7011_0_main_LE_1

The following rules are decreasing:
f7011_0_main_LE(i1638:0:0) -> f7011_0_main_LE(c) :|: c = i1638:0:0 - 1 && i1638:0:0 > 0

The following rules are bounded:
f7011_0_main_LE(i1638:0:0) -> f7011_0_main_LE(c) :|: c = i1638:0:0 - 1 && i1638:0:0 > 0


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

(39)
YES