/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, 96 ms]
(2) JBC problem
(3) JBCToGraph [EQUIVALENT, 1110 ms]
(4) JBCTerminationGraph
(5) TerminationGraphToSCCProof [SOUND, 0 ms]
(6) AND
    (7) JBCTerminationSCC
        (8) SCCToQDPProof [SOUND, 422 ms]
        (9) QDP
        (10) QDPSizeChangeProof [EQUIVALENT, 0 ms]
        (11) YES
    (12) JBCTerminationSCC
        (13) SCCToIRSProof [SOUND, 264 ms]
        (14) IRSwT
        (15) IRSFormatTransformerProof [EQUIVALENT, 0 ms]
        (16) IRSwT
        (17) IRSwTTerminationDigraphProof [EQUIVALENT, 150 ms]
        (18) IRSwT
        (19) IntTRSCompressionProof [EQUIVALENT, 0 ms]
        (20) IRSwT
        (21) TempFilterProof [SOUND, 48 ms]
        (22) IntTRS
        (23) RankingReductionPairProof [EQUIVALENT, 0 ms]
        (24) YES


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

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

  public static void duplicateRandomPath(Tree tree) {
    Tree cur = tree;
    while (cur != null) {
      if (Random.random() < 42 && cur.left != null) { //go left
        Tree t = new Tree(cur.left, cur.right);
        t.value = cur.value;
        cur.right = null;
        cur.left = t;
        cur = cur.left.left;      
      } else if (cur.right != null) {                 //go right
        Tree t = new Tree(cur.left, cur.right);
        t.value = cur.value;
        cur.left = null;
        cur.right = t;
        cur = cur.right.right;
      } else {
        break;
      }
    }
  }
}


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

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


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

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

  public Tree() {
  }

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

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

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

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



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

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

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

  public static void duplicateRandomPath(Tree tree) {
    Tree cur = tree;
    while (cur != null) {
      if (Random.random() < 42 && cur.left != null) { //go left
        Tree t = new Tree(cur.left, cur.right);
        t.value = cur.value;
        cur.right = null;
        cur.left = t;
        cur = cur.left.left;      
      } else if (cur.right != null) {                 //go right
        Tree t = new Tree(cur.left, cur.right);
        t.value = cur.value;
        cur.left = null;
        cur.right = t;
        cur = cur.right.right;
      } else {
        break;
      }
    }
  }
}


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

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


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

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

  public Tree() {
  }

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

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

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

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



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

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

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



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



DuplicateTreePath.duplicateRandomPath(LTree;)V: Graph of 189 nodes with 1 SCC.





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

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

(6)
Complex Obligation (AND)

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

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

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

(8) SCCToQDPProof (SOUND)
Transformed TerminationGraph SCC to QDP. Log: 
Generated 110 rules for P and 0 rules for R.P rules:
f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(o1294sub))), java.lang.Object(o1308sub), java.lang.Object(o1308sub)) -> f5787_0_duplicateRandomPath_NULL(EOS(STATIC_5787(java.lang.Object(o1294sub))), java.lang.Object(o1308sub), java.lang.Object(o1308sub)) :|: TRUE
f5787_0_duplicateRandomPath_NULL(EOS(STATIC_5787(java.lang.Object(o1294sub))), java.lang.Object(o1308sub), java.lang.Object(o1308sub)) -> f5793_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_5793(java.lang.Object(o1294sub))), java.lang.Object(o1308sub)) :|: TRUE
f5793_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_5793(java.lang.Object(o1294sub))), java.lang.Object(o1308sub)) -> f5799_0_random_FieldAccess(EOS(STATIC_5799(java.lang.Object(o1294sub))), java.lang.Object(o1308sub)) :|: TRUE
f5799_0_random_FieldAccess(EOS(STATIC_5799(java.lang.Object(o1294sub))), java.lang.Object(o1308sub)) -> f5811_0_random_FieldAccess(EOS(STATIC_5811(java.lang.Object(o1294sub))), java.lang.Object(o1308sub), java.lang.Object(o1294sub)) :|: TRUE
f5811_0_random_FieldAccess(EOS(STATIC_5811(java.lang.Object(o1294sub))), java.lang.Object(o1308sub), java.lang.Object(o1294sub)) -> f5819_0_random_ArrayAccess(EOS(STATIC_5819(java.lang.Object(o1294sub))), java.lang.Object(o1308sub), java.lang.Object(o1294sub)) :|: TRUE
f5819_0_random_ArrayAccess(EOS(STATIC_5819(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(ARRAY(i1034))) -> f5825_0_random_ArrayAccess(EOS(STATIC_5825(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(ARRAY(i1034))) :|: TRUE
f5825_0_random_ArrayAccess(EOS(STATIC_5825(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(ARRAY(i1034))) -> f5834_0_random_ArrayAccess(EOS(STATIC_5834(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(ARRAY(i1034))) :|: TRUE
f5834_0_random_ArrayAccess(EOS(STATIC_5834(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(ARRAY(i1034))) -> f5843_0_random_ArrayAccess(EOS(STATIC_5843(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(ARRAY(i1034))) :|: TRUE
f5843_0_random_ArrayAccess(EOS(STATIC_5843(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(ARRAY(i1034))) -> f5852_0_random_Store(EOS(STATIC_5852(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) :|: TRUE
f5852_0_random_Store(EOS(STATIC_5852(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) -> f5862_0_random_FieldAccess(EOS(STATIC_5862(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) :|: TRUE
f5862_0_random_FieldAccess(EOS(STATIC_5862(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) -> f5869_0_random_ConstantStackPush(EOS(STATIC_5869(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) :|: TRUE
f5869_0_random_ConstantStackPush(EOS(STATIC_5869(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) -> f5877_0_random_IntArithmetic(EOS(STATIC_5877(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) :|: TRUE
f5877_0_random_IntArithmetic(EOS(STATIC_5877(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) -> f5884_0_random_FieldAccess(EOS(STATIC_5884(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) :|: TRUE
f5884_0_random_FieldAccess(EOS(STATIC_5884(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) -> f5888_0_random_Load(EOS(STATIC_5888(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) :|: TRUE
f5888_0_random_Load(EOS(STATIC_5888(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) -> f5892_0_random_InvokeMethod(EOS(STATIC_5892(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), o1351) :|: TRUE
f5892_0_random_InvokeMethod(EOS(STATIC_5892(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1417sub)) -> f5897_0_random_InvokeMethod(EOS(STATIC_5897(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1417sub)) :|: TRUE
f5897_0_random_InvokeMethod(EOS(STATIC_5897(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1418sub)) -> f5902_0_random_InvokeMethod(EOS(STATIC_5902(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1418sub)) :|: TRUE
f5902_0_random_InvokeMethod(EOS(STATIC_5902(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1418sub)) -> f5906_0_length_Load(EOS(STATIC_5906(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1418sub)) :|: TRUE
f5906_0_length_Load(EOS(STATIC_5906(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1418sub)) -> f5914_0_length_FieldAccess(EOS(STATIC_5914(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1418sub)) :|: TRUE
f5914_0_length_FieldAccess(EOS(STATIC_5914(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(java.lang.String(EOC, i1094))) -> f5919_0_length_FieldAccess(EOS(STATIC_5919(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(java.lang.String(EOC, i1094))) :|: i1094 >= 0
f5919_0_length_FieldAccess(EOS(STATIC_5919(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(java.lang.String(EOC, i1094))) -> f5925_0_length_Return(EOS(STATIC_5925(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1094) :|: TRUE
f5925_0_length_Return(EOS(STATIC_5925(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1094) -> f5930_0_random_Return(EOS(STATIC_5930(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1094) :|: TRUE
f5930_0_random_Return(EOS(STATIC_5930(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1094) -> f5936_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_5936(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1094) :|: TRUE
f5936_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_5936(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1094) -> f5942_0_duplicateRandomPath_GE(EOS(STATIC_5942(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1094, 42) :|: TRUE
f5942_0_duplicateRandomPath_GE(EOS(STATIC_5942(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1102, matching1) -> f5948_0_duplicateRandomPath_GE(EOS(STATIC_5948(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1102, 42) :|: TRUE && matching1 = 42
f5942_0_duplicateRandomPath_GE(EOS(STATIC_5942(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1103, matching1) -> f5949_0_duplicateRandomPath_GE(EOS(STATIC_5949(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1103, 42) :|: TRUE && matching1 = 42
f5948_0_duplicateRandomPath_GE(EOS(STATIC_5948(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1102, matching1) -> f5955_0_duplicateRandomPath_Load(EOS(STATIC_5955(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub)) :|: i1102 < 42 && matching1 = 42
f5955_0_duplicateRandomPath_Load(EOS(STATIC_5955(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub)) -> f5962_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5962(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1308sub)) :|: TRUE
f5962_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5962(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1451, o1452, o1453)), java.lang.Object(Tree(EOC, o1451, o1452, o1453))) -> f5969_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5969(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1451, o1452, o1453)), java.lang.Object(Tree(EOC, o1451, o1452, o1453))) :|: TRUE
f5969_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5969(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1451, o1452, o1453)), java.lang.Object(Tree(EOC, o1451, o1452, o1453))) -> f5977_0_duplicateRandomPath_NULL(EOS(STATIC_5977(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1451, o1452, o1453)), o1451) :|: TRUE
f5977_0_duplicateRandomPath_NULL(EOS(STATIC_5977(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(o1463sub)) -> f5986_0_duplicateRandomPath_NULL(EOS(STATIC_5986(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(o1463sub)) :|: TRUE
f5977_0_duplicateRandomPath_NULL(EOS(STATIC_5977(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), NULL) -> f5987_0_duplicateRandomPath_NULL(EOS(STATIC_5987(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), NULL) :|: TRUE
f5986_0_duplicateRandomPath_NULL(EOS(STATIC_5986(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(o1463sub)) -> f5995_0_duplicateRandomPath_New(EOS(STATIC_5995(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f5995_0_duplicateRandomPath_New(EOS(STATIC_5995(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6004_0_duplicateRandomPath_Duplicate(EOS(STATIC_6004(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6004_0_duplicateRandomPath_Duplicate(EOS(STATIC_6004(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6015_0_duplicateRandomPath_Load(EOS(STATIC_6015(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6015_0_duplicateRandomPath_Load(EOS(STATIC_6015(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6023_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6023(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6023_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6023(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6033_0_duplicateRandomPath_Load(EOS(STATIC_6033(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub)) :|: TRUE
f6033_0_duplicateRandomPath_Load(EOS(STATIC_6033(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub)) -> f6041_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6041(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6041_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6041(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6050_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6050(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452) :|: TRUE
f6050_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6050(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452) -> f6058_0__init__Load(EOS(STATIC_6058(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452) :|: TRUE
f6058_0__init__Load(EOS(STATIC_6058(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452) -> f6074_0__init__InvokeMethod(EOS(STATIC_6074(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6074_0__init__InvokeMethod(EOS(STATIC_6074(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6083_0__init__Load(EOS(STATIC_6083(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452) :|: TRUE
f6083_0__init__Load(EOS(STATIC_6083(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452) -> f6090_0__init__Load(EOS(STATIC_6090(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6090_0__init__Load(EOS(STATIC_6090(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub), o1452, java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6100_0__init__FieldAccess(EOS(STATIC_6100(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1452, java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub)) :|: TRUE
f6100_0__init__FieldAccess(EOS(STATIC_6100(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1452, java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1463sub)) -> f6107_0__init__Load(EOS(STATIC_6107(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), o1452) :|: TRUE
f6107_0__init__Load(EOS(STATIC_6107(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), o1452) -> f6116_0__init__Load(EOS(STATIC_6116(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), o1452, java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL))) :|: TRUE
f6116_0__init__Load(EOS(STATIC_6116(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), o1452, java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL))) -> f6125_0__init__FieldAccess(EOS(STATIC_6125(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), o1452) :|: TRUE
f6125_0__init__FieldAccess(EOS(STATIC_6125(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, NULL)), o1452) -> f6134_0__init__Return(EOS(STATIC_6134(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) :|: TRUE
f6134_0__init__Return(EOS(STATIC_6134(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) -> f6143_0_duplicateRandomPath_Store(EOS(STATIC_6143(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) :|: TRUE
f6143_0_duplicateRandomPath_Store(EOS(STATIC_6143(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) -> f6150_0_duplicateRandomPath_Load(EOS(STATIC_6150(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) :|: TRUE
f6150_0_duplicateRandomPath_Load(EOS(STATIC_6150(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) -> f6158_0_duplicateRandomPath_Load(EOS(STATIC_6158(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) :|: TRUE
f6158_0_duplicateRandomPath_Load(EOS(STATIC_6158(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL))) -> f6166_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6166(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6166_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6166(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6173_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6173(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), o1453) :|: TRUE
f6173_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6173(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, NULL)), o1453) -> f6176_0_duplicateRandomPath_Load(EOS(STATIC_6176(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6176_0_duplicateRandomPath_Load(EOS(STATIC_6176(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6181_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6181(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6181_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6181(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6185_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6185(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), NULL) :|: TRUE
f6185_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6185(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), NULL) -> f6190_0_duplicateRandomPath_Load(EOS(STATIC_6190(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6190_0_duplicateRandomPath_Load(EOS(STATIC_6190(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6194_0_duplicateRandomPath_Load(EOS(STATIC_6194(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453))) :|: TRUE
f6194_0_duplicateRandomPath_Load(EOS(STATIC_6194(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453))) -> f6198_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6198(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6198_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6198(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), NULL, o1453)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6202_0_duplicateRandomPath_Load(EOS(STATIC_6202(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), NULL, o1453))) :|: TRUE
f6202_0_duplicateRandomPath_Load(EOS(STATIC_6202(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), NULL, o1453))) -> f6206_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6206(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), NULL, o1453))) :|: TRUE
f6206_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6206(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453)), NULL, o1453))) -> f6210_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6210(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) :|: TRUE
f6210_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6210(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub), o1452, o1453))) -> f6214_0_duplicateRandomPath_Store(EOS(STATIC_6214(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1463sub)) :|: TRUE
f6214_0_duplicateRandomPath_Store(EOS(STATIC_6214(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1463sub)) -> f6218_0_duplicateRandomPath_JMP(EOS(STATIC_6218(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1463sub)) :|: TRUE
f6218_0_duplicateRandomPath_JMP(EOS(STATIC_6218(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1463sub)) -> f6222_0_duplicateRandomPath_Load(EOS(STATIC_6222(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1463sub)) :|: TRUE
f6222_0_duplicateRandomPath_Load(EOS(STATIC_6222(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1463sub)) -> f5778_0_duplicateRandomPath_Load(EOS(STATIC_5778(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1463sub)) :|: TRUE
f5778_0_duplicateRandomPath_Load(EOS(STATIC_5778(java.lang.Object(o1294sub))), o1297) -> f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(o1294sub))), o1297, o1297) :|: TRUE
f5987_0_duplicateRandomPath_NULL(EOS(STATIC_5987(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), NULL) -> f5996_0_duplicateRandomPath_Load(EOS(STATIC_5996(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453))) :|: TRUE
f5996_0_duplicateRandomPath_Load(EOS(STATIC_5996(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453))) -> f6005_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6005(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), java.lang.Object(Tree(EOC, NULL, o1452, o1453))) :|: TRUE
f6005_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6005(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), java.lang.Object(Tree(EOC, NULL, o1452, o1453))) -> f6016_0_duplicateRandomPath_NULL(EOS(STATIC_6016(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), o1452) :|: TRUE
f6016_0_duplicateRandomPath_NULL(EOS(STATIC_6016(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), o1452) -> f5978_0_duplicateRandomPath_NULL(EOS(STATIC_5978(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, o1452, o1453)), o1452) :|: TRUE
f5978_0_duplicateRandomPath_NULL(EOS(STATIC_5978(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(o1464sub)) -> f5988_0_duplicateRandomPath_NULL(EOS(STATIC_5988(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(o1464sub)) :|: TRUE
f5988_0_duplicateRandomPath_NULL(EOS(STATIC_5988(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(o1464sub)) -> f5997_0_duplicateRandomPath_New(EOS(STATIC_5997(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f5997_0_duplicateRandomPath_New(EOS(STATIC_5997(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6006_0_duplicateRandomPath_Duplicate(EOS(STATIC_6006(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6006_0_duplicateRandomPath_Duplicate(EOS(STATIC_6006(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6017_0_duplicateRandomPath_Load(EOS(STATIC_6017(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6017_0_duplicateRandomPath_Load(EOS(STATIC_6017(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6024_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6024(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6024_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6024(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6034_0_duplicateRandomPath_Load(EOS(STATIC_6034(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455) :|: TRUE
f6034_0_duplicateRandomPath_Load(EOS(STATIC_6034(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455) -> f6042_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6042(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6042_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6042(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6051_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6051(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub)) :|: TRUE
f6051_0_duplicateRandomPath_InvokeMethod(EOS(STATIC_6051(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub)) -> f6059_0__init__Load(EOS(STATIC_6059(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub)) :|: TRUE
f6059_0__init__Load(EOS(STATIC_6059(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub)) -> f6075_0__init__InvokeMethod(EOS(STATIC_6075(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6075_0__init__InvokeMethod(EOS(STATIC_6075(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6084_0__init__Load(EOS(STATIC_6084(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub)) :|: TRUE
f6084_0__init__Load(EOS(STATIC_6084(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub)) -> f6091_0__init__Load(EOS(STATIC_6091(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) :|: TRUE
f6091_0__init__Load(EOS(STATIC_6091(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455, java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL))) -> f6101_0__init__FieldAccess(EOS(STATIC_6101(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455) :|: TRUE
f6101_0__init__FieldAccess(EOS(STATIC_6101(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, NULL, NULL, NULL)), o1455) -> f6108_0__init__Load(EOS(STATIC_6108(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(o1464sub)) :|: TRUE
f6108_0__init__Load(EOS(STATIC_6108(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(o1464sub)) -> f6117_0__init__Load(EOS(STATIC_6117(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, o1455, NULL, NULL))) :|: TRUE
f6117_0__init__Load(EOS(STATIC_6117(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(o1464sub), java.lang.Object(Tree(EOC, o1455, NULL, NULL))) -> f6126_0__init__FieldAccess(EOS(STATIC_6126(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(o1464sub)) :|: TRUE
f6126_0__init__FieldAccess(EOS(STATIC_6126(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(Tree(EOC, o1455, NULL, NULL)), java.lang.Object(o1464sub)) -> f6135_0__init__Return(EOS(STATIC_6135(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) :|: TRUE
f6135_0__init__Return(EOS(STATIC_6135(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) -> f6144_0_duplicateRandomPath_Store(EOS(STATIC_6144(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) :|: TRUE
f6144_0_duplicateRandomPath_Store(EOS(STATIC_6144(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) -> f6151_0_duplicateRandomPath_Load(EOS(STATIC_6151(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) :|: TRUE
f6151_0_duplicateRandomPath_Load(EOS(STATIC_6151(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) -> f6159_0_duplicateRandomPath_Load(EOS(STATIC_6159(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) :|: TRUE
f6159_0_duplicateRandomPath_Load(EOS(STATIC_6159(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL))) -> f6167_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6167(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6167_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6167(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6174_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6174(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), o1457) :|: TRUE
f6174_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6174(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), NULL)), o1457) -> f6177_0_duplicateRandomPath_Load(EOS(STATIC_6177(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6177_0_duplicateRandomPath_Load(EOS(STATIC_6177(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6182_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6182(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6182_0_duplicateRandomPath_ConstantStackPush(EOS(STATIC_6182(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6186_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6186(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), NULL) :|: TRUE
f6186_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6186(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), NULL) -> f6191_0_duplicateRandomPath_Load(EOS(STATIC_6191(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6191_0_duplicateRandomPath_Load(EOS(STATIC_6191(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6195_0_duplicateRandomPath_Load(EOS(STATIC_6195(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6195_0_duplicateRandomPath_Load(EOS(STATIC_6195(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457))) -> f6199_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6199(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6199_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6199(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub), o1457)), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6203_0_duplicateRandomPath_Load(EOS(STATIC_6203(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), o1457))) :|: TRUE
f6203_0_duplicateRandomPath_Load(EOS(STATIC_6203(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), o1457))) -> f6207_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6207(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), o1457))) :|: TRUE
f6207_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6207(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457)), o1457))) -> f6211_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6211(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) :|: TRUE
f6211_0_duplicateRandomPath_FieldAccess(EOS(STATIC_6211(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, java.lang.Object(o1464sub), o1457))) -> f6215_0_duplicateRandomPath_Store(EOS(STATIC_6215(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1464sub)) :|: TRUE
f6215_0_duplicateRandomPath_Store(EOS(STATIC_6215(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1464sub)) -> f6219_0_duplicateRandomPath_JMP(EOS(STATIC_6219(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1464sub)) :|: TRUE
f6219_0_duplicateRandomPath_JMP(EOS(STATIC_6219(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1464sub)) -> f6223_0_duplicateRandomPath_Load(EOS(STATIC_6223(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1464sub)) :|: TRUE
f6223_0_duplicateRandomPath_Load(EOS(STATIC_6223(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1464sub)) -> f5778_0_duplicateRandomPath_Load(EOS(STATIC_5778(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1464sub)) :|: TRUE
f5949_0_duplicateRandomPath_GE(EOS(STATIC_5949(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), i1103, matching1) -> f5956_0_duplicateRandomPath_Load(EOS(STATIC_5956(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub)) :|: i1103 >= 42 && matching1 = 42
f5956_0_duplicateRandomPath_Load(EOS(STATIC_5956(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub)) -> f5963_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5963(java.lang.Object(ARRAY(i1034)))), java.lang.Object(o1308sub), java.lang.Object(o1308sub)) :|: TRUE
f5963_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5963(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, o1456, o1457)), java.lang.Object(Tree(EOC, o1455, o1456, o1457))) -> f5970_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5970(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, o1456, o1457)), java.lang.Object(Tree(EOC, o1455, o1456, o1457))) :|: TRUE
f5970_0_duplicateRandomPath_FieldAccess(EOS(STATIC_5970(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, o1456, o1457)), java.lang.Object(Tree(EOC, o1455, o1456, o1457))) -> f5978_0_duplicateRandomPath_NULL(EOS(STATIC_5978(java.lang.Object(ARRAY(i1034)))), java.lang.Object(Tree(EOC, o1455, o1456, o1457)), o1456) :|: TRUE
R rules:
Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(ARRAY(i1034:0)))), java.lang.Object(Tree(EOC, o1455:0, java.lang.Object(o1464sub:0), o1457:0)), java.lang.Object(Tree(EOC, o1455:0, java.lang.Object(o1464sub:0), o1457:0))) -> f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(ARRAY(i1034:0)))), java.lang.Object(o1464sub:0), java.lang.Object(o1464sub:0)) :|: TRUE
f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(ARRAY(i1034:0)))), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub:0), o1453:0)), java.lang.Object(Tree(EOC, NULL, java.lang.Object(o1464sub:0), o1453:0))) -> f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(ARRAY(i1034:0)))), java.lang.Object(o1464sub:0), java.lang.Object(o1464sub:0)) :|: TRUE
f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(ARRAY(i1034:0)))), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub:0), o1452:0, o1453:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1463sub:0), o1452:0, o1453:0))) -> f5782_0_duplicateRandomPath_NULL(EOS(STATIC_5782(java.lang.Object(ARRAY(i1034:0)))), java.lang.Object(o1463sub:0), java.lang.Object(o1463sub:0)) :|: TRUE
R rules:
Filtered ground terms:
   Tree(x1, x2, x3, x4) -> Tree(x2, x3, x4)
Filtered unneeded arguments:
   f5782_0_duplicateRandomPath_NULL(x1, x2, x3) -> f5782_0_duplicateRandomPath_NULL(x2, x3)
   Tree(x1, x2, x3) -> Tree(x1, x2)
Filtered duplicate args:
   f5782_0_duplicateRandomPath_NULL(x1, x2) -> f5782_0_duplicateRandomPath_NULL(x2)
Combined rules. Obtained 3 conditional rules for P and 0 conditional rules for R.P rules:
F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1464sub:0:0)))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1464sub:0:0)) :|: TRUE
F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1455:0:0, java.lang.Object(o1464sub:0:0)))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1464sub:0:0)) :|: TRUE
F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1463sub:0:0), o1452:0:0))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1463sub:0:0)) :|: TRUE
R rules:

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

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

   F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(NULL, java.lang.Object(o1464sub:0:0)))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1464sub:0:0))
   F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1455:0:0, java.lang.Object(o1464sub:0:0)))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1464sub:0:0))
   F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1463sub:0:0), o1452:0:0))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1463sub:0:0))

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

(10) QDPSizeChangeProof (EQUIVALENT)
By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 

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


*F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(o1455:0:0, java.lang.Object(o1464sub:0:0)))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1464sub:0:0))
The graph contains the following edges 1 > 1


*F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(Tree(java.lang.Object(o1463sub:0:0), o1452:0:0))) -> F5782_0_DUPLICATERANDOMPATH_NULL(java.lang.Object(o1463sub:0:0))
The graph contains the following edges 1 > 1


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

(11)
YES

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

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

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

(13) SCCToIRSProof (SOUND)
Transformed FIGraph SCCs to intTRSs. Log: 
Generated rules. Obtained 114 IRulesP rules:
f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1320) -> f6250_0_createTree_LE(EOS(STATIC_6250(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1320) :|: TRUE
f6250_0_createTree_LE(EOS(STATIC_6250(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1320) -> f6252_0_createTree_InvokeMethod(EOS(STATIC_6252(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) :|: i1320 > 0
f6252_0_createTree_InvokeMethod(EOS(STATIC_6252(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) -> f6254_0_random_FieldAccess(EOS(STATIC_6254(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) :|: TRUE
f6254_0_random_FieldAccess(EOS(STATIC_6254(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) -> f6256_0_random_FieldAccess(EOS(STATIC_6256(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f6256_0_random_FieldAccess(EOS(STATIC_6256(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) -> f6259_0_random_ArrayAccess(EOS(STATIC_6259(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f6259_0_random_ArrayAccess(EOS(STATIC_6259(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) -> f6262_0_random_ArrayAccess(EOS(STATIC_6262(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f6262_0_random_ArrayAccess(EOS(STATIC_6262(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) -> f6265_0_random_ArrayAccess(EOS(STATIC_6265(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) :|: TRUE
f6265_0_random_ArrayAccess(EOS(STATIC_6265(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(ARRAY(i6))) -> f6268_0_random_Store(EOS(STATIC_6268(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) :|: TRUE
f6268_0_random_Store(EOS(STATIC_6268(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) -> f6272_0_random_FieldAccess(EOS(STATIC_6272(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) :|: TRUE
f6272_0_random_FieldAccess(EOS(STATIC_6272(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) -> f6275_0_random_ConstantStackPush(EOS(STATIC_6275(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) :|: TRUE
f6275_0_random_ConstantStackPush(EOS(STATIC_6275(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) -> f6278_0_random_IntArithmetic(EOS(STATIC_6278(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) :|: TRUE
f6278_0_random_IntArithmetic(EOS(STATIC_6278(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) -> f6282_0_random_FieldAccess(EOS(STATIC_6282(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) :|: TRUE
f6282_0_random_FieldAccess(EOS(STATIC_6282(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) -> f6284_0_random_Load(EOS(STATIC_6284(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) :|: TRUE
f6284_0_random_Load(EOS(STATIC_6284(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) -> f6294_0_random_InvokeMethod(EOS(STATIC_6294(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), o1871) :|: TRUE
f6294_0_random_InvokeMethod(EOS(STATIC_6294(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1929sub)) -> f6298_0_random_InvokeMethod(EOS(STATIC_6298(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1929sub)) :|: TRUE
f6298_0_random_InvokeMethod(EOS(STATIC_6298(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1930sub)) -> f6301_0_random_InvokeMethod(EOS(STATIC_6301(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1930sub)) :|: TRUE
f6301_0_random_InvokeMethod(EOS(STATIC_6301(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1930sub)) -> f6304_0_length_Load(EOS(STATIC_6304(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1930sub)) :|: TRUE
f6304_0_length_Load(EOS(STATIC_6304(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1930sub)) -> f6309_0_length_FieldAccess(EOS(STATIC_6309(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1930sub)) :|: TRUE
f6309_0_length_FieldAccess(EOS(STATIC_6309(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(java.lang.String(EOC, i1415))) -> f6312_0_length_FieldAccess(EOS(STATIC_6312(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(java.lang.String(EOC, i1415))) :|: i1415 >= 0
f6312_0_length_FieldAccess(EOS(STATIC_6312(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(java.lang.String(EOC, i1415))) -> f6315_0_length_Return(EOS(STATIC_6315(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) :|: TRUE
f6315_0_length_Return(EOS(STATIC_6315(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) -> f6318_0_random_Return(EOS(STATIC_6318(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) :|: TRUE
f6318_0_random_Return(EOS(STATIC_6318(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) -> f6322_0_createTree_Store(EOS(STATIC_6322(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) :|: TRUE
f6322_0_createTree_Store(EOS(STATIC_6322(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) -> f6325_0_createTree_Load(EOS(STATIC_6325(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) :|: TRUE
f6325_0_createTree_Load(EOS(STATIC_6325(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) -> f6329_0_createTree_LE(EOS(STATIC_6329(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1415) :|: TRUE
f6329_0_createTree_LE(EOS(STATIC_6329(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), matching1) -> f6333_0_createTree_LE(EOS(STATIC_6333(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), 0) :|: TRUE && matching1 = 0
f6329_0_createTree_LE(EOS(STATIC_6329(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1437) -> f6334_0_createTree_LE(EOS(STATIC_6334(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1437) :|: TRUE
f6333_0_createTree_LE(EOS(STATIC_6333(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), matching1) -> f6337_0_createTree_Load(EOS(STATIC_6337(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) :|: 0 <= 0 && matching1 = 0
f6337_0_createTree_Load(EOS(STATIC_6337(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) -> f6342_0_createTree_FieldAccess(EOS(STATIC_6342(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1831sub)) :|: TRUE
f6342_0_createTree_FieldAccess(EOS(STATIC_6342(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1965, o1964)), java.lang.Object(Tree(EOC, o1965, o1964))) -> f6347_0_createTree_FieldAccess(EOS(STATIC_6347(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1965, o1964)), java.lang.Object(Tree(EOC, o1965, o1964))) :|: TRUE
f6347_0_createTree_FieldAccess(EOS(STATIC_6347(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1965, o1964)), java.lang.Object(Tree(EOC, o1965, o1964))) -> f6352_0_createTree_NONNULL(EOS(STATIC_6352(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1965, o1964)), o1965) :|: TRUE
f6352_0_createTree_NONNULL(EOS(STATIC_6352(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub), o1964)), java.lang.Object(o1977sub)) -> f6357_0_createTree_NONNULL(EOS(STATIC_6357(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub), o1964)), java.lang.Object(o1977sub)) :|: TRUE
f6352_0_createTree_NONNULL(EOS(STATIC_6352(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), NULL) -> f6358_0_createTree_NONNULL(EOS(STATIC_6358(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), NULL) :|: TRUE
f6357_0_createTree_NONNULL(EOS(STATIC_6357(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub), o1964)), java.lang.Object(o1977sub)) -> f6364_0_createTree_Load(EOS(STATIC_6364(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub), o1964))) :|: TRUE
f6364_0_createTree_Load(EOS(STATIC_6364(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub), o1964))) -> f6371_0_createTree_FieldAccess(EOS(STATIC_6371(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub), o1964))) :|: TRUE
f6371_0_createTree_FieldAccess(EOS(STATIC_6371(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub), o1964))) -> f6378_0_createTree_Store(EOS(STATIC_6378(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) :|: TRUE
f6378_0_createTree_Store(EOS(STATIC_6378(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) -> f6385_0_createTree_Inc(EOS(STATIC_6385(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) :|: TRUE
f6385_0_createTree_Inc(EOS(STATIC_6385(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) -> f6389_0_createTree_JMP(EOS(STATIC_6389(java.lang.Object(ARRAY(i6)))), i1320 + -1, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) :|: TRUE
f6389_0_createTree_JMP(EOS(STATIC_6389(java.lang.Object(ARRAY(i6)))), i1472, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) -> f6397_0_createTree_Load(EOS(STATIC_6397(java.lang.Object(ARRAY(i6)))), i1472, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) :|: TRUE
f6397_0_createTree_Load(EOS(STATIC_6397(java.lang.Object(ARRAY(i6)))), i1472, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) -> f6247_0_createTree_Load(EOS(STATIC_6247(java.lang.Object(ARRAY(i6)))), i1472, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1977sub)) :|: TRUE
f6247_0_createTree_Load(EOS(STATIC_6247(java.lang.Object(ARRAY(i6)))), i1315, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) -> f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6)))), i1315, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1315) :|: TRUE
f6358_0_createTree_NONNULL(EOS(STATIC_6358(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), NULL) -> f6365_0_createTree_Load(EOS(STATIC_6365(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964))) :|: TRUE
f6365_0_createTree_Load(EOS(STATIC_6365(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964))) -> f6372_0_createTree_InvokeMethod(EOS(STATIC_6372(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964))) :|: TRUE
f6372_0_createTree_InvokeMethod(EOS(STATIC_6372(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964))) -> f6379_0_createNode_New(EOS(STATIC_6379(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964))) :|: TRUE
f6379_0_createNode_New(EOS(STATIC_6379(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964))) -> f6390_0_createNode_Duplicate(EOS(STATIC_6390(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6390_0_createNode_Duplicate(EOS(STATIC_6390(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6398_0_createNode_InvokeMethod(EOS(STATIC_6398(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6398_0_createNode_InvokeMethod(EOS(STATIC_6398(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6402_0__init__Load(EOS(STATIC_6402(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6402_0__init__Load(EOS(STATIC_6402(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6407_0__init__InvokeMethod(EOS(STATIC_6407(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6407_0__init__InvokeMethod(EOS(STATIC_6407(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6410_0__init__Return(EOS(STATIC_6410(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6410_0__init__Return(EOS(STATIC_6410(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6412_0_createNode_Store(EOS(STATIC_6412(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6412_0_createNode_Store(EOS(STATIC_6412(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6415_0_createNode_Load(EOS(STATIC_6415(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6415_0_createNode_Load(EOS(STATIC_6415(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6417_0_createNode_New(EOS(STATIC_6417(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6417_0_createNode_New(EOS(STATIC_6417(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6419_0_createNode_Duplicate(EOS(STATIC_6419(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6419_0_createNode_Duplicate(EOS(STATIC_6419(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6421_0_createNode_InvokeMethod(EOS(STATIC_6421(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f6421_0_createNode_InvokeMethod(EOS(STATIC_6421(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6423_0_createNode_FieldAccess(EOS(STATIC_6423(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6423_0_createNode_FieldAccess(EOS(STATIC_6423(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6425_0_createNode_Load(EOS(STATIC_6425(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6425_0_createNode_Load(EOS(STATIC_6425(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6427_0_createNode_Return(EOS(STATIC_6427(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6427_0_createNode_Return(EOS(STATIC_6427(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6429_0_createTree_FieldAccess(EOS(STATIC_6429(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6429_0_createTree_FieldAccess(EOS(STATIC_6429(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6431_0_createTree_FieldAccess(EOS(STATIC_6431(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6429_0_createTree_FieldAccess(EOS(STATIC_6429(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, NULL, o2124)), java.lang.Object(Tree(EOC, NULL, o2124)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6432_0_createTree_FieldAccess(EOS(STATIC_6432(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, NULL, o2124)), java.lang.Object(Tree(EOC, NULL, o2124)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6431_0_createTree_FieldAccess(EOS(STATIC_6431(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, NULL, o1964)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6435_0_createTree_Load(EOS(STATIC_6435(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829put, o1828put))) :|: TRUE
f6435_0_createTree_Load(EOS(STATIC_6435(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828))) -> f6439_0_createTree_Store(EOS(STATIC_6439(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6439_0_createTree_Store(EOS(STATIC_6439(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6443_0_createTree_JMP(EOS(STATIC_6443(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6443_0_createTree_JMP(EOS(STATIC_6443(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6447_0_createTree_Inc(EOS(STATIC_6447(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6447_0_createTree_Inc(EOS(STATIC_6447(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6451_0_createTree_JMP(EOS(STATIC_6451(java.lang.Object(ARRAY(i6)))), i1320 + -1, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6451_0_createTree_JMP(EOS(STATIC_6451(java.lang.Object(ARRAY(i6)))), i1528, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6453_0_createTree_Load(EOS(STATIC_6453(java.lang.Object(ARRAY(i6)))), i1528, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6453_0_createTree_Load(EOS(STATIC_6453(java.lang.Object(ARRAY(i6)))), i1528, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6247_0_createTree_Load(EOS(STATIC_6247(java.lang.Object(ARRAY(i6)))), i1528, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6432_0_createTree_FieldAccess(EOS(STATIC_6432(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, NULL, o2124)), java.lang.Object(Tree(EOC, NULL, o2124)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6436_0_createTree_Load(EOS(STATIC_6436(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) :|: TRUE
f6436_0_createTree_Load(EOS(STATIC_6436(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) -> f6440_0_createTree_Store(EOS(STATIC_6440(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) :|: TRUE
f6440_0_createTree_Store(EOS(STATIC_6440(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) -> f6444_0_createTree_JMP(EOS(STATIC_6444(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) :|: TRUE
f6444_0_createTree_JMP(EOS(STATIC_6444(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) -> f6448_0_createTree_Inc(EOS(STATIC_6448(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) :|: TRUE
f6448_0_createTree_Inc(EOS(STATIC_6448(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) -> f6449_0_createTree_Inc(EOS(STATIC_6449(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o2124))) :|: TRUE
f6449_0_createTree_Inc(EOS(STATIC_6449(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6447_0_createTree_Inc(EOS(STATIC_6447(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6334_0_createTree_LE(EOS(STATIC_6334(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), i1437) -> f6338_0_createTree_Load(EOS(STATIC_6338(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) :|: i1437 > 0
f6338_0_createTree_Load(EOS(STATIC_6338(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub)) -> f6343_0_createTree_FieldAccess(EOS(STATIC_6343(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1831sub), java.lang.Object(o1831sub)) :|: TRUE
f6343_0_createTree_FieldAccess(EOS(STATIC_6343(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, o1968)), java.lang.Object(Tree(EOC, o1969, o1968))) -> f6348_0_createTree_FieldAccess(EOS(STATIC_6348(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, o1968)), java.lang.Object(Tree(EOC, o1969, o1968))) :|: TRUE
f6348_0_createTree_FieldAccess(EOS(STATIC_6348(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, o1968)), java.lang.Object(Tree(EOC, o1969, o1968))) -> f6353_0_createTree_NONNULL(EOS(STATIC_6353(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, o1968)), o1968) :|: TRUE
f6353_0_createTree_NONNULL(EOS(STATIC_6353(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, java.lang.Object(o1978sub))), java.lang.Object(o1978sub)) -> f6359_0_createTree_NONNULL(EOS(STATIC_6359(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, java.lang.Object(o1978sub))), java.lang.Object(o1978sub)) :|: TRUE
f6353_0_createTree_NONNULL(EOS(STATIC_6353(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), NULL) -> f6360_0_createTree_NONNULL(EOS(STATIC_6360(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), NULL) :|: TRUE
f6359_0_createTree_NONNULL(EOS(STATIC_6359(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, java.lang.Object(o1978sub))), java.lang.Object(o1978sub)) -> f6366_0_createTree_Load(EOS(STATIC_6366(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, java.lang.Object(o1978sub)))) :|: TRUE
f6366_0_createTree_Load(EOS(STATIC_6366(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, java.lang.Object(o1978sub)))) -> f6373_0_createTree_FieldAccess(EOS(STATIC_6373(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, java.lang.Object(o1978sub)))) :|: TRUE
f6373_0_createTree_FieldAccess(EOS(STATIC_6373(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, java.lang.Object(o1978sub)))) -> f6380_0_createTree_Store(EOS(STATIC_6380(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1978sub)) :|: TRUE
f6380_0_createTree_Store(EOS(STATIC_6380(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1978sub)) -> f6386_0_createTree_JMP(EOS(STATIC_6386(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1978sub)) :|: TRUE
f6386_0_createTree_JMP(EOS(STATIC_6386(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1978sub)) -> f6391_0_createTree_Inc(EOS(STATIC_6391(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1978sub)) :|: TRUE
f6391_0_createTree_Inc(EOS(STATIC_6391(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1978sub)) -> f6385_0_createTree_Inc(EOS(STATIC_6385(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(o1978sub)) :|: TRUE
f6360_0_createTree_NONNULL(EOS(STATIC_6360(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), NULL) -> f6367_0_createTree_Load(EOS(STATIC_6367(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL))) :|: TRUE
f6367_0_createTree_Load(EOS(STATIC_6367(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL))) -> f6374_0_createTree_InvokeMethod(EOS(STATIC_6374(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL))) :|: TRUE
f6374_0_createTree_InvokeMethod(EOS(STATIC_6374(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL))) -> f6381_0_createNode_New(EOS(STATIC_6381(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL))) :|: TRUE
f6381_0_createNode_New(EOS(STATIC_6381(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL))) -> f6392_0_createNode_Duplicate(EOS(STATIC_6392(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6392_0_createNode_Duplicate(EOS(STATIC_6392(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6399_0_createNode_InvokeMethod(EOS(STATIC_6399(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6399_0_createNode_InvokeMethod(EOS(STATIC_6399(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6403_0__init__Load(EOS(STATIC_6403(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6403_0__init__Load(EOS(STATIC_6403(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6408_0__init__InvokeMethod(EOS(STATIC_6408(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6408_0__init__InvokeMethod(EOS(STATIC_6408(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6411_0__init__Return(EOS(STATIC_6411(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6411_0__init__Return(EOS(STATIC_6411(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6413_0_createNode_Store(EOS(STATIC_6413(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6413_0_createNode_Store(EOS(STATIC_6413(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6416_0_createNode_Load(EOS(STATIC_6416(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6416_0_createNode_Load(EOS(STATIC_6416(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6418_0_createNode_New(EOS(STATIC_6418(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6418_0_createNode_New(EOS(STATIC_6418(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6420_0_createNode_Duplicate(EOS(STATIC_6420(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6420_0_createNode_Duplicate(EOS(STATIC_6420(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6422_0_createNode_InvokeMethod(EOS(STATIC_6422(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) :|: TRUE
f6422_0_createNode_InvokeMethod(EOS(STATIC_6422(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC), java.lang.Object(EOC)) -> f6424_0_createNode_FieldAccess(EOS(STATIC_6424(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) :|: TRUE
f6424_0_createNode_FieldAccess(EOS(STATIC_6424(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(Tree(EOC, NULL, NULL)), java.lang.Object(EOC)) -> f6426_0_createNode_Load(EOS(STATIC_6426(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6426_0_createNode_Load(EOS(STATIC_6426(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6428_0_createNode_Return(EOS(STATIC_6428(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6428_0_createNode_Return(EOS(STATIC_6428(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6430_0_createTree_FieldAccess(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6430_0_createTree_FieldAccess(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6433_0_createTree_FieldAccess(EOS(STATIC_6433(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6430_0_createTree_FieldAccess(EOS(STATIC_6430(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, NULL)), java.lang.Object(Tree(EOC, o2133, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6434_0_createTree_FieldAccess(EOS(STATIC_6434(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, NULL)), java.lang.Object(Tree(EOC, o2133, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) :|: TRUE
f6433_0_createTree_FieldAccess(EOS(STATIC_6433(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1969, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6437_0_createTree_Load(EOS(STATIC_6437(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829put, o1828put))) :|: TRUE
f6437_0_createTree_Load(EOS(STATIC_6437(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828))) -> f6441_0_createTree_Store(EOS(STATIC_6441(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6441_0_createTree_Store(EOS(STATIC_6441(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6445_0_createTree_JMP(EOS(STATIC_6445(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6445_0_createTree_JMP(EOS(STATIC_6445(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) -> f6449_0_createTree_Inc(EOS(STATIC_6449(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o1829, o1828)), java.lang.Object(Tree(EOC, o1829, o1828))) :|: TRUE
f6434_0_createTree_FieldAccess(EOS(STATIC_6434(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, NULL)), java.lang.Object(Tree(EOC, o2133, NULL)), java.lang.Object(Tree(EOC, NULL, NULL))) -> f6438_0_createTree_Load(EOS(STATIC_6438(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f6438_0_createTree_Load(EOS(STATIC_6438(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6442_0_createTree_Store(EOS(STATIC_6442(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f6442_0_createTree_Store(EOS(STATIC_6442(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6446_0_createTree_JMP(EOS(STATIC_6446(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f6446_0_createTree_JMP(EOS(STATIC_6446(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6450_0_createTree_Inc(EOS(STATIC_6450(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f6450_0_createTree_Inc(EOS(STATIC_6450(java.lang.Object(ARRAY(i6)))), i1320, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6452_0_createTree_JMP(EOS(STATIC_6452(java.lang.Object(ARRAY(i6)))), i1320 + -1, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f6452_0_createTree_JMP(EOS(STATIC_6452(java.lang.Object(ARRAY(i6)))), i1530, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6454_0_createTree_Load(EOS(STATIC_6454(java.lang.Object(ARRAY(i6)))), i1530, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
f6454_0_createTree_Load(EOS(STATIC_6454(java.lang.Object(ARRAY(i6)))), i1530, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) -> f6247_0_createTree_Load(EOS(STATIC_6247(java.lang.Object(ARRAY(i6)))), i1530, java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o2133, java.lang.Object(Tree(EOC, NULL, NULL))))) :|: TRUE
Combined rules. Obtained 6 IRulesP rules:
f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0, java.lang.Object(Tree(EOC, o1829:0, o1828:0)), java.lang.Object(Tree(EOC, java.lang.Object(o1977sub:0), o1964:0)), i1320:0) -> f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0 - 1, java.lang.Object(Tree(EOC, o1829:0, o1828:0)), java.lang.Object(o1977sub:0), i1320:0 - 1) :|: i1320:0 > 0
f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0, java.lang.Object(Tree(EOC, NULL, o1828:0)), java.lang.Object(Tree(EOC, NULL, o1828:0)), i1320:0) -> f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0 - 1, java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o1828:0)), java.lang.Object(Tree(EOC, java.lang.Object(Tree(EOC, NULL, NULL)), o1828:0)), i1320:0 - 1) :|: i1320:0 > 0
f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0, java.lang.Object(Tree(EOC, o1829:0, o1828:0)), java.lang.Object(Tree(EOC, NULL, o1964:0)), i1320:0) -> f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0 - 1, java.lang.Object(Tree(EOC, o1829put:0, o1828put:0)), java.lang.Object(Tree(EOC, o1829put:0, o1828put:0)), i1320:0 - 1) :|: i1320:0 > 0
f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0, java.lang.Object(Tree(EOC, o1829:0, o1828:0)), java.lang.Object(Tree(EOC, o1969:0, NULL)), i1320:0) -> f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0 - 1, java.lang.Object(Tree(EOC, o1829put:0, o1828put:0)), java.lang.Object(Tree(EOC, o1829put:0, o1828put:0)), i1320:0 - 1) :|: i1320:0 > 0 && i1415:0 > 0
f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0, java.lang.Object(Tree(EOC, o1829:0, NULL)), java.lang.Object(Tree(EOC, o1829:0, NULL)), i1320:0) -> f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0 - 1, java.lang.Object(Tree(EOC, o1829:0, java.lang.Object(Tree(EOC, NULL, NULL)))), java.lang.Object(Tree(EOC, o1829:0, java.lang.Object(Tree(EOC, NULL, NULL)))), i1320:0 - 1) :|: i1320:0 > 0 && i1415:0 > 0
f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0, java.lang.Object(Tree(EOC, o1829:0, o1828:0)), java.lang.Object(Tree(EOC, o1969:0, java.lang.Object(o1978sub:0))), i1320:0) -> f6248_0_createTree_LE(EOS(STATIC_6248(java.lang.Object(ARRAY(i6:0)))), i1320:0 - 1, java.lang.Object(Tree(EOC, o1829:0, o1828:0)), java.lang.Object(o1978sub:0), i1320:0 - 1) :|: i1320:0 > 0 && i1415:0 > 0
Filtered constant ground arguments:
   Tree(x1, x2, x3) -> Tree(x2, x3)
Filtered duplicate arguments:
   f6248_0_createTree_LE(x1, x2, x3, x4, x5) -> f6248_0_createTree_LE(x1, x3, x4, x5)
Filtered unneeded arguments:
   f6248_0_createTree_LE(x1, x2, x3, x4) -> f6248_0_createTree_LE(x2, x3, x4)
Finished conversion. Obtained 6 rules.P rules:
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(java.lang.Object(o1977sub:0), o1964:0)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(o1977sub:0), i1320:0 - 1) :|: i1320:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(NULL, o1828:0)), java.lang.Object(Tree(NULL, o1828:0)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1828:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), o1828:0)), i1320:0 - 1) :|: i1320:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(NULL, o1964:0)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829put:0, o1828put:0)), java.lang.Object(Tree(o1829put:0, o1828put:0)), i1320:0 - 1) :|: i1320:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(o1969:0, NULL)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829put:0, o1828put:0)), java.lang.Object(Tree(o1829put:0, o1828put:0)), i1320:0 - 1) :|: i1320:0 > 0 && i1415:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, NULL)), java.lang.Object(Tree(o1829:0, NULL)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(o1829:0, java.lang.Object(Tree(NULL, NULL)))), i1320:0 - 1) :|: i1320:0 > 0 && i1415:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(o1969:0, java.lang.Object(o1978sub:0))), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(o1978sub:0), i1320:0 - 1) :|: i1320:0 > 0 && i1415:0 > 0

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

(14)
Obligation:
Rules:
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(java.lang.Object(o1977sub:0), o1964:0)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(o1977sub:0), i1320:0 - 1) :|: i1320:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(NULL, x)), java.lang.Object(Tree(NULL, x)), x1) -> f6248_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x)), x1 - 1) :|: x1 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x2, x3)), java.lang.Object(Tree(NULL, x4)), x5) -> f6248_0_createTree_LE(java.lang.Object(Tree(x6, x7)), java.lang.Object(Tree(x6, x7)), x5 - 1) :|: x5 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x8, x9)), java.lang.Object(Tree(x10, NULL)), x11) -> f6248_0_createTree_LE(java.lang.Object(Tree(x12, x13)), java.lang.Object(Tree(x12, x13)), x11 - 1) :|: x11 > 0 && x14 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x15, NULL)), java.lang.Object(Tree(x15, NULL)), x16) -> f6248_0_createTree_LE(java.lang.Object(Tree(x15, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x15, java.lang.Object(Tree(NULL, NULL)))), x16 - 1) :|: x16 > 0 && x17 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x18, x19)), java.lang.Object(Tree(x20, java.lang.Object(x21))), x22) -> f6248_0_createTree_LE(java.lang.Object(Tree(x18, x19)), java.lang.Object(x21), x22 - 1) :|: x22 > 0 && x23 > 0

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

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

(16)
Obligation:
Rules:
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(java.lang.Object(o1977sub:0), o1964:0)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(o1977sub:0), arith) :|: i1320:0 > 0 && arith = i1320:0 - 1
f6248_0_createTree_LE(java.lang.Object(Tree(NULL, x24)), java.lang.Object(Tree(NULL, x24)), x25) -> f6248_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24)), x26) :|: x25 > 0 && x26 = x25 - 1
f6248_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(NULL, x29)), x30) -> f6248_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x31, x32)), x33) :|: x30 > 0 && x33 = x30 - 1
f6248_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(x36, NULL)), x37) -> f6248_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x38, x39)), x40) :|: x37 > 0 && x41 > 0 && x40 = x37 - 1
f6248_0_createTree_LE(java.lang.Object(Tree(x42, NULL)), java.lang.Object(Tree(x42, NULL)), x43) -> f6248_0_createTree_LE(java.lang.Object(Tree(x42, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x42, java.lang.Object(Tree(NULL, NULL)))), x44) :|: x43 > 0 && x45 > 0 && x44 = x43 - 1
f6248_0_createTree_LE(java.lang.Object(Tree(x46, x47)), java.lang.Object(Tree(x48, java.lang.Object(x49))), x50) -> f6248_0_createTree_LE(java.lang.Object(Tree(x46, x47)), java.lang.Object(x49), x51) :|: x50 > 0 && x52 > 0 && x51 = x50 - 1

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

(17) IRSwTTerminationDigraphProof (EQUIVALENT)
Constructed termination digraph!
Nodes:
(1) f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(java.lang.Object(o1977sub:0), o1964:0)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(o1977sub:0), arith) :|: i1320:0 > 0 && arith = i1320:0 - 1
(2) f6248_0_createTree_LE(java.lang.Object(Tree(NULL, x24)), java.lang.Object(Tree(NULL, x24)), x25) -> f6248_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24)), x26) :|: x25 > 0 && x26 = x25 - 1
(3) f6248_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(NULL, x29)), x30) -> f6248_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x31, x32)), x33) :|: x30 > 0 && x33 = x30 - 1
(4) f6248_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(x36, NULL)), x37) -> f6248_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x38, x39)), x40) :|: x37 > 0 && x41 > 0 && x40 = x37 - 1
(5) f6248_0_createTree_LE(java.lang.Object(Tree(x42, NULL)), java.lang.Object(Tree(x42, NULL)), x43) -> f6248_0_createTree_LE(java.lang.Object(Tree(x42, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x42, java.lang.Object(Tree(NULL, NULL)))), x44) :|: x43 > 0 && x45 > 0 && x44 = x43 - 1
(6) f6248_0_createTree_LE(java.lang.Object(Tree(x46, x47)), java.lang.Object(Tree(x48, java.lang.Object(x49))), x50) -> f6248_0_createTree_LE(java.lang.Object(Tree(x46, x47)), java.lang.Object(x49), x51) :|: x50 > 0 && x52 > 0 && x51 = x50 - 1

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

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

(18)
Obligation:

Termination digraph:
Nodes:
(1) f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(Tree(java.lang.Object(o1977sub:0), o1964:0)), i1320:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0, o1828:0)), java.lang.Object(o1977sub:0), arith) :|: i1320:0 > 0 && arith = i1320:0 - 1
(2) f6248_0_createTree_LE(java.lang.Object(Tree(NULL, x24)), java.lang.Object(Tree(NULL, x24)), x25) -> f6248_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24)), x26) :|: x25 > 0 && x26 = x25 - 1
(3) f6248_0_createTree_LE(java.lang.Object(Tree(x27, x28)), java.lang.Object(Tree(NULL, x29)), x30) -> f6248_0_createTree_LE(java.lang.Object(Tree(x31, x32)), java.lang.Object(Tree(x31, x32)), x33) :|: x30 > 0 && x33 = x30 - 1
(4) f6248_0_createTree_LE(java.lang.Object(Tree(x34, x35)), java.lang.Object(Tree(x36, NULL)), x37) -> f6248_0_createTree_LE(java.lang.Object(Tree(x38, x39)), java.lang.Object(Tree(x38, x39)), x40) :|: x37 > 0 && x41 > 0 && x40 = x37 - 1
(5) f6248_0_createTree_LE(java.lang.Object(Tree(x46, x47)), java.lang.Object(Tree(x48, java.lang.Object(x49))), x50) -> f6248_0_createTree_LE(java.lang.Object(Tree(x46, x47)), java.lang.Object(x49), x51) :|: x50 > 0 && x52 > 0 && x51 = x50 - 1
(6) f6248_0_createTree_LE(java.lang.Object(Tree(x42, NULL)), java.lang.Object(Tree(x42, NULL)), x43) -> f6248_0_createTree_LE(java.lang.Object(Tree(x42, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x42, java.lang.Object(Tree(NULL, NULL)))), x44) :|: x43 > 0 && x45 > 0 && x44 = x43 - 1

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

This digraph is fully evaluated!

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

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

(20)
Obligation:
Rules:
f6248_0_createTree_LE(java.lang.Object(Tree(NULL, x24:0)), java.lang.Object(Tree(NULL, x24:0)), x25:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24:0)), java.lang.Object(Tree(java.lang.Object(Tree(NULL, NULL)), x24:0)), x25:0 - 1) :|: x25:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x34:0, x35:0)), java.lang.Object(Tree(x36:0, NULL)), x37:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(x38:0, x39:0)), java.lang.Object(Tree(x38:0, x39:0)), x37:0 - 1) :|: x37:0 > 0 && x41:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x46:0, x47:0)), java.lang.Object(Tree(x48:0, java.lang.Object(x49:0))), x50:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(x46:0, x47:0)), java.lang.Object(x49:0), x50:0 - 1) :|: x50:0 > 0 && x52:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x42:0, NULL)), java.lang.Object(Tree(x42:0, NULL)), x43:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(x42:0, java.lang.Object(Tree(NULL, NULL)))), java.lang.Object(Tree(x42:0, java.lang.Object(Tree(NULL, NULL)))), x43:0 - 1) :|: x43:0 > 0 && x45:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(x27:0, x28:0)), java.lang.Object(Tree(NULL, x29:0)), x30:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(x31:0, x32:0)), java.lang.Object(Tree(x31:0, x32:0)), x30:0 - 1) :|: x30:0 > 0
f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0:0, o1828:0:0)), java.lang.Object(Tree(java.lang.Object(o1977sub:0:0), o1964:0:0)), i1320:0:0) -> f6248_0_createTree_LE(java.lang.Object(Tree(o1829:0:0, o1828:0:0)), java.lang.Object(o1977sub:0:0), i1320:0:0 - 1) :|: i1320:0:0 > 0

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

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

(22)
Obligation:
Rules:
f6248_0_createTree_LE(c, c1, x25:0) -> f6248_0_createTree_LE(c2, c3, c4) :|: c4 = x25:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x25:0 > 0
f6248_0_createTree_LE(c5, c6, x37:0) -> f6248_0_createTree_LE(c7, c8, c9) :|: c9 = x37:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x37:0 > 0 && x41:0 > 0)

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

(23) RankingReductionPairProof (EQUIVALENT)
Interpretation:
[ f6248_0_createTree_LE ] = f6248_0_createTree_LE_3

The following rules are decreasing:
f6248_0_createTree_LE(c, c1, x25:0) -> f6248_0_createTree_LE(c2, c3, c4) :|: c4 = x25:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x25:0 > 0
f6248_0_createTree_LE(c5, c6, x37:0) -> f6248_0_createTree_LE(c7, c8, c9) :|: c9 = x37:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x37:0 > 0 && x41:0 > 0)

The following rules are bounded:
f6248_0_createTree_LE(c, c1, x25:0) -> f6248_0_createTree_LE(c2, c3, c4) :|: c4 = x25:0 - 1 && (c3 = 0 && (c2 = 0 && (c1 = 0 && c = 0))) && x25:0 > 0
f6248_0_createTree_LE(c5, c6, x37:0) -> f6248_0_createTree_LE(c7, c8, c9) :|: c9 = x37:0 - 1 && (c8 = 0 && (c7 = 0 && (c6 = 0 && c5 = 0))) && (x37:0 > 0 && x41:0 > 0)


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

(24)
YES