WORST_CASE(INF,?)

### Pre-processing the ITS problem ###

Initial linear ITS problem
   Start location: __init
      0: f1_0_main_Load -> f392_0_createList_GT : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg3P_1, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1>0 && 0==arg2 && 0==arg1P_1 && 0==arg2P_1 && 0==arg3P_1 ], cost: 1
      1: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1 && arg2>0 && arg1>0 && arg1P_2>0 && 0==arg2P_2 ], cost: 1
      2: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2>0 && arg1P_3<=arg1 && arg1>0 && arg1P_3>0 ], cost: 1
      4: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1 && arg1>0 && arg1P_5>-1 && 0==arg2 ], cost: 1
      6: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1 && arg1>0 && arg1P_7>1 && 0==arg2 ], cost: 1
     12: f392_0_createList_GT -> f392_0_createList_GT : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>-1 && -1+arg1<arg1 && arg3>=arg2 && -1+arg1==arg1P_13 && arg2==arg2P_13 && arg3==arg3P_13 ], cost: 1
     13: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, arg5'=arg5P_14, [ arg1>0 && arg2>-1 && arg3>-1 && arg3<arg2 && arg1==arg1P_14 && -1+arg1==arg2P_14 && arg2==arg3P_14 && 1+arg3==arg4P_14 ], cost: 1
     14: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, arg5'=arg5P_15, [ arg1>0 && arg2>-1 && arg3<arg2 && x54_1>-1 && arg3>-1 && arg1==arg1P_15 && -1+arg1==arg2P_15 && arg2==arg3P_15 && 1+arg3==arg4P_15 ], cost: 1
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 && arg2==arg1P_4 && 1==arg3P_4 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && x195_1>0 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
      7: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg1 && x18_1>0 && arg1>0 && arg1P_8>0 && arg2P_8>2 && 0==arg3P_8 ], cost: 1
      8: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9<=arg1 && x23_1>0 && arg1>0 && arg1P_9>0 && arg2P_9>2 ], cost: 1
      9: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1P_10<=arg1 && x29_1>0 && arg1>0 && arg1P_10>0 && arg2P_10>1 ], cost: 1
     10: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, arg5'=arg5P_11, [ arg1P_11<=arg1 && x35_1>0 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 && 0==arg3P_11 ], cost: 1
     16: f730_0_quicksort_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 1+arg2P_17<=arg1 && arg1>0 && arg2P_17>-1 && 2+arg1P_17<=arg1 ], cost: 1
     17: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg2P_18<=arg1 && arg1>1 && arg2P_18>-1 && 2+arg1P_18<=arg1 ], cost: 1
     18: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 ], cost: 1
     19: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 ], cost: 1
     11: f703_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg2 && x40_1>0 && arg1>0 && arg2>0 && arg1P_12>0 && 2+arg3<=arg2 ], cost: 1
     15: f501_0_createList_InvokeMethod -> f392_0_createList_GT : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg4>0 && arg3>0 && arg4<=arg3 && arg2<arg1 && arg2==arg1P_16 && arg3==arg2P_16 && arg4==arg3P_16 ], cost: 1
     23: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_24, arg2'=arg2P_24, arg3'=arg3P_24, arg4'=arg4P_24, arg5'=arg5P_24, [ 1+arg2P_24<=arg2 && x105_1>arg1 && arg2>0 && arg2P_24>-1 && arg1==arg1P_24 && arg3==arg3P_24 ], cost: 1
     24: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_25, arg2'=arg2P_25, arg3'=arg3P_25, arg4'=arg4P_25, arg5'=arg5P_25, [ 1+arg2P_25<=arg2 && x110_1<=arg1 && arg2>0 && arg2P_25>-1 && arg1==arg1P_25 && arg3==arg3P_25 ], cost: 1
     25: f790_0_sortedLow_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_26<=arg2 && x115_1<=arg1 && arg2>1 && arg1P_26>1 ], cost: 1
     26: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_27, arg4'=arg4P_27, arg5'=arg5P_27, [ arg1P_27<=arg2 && arg5P_27<=arg1 && arg2P_27<=arg2 && arg2>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2 && 4+arg4P_27<=arg2 && arg3==arg3P_27 ], cost: 1
     27: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_28, arg4'=arg4P_28, arg5'=arg5P_28, [ arg1P_28<=arg2 && arg5P_28<=arg1 && arg2P_28<=arg2 && arg2>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2 && 4+arg4P_28<=arg2 && arg3==arg3P_28 ], cost: 1
     29: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_30, arg2'=arg2P_30, arg3'=arg3P_30, arg4'=arg4P_30, arg5'=arg5P_30, [ 1+arg2P_30<=arg2 && x140_1<=arg1 && arg2>0 && arg2P_30>-1 && arg1==arg1P_30 && arg3==arg3P_30 ], cost: 1
     30: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_31, arg2'=arg2P_31, arg3'=arg3P_31, arg4'=arg4P_31, arg5'=arg5P_31, [ 1+arg2P_31<=arg2 && x145_1>arg1 && arg2>0 && arg2P_31>-1 && arg1==arg1P_31 && arg3==arg3P_31 ], cost: 1
     31: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_32, arg2'=arg2P_32, arg3'=arg3P_32, arg4'=arg4P_32, arg5'=arg5P_32, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 && arg3==arg3P_32 ], cost: 1
     32: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_33, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, arg5'=arg5P_33, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 && arg3==arg3P_33 ], cost: 1
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && x164_1>arg1 && arg2>1 && arg1P_34>1 ], cost: 1
     35: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_36, arg2'=arg2P_36, arg3'=arg3P_36, arg4'=arg4P_36, arg5'=arg5P_36, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 && arg3==arg3P_36 ], cost: 1
     36: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_37, arg2'=arg2P_37, arg3'=arg3P_37, arg4'=arg4P_37, arg5'=arg5P_37, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 && arg3==arg3P_37 ], cost: 1
     20: f1000_0_quicksort_InvokeMethod -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [ 2+arg2P_21<=arg1 && arg2P_21<=arg2 && arg1>2 && arg2>0 && arg2P_21>0 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 && arg4==arg1P_21 && arg3==arg3P_21 ], cost: 1
     21: f1000_0_quicksort_InvokeMethod -> f1287_0_quicksort_InvokeMethod : arg1'=arg1P_22, arg2'=arg2P_22, arg3'=arg3P_22, arg4'=arg4P_22, arg5'=arg5P_22, [ arg1P_22<=arg1 && arg1>4 && arg2>2 && arg1P_22>4 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 ], cost: 1
     22: f1000_0_quicksort_InvokeMethod -> f1287_0_quicksort_InvokeMethod : arg1'=arg1P_23, arg2'=arg2P_23, arg3'=arg3P_23, arg4'=arg4P_23, arg5'=arg5P_23, [ arg1P_23<=arg1 && arg1>3 && arg2>1 && arg1P_23>3 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 ], cost: 1
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     34: f1232_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_35<=arg1 && arg1P_35<=arg2 && arg1>2 && arg2>1 && arg1P_35>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     37: f1309_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_38<=arg1 && arg1P_38<=arg2 && arg1>2 && arg2>1 && arg1P_38>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     38: __init -> f1_0_main_Load : arg1'=arg1P_39, arg2'=arg2P_39, arg3'=arg3P_39, arg4'=arg4P_39, arg5'=arg5P_39, [], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     38: __init -> f1_0_main_Load : arg1'=arg1P_39, arg2'=arg2P_39, arg3'=arg3P_39, arg4'=arg4P_39, arg5'=arg5P_39, [], cost: 1

Removed unreachable and leaf rules:
   Start location: __init
      0: f1_0_main_Load -> f392_0_createList_GT : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg3P_1, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1>0 && 0==arg2 && 0==arg1P_1 && 0==arg2P_1 && 0==arg3P_1 ], cost: 1
      1: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1 && arg2>0 && arg1>0 && arg1P_2>0 && 0==arg2P_2 ], cost: 1
      2: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2>0 && arg1P_3<=arg1 && arg1>0 && arg1P_3>0 ], cost: 1
      4: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1 && arg1>0 && arg1P_5>-1 && 0==arg2 ], cost: 1
      6: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1 && arg1>0 && arg1P_7>1 && 0==arg2 ], cost: 1
     12: f392_0_createList_GT -> f392_0_createList_GT : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>-1 && -1+arg1<arg1 && arg3>=arg2 && -1+arg1==arg1P_13 && arg2==arg2P_13 && arg3==arg3P_13 ], cost: 1
     13: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, arg5'=arg5P_14, [ arg1>0 && arg2>-1 && arg3>-1 && arg3<arg2 && arg1==arg1P_14 && -1+arg1==arg2P_14 && arg2==arg3P_14 && 1+arg3==arg4P_14 ], cost: 1
     14: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, arg5'=arg5P_15, [ arg1>0 && arg2>-1 && arg3<arg2 && x54_1>-1 && arg3>-1 && arg1==arg1P_15 && -1+arg1==arg2P_15 && arg2==arg3P_15 && 1+arg3==arg4P_15 ], cost: 1
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 && arg2==arg1P_4 && 1==arg3P_4 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && x195_1>0 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
      7: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg1 && x18_1>0 && arg1>0 && arg1P_8>0 && arg2P_8>2 && 0==arg3P_8 ], cost: 1
      8: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9<=arg1 && x23_1>0 && arg1>0 && arg1P_9>0 && arg2P_9>2 ], cost: 1
      9: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1P_10<=arg1 && x29_1>0 && arg1>0 && arg1P_10>0 && arg2P_10>1 ], cost: 1
     10: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, arg5'=arg5P_11, [ arg1P_11<=arg1 && x35_1>0 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 && 0==arg3P_11 ], cost: 1
     16: f730_0_quicksort_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 1+arg2P_17<=arg1 && arg1>0 && arg2P_17>-1 && 2+arg1P_17<=arg1 ], cost: 1
     17: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg2P_18<=arg1 && arg1>1 && arg2P_18>-1 && 2+arg1P_18<=arg1 ], cost: 1
     18: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 ], cost: 1
     19: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 ], cost: 1
     11: f703_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg2 && x40_1>0 && arg1>0 && arg2>0 && arg1P_12>0 && 2+arg3<=arg2 ], cost: 1
     15: f501_0_createList_InvokeMethod -> f392_0_createList_GT : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg4>0 && arg3>0 && arg4<=arg3 && arg2<arg1 && arg2==arg1P_16 && arg3==arg2P_16 && arg4==arg3P_16 ], cost: 1
     23: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_24, arg2'=arg2P_24, arg3'=arg3P_24, arg4'=arg4P_24, arg5'=arg5P_24, [ 1+arg2P_24<=arg2 && x105_1>arg1 && arg2>0 && arg2P_24>-1 && arg1==arg1P_24 && arg3==arg3P_24 ], cost: 1
     24: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_25, arg2'=arg2P_25, arg3'=arg3P_25, arg4'=arg4P_25, arg5'=arg5P_25, [ 1+arg2P_25<=arg2 && x110_1<=arg1 && arg2>0 && arg2P_25>-1 && arg1==arg1P_25 && arg3==arg3P_25 ], cost: 1
     25: f790_0_sortedLow_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_26<=arg2 && x115_1<=arg1 && arg2>1 && arg1P_26>1 ], cost: 1
     26: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_27, arg4'=arg4P_27, arg5'=arg5P_27, [ arg1P_27<=arg2 && arg5P_27<=arg1 && arg2P_27<=arg2 && arg2>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2 && 4+arg4P_27<=arg2 && arg3==arg3P_27 ], cost: 1
     27: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_28, arg4'=arg4P_28, arg5'=arg5P_28, [ arg1P_28<=arg2 && arg5P_28<=arg1 && arg2P_28<=arg2 && arg2>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2 && 4+arg4P_28<=arg2 && arg3==arg3P_28 ], cost: 1
     29: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_30, arg2'=arg2P_30, arg3'=arg3P_30, arg4'=arg4P_30, arg5'=arg5P_30, [ 1+arg2P_30<=arg2 && x140_1<=arg1 && arg2>0 && arg2P_30>-1 && arg1==arg1P_30 && arg3==arg3P_30 ], cost: 1
     30: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_31, arg2'=arg2P_31, arg3'=arg3P_31, arg4'=arg4P_31, arg5'=arg5P_31, [ 1+arg2P_31<=arg2 && x145_1>arg1 && arg2>0 && arg2P_31>-1 && arg1==arg1P_31 && arg3==arg3P_31 ], cost: 1
     31: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_32, arg2'=arg2P_32, arg3'=arg3P_32, arg4'=arg4P_32, arg5'=arg5P_32, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 && arg3==arg3P_32 ], cost: 1
     32: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_33, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, arg5'=arg5P_33, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 && arg3==arg3P_33 ], cost: 1
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && x164_1>arg1 && arg2>1 && arg1P_34>1 ], cost: 1
     35: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_36, arg2'=arg2P_36, arg3'=arg3P_36, arg4'=arg4P_36, arg5'=arg5P_36, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 && arg3==arg3P_36 ], cost: 1
     36: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_37, arg2'=arg2P_37, arg3'=arg3P_37, arg4'=arg4P_37, arg5'=arg5P_37, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 && arg3==arg3P_37 ], cost: 1
     20: f1000_0_quicksort_InvokeMethod -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, arg5'=arg5P_21, [ 2+arg2P_21<=arg1 && arg2P_21<=arg2 && arg1>2 && arg2>0 && arg2P_21>0 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 && arg4==arg1P_21 && arg3==arg3P_21 ], cost: 1
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     34: f1232_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_35<=arg1 && arg1P_35<=arg2 && arg1>2 && arg2>1 && arg1P_35>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     37: f1309_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_38<=arg1 && arg1P_38<=arg2 && arg1>2 && arg2>1 && arg1P_38>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     38: __init -> f1_0_main_Load : arg1'=arg1P_39, arg2'=arg2P_39, arg3'=arg3P_39, arg4'=arg4P_39, arg5'=arg5P_39, [], cost: 1

Simplified all rules, resulting in:
   Start location: __init
      0: f1_0_main_Load -> f392_0_createList_GT : arg1'=0, arg2'=0, arg3'=0, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1>0 && 0==arg2 ], cost: 1
      1: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1 && arg2>0 && arg1>0 && arg1P_2>0 ], cost: 1
      2: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2>0 && arg1P_3<=arg1 && arg1>0 && arg1P_3>0 ], cost: 1
      4: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1 && arg1>0 && arg1P_5>-1 && 0==arg2 ], cost: 1
      6: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1 && arg1>0 && arg1P_7>1 && 0==arg2 ], cost: 1
     12: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>-1 && arg3>=arg2 ], cost: 1
     13: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg2'=-1+arg1, arg3'=arg2, arg4'=1+arg3, arg5'=arg5P_14, [ arg1>0 && arg3>-1 && arg3<arg2 ], cost: 1
     14: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg2'=-1+arg1, arg3'=arg2, arg4'=1+arg3, arg5'=arg5P_15, [ arg1>0 && arg3<arg2 && arg3>-1 ], cost: 1
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg2P_4, arg3'=1, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
      7: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=0, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 ], cost: 1
      8: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 ], cost: 1
      9: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 ], cost: 1
     10: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=0, arg4'=arg4P_11, arg5'=arg5P_11, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 ], cost: 1
     16: f730_0_quicksort_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 1+arg2P_17<=arg1 && arg1>0 && arg2P_17>-1 && 2+arg1P_17<=arg1 ], cost: 1
     17: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg2P_18<=arg1 && arg1>1 && arg2P_18>-1 && 2+arg1P_18<=arg1 ], cost: 1
     18: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 ], cost: 1
     19: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 ], cost: 1
     11: f703_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg2 && arg1>0 && arg2>0 && arg1P_12>0 && 2+arg3<=arg2 ], cost: 1
     15: f501_0_createList_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg3, arg3'=arg4, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg4>0 && arg3>0 && arg4<=arg3 && arg2<arg1 ], cost: 1
     23: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg2'=arg2P_24, arg4'=arg4P_24, arg5'=arg5P_24, [ 1+arg2P_24<=arg2 && arg2>0 && arg2P_24>-1 ], cost: 1
     24: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg2'=arg2P_25, arg4'=arg4P_25, arg5'=arg5P_25, [ 1+arg2P_25<=arg2 && arg2>0 && arg2P_25>-1 ], cost: 1
     25: f790_0_sortedLow_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_26<=arg2 && arg2>1 && arg1P_26>1 ], cost: 1
     26: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg4'=arg4P_27, arg5'=arg5P_27, [ arg1P_27<=arg2 && arg5P_27<=arg1 && arg2P_27<=arg2 && arg2>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2 && 4+arg4P_27<=arg2 ], cost: 1
     27: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg4'=arg4P_28, arg5'=arg5P_28, [ arg1P_28<=arg2 && arg5P_28<=arg1 && arg2P_28<=arg2 && arg2>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2 && 4+arg4P_28<=arg2 ], cost: 1
     29: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg2'=arg2P_30, arg4'=arg4P_30, arg5'=arg5P_30, [ 1+arg2P_30<=arg2 && arg2>0 && arg2P_30>-1 ], cost: 1
     30: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg2'=arg2P_31, arg4'=arg4P_31, arg5'=arg5P_31, [ 1+arg2P_31<=arg2 && arg2>0 && arg2P_31>-1 ], cost: 1
     31: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_32, arg2'=arg2P_32, arg4'=arg4P_32, arg5'=arg5P_32, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 ], cost: 1
     32: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_33, arg2'=arg2P_33, arg4'=arg4P_33, arg5'=arg5P_33, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 ], cost: 1
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     35: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_36, arg2'=arg2P_36, arg4'=arg4P_36, arg5'=arg5P_36, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 ], cost: 1
     36: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_37, arg2'=arg2P_37, arg4'=arg4P_37, arg5'=arg5P_37, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 ], cost: 1
     20: f1000_0_quicksort_InvokeMethod -> f1140_0_sortedHigh_NONNULL : arg1'=arg4, arg2'=arg2P_21, arg4'=arg4P_21, arg5'=arg5P_21, [ 2+arg2P_21<=arg1 && arg2P_21<=arg2 && arg1>2 && arg2>0 && arg2P_21>0 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 ], cost: 1
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     34: f1232_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_35<=arg1 && arg1P_35<=arg2 && arg1>2 && arg2>1 && arg1P_35>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     37: f1309_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_38<=arg1 && arg1P_38<=arg2 && arg1>2 && arg2>1 && arg1P_38>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     38: __init -> f1_0_main_Load : arg1'=arg1P_39, arg2'=arg2P_39, arg3'=arg3P_39, arg4'=arg4P_39, arg5'=arg5P_39, [], cost: 1

### Simplification by acceleration and chaining ###

Accelerating simple loops of location 1.
   Accelerating the following rules:
     12: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>-1 && arg3>=arg2 ], cost: 1

   Accelerated rule 12 with metering function arg1, yielding the new rule 39.
   Removing the simple loops: 12.

Accelerating simple loops of location 6.
   Accelerating the following rules:
     23: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg2'=arg2P_24, arg4'=arg4P_24, arg5'=arg5P_24, [ 1+arg2P_24<=arg2 && arg2>0 && arg2P_24>-1 ], cost: 1
     24: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg2'=arg2P_25, arg4'=arg4P_25, arg5'=arg5P_25, [ 1+arg2P_25<=arg2 && arg2>0 && arg2P_25>-1 ], cost: 1

      During metering: Instantiating temporary variables by {arg2P_24==-1+arg2}
   Accelerated rule 23 with metering function arg2, yielding the new rule 40.
      During metering: Instantiating temporary variables by {arg2P_25==-1+arg2}
   Accelerated rule 24 with metering function arg2, yielding the new rule 41.
   Removing the simple loops: 23 24.

Accelerating simple loops of location 7.
   Accelerating the following rules:
     29: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg2'=arg2P_30, arg4'=arg4P_30, arg5'=arg5P_30, [ 1+arg2P_30<=arg2 && arg2>0 && arg2P_30>-1 ], cost: 1
     30: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg2'=arg2P_31, arg4'=arg4P_31, arg5'=arg5P_31, [ 1+arg2P_31<=arg2 && arg2>0 && arg2P_31>-1 ], cost: 1

      During metering: Instantiating temporary variables by {arg2P_30==-1+arg2}
   Accelerated rule 29 with metering function arg2, yielding the new rule 42.
      During metering: Instantiating temporary variables by {arg2P_31==-1+arg2}
   Accelerated rule 30 with metering function arg2, yielding the new rule 43.
   Removing the simple loops: 29 30.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
      0: f1_0_main_Load -> f392_0_createList_GT : arg1'=0, arg2'=0, arg3'=0, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1>0 && 0==arg2 ], cost: 1
      1: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1 && arg2>0 && arg1>0 && arg1P_2>0 ], cost: 1
      2: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2>0 && arg1P_3<=arg1 && arg1>0 && arg1P_3>0 ], cost: 1
      4: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1 && arg1>0 && arg1P_5>-1 && 0==arg2 ], cost: 1
      6: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1 && arg1>0 && arg1P_7>1 && 0==arg2 ], cost: 1
     13: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg2'=-1+arg1, arg3'=arg2, arg4'=1+arg3, arg5'=arg5P_14, [ arg1>0 && arg3>-1 && arg3<arg2 ], cost: 1
     14: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg2'=-1+arg1, arg3'=arg2, arg4'=1+arg3, arg5'=arg5P_15, [ arg1>0 && arg3<arg2 && arg3>-1 ], cost: 1
     39: f392_0_createList_GT -> f392_0_createList_GT : arg1'=0, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>-1 && arg3>=arg2 ], cost: arg1
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg2P_4, arg3'=1, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
      7: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=0, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 ], cost: 1
      8: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 ], cost: 1
      9: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 ], cost: 1
     10: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=0, arg4'=arg4P_11, arg5'=arg5P_11, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 ], cost: 1
     16: f730_0_quicksort_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 1+arg2P_17<=arg1 && arg1>0 && arg2P_17>-1 && 2+arg1P_17<=arg1 ], cost: 1
     17: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg2P_18<=arg1 && arg1>1 && arg2P_18>-1 && 2+arg1P_18<=arg1 ], cost: 1
     18: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 ], cost: 1
     19: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 ], cost: 1
     11: f703_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg2 && arg1>0 && arg2>0 && arg1P_12>0 && 2+arg3<=arg2 ], cost: 1
     15: f501_0_createList_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg3, arg3'=arg4, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg4>0 && arg3>0 && arg4<=arg3 && arg2<arg1 ], cost: 1
     25: f790_0_sortedLow_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_26<=arg2 && arg2>1 && arg1P_26>1 ], cost: 1
     26: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg4'=arg4P_27, arg5'=arg5P_27, [ arg1P_27<=arg2 && arg5P_27<=arg1 && arg2P_27<=arg2 && arg2>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2 && 4+arg4P_27<=arg2 ], cost: 1
     27: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg4'=arg4P_28, arg5'=arg5P_28, [ arg1P_28<=arg2 && arg5P_28<=arg1 && arg2P_28<=arg2 && arg2>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2 && 4+arg4P_28<=arg2 ], cost: 1
     40: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg2'=0, arg4'=arg4P_24, arg5'=arg5P_24, [ arg2>0 ], cost: arg2
     41: f790_0_sortedLow_NONNULL -> f790_0_sortedLow_NONNULL : arg2'=0, arg4'=arg4P_25, arg5'=arg5P_25, [ arg2>0 ], cost: arg2
     31: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_32, arg2'=arg2P_32, arg4'=arg4P_32, arg5'=arg5P_32, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 ], cost: 1
     32: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_33, arg2'=arg2P_33, arg4'=arg4P_33, arg5'=arg5P_33, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 ], cost: 1
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     35: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_36, arg2'=arg2P_36, arg4'=arg4P_36, arg5'=arg5P_36, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 ], cost: 1
     36: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_37, arg2'=arg2P_37, arg4'=arg4P_37, arg5'=arg5P_37, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 ], cost: 1
     42: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg2'=0, arg4'=arg4P_30, arg5'=arg5P_30, [ arg2>0 ], cost: arg2
     43: f1140_0_sortedHigh_NONNULL -> f1140_0_sortedHigh_NONNULL : arg2'=0, arg4'=arg4P_31, arg5'=arg5P_31, [ arg2>0 ], cost: arg2
     20: f1000_0_quicksort_InvokeMethod -> f1140_0_sortedHigh_NONNULL : arg1'=arg4, arg2'=arg2P_21, arg4'=arg4P_21, arg5'=arg5P_21, [ 2+arg2P_21<=arg1 && arg2P_21<=arg2 && arg1>2 && arg2>0 && arg2P_21>0 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 ], cost: 1
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     34: f1232_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_35<=arg1 && arg1P_35<=arg2 && arg1>2 && arg2>1 && arg1P_35>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     37: f1309_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_38<=arg1 && arg1P_38<=arg2 && arg1>2 && arg2>1 && arg1P_38>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     38: __init -> f1_0_main_Load : arg1'=arg1P_39, arg2'=arg2P_39, arg3'=arg3P_39, arg4'=arg4P_39, arg5'=arg5P_39, [], cost: 1

Chained accelerated rules (with incoming rules):
   Start location: __init
      0: f1_0_main_Load -> f392_0_createList_GT : arg1'=0, arg2'=0, arg3'=0, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1>0 && 0==arg2 ], cost: 1
      1: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1 && arg2>0 && arg1>0 && arg1P_2>0 ], cost: 1
      2: f1_0_main_Load -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2>0 && arg1P_3<=arg1 && arg1>0 && arg1P_3>0 ], cost: 1
      4: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1 && arg1>0 && arg1P_5>-1 && 0==arg2 ], cost: 1
      6: f1_0_main_Load -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1 && arg1>0 && arg1P_7>1 && 0==arg2 ], cost: 1
     13: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg2'=-1+arg1, arg3'=arg2, arg4'=1+arg3, arg5'=arg5P_14, [ arg1>0 && arg3>-1 && arg3<arg2 ], cost: 1
     14: f392_0_createList_GT -> f501_0_createList_InvokeMethod : arg2'=-1+arg1, arg3'=arg2, arg4'=1+arg3, arg5'=arg5P_15, [ arg1>0 && arg3<arg2 && arg3>-1 ], cost: 1
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg2P_4, arg3'=1, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
      7: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=0, arg4'=arg4P_8, arg5'=arg5P_8, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 ], cost: 1
      8: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, arg5'=arg5P_9, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 ], cost: 1
      9: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, arg5'=arg5P_10, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 ], cost: 1
     10: f89_0_main_InvokeMethod -> f703_0_main_InvokeMethod : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=0, arg4'=arg4P_11, arg5'=arg5P_11, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 ], cost: 1
     44: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>0 ], cost: 1+arg2
     16: f730_0_quicksort_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, arg5'=arg5P_17, [ 1+arg2P_17<=arg1 && arg1>0 && arg2P_17>-1 && 2+arg1P_17<=arg1 ], cost: 1
     17: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg2P_18<=arg1 && arg1>1 && arg2P_18>-1 && 2+arg1P_18<=arg1 ], cost: 1
     18: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, arg5'=arg5P_19, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 ], cost: 1
     19: f730_0_quicksort_NONNULL -> f1000_0_quicksort_InvokeMethod : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, arg5'=arg5P_20, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 ], cost: 1
     46: f730_0_quicksort_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_17, arg2'=0, arg3'=arg3P_17, arg4'=arg4P_24, arg5'=arg5P_24, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     47: f730_0_quicksort_NONNULL -> f790_0_sortedLow_NONNULL : arg1'=arg1P_17, arg2'=0, arg3'=arg3P_17, arg4'=arg4P_25, arg5'=arg5P_25, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     48: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_30, arg5'=arg5P_30, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     50: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_31, arg5'=arg5P_31, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     11: f703_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_12<=arg2 && arg1>0 && arg2>0 && arg1P_12>0 && 2+arg3<=arg2 ], cost: 1
     15: f501_0_createList_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg3, arg3'=arg4, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg4>0 && arg3>0 && arg4<=arg3 && arg2<arg1 ], cost: 1
     45: f501_0_createList_InvokeMethod -> f392_0_createList_GT : arg1'=0, arg2'=arg3, arg3'=arg4, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg4>0 && arg3>0 && -arg3+arg4==0 && arg2<arg1 && arg2>0 ], cost: 1+arg2
     25: f790_0_sortedLow_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_26<=arg2 && arg2>1 && arg1P_26>1 ], cost: 1
     26: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg4'=arg4P_27, arg5'=arg5P_27, [ arg1P_27<=arg2 && arg5P_27<=arg1 && arg2P_27<=arg2 && arg2>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2 && 4+arg4P_27<=arg2 ], cost: 1
     27: f790_0_sortedLow_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg4'=arg4P_28, arg5'=arg5P_28, [ arg1P_28<=arg2 && arg5P_28<=arg1 && arg2P_28<=arg2 && arg2>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2 && 4+arg4P_28<=arg2 ], cost: 1
     31: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_32, arg2'=arg2P_32, arg4'=arg4P_32, arg5'=arg5P_32, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 ], cost: 1
     32: f1140_0_sortedHigh_NONNULL -> f1232_0_sortedHigh_InvokeMethod : arg1'=arg1P_33, arg2'=arg2P_33, arg4'=arg4P_33, arg5'=arg5P_33, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 ], cost: 1
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     35: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_36, arg2'=arg2P_36, arg4'=arg4P_36, arg5'=arg5P_36, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 ], cost: 1
     36: f1140_0_sortedHigh_NONNULL -> f1309_0_sortedHigh_InvokeMethod : arg1'=arg1P_37, arg2'=arg2P_37, arg4'=arg4P_37, arg5'=arg5P_37, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 ], cost: 1
     20: f1000_0_quicksort_InvokeMethod -> f1140_0_sortedHigh_NONNULL : arg1'=arg4, arg2'=arg2P_21, arg4'=arg4P_21, arg5'=arg5P_21, [ 2+arg2P_21<=arg1 && arg2P_21<=arg2 && arg1>2 && arg2>0 && arg2P_21>0 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 ], cost: 1
     49: f1000_0_quicksort_InvokeMethod -> f1140_0_sortedHigh_NONNULL : arg1'=arg4, arg2'=0, arg4'=arg4P_30, arg5'=arg5P_30, [ 2+arg2P_21<=arg1 && arg2P_21<=arg2 && arg1>2 && arg2>0 && arg2P_21>0 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 ], cost: 1+arg2P_21
     51: f1000_0_quicksort_InvokeMethod -> f1140_0_sortedHigh_NONNULL : arg1'=arg4, arg2'=0, arg4'=arg4P_31, arg5'=arg5P_31, [ 2+arg2P_21<=arg1 && arg2P_21<=arg2 && arg1>2 && arg2>0 && arg2P_21>0 && 4+arg5<=arg1 && 2+arg4<=arg1 && 2+arg5<=arg2 ], cost: 1+arg2P_21
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     34: f1232_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_35<=arg1 && arg1P_35<=arg2 && arg1>2 && arg2>1 && arg1P_35>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     37: f1309_0_sortedHigh_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_38<=arg1 && arg1P_38<=arg2 && arg1>2 && arg2>1 && arg1P_38>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     38: __init -> f1_0_main_Load : arg1'=arg1P_39, arg2'=arg2P_39, arg3'=arg3P_39, arg4'=arg4P_39, arg5'=arg5P_39, [], cost: 1

Eliminated locations (on tree-shaped paths):
   Start location: __init
     57: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg2'=arg2, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3>-1 && arg3<arg2 && arg2>0 ], cost: 2
     58: f392_0_createList_GT -> f392_0_createList_GT : arg1'=0, arg2'=arg2, arg3'=1+arg3, arg4'=arg4P_13, arg5'=arg5P_13, [ arg3>-1 && arg2>0 && 1+arg3-arg2==0 && -1+arg1>0 ], cost: 1+arg1
     59: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg2'=arg2, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3<arg2 && arg3>-1 && arg2>0 ], cost: 2
     60: f392_0_createList_GT -> f392_0_createList_GT : arg1'=0, arg2'=arg2, arg3'=1+arg3, arg4'=arg4P_13, arg5'=arg5P_13, [ arg3>-1 && arg2>0 && 1+arg3-arg2==0 && -1+arg1>0 ], cost: 1+arg1
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg2P_4, arg3'=1, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
     44: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>0 ], cost: 1+arg2
     61: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 && arg1P_12<=arg2P_8 && arg1P_12>0 ], cost: 2
     62: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 && arg1P_12<=arg2P_9 && arg1P_12>0 && 2+arg3P_9<=arg2P_9 ], cost: 2
     63: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 && arg1P_12<=arg2P_10 && arg1P_12>0 && 2+arg3P_10<=arg2P_10 ], cost: 2
     64: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 && arg1P_12<=arg2P_11 && arg1P_12>0 ], cost: 2
     17: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, arg5'=arg5P_18, [ 2+arg2P_18<=arg1 && arg1>1 && arg2P_18>-1 && 2+arg1P_18<=arg1 ], cost: 1
     48: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_30, arg5'=arg5P_30, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     50: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_31, arg5'=arg5P_31, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     65: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_26<=arg2P_17 && arg2P_17>1 && arg1P_26>1 ], cost: 2
     66: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_17, arg4'=arg4P_27, arg5'=arg5P_27, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 ], cost: 2
     67: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_17, arg4'=arg4P_28, arg5'=arg5P_28, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 ], cost: 2
     68: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     70: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=arg2P_21, arg3'=arg3P_19, arg4'=arg4P_21, arg5'=arg5P_21, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2
     71: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     72: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     73: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=arg2P_21, arg3'=arg3P_20, arg4'=arg4P_21, arg5'=arg5P_21, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2
     74: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     75: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     76: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 && arg1P_35<=arg1P_32 && arg1P_35<=arg2P_32 && arg1P_35>1 && 4+arg4P_32<=arg1P_32 && 2+arg5P_32<=arg1P_32 && 2+arg5P_32<=arg2P_32 ], cost: 2
     77: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 && arg1P_35<=arg1P_33 && arg1P_35<=arg2P_33 && arg1P_35>1 && 4+arg4P_33<=arg1P_33 && 2+arg5P_33<=arg1P_33 && 2+arg5P_33<=arg2P_33 ], cost: 2
     78: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 && arg1P_38<=arg1P_36 && arg1P_38<=arg2P_36 && arg1P_38>1 && 4+arg4P_36<=arg1P_36 && 2+arg5P_36<=arg1P_36 && 2+arg5P_36<=arg2P_36 ], cost: 2
     79: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 && arg1P_38<=arg1P_37 && arg1P_38<=arg2P_37 && arg1P_38>1 && 4+arg4P_37<=arg1P_37 && 2+arg5P_37<=arg1P_37 && 2+arg5P_37<=arg2P_37 ], cost: 2
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     52: __init -> f392_0_createList_GT : arg1'=0, arg2'=0, arg3'=0, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1P_39>0 && 0==arg2P_39 ], cost: 2
     53: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 ], cost: 2
     54: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 ], cost: 2
     55: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1P_39 && arg1P_39>0 && arg1P_5>-1 && 0==arg2P_39 ], cost: 2
     56: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1P_39 && arg1P_39>0 && arg1P_7>1 && 0==arg2P_39 ], cost: 2

Applied pruning (of leafs and parallel rules):
   Start location: __init
     57: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg2'=arg2, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3>-1 && arg3<arg2 && arg2>0 ], cost: 2
     59: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg2'=arg2, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3<arg2 && arg3>-1 && arg2>0 ], cost: 2
     60: f392_0_createList_GT -> f392_0_createList_GT : arg1'=0, arg2'=arg2, arg3'=1+arg3, arg4'=arg4P_13, arg5'=arg5P_13, [ arg3>-1 && arg2>0 && 1+arg3-arg2==0 && -1+arg1>0 ], cost: 1+arg1
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg2P_4, arg3'=1, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
     44: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>0 ], cost: 1+arg2
     61: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 && arg1P_12<=arg2P_8 && arg1P_12>0 ], cost: 2
     62: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 && arg1P_12<=arg2P_9 && arg1P_12>0 && 2+arg3P_9<=arg2P_9 ], cost: 2
     63: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 && arg1P_12<=arg2P_10 && arg1P_12>0 && 2+arg3P_10<=arg2P_10 ], cost: 2
     64: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 && arg1P_12<=arg2P_11 && arg1P_12>0 ], cost: 2
     48: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_30, arg5'=arg5P_30, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     65: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_26<=arg2P_17 && arg2P_17>1 && arg1P_26>1 ], cost: 2
     66: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_17, arg4'=arg4P_27, arg5'=arg5P_27, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 ], cost: 2
     67: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_17, arg4'=arg4P_28, arg5'=arg5P_28, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 ], cost: 2
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     71: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     72: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     74: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     75: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     76: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 && arg1P_35<=arg1P_32 && arg1P_35<=arg2P_32 && arg1P_35>1 && 4+arg4P_32<=arg1P_32 && 2+arg5P_32<=arg1P_32 && 2+arg5P_32<=arg2P_32 ], cost: 2
     77: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 && arg1P_35<=arg1P_33 && arg1P_35<=arg2P_33 && arg1P_35>1 && 4+arg4P_33<=arg1P_33 && 2+arg5P_33<=arg1P_33 && 2+arg5P_33<=arg2P_33 ], cost: 2
     78: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 && arg1P_38<=arg1P_36 && arg1P_38<=arg2P_36 && arg1P_38>1 && 4+arg4P_36<=arg1P_36 && 2+arg5P_36<=arg1P_36 && 2+arg5P_36<=arg2P_36 ], cost: 2
     79: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 && arg1P_38<=arg1P_37 && arg1P_38<=arg2P_37 && arg1P_38>1 && 4+arg4P_37<=arg1P_37 && 2+arg5P_37<=arg1P_37 && 2+arg5P_37<=arg2P_37 ], cost: 2
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     52: __init -> f392_0_createList_GT : arg1'=0, arg2'=0, arg3'=0, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1P_39>0 && 0==arg2P_39 ], cost: 2
     53: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 ], cost: 2
     54: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 ], cost: 2
     55: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1P_39 && arg1P_39>0 && arg1P_5>-1 && 0==arg2P_39 ], cost: 2
     56: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1P_39 && arg1P_39>0 && arg1P_7>1 && 0==arg2P_39 ], cost: 2

Accelerating simple loops of location 1.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
     57: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3>-1 && arg3<arg2 && arg2>0 ], cost: 2
     59: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3<arg2 && arg3>-1 && arg2>0 ], cost: 2
     60: f392_0_createList_GT -> f392_0_createList_GT : arg1'=0, arg3'=1+arg3, arg4'=arg4P_13, arg5'=arg5P_13, [ arg3>-1 && arg2>0 && 1+arg3-arg2==0 && -1+arg1>0 ], cost: 1+arg1

   Found no metering function for rule 57.
   Found no metering function for rule 59.
   Accelerated rule 60 with metering function -1-arg3+arg2, yielding the new rule 80.
   Removing the simple loops: 60.

Accelerating simple loops of location 3.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
     65: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_26>1 && arg1P_26<=-1+arg1 && 2<=-1+arg1 ], cost: 2

      During metering: Instantiating temporary variables by {arg1P_26==-1+arg1}
   Accelerated rule 65 with metering function -2+arg1, yielding the new rule 81.
   Removing the simple loops: 65.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
     57: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3>-1 && arg3<arg2 && arg2>0 ], cost: 2
     59: f392_0_createList_GT -> f392_0_createList_GT : arg1'=-1+arg1, arg3'=1+arg3, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg3<arg2 && arg3>-1 && arg2>0 ], cost: 2
     80: f392_0_createList_GT -> f392_0_createList_GT : arg1'=0, arg3'=-1+arg2, arg4'=arg4P_13, arg5'=arg5P_13, [ arg3>-1 && arg2>0 && 1+arg3-arg2==0 && -1+arg1>0 && -1-arg3+arg2>=1 ], cost: -1-arg3+arg2
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg2P_4, arg3'=1, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
     44: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>0 ], cost: 1+arg2
     61: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 && arg1P_12<=arg2P_8 && arg1P_12>0 ], cost: 2
     62: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 && arg1P_12<=arg2P_9 && arg1P_12>0 && 2+arg3P_9<=arg2P_9 ], cost: 2
     63: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 && arg1P_12<=arg2P_10 && arg1P_12>0 && 2+arg3P_10<=arg2P_10 ], cost: 2
     64: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 && arg1P_12<=arg2P_11 && arg1P_12>0 ], cost: 2
     48: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_30, arg5'=arg5P_30, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     66: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_17, arg4'=arg4P_27, arg5'=arg5P_27, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 ], cost: 2
     67: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_17, arg4'=arg4P_28, arg5'=arg5P_28, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 ], cost: 2
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     71: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     72: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     74: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     75: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     81: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1>1 ], cost: -4+2*arg1
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     76: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 && arg1P_35<=arg1P_32 && arg1P_35<=arg2P_32 && arg1P_35>1 && 4+arg4P_32<=arg1P_32 && 2+arg5P_32<=arg1P_32 && 2+arg5P_32<=arg2P_32 ], cost: 2
     77: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 && arg1P_35<=arg1P_33 && arg1P_35<=arg2P_33 && arg1P_35>1 && 4+arg4P_33<=arg1P_33 && 2+arg5P_33<=arg1P_33 && 2+arg5P_33<=arg2P_33 ], cost: 2
     78: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 && arg1P_38<=arg1P_36 && arg1P_38<=arg2P_36 && arg1P_38>1 && 4+arg4P_36<=arg1P_36 && 2+arg5P_36<=arg1P_36 && 2+arg5P_36<=arg2P_36 ], cost: 2
     79: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 && arg1P_38<=arg1P_37 && arg1P_38<=arg2P_37 && arg1P_38>1 && 4+arg4P_37<=arg1P_37 && 2+arg5P_37<=arg1P_37 && 2+arg5P_37<=arg2P_37 ], cost: 2
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     52: __init -> f392_0_createList_GT : arg1'=0, arg2'=0, arg3'=0, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1P_39>0 && 0==arg2P_39 ], cost: 2
     53: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 ], cost: 2
     54: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 ], cost: 2
     55: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1P_39 && arg1P_39>0 && arg1P_5>-1 && 0==arg2P_39 ], cost: 2
     56: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1P_39 && arg1P_39>0 && arg1P_7>1 && 0==arg2P_39 ], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: __init
      3: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=arg2, arg2'=arg2P_4, arg3'=1, arg4'=arg4P_4, arg5'=arg5P_4, [ arg1>0 && arg2P_4>0 ], cost: 1
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
     44: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>0 ], cost: 1+arg2
     61: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 && arg1P_12<=arg2P_8 && arg1P_12>0 ], cost: 2
     62: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 && arg1P_12<=arg2P_9 && arg1P_12>0 && 2+arg3P_9<=arg2P_9 ], cost: 2
     63: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 && arg1P_12<=arg2P_10 && arg1P_12>0 && 2+arg3P_10<=arg2P_10 ], cost: 2
     64: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 && arg1P_12<=arg2P_11 && arg1P_12>0 ], cost: 2
     82: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=-1+arg2, arg2'=arg2P_4, arg3'=2, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg2>0 && 1<arg2P_4 ], cost: 3
     83: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=-1+arg2, arg2'=arg2P_4, arg3'=2, arg4'=arg4P_16, arg5'=arg5P_16, [ arg1>0 && arg2>0 && 1<arg2P_4 ], cost: 3
     84: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg1P_6<=arg1 && arg1>0 && 0==arg2 && -1+arg1P_6>1 ], cost: -3+2*arg1P_6
     89: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 ], cost: -2+2*arg1P_12
     90: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 ], cost: -2+2*arg1P_12
     91: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 ], cost: -2+2*arg1P_12
     92: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1 ], cost: -2+2*arg1P_12
     48: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_30, arg5'=arg5P_30, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     66: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_17, arg4'=arg4P_27, arg5'=arg5P_27, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 ], cost: 2
     67: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_17, arg4'=arg4P_28, arg5'=arg5P_28, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 ], cost: 2
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     71: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     72: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     74: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     75: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     76: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 && arg1P_35<=arg1P_32 && arg1P_35<=arg2P_32 && arg1P_35>1 && 4+arg4P_32<=arg1P_32 && 2+arg5P_32<=arg1P_32 && 2+arg5P_32<=arg2P_32 ], cost: 2
     77: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 && arg1P_35<=arg1P_33 && arg1P_35<=arg2P_33 && arg1P_35>1 && 4+arg4P_33<=arg1P_33 && 2+arg5P_33<=arg1P_33 && 2+arg5P_33<=arg2P_33 ], cost: 2
     78: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 && arg1P_38<=arg1P_36 && arg1P_38<=arg2P_36 && arg1P_38>1 && 4+arg4P_36<=arg1P_36 && 2+arg5P_36<=arg1P_36 && 2+arg5P_36<=arg2P_36 ], cost: 2
     79: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 && arg1P_38<=arg1P_37 && arg1P_38<=arg2P_37 && arg1P_38>1 && 4+arg4P_37<=arg1P_37 && 2+arg5P_37<=arg1P_37 && 2+arg5P_37<=arg2P_37 ], cost: 2
     86: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_34<=arg2 && arg2>1 && -1+arg1P_34>1 ], cost: -3+2*arg1P_34
     93: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>3 && -1+arg1P_35>1 && 1+arg1<=-2+arg2 && arg1P_35<=arg2 ], cost: -2+2*arg1P_35
     94: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>4 && -1+arg1P_35>1 && arg1P_35<=arg2 && 1+arg1<=-2+arg2 ], cost: -2+2*arg1P_35
     95: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>3 && -1+arg1P_38>1 && arg1P_38<=arg2 && 1+arg1<=-2+arg2 ], cost: -2+2*arg1P_38
     96: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>4 && -1+arg1P_38>1 && arg1P_38<=arg2 && 1+arg1<=-2+arg2 ], cost: -2+2*arg1P_38
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     85: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 && -1+arg1P_29>1 ], cost: -3+2*arg1P_29
     52: __init -> f392_0_createList_GT : arg1'=0, arg2'=0, arg3'=0, arg4'=arg4P_1, arg5'=arg5P_1, [ arg1P_39>0 && 0==arg2P_39 ], cost: 2
     53: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 ], cost: 2
     54: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 ], cost: 2
     55: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1P_39 && arg1P_39>0 && arg1P_5>-1 && 0==arg2P_39 ], cost: 2
     56: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1P_39 && arg1P_39>0 && arg1P_7>1 && 0==arg2P_39 ], cost: 2
     87: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_5>1 ], cost: -2+2*arg1P_5
     88: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_7>1 ], cost: -2+2*arg1P_7

Removed unreachable locations (and leaf rules with constant cost):
   Start location: __init
      5: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ 1+arg1P_6<=arg1 && arg1>0 && arg1P_6>-1 && 0==arg2 ], cost: 1
     44: f89_0_main_InvokeMethod -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg1>0 && arg2>0 ], cost: 1+arg2
     61: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_8<=arg1 && arg1>0 && arg1P_8>0 && arg2P_8>2 && arg1P_12<=arg2P_8 && arg1P_12>0 ], cost: 2
     62: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2P_9>2 && arg1P_12<=arg2P_9 && arg1P_12>0 && 2+arg3P_9<=arg2P_9 ], cost: 2
     63: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_10<=arg1 && arg1>0 && arg1P_10>0 && arg2P_10>1 && arg1P_12<=arg2P_10 && arg1P_12>0 && 2+arg3P_10<=arg2P_10 ], cost: 2
     64: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_11<=arg1 && -1+arg2P_11<=arg1 && arg1>0 && arg1P_11>0 && arg2P_11>1 && arg1P_12<=arg2P_11 && arg1P_12>0 ], cost: 2
     84: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg1P_6<=arg1 && arg1>0 && 0==arg2 && -1+arg1P_6>1 ], cost: -3+2*arg1P_6
     89: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 ], cost: -2+2*arg1P_12
     90: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 ], cost: -2+2*arg1P_12
     91: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 ], cost: -2+2*arg1P_12
     92: f89_0_main_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1 ], cost: -2+2*arg1P_12
     48: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg1P_18, arg2'=0, arg3'=arg3P_18, arg4'=arg4P_30, arg5'=arg5P_30, [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
     66: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_17, arg4'=arg4P_27, arg5'=arg5P_27, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 ], cost: 2
     67: f730_0_quicksort_NONNULL -> f1022_0_sortedLow_InvokeMethod : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_17, arg4'=arg4P_28, arg5'=arg5P_28, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 ], cost: 2
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
     71: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     72: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_19, arg2'=0, arg3'=arg3P_19, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
     74: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_30, arg5'=arg5P_30, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     75: f730_0_quicksort_NONNULL -> f1140_0_sortedHigh_NONNULL : arg1'=arg4P_20, arg2'=0, arg3'=arg3P_20, arg4'=arg4P_31, arg5'=arg5P_31, [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
     33: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, arg5'=arg5P_34, [ arg1P_34<=arg2 && arg2>1 && arg1P_34>1 ], cost: 1
     76: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_32<=arg2 && arg5P_32>arg1 && arg2P_32<=arg2 && arg2>3 && arg1P_32>3 && arg2P_32>1 && 2+arg5P_32<=arg2 && 4+arg4P_32<=arg2 && arg1P_35<=arg1P_32 && arg1P_35<=arg2P_32 && arg1P_35>1 && 4+arg4P_32<=arg1P_32 && 2+arg5P_32<=arg1P_32 && 2+arg5P_32<=arg2P_32 ], cost: 2
     77: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, arg5'=arg5P_35, [ arg1P_33<=arg2 && arg5P_33>arg1 && arg2P_33<=arg2 && arg2>4 && arg1P_33>4 && arg2P_33>1 && 2+arg5P_33<=arg2 && 4+arg4P_33<=arg2 && arg1P_35<=arg1P_33 && arg1P_35<=arg2P_33 && arg1P_35>1 && 4+arg4P_33<=arg1P_33 && 2+arg5P_33<=arg1P_33 && 2+arg5P_33<=arg2P_33 ], cost: 2
     78: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_36<=arg2 && arg5P_36>arg1 && arg2P_36<=arg2 && arg2>3 && arg1P_36>3 && arg2P_36>1 && 2+arg5P_36<=arg2 && 4+arg4P_36<=arg2 && arg1P_38<=arg1P_36 && arg1P_38<=arg2P_36 && arg1P_38>1 && 4+arg4P_36<=arg1P_36 && 2+arg5P_36<=arg1P_36 && 2+arg5P_36<=arg2P_36 ], cost: 2
     79: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, arg5'=arg5P_38, [ arg1P_37<=arg2 && arg5P_37>arg1 && arg2P_37<=arg2 && arg2>4 && arg1P_37>4 && arg2P_37>1 && 2+arg5P_37<=arg2 && 4+arg4P_37<=arg2 && arg1P_38<=arg1P_37 && arg1P_38<=arg2P_37 && arg1P_38>1 && 4+arg4P_37<=arg1P_37 && 2+arg5P_37<=arg1P_37 && 2+arg5P_37<=arg2P_37 ], cost: 2
     86: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_34<=arg2 && arg2>1 && -1+arg1P_34>1 ], cost: -3+2*arg1P_34
     93: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>3 && -1+arg1P_35>1 && 1+arg1<=-2+arg2 && arg1P_35<=arg2 ], cost: -2+2*arg1P_35
     94: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>4 && -1+arg1P_35>1 && arg1P_35<=arg2 && 1+arg1<=-2+arg2 ], cost: -2+2*arg1P_35
     95: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>3 && -1+arg1P_38>1 && arg1P_38<=arg2 && 1+arg1<=-2+arg2 ], cost: -2+2*arg1P_38
     96: f1140_0_sortedHigh_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2>4 && -1+arg1P_38>1 && arg1P_38<=arg2 && 1+arg1<=-2+arg2 ], cost: -2+2*arg1P_38
     28: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && arg1P_29>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 ], cost: 1
     85: f1022_0_sortedLow_InvokeMethod -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_29<=arg1 && arg1P_29<=arg2 && arg1>2 && arg2>1 && 4+arg4<=arg1 && 2+arg5<=arg1 && 2+arg5<=arg2 && -1+arg1P_29>1 ], cost: -3+2*arg1P_29
     53: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_2, arg2'=0, arg3'=arg3P_2, arg4'=arg4P_2, arg5'=arg5P_2, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 ], cost: 2
     54: __init -> f89_0_main_InvokeMethod : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, arg5'=arg5P_3, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 ], cost: 2
     55: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1P_39 && arg1P_39>0 && arg1P_5>-1 && 0==arg2P_39 ], cost: 2
     56: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1P_39 && arg1P_39>0 && arg1P_7>1 && 0==arg2P_39 ], cost: 2
     87: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_5>1 ], cost: -2+2*arg1P_5
     88: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_7>1 ], cost: -2+2*arg1P_7

Eliminated locations (on tree-shaped paths):
   Start location: __init
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
    118: f730_0_quicksort_NONNULL -> [20] : [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
    119: f730_0_quicksort_NONNULL -> [20] : [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
    120: f730_0_quicksort_NONNULL -> [20] : [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
    121: f730_0_quicksort_NONNULL -> [20] : [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
    122: f730_0_quicksort_NONNULL -> [20] : [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
    123: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 && arg1P_29<=arg1P_27 && arg1P_29<=arg2P_27 && arg1P_29>1 && 4+arg4P_27<=arg1P_27 && 2+arg5P_27<=arg1P_27 && 2+arg5P_27<=arg2P_27 ], cost: 3
    124: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 && arg1P_29<=arg1P_27 && arg1P_29<=arg2P_27 && 4+arg4P_27<=arg1P_27 && 2+arg5P_27<=arg1P_27 && 2+arg5P_27<=arg2P_27 && -1+arg1P_29>1 ], cost: -1+2*arg1P_29
    125: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 && arg1P_29<=arg1P_28 && arg1P_29<=arg2P_28 && arg1P_29>1 && 4+arg4P_28<=arg1P_28 && 2+arg5P_28<=arg1P_28 && 2+arg5P_28<=arg2P_28 ], cost: 3
    126: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 && arg1P_29<=arg1P_28 && arg1P_29<=arg2P_28 && 4+arg4P_28<=arg1P_28 && 2+arg5P_28<=arg1P_28 && 2+arg5P_28<=arg2P_28 && -1+arg1P_29>1 ], cost: -1+2*arg1P_29
     55: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, arg5'=arg5P_5, [ 1+arg1P_5<=arg1P_39 && arg1P_39>0 && arg1P_5>-1 && 0==arg2P_39 ], cost: 2
     56: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, arg5'=arg5P_7, [ -1+arg1P_7<=arg1P_39 && arg1P_39>0 && arg1P_7>1 && 0==arg2P_39 ], cost: 2
     87: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_5>1 ], cost: -2+2*arg1P_5
     88: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_7>1 ], cost: -2+2*arg1P_7
     97: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && arg1P_6>-1 ], cost: 3
     98: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && arg1P_8<=arg1P_2 && arg1P_8>0 && arg2P_8>2 && arg1P_12<=arg2P_8 && arg1P_12>0 ], cost: 4
     99: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && arg1P_9<=arg1P_2 && arg1P_9>0 && arg2P_9>2 && arg1P_12<=arg2P_9 && arg1P_12>0 && 2+arg3P_9<=arg2P_9 ], cost: 4
    100: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && arg1P_10<=arg1P_2 && arg1P_10>0 && arg2P_10>1 && arg1P_12<=arg2P_10 && arg1P_12>0 && 2+arg3P_10<=arg2P_10 ], cost: 4
    101: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && arg1P_11<=arg1P_2 && -1+arg2P_11<=arg1P_2 && arg1P_11>0 && arg2P_11>1 && arg1P_12<=arg2P_11 && arg1P_12>0 ], cost: 4
    102: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    103: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    104: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    105: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    106: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    107: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, arg5'=arg5P_6, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && 1+arg1P_6<=arg1P_3 && arg1P_6>-1 && 0==arg2P_3 ], cost: 3
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    109: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg1P_8<=arg1P_3 && arg1P_8>0 && arg2P_8>2 && arg1P_12<=arg2P_8 && arg1P_12>0 ], cost: 4
    110: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg1P_9<=arg1P_3 && arg1P_9>0 && arg2P_9>2 && arg1P_12<=arg2P_9 && arg1P_12>0 && 2+arg3P_9<=arg2P_9 ], cost: 4
    111: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg1P_10<=arg1P_3 && arg1P_10>0 && arg2P_10>1 && arg1P_12<=arg2P_10 && arg1P_12>0 && 2+arg3P_10<=arg2P_10 ], cost: 4
    112: __init -> f730_0_quicksort_NONNULL : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, arg5'=arg5P_12, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg1P_11<=arg1P_3 && -1+arg2P_11<=arg1P_3 && arg1P_11>0 && arg2P_11>1 && arg1P_12<=arg2P_11 && arg1P_12>0 ], cost: 4
    113: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && 1+arg1P_6<=arg1P_3 && 0==arg2P_3 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    114: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    115: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    116: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    117: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

Applied pruning (of leafs and parallel rules):
   Start location: __init
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
    118: f730_0_quicksort_NONNULL -> [20] : [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
    120: f730_0_quicksort_NONNULL -> [20] : [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
    122: f730_0_quicksort_NONNULL -> [20] : [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
    123: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 && arg1P_29<=arg1P_27 && arg1P_29<=arg2P_27 && arg1P_29>1 && 4+arg4P_27<=arg1P_27 && 2+arg5P_27<=arg1P_27 && 2+arg5P_27<=arg2P_27 ], cost: 3
    124: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_27<=arg2P_17 && arg5P_27<=arg1P_17 && arg2P_27<=arg2P_17 && arg2P_17>3 && arg1P_27>3 && arg2P_27>1 && 2+arg5P_27<=arg2P_17 && 4+arg4P_27<=arg2P_17 && arg1P_29<=arg1P_27 && arg1P_29<=arg2P_27 && 4+arg4P_27<=arg1P_27 && 2+arg5P_27<=arg1P_27 && 2+arg5P_27<=arg2P_27 && -1+arg1P_29>1 ], cost: -1+2*arg1P_29
    125: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 && arg1P_29<=arg1P_28 && arg1P_29<=arg2P_28 && arg1P_29>1 && 4+arg4P_28<=arg1P_28 && 2+arg5P_28<=arg1P_28 && 2+arg5P_28<=arg2P_28 ], cost: 3
    126: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg1P_28<=arg2P_17 && arg5P_28<=arg1P_17 && arg2P_28<=arg2P_17 && arg2P_17>4 && arg1P_28>4 && arg2P_28>1 && 2+arg5P_28<=arg2P_17 && 4+arg4P_28<=arg2P_17 && arg1P_29<=arg1P_28 && arg1P_29<=arg2P_28 && 4+arg4P_28<=arg1P_28 && 2+arg5P_28<=arg1P_28 && 2+arg5P_28<=arg2P_28 && -1+arg1P_29>1 ], cost: -1+2*arg1P_29
    102: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    105: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    106: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    116: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    117: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

Accelerating simple loops of location 3.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
    123: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29>1 && 4<=-1+arg1 && arg1P_29<=-1+arg1 ], cost: 3
    124: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_29>1 && 4<=-1+arg1 && arg1P_29<=-1+arg1 ], cost: -1+2*arg1P_29
    125: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ arg1P_29>1 && 5<=-1+arg1 && arg1P_29<=-1+arg1 ], cost: 3
    126: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_29>1 && 5<=-1+arg1 && arg1P_29<=-1+arg1 ], cost: -1+2*arg1P_29

      During metering: Instantiating temporary variables by {arg1P_29==-1+arg1}
   Accelerated rule 123 with metering function -4+arg1, yielding the new rule 127.
   Accelerated rule 124 with NONTERM (after strengthening guard), yielding the new rule 128.
      During metering: Instantiating temporary variables by {arg1P_29==-1+arg1}
   Accelerated rule 125 with metering function -5+arg1, yielding the new rule 129.
   Accelerated rule 126 with NONTERM (after strengthening guard), yielding the new rule 130.
   Removing the simple loops: 123 125.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
    118: f730_0_quicksort_NONNULL -> [20] : [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
    120: f730_0_quicksort_NONNULL -> [20] : [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
    122: f730_0_quicksort_NONNULL -> [20] : [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
    124: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_29>1 && 4<=-1+arg1 && arg1P_29<=-1+arg1 ], cost: -1+2*arg1P_29
    126: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ -1+arg1P_29>1 && 5<=-1+arg1 && arg1P_29<=-1+arg1 ], cost: -1+2*arg1P_29
    127: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=4, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ 4<=-1+arg1 ], cost: -12+3*arg1
    128: f730_0_quicksort_NONNULL -> [21] : [ -1+arg1P_29>1 && 4<=-1+arg1 && arg1P_29<=-1+arg1 && arg1P_29<=1 && -1+2*arg1P_29>=1 ], cost: NONTERM
    129: f730_0_quicksort_NONNULL -> f730_0_quicksort_NONNULL : arg1'=5, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, arg5'=arg5P_29, [ 5<=-1+arg1 ], cost: -15+3*arg1
    130: f730_0_quicksort_NONNULL -> [21] : [ -1+arg1P_29>1 && 5<=-1+arg1 && arg1P_29<=-1+arg1 && arg1P_29<=1 && -1+2*arg1P_29>=1 ], cost: NONTERM
    102: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    105: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    106: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    116: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    117: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

Chained accelerated rules (with incoming rules):
   Start location: __init
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
    118: f730_0_quicksort_NONNULL -> [20] : [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
    120: f730_0_quicksort_NONNULL -> [20] : [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
    122: f730_0_quicksort_NONNULL -> [20] : [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
    102: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    105: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    106: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    116: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    117: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

Removed unreachable locations (and leaf rules with constant cost):
   Start location: __init
     69: f730_0_quicksort_NONNULL -> [17] : [ 1+arg2P_17<=arg1 && arg1>0 && 2+arg1P_17<=arg1 && arg2P_17>0 ], cost: 1+arg2P_17
    118: f730_0_quicksort_NONNULL -> [20] : [ 2+arg2P_18<=arg1 && arg1>1 && 2+arg1P_18<=arg1 && arg2P_18>0 ], cost: 1+arg2P_18
    120: f730_0_quicksort_NONNULL -> [20] : [ arg1P_19<=arg1 && 2+arg2P_19<=arg1 && arg1>3 && arg1P_19>3 && arg2P_19>1 && 2+arg4P_19<=arg1 && 4+arg5P_19<=arg1 && 2+arg2P_21<=arg1P_19 && arg2P_21<=arg2P_19 && arg2P_21>0 && 4+arg5P_19<=arg1P_19 && 2+arg4P_19<=arg1P_19 && 2+arg5P_19<=arg2P_19 ], cost: 2+arg2P_21
    122: f730_0_quicksort_NONNULL -> [20] : [ arg1P_20<=arg1 && 2+arg2P_20<=arg1 && arg1>4 && arg1P_20>4 && arg2P_20>2 && 2+arg4P_20<=arg1 && 4+arg5P_20<=arg1 && 2+arg2P_21<=arg1P_20 && arg2P_21<=arg2P_20 && arg2P_21>0 && 4+arg5P_20<=arg1P_20 && 2+arg4P_20<=arg1P_20 && 2+arg5P_20<=arg2P_20 ], cost: 2+arg2P_21
    102: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    105: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    106: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    116: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    117: __init -> f730_0_quicksort_NONNULL : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

Eliminated locations (on tree-shaped paths):
   Start location: __init
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    131: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: arg2P_17+2*arg1P_6
    132: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    133: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    134: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    135: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    136: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    137: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    138: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    139: __init -> [22] : [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    140: __init -> [22] : [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

Applied pruning (of leafs and parallel rules):
   Start location: __init
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    131: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: arg2P_17+2*arg1P_6
    132: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    133: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    134: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    135: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    136: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    137: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    138: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    139: __init -> [22] : [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    140: __init -> [22] : [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: __init
    108: __init -> f392_0_createList_GT : arg1'=0, arg2'=1, arg3'=1, arg4'=arg4P_13, arg5'=arg5P_13, [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ], cost: 3+arg2P_3
    131: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: arg2P_17+2*arg1P_6
    132: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    133: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    134: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    135: __init -> [17] : arg1'=2, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, arg5'=arg5P_26, [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 && 1+arg2P_17<=2 && 2+arg1P_17<=2 && arg2P_17>0 ], cost: 1+arg2P_17+2*arg1P_12
    136: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && 1+arg1P_6<=arg1P_2 && -1+arg1P_6>1 ], cost: -1+2*arg1P_6
    137: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    138: __init -> [22] : [ arg1P_2<=arg1P_39 && arg2P_39>0 && arg1P_39>0 && arg1P_2>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_2 ], cost: 2*arg1P_12
    139: __init -> [22] : [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 ], cost: 2*arg1P_12
    140: __init -> [22] : [ arg2P_3>-1 && arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && -1+arg1P_12>1 && arg1P_12<=1+arg1P_3 ], cost: 2*arg1P_12

Computing asymptotic complexity for rule 108
   Solved the limit problem by the following transformations:
      Created initial limit problem:
      arg1P_39 (+/+!), arg2P_3 (+/+!), 3+arg2P_3 (+), arg1P_3 (+/+!), arg2P_39 (+/+!), 1+arg1P_39-arg1P_3 (+/+!) [not solved]

      removing all constraints (solved by SMT)
      resulting limit problem: [solved]

      applying transformation rule (C) using substitution {arg1P_39==n,arg2P_3==n,arg1P_3==n,arg2P_39==n}
      resulting limit problem:
      [solved]

   Solution:
      arg1P_39 / n
      arg2P_3 / n
      arg1P_3 / n
      arg2P_39 / n
   Resulting cost 3+n has complexity: Unbounded

Found new complexity Unbounded.

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Unbounded
   Cpx degree:  Unbounded
   Solved cost: 3+n
   Rule cost:   3+arg2P_3
   Rule guard:  [ arg2P_39>0 && arg1P_3<=arg1P_39 && arg1P_39>0 && arg1P_3>0 && arg2P_3>0 ]

WORST_CASE(INF,?)