WORST_CASE(Omega(1),?)

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

Initial linear ITS problem
   Start location: l30
      0: l0 -> l1 : b^0'=b^post_1, e^0'=e^post_1, f^0'=f^post_1, olde^0'=olde^post_1, q^0'=q^post_1, x^0'=x^post_1, [ b^0==b^post_1 && e^0==e^post_1 && f^0==f^post_1 && olde^0==olde^post_1 && q^0==q^post_1 && x^0==x^post_1 ], cost: 1
     41: l1 -> l29 : b^0'=b^post_42, e^0'=e^post_42, f^0'=f^post_42, olde^0'=olde^post_42, q^0'=q^post_42, x^0'=x^post_42, [ 1+x^0<=b^0 && b^0==b^post_42 && e^0==e^post_42 && f^0==f^post_42 && olde^0==olde^post_42 && q^0==q^post_42 && x^0==x^post_42 ], cost: 1
     42: l1 -> l18 : b^0'=b^post_43, e^0'=e^post_43, f^0'=f^post_43, olde^0'=olde^post_43, q^0'=q^post_43, x^0'=x^post_43, [ b^0==b^post_43 && e^0==e^post_43 && f^0==f^post_43 && olde^0==olde^post_43 && q^0==q^post_43 && x^0==x^post_43 ], cost: 1
      1: l2 -> l0 : b^0'=b^post_2, e^0'=e^post_2, f^0'=f^post_2, olde^0'=olde^post_2, q^0'=q^post_2, x^0'=x^post_2, [ 1+olde^0<=e^0 && q^post_2==1 && b^0==b^post_2 && e^0==e^post_2 && f^0==f^post_2 && olde^0==olde^post_2 && x^0==x^post_2 ], cost: 1
      2: l2 -> l0 : b^0'=b^post_3, e^0'=e^post_3, f^0'=f^post_3, olde^0'=olde^post_3, q^0'=q^post_3, x^0'=x^post_3, [ e^0<=olde^0 && b^0==b^post_3 && e^0==e^post_3 && f^0==f^post_3 && olde^0==olde^post_3 && q^0==q^post_3 && x^0==x^post_3 ], cost: 1
      3: l3 -> l2 : b^0'=b^post_4, e^0'=e^post_4, f^0'=f^post_4, olde^0'=olde^post_4, q^0'=q^post_4, x^0'=x^post_4, [ e^post_4==e^post_4 && f^post_4==f^post_4 && olde^0<=e^post_4 && b^0==b^post_4 && olde^0==olde^post_4 && q^0==q^post_4 && x^0==x^post_4 ], cost: 1
      4: l4 -> l3 : b^0'=b^post_5, e^0'=e^post_5, f^0'=f^post_5, olde^0'=olde^post_5, q^0'=q^post_5, x^0'=x^post_5, [ 1<=b^0 && q^post_5==0 && b^0==b^post_5 && e^0==e^post_5 && f^0==f^post_5 && olde^0==olde^post_5 && x^0==x^post_5 ], cost: 1
      5: l4 -> l3 : b^0'=b^post_6, e^0'=e^post_6, f^0'=f^post_6, olde^0'=olde^post_6, q^0'=q^post_6, x^0'=x^post_6, [ b^0<=0 && b^0==b^post_6 && e^0==e^post_6 && f^0==f^post_6 && olde^0==olde^post_6 && q^0==q^post_6 && x^0==x^post_6 ], cost: 1
      6: l5 -> l4 : b^0'=b^post_7, e^0'=e^post_7, f^0'=f^post_7, olde^0'=olde^post_7, q^0'=q^post_7, x^0'=x^post_7, [ f^post_7==1+f^0 && olde^post_7==e^0 && b^0==b^post_7 && e^0==e^post_7 && q^0==q^post_7 && x^0==x^post_7 ], cost: 1
      7: l6 -> l5 : b^0'=b^post_8, e^0'=e^post_8, f^0'=f^post_8, olde^0'=olde^post_8, q^0'=q^post_8, x^0'=x^post_8, [ 1+olde^0<=e^0 && q^post_8==1 && b^0==b^post_8 && e^0==e^post_8 && f^0==f^post_8 && olde^0==olde^post_8 && x^0==x^post_8 ], cost: 1
      8: l6 -> l5 : b^0'=b^post_9, e^0'=e^post_9, f^0'=f^post_9, olde^0'=olde^post_9, q^0'=q^post_9, x^0'=x^post_9, [ e^0<=olde^0 && b^0==b^post_9 && e^0==e^post_9 && f^0==f^post_9 && olde^0==olde^post_9 && q^0==q^post_9 && x^0==x^post_9 ], cost: 1
      9: l7 -> l6 : b^0'=b^post_10, e^0'=e^post_10, f^0'=f^post_10, olde^0'=olde^post_10, q^0'=q^post_10, x^0'=x^post_10, [ e^post_10==e^post_10 && f^post_10==f^post_10 && olde^0<=e^post_10 && b^0==b^post_10 && olde^0==olde^post_10 && q^0==q^post_10 && x^0==x^post_10 ], cost: 1
     10: l8 -> l7 : b^0'=b^post_11, e^0'=e^post_11, f^0'=f^post_11, olde^0'=olde^post_11, q^0'=q^post_11, x^0'=x^post_11, [ 1<=b^0 && q^post_11==0 && b^0==b^post_11 && e^0==e^post_11 && f^0==f^post_11 && olde^0==olde^post_11 && x^0==x^post_11 ], cost: 1
     11: l8 -> l7 : b^0'=b^post_12, e^0'=e^post_12, f^0'=f^post_12, olde^0'=olde^post_12, q^0'=q^post_12, x^0'=x^post_12, [ b^0<=0 && b^0==b^post_12 && e^0==e^post_12 && f^0==f^post_12 && olde^0==olde^post_12 && q^0==q^post_12 && x^0==x^post_12 ], cost: 1
     12: l9 -> l10 : b^0'=b^post_13, e^0'=e^post_13, f^0'=f^post_13, olde^0'=olde^post_13, q^0'=q^post_13, x^0'=x^post_13, [ 1<=e^0 && e^post_13==-1+e^0 && olde^post_13==e^post_13 && b^0==b^post_13 && f^0==f^post_13 && q^0==q^post_13 && x^0==x^post_13 ], cost: 1
     13: l9 -> l11 : b^0'=b^post_14, e^0'=e^post_14, f^0'=f^post_14, olde^0'=olde^post_14, q^0'=q^post_14, x^0'=x^post_14, [ e^0<=0 && olde^post_14==e^0 && b^0==b^post_14 && e^0==e^post_14 && f^0==f^post_14 && q^0==q^post_14 && x^0==x^post_14 ], cost: 1
     18: l10 -> l14 : b^0'=b^post_19, e^0'=e^post_19, f^0'=f^post_19, olde^0'=olde^post_19, q^0'=q^post_19, x^0'=x^post_19, [ 1<=b^0 && q^post_19==0 && b^0==b^post_19 && e^0==e^post_19 && f^0==f^post_19 && olde^0==olde^post_19 && x^0==x^post_19 ], cost: 1
     19: l10 -> l14 : b^0'=b^post_20, e^0'=e^post_20, f^0'=f^post_20, olde^0'=olde^post_20, q^0'=q^post_20, x^0'=x^post_20, [ b^0<=0 && b^0==b^post_20 && e^0==e^post_20 && f^0==f^post_20 && olde^0==olde^post_20 && q^0==q^post_20 && x^0==x^post_20 ], cost: 1
     24: l11 -> l17 : b^0'=b^post_25, e^0'=e^post_25, f^0'=f^post_25, olde^0'=olde^post_25, q^0'=q^post_25, x^0'=x^post_25, [ 1<=b^0 && q^post_25==0 && b^0==b^post_25 && e^0==e^post_25 && f^0==f^post_25 && olde^0==olde^post_25 && x^0==x^post_25 ], cost: 1
     25: l11 -> l17 : b^0'=b^post_26, e^0'=e^post_26, f^0'=f^post_26, olde^0'=olde^post_26, q^0'=q^post_26, x^0'=x^post_26, [ b^0<=0 && b^0==b^post_26 && e^0==e^post_26 && f^0==f^post_26 && olde^0==olde^post_26 && q^0==q^post_26 && x^0==x^post_26 ], cost: 1
     14: l12 -> l8 : b^0'=b^post_15, e^0'=e^post_15, f^0'=f^post_15, olde^0'=olde^post_15, q^0'=q^post_15, x^0'=x^post_15, [ b^post_15==x^0 && olde^post_15==e^0 && e^0==e^post_15 && f^0==f^post_15 && q^0==q^post_15 && x^0==x^post_15 ], cost: 1
     15: l13 -> l12 : b^0'=b^post_16, e^0'=e^post_16, f^0'=f^post_16, olde^0'=olde^post_16, q^0'=q^post_16, x^0'=x^post_16, [ 1+olde^0<=e^0 && q^post_16==1 && b^0==b^post_16 && e^0==e^post_16 && f^0==f^post_16 && olde^0==olde^post_16 && x^0==x^post_16 ], cost: 1
     16: l13 -> l12 : b^0'=b^post_17, e^0'=e^post_17, f^0'=f^post_17, olde^0'=olde^post_17, q^0'=q^post_17, x^0'=x^post_17, [ e^0<=olde^0 && b^0==b^post_17 && e^0==e^post_17 && f^0==f^post_17 && olde^0==olde^post_17 && q^0==q^post_17 && x^0==x^post_17 ], cost: 1
     17: l14 -> l13 : b^0'=b^post_18, e^0'=e^post_18, f^0'=f^post_18, olde^0'=olde^post_18, q^0'=q^post_18, x^0'=x^post_18, [ e^post_18==e^post_18 && f^post_18==f^post_18 && olde^0<=e^post_18 && b^0==b^post_18 && olde^0==olde^post_18 && q^0==q^post_18 && x^0==x^post_18 ], cost: 1
     20: l15 -> l9 : b^0'=b^post_21, e^0'=e^post_21, f^0'=f^post_21, olde^0'=olde^post_21, q^0'=q^post_21, x^0'=x^post_21, [ b^0==b^post_21 && e^0==e^post_21 && f^0==f^post_21 && olde^0==olde^post_21 && q^0==q^post_21 && x^0==x^post_21 ], cost: 1
     21: l16 -> l15 : b^0'=b^post_22, e^0'=e^post_22, f^0'=f^post_22, olde^0'=olde^post_22, q^0'=q^post_22, x^0'=x^post_22, [ 1+olde^0<=e^0 && q^post_22==1 && b^0==b^post_22 && e^0==e^post_22 && f^0==f^post_22 && olde^0==olde^post_22 && x^0==x^post_22 ], cost: 1
     22: l16 -> l15 : b^0'=b^post_23, e^0'=e^post_23, f^0'=f^post_23, olde^0'=olde^post_23, q^0'=q^post_23, x^0'=x^post_23, [ e^0<=olde^0 && olde^0<=e^0 && b^0==b^post_23 && e^0==e^post_23 && f^0==f^post_23 && olde^0==olde^post_23 && q^0==q^post_23 && x^0==x^post_23 ], cost: 1
     23: l17 -> l16 : b^0'=b^post_24, e^0'=e^post_24, f^0'=f^post_24, olde^0'=olde^post_24, q^0'=q^post_24, x^0'=x^post_24, [ e^post_24==e^post_24 && f^post_24==f^post_24 && olde^0<=e^post_24 && b^0==b^post_24 && olde^0==olde^post_24 && q^0==q^post_24 && x^0==x^post_24 ], cost: 1
     26: l18 -> l19 : b^0'=b^post_27, e^0'=e^post_27, f^0'=f^post_27, olde^0'=olde^post_27, q^0'=q^post_27, x^0'=x^post_27, [ 1<=x^0 && x^post_27==-1+x^0 && olde^post_27==e^0 && b^0==b^post_27 && e^0==e^post_27 && f^0==f^post_27 && q^0==q^post_27 ], cost: 1
     27: l18 -> l20 : b^0'=b^post_28, e^0'=e^post_28, f^0'=f^post_28, olde^0'=olde^post_28, q^0'=q^post_28, x^0'=x^post_28, [ x^0<=0 && b^0==b^post_28 && e^0==e^post_28 && f^0==f^post_28 && olde^0==olde^post_28 && q^0==q^post_28 && x^0==x^post_28 ], cost: 1
     32: l19 -> l23 : b^0'=b^post_33, e^0'=e^post_33, f^0'=f^post_33, olde^0'=olde^post_33, q^0'=q^post_33, x^0'=x^post_33, [ 1<=b^0 && q^post_33==0 && b^0==b^post_33 && e^0==e^post_33 && f^0==f^post_33 && olde^0==olde^post_33 && x^0==x^post_33 ], cost: 1
     33: l19 -> l23 : b^0'=b^post_34, e^0'=e^post_34, f^0'=f^post_34, olde^0'=olde^post_34, q^0'=q^post_34, x^0'=x^post_34, [ b^0<=0 && b^0==b^post_34 && e^0==e^post_34 && f^0==f^post_34 && olde^0==olde^post_34 && q^0==q^post_34 && x^0==x^post_34 ], cost: 1
     28: l21 -> l9 : b^0'=b^post_29, e^0'=e^post_29, f^0'=f^post_29, olde^0'=olde^post_29, q^0'=q^post_29, x^0'=x^post_29, [ b^0==b^post_29 && e^0==e^post_29 && f^0==f^post_29 && olde^0==olde^post_29 && q^0==q^post_29 && x^0==x^post_29 ], cost: 1
     29: l22 -> l21 : b^0'=b^post_30, e^0'=e^post_30, f^0'=f^post_30, olde^0'=olde^post_30, q^0'=q^post_30, x^0'=x^post_30, [ 1+olde^0<=e^0 && q^post_30==1 && b^0==b^post_30 && e^0==e^post_30 && f^0==f^post_30 && olde^0==olde^post_30 && x^0==x^post_30 ], cost: 1
     30: l22 -> l21 : b^0'=b^post_31, e^0'=e^post_31, f^0'=f^post_31, olde^0'=olde^post_31, q^0'=q^post_31, x^0'=x^post_31, [ e^0<=olde^0 && b^0==b^post_31 && e^0==e^post_31 && f^0==f^post_31 && olde^0==olde^post_31 && q^0==q^post_31 && x^0==x^post_31 ], cost: 1
     31: l23 -> l22 : b^0'=b^post_32, e^0'=e^post_32, f^0'=f^post_32, olde^0'=olde^post_32, q^0'=q^post_32, x^0'=x^post_32, [ e^post_32==e^post_32 && f^post_32==f^post_32 && olde^0<=e^post_32 && b^0==b^post_32 && olde^0==olde^post_32 && q^0==q^post_32 && x^0==x^post_32 ], cost: 1
     34: l24 -> l18 : b^0'=b^post_35, e^0'=e^post_35, f^0'=f^post_35, olde^0'=olde^post_35, q^0'=q^post_35, x^0'=x^post_35, [ b^0==b^post_35 && e^0==e^post_35 && f^0==f^post_35 && olde^0==olde^post_35 && q^0==q^post_35 && x^0==x^post_35 ], cost: 1
     35: l25 -> l24 : b^0'=b^post_36, e^0'=e^post_36, f^0'=f^post_36, olde^0'=olde^post_36, q^0'=q^post_36, x^0'=x^post_36, [ 1+olde^0<=e^0 && q^post_36==1 && b^0==b^post_36 && e^0==e^post_36 && f^0==f^post_36 && olde^0==olde^post_36 && x^0==x^post_36 ], cost: 1
     36: l25 -> l24 : b^0'=b^post_37, e^0'=e^post_37, f^0'=f^post_37, olde^0'=olde^post_37, q^0'=q^post_37, x^0'=x^post_37, [ e^0<=olde^0 && b^0==b^post_37 && e^0==e^post_37 && f^0==f^post_37 && olde^0==olde^post_37 && q^0==q^post_37 && x^0==x^post_37 ], cost: 1
     37: l26 -> l25 : b^0'=b^post_38, e^0'=e^post_38, f^0'=f^post_38, olde^0'=olde^post_38, q^0'=q^post_38, x^0'=x^post_38, [ e^post_38==e^post_38 && f^post_38==f^post_38 && olde^0<=e^post_38 && b^0==b^post_38 && olde^0==olde^post_38 && q^0==q^post_38 && x^0==x^post_38 ], cost: 1
     38: l27 -> l26 : b^0'=b^post_39, e^0'=e^post_39, f^0'=f^post_39, olde^0'=olde^post_39, q^0'=q^post_39, x^0'=x^post_39, [ 1<=b^0 && q^post_39==0 && b^0==b^post_39 && e^0==e^post_39 && f^0==f^post_39 && olde^0==olde^post_39 && x^0==x^post_39 ], cost: 1
     39: l27 -> l26 : b^0'=b^post_40, e^0'=e^post_40, f^0'=f^post_40, olde^0'=olde^post_40, q^0'=q^post_40, x^0'=x^post_40, [ b^0<=0 && b^0==b^post_40 && e^0==e^post_40 && f^0==f^post_40 && olde^0==olde^post_40 && q^0==q^post_40 && x^0==x^post_40 ], cost: 1
     40: l28 -> l27 : b^0'=b^post_41, e^0'=e^post_41, f^0'=f^post_41, olde^0'=olde^post_41, q^0'=q^post_41, x^0'=x^post_41, [ e^post_41==1 && f^post_41==0 && b^post_41==b^post_41 && x^post_41==x^post_41 && 1<=x^post_41 && olde^post_41==e^post_41 && q^0==q^post_41 ], cost: 1
     43: l30 -> l28 : b^0'=b^post_44, e^0'=e^post_44, f^0'=f^post_44, olde^0'=olde^post_44, q^0'=q^post_44, x^0'=x^post_44, [ b^0==b^post_44 && e^0==e^post_44 && f^0==f^post_44 && olde^0==olde^post_44 && q^0==q^post_44 && x^0==x^post_44 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     43: l30 -> l28 : b^0'=b^post_44, e^0'=e^post_44, f^0'=f^post_44, olde^0'=olde^post_44, q^0'=q^post_44, x^0'=x^post_44, [ b^0==b^post_44 && e^0==e^post_44 && f^0==f^post_44 && olde^0==olde^post_44 && q^0==q^post_44 && x^0==x^post_44 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l30
      0: l0 -> l1 : b^0'=b^post_1, e^0'=e^post_1, f^0'=f^post_1, olde^0'=olde^post_1, q^0'=q^post_1, x^0'=x^post_1, [ b^0==b^post_1 && e^0==e^post_1 && f^0==f^post_1 && olde^0==olde^post_1 && q^0==q^post_1 && x^0==x^post_1 ], cost: 1
     42: l1 -> l18 : b^0'=b^post_43, e^0'=e^post_43, f^0'=f^post_43, olde^0'=olde^post_43, q^0'=q^post_43, x^0'=x^post_43, [ b^0==b^post_43 && e^0==e^post_43 && f^0==f^post_43 && olde^0==olde^post_43 && q^0==q^post_43 && x^0==x^post_43 ], cost: 1
      1: l2 -> l0 : b^0'=b^post_2, e^0'=e^post_2, f^0'=f^post_2, olde^0'=olde^post_2, q^0'=q^post_2, x^0'=x^post_2, [ 1+olde^0<=e^0 && q^post_2==1 && b^0==b^post_2 && e^0==e^post_2 && f^0==f^post_2 && olde^0==olde^post_2 && x^0==x^post_2 ], cost: 1
      2: l2 -> l0 : b^0'=b^post_3, e^0'=e^post_3, f^0'=f^post_3, olde^0'=olde^post_3, q^0'=q^post_3, x^0'=x^post_3, [ e^0<=olde^0 && b^0==b^post_3 && e^0==e^post_3 && f^0==f^post_3 && olde^0==olde^post_3 && q^0==q^post_3 && x^0==x^post_3 ], cost: 1
      3: l3 -> l2 : b^0'=b^post_4, e^0'=e^post_4, f^0'=f^post_4, olde^0'=olde^post_4, q^0'=q^post_4, x^0'=x^post_4, [ e^post_4==e^post_4 && f^post_4==f^post_4 && olde^0<=e^post_4 && b^0==b^post_4 && olde^0==olde^post_4 && q^0==q^post_4 && x^0==x^post_4 ], cost: 1
      4: l4 -> l3 : b^0'=b^post_5, e^0'=e^post_5, f^0'=f^post_5, olde^0'=olde^post_5, q^0'=q^post_5, x^0'=x^post_5, [ 1<=b^0 && q^post_5==0 && b^0==b^post_5 && e^0==e^post_5 && f^0==f^post_5 && olde^0==olde^post_5 && x^0==x^post_5 ], cost: 1
      5: l4 -> l3 : b^0'=b^post_6, e^0'=e^post_6, f^0'=f^post_6, olde^0'=olde^post_6, q^0'=q^post_6, x^0'=x^post_6, [ b^0<=0 && b^0==b^post_6 && e^0==e^post_6 && f^0==f^post_6 && olde^0==olde^post_6 && q^0==q^post_6 && x^0==x^post_6 ], cost: 1
      6: l5 -> l4 : b^0'=b^post_7, e^0'=e^post_7, f^0'=f^post_7, olde^0'=olde^post_7, q^0'=q^post_7, x^0'=x^post_7, [ f^post_7==1+f^0 && olde^post_7==e^0 && b^0==b^post_7 && e^0==e^post_7 && q^0==q^post_7 && x^0==x^post_7 ], cost: 1
      7: l6 -> l5 : b^0'=b^post_8, e^0'=e^post_8, f^0'=f^post_8, olde^0'=olde^post_8, q^0'=q^post_8, x^0'=x^post_8, [ 1+olde^0<=e^0 && q^post_8==1 && b^0==b^post_8 && e^0==e^post_8 && f^0==f^post_8 && olde^0==olde^post_8 && x^0==x^post_8 ], cost: 1
      8: l6 -> l5 : b^0'=b^post_9, e^0'=e^post_9, f^0'=f^post_9, olde^0'=olde^post_9, q^0'=q^post_9, x^0'=x^post_9, [ e^0<=olde^0 && b^0==b^post_9 && e^0==e^post_9 && f^0==f^post_9 && olde^0==olde^post_9 && q^0==q^post_9 && x^0==x^post_9 ], cost: 1
      9: l7 -> l6 : b^0'=b^post_10, e^0'=e^post_10, f^0'=f^post_10, olde^0'=olde^post_10, q^0'=q^post_10, x^0'=x^post_10, [ e^post_10==e^post_10 && f^post_10==f^post_10 && olde^0<=e^post_10 && b^0==b^post_10 && olde^0==olde^post_10 && q^0==q^post_10 && x^0==x^post_10 ], cost: 1
     10: l8 -> l7 : b^0'=b^post_11, e^0'=e^post_11, f^0'=f^post_11, olde^0'=olde^post_11, q^0'=q^post_11, x^0'=x^post_11, [ 1<=b^0 && q^post_11==0 && b^0==b^post_11 && e^0==e^post_11 && f^0==f^post_11 && olde^0==olde^post_11 && x^0==x^post_11 ], cost: 1
     11: l8 -> l7 : b^0'=b^post_12, e^0'=e^post_12, f^0'=f^post_12, olde^0'=olde^post_12, q^0'=q^post_12, x^0'=x^post_12, [ b^0<=0 && b^0==b^post_12 && e^0==e^post_12 && f^0==f^post_12 && olde^0==olde^post_12 && q^0==q^post_12 && x^0==x^post_12 ], cost: 1
     12: l9 -> l10 : b^0'=b^post_13, e^0'=e^post_13, f^0'=f^post_13, olde^0'=olde^post_13, q^0'=q^post_13, x^0'=x^post_13, [ 1<=e^0 && e^post_13==-1+e^0 && olde^post_13==e^post_13 && b^0==b^post_13 && f^0==f^post_13 && q^0==q^post_13 && x^0==x^post_13 ], cost: 1
     13: l9 -> l11 : b^0'=b^post_14, e^0'=e^post_14, f^0'=f^post_14, olde^0'=olde^post_14, q^0'=q^post_14, x^0'=x^post_14, [ e^0<=0 && olde^post_14==e^0 && b^0==b^post_14 && e^0==e^post_14 && f^0==f^post_14 && q^0==q^post_14 && x^0==x^post_14 ], cost: 1
     18: l10 -> l14 : b^0'=b^post_19, e^0'=e^post_19, f^0'=f^post_19, olde^0'=olde^post_19, q^0'=q^post_19, x^0'=x^post_19, [ 1<=b^0 && q^post_19==0 && b^0==b^post_19 && e^0==e^post_19 && f^0==f^post_19 && olde^0==olde^post_19 && x^0==x^post_19 ], cost: 1
     19: l10 -> l14 : b^0'=b^post_20, e^0'=e^post_20, f^0'=f^post_20, olde^0'=olde^post_20, q^0'=q^post_20, x^0'=x^post_20, [ b^0<=0 && b^0==b^post_20 && e^0==e^post_20 && f^0==f^post_20 && olde^0==olde^post_20 && q^0==q^post_20 && x^0==x^post_20 ], cost: 1
     24: l11 -> l17 : b^0'=b^post_25, e^0'=e^post_25, f^0'=f^post_25, olde^0'=olde^post_25, q^0'=q^post_25, x^0'=x^post_25, [ 1<=b^0 && q^post_25==0 && b^0==b^post_25 && e^0==e^post_25 && f^0==f^post_25 && olde^0==olde^post_25 && x^0==x^post_25 ], cost: 1
     25: l11 -> l17 : b^0'=b^post_26, e^0'=e^post_26, f^0'=f^post_26, olde^0'=olde^post_26, q^0'=q^post_26, x^0'=x^post_26, [ b^0<=0 && b^0==b^post_26 && e^0==e^post_26 && f^0==f^post_26 && olde^0==olde^post_26 && q^0==q^post_26 && x^0==x^post_26 ], cost: 1
     14: l12 -> l8 : b^0'=b^post_15, e^0'=e^post_15, f^0'=f^post_15, olde^0'=olde^post_15, q^0'=q^post_15, x^0'=x^post_15, [ b^post_15==x^0 && olde^post_15==e^0 && e^0==e^post_15 && f^0==f^post_15 && q^0==q^post_15 && x^0==x^post_15 ], cost: 1
     15: l13 -> l12 : b^0'=b^post_16, e^0'=e^post_16, f^0'=f^post_16, olde^0'=olde^post_16, q^0'=q^post_16, x^0'=x^post_16, [ 1+olde^0<=e^0 && q^post_16==1 && b^0==b^post_16 && e^0==e^post_16 && f^0==f^post_16 && olde^0==olde^post_16 && x^0==x^post_16 ], cost: 1
     16: l13 -> l12 : b^0'=b^post_17, e^0'=e^post_17, f^0'=f^post_17, olde^0'=olde^post_17, q^0'=q^post_17, x^0'=x^post_17, [ e^0<=olde^0 && b^0==b^post_17 && e^0==e^post_17 && f^0==f^post_17 && olde^0==olde^post_17 && q^0==q^post_17 && x^0==x^post_17 ], cost: 1
     17: l14 -> l13 : b^0'=b^post_18, e^0'=e^post_18, f^0'=f^post_18, olde^0'=olde^post_18, q^0'=q^post_18, x^0'=x^post_18, [ e^post_18==e^post_18 && f^post_18==f^post_18 && olde^0<=e^post_18 && b^0==b^post_18 && olde^0==olde^post_18 && q^0==q^post_18 && x^0==x^post_18 ], cost: 1
     20: l15 -> l9 : b^0'=b^post_21, e^0'=e^post_21, f^0'=f^post_21, olde^0'=olde^post_21, q^0'=q^post_21, x^0'=x^post_21, [ b^0==b^post_21 && e^0==e^post_21 && f^0==f^post_21 && olde^0==olde^post_21 && q^0==q^post_21 && x^0==x^post_21 ], cost: 1
     21: l16 -> l15 : b^0'=b^post_22, e^0'=e^post_22, f^0'=f^post_22, olde^0'=olde^post_22, q^0'=q^post_22, x^0'=x^post_22, [ 1+olde^0<=e^0 && q^post_22==1 && b^0==b^post_22 && e^0==e^post_22 && f^0==f^post_22 && olde^0==olde^post_22 && x^0==x^post_22 ], cost: 1
     22: l16 -> l15 : b^0'=b^post_23, e^0'=e^post_23, f^0'=f^post_23, olde^0'=olde^post_23, q^0'=q^post_23, x^0'=x^post_23, [ e^0<=olde^0 && olde^0<=e^0 && b^0==b^post_23 && e^0==e^post_23 && f^0==f^post_23 && olde^0==olde^post_23 && q^0==q^post_23 && x^0==x^post_23 ], cost: 1
     23: l17 -> l16 : b^0'=b^post_24, e^0'=e^post_24, f^0'=f^post_24, olde^0'=olde^post_24, q^0'=q^post_24, x^0'=x^post_24, [ e^post_24==e^post_24 && f^post_24==f^post_24 && olde^0<=e^post_24 && b^0==b^post_24 && olde^0==olde^post_24 && q^0==q^post_24 && x^0==x^post_24 ], cost: 1
     26: l18 -> l19 : b^0'=b^post_27, e^0'=e^post_27, f^0'=f^post_27, olde^0'=olde^post_27, q^0'=q^post_27, x^0'=x^post_27, [ 1<=x^0 && x^post_27==-1+x^0 && olde^post_27==e^0 && b^0==b^post_27 && e^0==e^post_27 && f^0==f^post_27 && q^0==q^post_27 ], cost: 1
     32: l19 -> l23 : b^0'=b^post_33, e^0'=e^post_33, f^0'=f^post_33, olde^0'=olde^post_33, q^0'=q^post_33, x^0'=x^post_33, [ 1<=b^0 && q^post_33==0 && b^0==b^post_33 && e^0==e^post_33 && f^0==f^post_33 && olde^0==olde^post_33 && x^0==x^post_33 ], cost: 1
     33: l19 -> l23 : b^0'=b^post_34, e^0'=e^post_34, f^0'=f^post_34, olde^0'=olde^post_34, q^0'=q^post_34, x^0'=x^post_34, [ b^0<=0 && b^0==b^post_34 && e^0==e^post_34 && f^0==f^post_34 && olde^0==olde^post_34 && q^0==q^post_34 && x^0==x^post_34 ], cost: 1
     28: l21 -> l9 : b^0'=b^post_29, e^0'=e^post_29, f^0'=f^post_29, olde^0'=olde^post_29, q^0'=q^post_29, x^0'=x^post_29, [ b^0==b^post_29 && e^0==e^post_29 && f^0==f^post_29 && olde^0==olde^post_29 && q^0==q^post_29 && x^0==x^post_29 ], cost: 1
     29: l22 -> l21 : b^0'=b^post_30, e^0'=e^post_30, f^0'=f^post_30, olde^0'=olde^post_30, q^0'=q^post_30, x^0'=x^post_30, [ 1+olde^0<=e^0 && q^post_30==1 && b^0==b^post_30 && e^0==e^post_30 && f^0==f^post_30 && olde^0==olde^post_30 && x^0==x^post_30 ], cost: 1
     30: l22 -> l21 : b^0'=b^post_31, e^0'=e^post_31, f^0'=f^post_31, olde^0'=olde^post_31, q^0'=q^post_31, x^0'=x^post_31, [ e^0<=olde^0 && b^0==b^post_31 && e^0==e^post_31 && f^0==f^post_31 && olde^0==olde^post_31 && q^0==q^post_31 && x^0==x^post_31 ], cost: 1
     31: l23 -> l22 : b^0'=b^post_32, e^0'=e^post_32, f^0'=f^post_32, olde^0'=olde^post_32, q^0'=q^post_32, x^0'=x^post_32, [ e^post_32==e^post_32 && f^post_32==f^post_32 && olde^0<=e^post_32 && b^0==b^post_32 && olde^0==olde^post_32 && q^0==q^post_32 && x^0==x^post_32 ], cost: 1
     34: l24 -> l18 : b^0'=b^post_35, e^0'=e^post_35, f^0'=f^post_35, olde^0'=olde^post_35, q^0'=q^post_35, x^0'=x^post_35, [ b^0==b^post_35 && e^0==e^post_35 && f^0==f^post_35 && olde^0==olde^post_35 && q^0==q^post_35 && x^0==x^post_35 ], cost: 1
     35: l25 -> l24 : b^0'=b^post_36, e^0'=e^post_36, f^0'=f^post_36, olde^0'=olde^post_36, q^0'=q^post_36, x^0'=x^post_36, [ 1+olde^0<=e^0 && q^post_36==1 && b^0==b^post_36 && e^0==e^post_36 && f^0==f^post_36 && olde^0==olde^post_36 && x^0==x^post_36 ], cost: 1
     36: l25 -> l24 : b^0'=b^post_37, e^0'=e^post_37, f^0'=f^post_37, olde^0'=olde^post_37, q^0'=q^post_37, x^0'=x^post_37, [ e^0<=olde^0 && b^0==b^post_37 && e^0==e^post_37 && f^0==f^post_37 && olde^0==olde^post_37 && q^0==q^post_37 && x^0==x^post_37 ], cost: 1
     37: l26 -> l25 : b^0'=b^post_38, e^0'=e^post_38, f^0'=f^post_38, olde^0'=olde^post_38, q^0'=q^post_38, x^0'=x^post_38, [ e^post_38==e^post_38 && f^post_38==f^post_38 && olde^0<=e^post_38 && b^0==b^post_38 && olde^0==olde^post_38 && q^0==q^post_38 && x^0==x^post_38 ], cost: 1
     38: l27 -> l26 : b^0'=b^post_39, e^0'=e^post_39, f^0'=f^post_39, olde^0'=olde^post_39, q^0'=q^post_39, x^0'=x^post_39, [ 1<=b^0 && q^post_39==0 && b^0==b^post_39 && e^0==e^post_39 && f^0==f^post_39 && olde^0==olde^post_39 && x^0==x^post_39 ], cost: 1
     39: l27 -> l26 : b^0'=b^post_40, e^0'=e^post_40, f^0'=f^post_40, olde^0'=olde^post_40, q^0'=q^post_40, x^0'=x^post_40, [ b^0<=0 && b^0==b^post_40 && e^0==e^post_40 && f^0==f^post_40 && olde^0==olde^post_40 && q^0==q^post_40 && x^0==x^post_40 ], cost: 1
     40: l28 -> l27 : b^0'=b^post_41, e^0'=e^post_41, f^0'=f^post_41, olde^0'=olde^post_41, q^0'=q^post_41, x^0'=x^post_41, [ e^post_41==1 && f^post_41==0 && b^post_41==b^post_41 && x^post_41==x^post_41 && 1<=x^post_41 && olde^post_41==e^post_41 && q^0==q^post_41 ], cost: 1
     43: l30 -> l28 : b^0'=b^post_44, e^0'=e^post_44, f^0'=f^post_44, olde^0'=olde^post_44, q^0'=q^post_44, x^0'=x^post_44, [ b^0==b^post_44 && e^0==e^post_44 && f^0==f^post_44 && olde^0==olde^post_44 && q^0==q^post_44 && x^0==x^post_44 ], cost: 1

Simplified all rules, resulting in:
   Start location: l30
      0: l0 -> l1 : [], cost: 1
     42: l1 -> l18 : [], cost: 1
      1: l2 -> l0 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
      2: l2 -> l0 : [ e^0<=olde^0 ], cost: 1
      3: l3 -> l2 : e^0'=e^post_4, f^0'=f^post_4, [ olde^0<=e^post_4 ], cost: 1
      4: l4 -> l3 : q^0'=0, [ 1<=b^0 ], cost: 1
      5: l4 -> l3 : [ b^0<=0 ], cost: 1
      6: l5 -> l4 : f^0'=1+f^0, olde^0'=e^0, [], cost: 1
      7: l6 -> l5 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
      8: l6 -> l5 : [ e^0<=olde^0 ], cost: 1
      9: l7 -> l6 : e^0'=e^post_10, f^0'=f^post_10, [ olde^0<=e^post_10 ], cost: 1
     10: l8 -> l7 : q^0'=0, [ 1<=b^0 ], cost: 1
     11: l8 -> l7 : [ b^0<=0 ], cost: 1
     12: l9 -> l10 : e^0'=-1+e^0, olde^0'=-1+e^0, [ 1<=e^0 ], cost: 1
     13: l9 -> l11 : olde^0'=e^0, [ e^0<=0 ], cost: 1
     18: l10 -> l14 : q^0'=0, [ 1<=b^0 ], cost: 1
     19: l10 -> l14 : [ b^0<=0 ], cost: 1
     24: l11 -> l17 : q^0'=0, [ 1<=b^0 ], cost: 1
     25: l11 -> l17 : [ b^0<=0 ], cost: 1
     14: l12 -> l8 : b^0'=x^0, olde^0'=e^0, [], cost: 1
     15: l13 -> l12 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     16: l13 -> l12 : [ e^0<=olde^0 ], cost: 1
     17: l14 -> l13 : e^0'=e^post_18, f^0'=f^post_18, [ olde^0<=e^post_18 ], cost: 1
     20: l15 -> l9 : [], cost: 1
     21: l16 -> l15 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     22: l16 -> l15 : [ e^0-olde^0==0 ], cost: 1
     23: l17 -> l16 : e^0'=e^post_24, f^0'=f^post_24, [ olde^0<=e^post_24 ], cost: 1
     26: l18 -> l19 : olde^0'=e^0, x^0'=-1+x^0, [ 1<=x^0 ], cost: 1
     32: l19 -> l23 : q^0'=0, [ 1<=b^0 ], cost: 1
     33: l19 -> l23 : [ b^0<=0 ], cost: 1
     28: l21 -> l9 : [], cost: 1
     29: l22 -> l21 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     30: l22 -> l21 : [ e^0<=olde^0 ], cost: 1
     31: l23 -> l22 : e^0'=e^post_32, f^0'=f^post_32, [ olde^0<=e^post_32 ], cost: 1
     34: l24 -> l18 : [], cost: 1
     35: l25 -> l24 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     36: l25 -> l24 : [ e^0<=olde^0 ], cost: 1
     37: l26 -> l25 : e^0'=e^post_38, f^0'=f^post_38, [ olde^0<=e^post_38 ], cost: 1
     38: l27 -> l26 : q^0'=0, [ 1<=b^0 ], cost: 1
     39: l27 -> l26 : [ b^0<=0 ], cost: 1
     40: l28 -> l27 : b^0'=b^post_41, e^0'=1, f^0'=0, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 ], cost: 1
     43: l30 -> l28 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l30
     45: l0 -> l18 : [], cost: 2
      1: l2 -> l0 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
      2: l2 -> l0 : [ e^0<=olde^0 ], cost: 1
      3: l3 -> l2 : e^0'=e^post_4, f^0'=f^post_4, [ olde^0<=e^post_4 ], cost: 1
      4: l4 -> l3 : q^0'=0, [ 1<=b^0 ], cost: 1
      5: l4 -> l3 : [ b^0<=0 ], cost: 1
      6: l5 -> l4 : f^0'=1+f^0, olde^0'=e^0, [], cost: 1
      7: l6 -> l5 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
      8: l6 -> l5 : [ e^0<=olde^0 ], cost: 1
      9: l7 -> l6 : e^0'=e^post_10, f^0'=f^post_10, [ olde^0<=e^post_10 ], cost: 1
     10: l8 -> l7 : q^0'=0, [ 1<=b^0 ], cost: 1
     11: l8 -> l7 : [ b^0<=0 ], cost: 1
     12: l9 -> l10 : e^0'=-1+e^0, olde^0'=-1+e^0, [ 1<=e^0 ], cost: 1
     13: l9 -> l11 : olde^0'=e^0, [ e^0<=0 ], cost: 1
     18: l10 -> l14 : q^0'=0, [ 1<=b^0 ], cost: 1
     19: l10 -> l14 : [ b^0<=0 ], cost: 1
     24: l11 -> l17 : q^0'=0, [ 1<=b^0 ], cost: 1
     25: l11 -> l17 : [ b^0<=0 ], cost: 1
     14: l12 -> l8 : b^0'=x^0, olde^0'=e^0, [], cost: 1
     15: l13 -> l12 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     16: l13 -> l12 : [ e^0<=olde^0 ], cost: 1
     17: l14 -> l13 : e^0'=e^post_18, f^0'=f^post_18, [ olde^0<=e^post_18 ], cost: 1
     20: l15 -> l9 : [], cost: 1
     21: l16 -> l15 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     22: l16 -> l15 : [ e^0-olde^0==0 ], cost: 1
     23: l17 -> l16 : e^0'=e^post_24, f^0'=f^post_24, [ olde^0<=e^post_24 ], cost: 1
     26: l18 -> l19 : olde^0'=e^0, x^0'=-1+x^0, [ 1<=x^0 ], cost: 1
     32: l19 -> l23 : q^0'=0, [ 1<=b^0 ], cost: 1
     33: l19 -> l23 : [ b^0<=0 ], cost: 1
     28: l21 -> l9 : [], cost: 1
     29: l22 -> l21 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     30: l22 -> l21 : [ e^0<=olde^0 ], cost: 1
     31: l23 -> l22 : e^0'=e^post_32, f^0'=f^post_32, [ olde^0<=e^post_32 ], cost: 1
     34: l24 -> l18 : [], cost: 1
     35: l25 -> l24 : q^0'=1, [ 1+olde^0<=e^0 ], cost: 1
     36: l25 -> l24 : [ e^0<=olde^0 ], cost: 1
     37: l26 -> l25 : e^0'=e^post_38, f^0'=f^post_38, [ olde^0<=e^post_38 ], cost: 1
     38: l27 -> l26 : q^0'=0, [ 1<=b^0 ], cost: 1
     39: l27 -> l26 : [ b^0<=0 ], cost: 1
     44: l30 -> l27 : b^0'=b^post_41, e^0'=1, f^0'=0, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 ], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l30
     45: l0 -> l18 : [], cost: 2
     66: l3 -> l0 : e^0'=e^post_4, f^0'=f^post_4, q^0'=1, [ 1+olde^0<=e^post_4 ], cost: 2
     67: l3 -> l0 : e^0'=e^post_4, f^0'=f^post_4, [ olde^0<=e^post_4 && e^post_4<=olde^0 ], cost: 2
     64: l5 -> l3 : f^0'=1+f^0, olde^0'=e^0, q^0'=0, [ 1<=b^0 ], cost: 2
     65: l5 -> l3 : f^0'=1+f^0, olde^0'=e^0, [ b^0<=0 ], cost: 2
     62: l7 -> l5 : e^0'=e^post_10, f^0'=f^post_10, q^0'=1, [ 1+olde^0<=e^post_10 ], cost: 2
     63: l7 -> l5 : e^0'=e^post_10, f^0'=f^post_10, [ olde^0<=e^post_10 && e^post_10<=olde^0 ], cost: 2
     54: l9 -> l14 : e^0'=-1+e^0, olde^0'=-1+e^0, q^0'=0, [ 1<=e^0 && 1<=b^0 ], cost: 2
     55: l9 -> l14 : e^0'=-1+e^0, olde^0'=-1+e^0, [ 1<=e^0 && b^0<=0 ], cost: 2
     56: l9 -> l17 : olde^0'=e^0, q^0'=0, [ e^0<=0 && 1<=b^0 ], cost: 2
     57: l9 -> l17 : olde^0'=e^0, [ e^0<=0 && b^0<=0 ], cost: 2
     60: l12 -> l7 : b^0'=x^0, olde^0'=e^0, q^0'=0, [ 1<=x^0 ], cost: 2
     61: l12 -> l7 : b^0'=x^0, olde^0'=e^0, [ x^0<=0 ], cost: 2
     58: l14 -> l12 : e^0'=e^post_18, f^0'=f^post_18, q^0'=1, [ 1+olde^0<=e^post_18 ], cost: 2
     59: l14 -> l12 : e^0'=e^post_18, f^0'=f^post_18, [ olde^0<=e^post_18 && e^post_18<=olde^0 ], cost: 2
     20: l15 -> l9 : [], cost: 1
     68: l17 -> l15 : e^0'=e^post_24, f^0'=f^post_24, q^0'=1, [ 1+olde^0<=e^post_24 ], cost: 2
     69: l17 -> l15 : e^0'=e^post_24, f^0'=f^post_24, [ e^post_24-olde^0==0 ], cost: 2
     50: l18 -> l23 : olde^0'=e^0, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 ], cost: 2
     51: l18 -> l23 : olde^0'=e^0, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 ], cost: 2
     28: l21 -> l9 : [], cost: 1
     52: l23 -> l21 : e^0'=e^post_32, f^0'=f^post_32, q^0'=1, [ 1+olde^0<=e^post_32 ], cost: 2
     53: l23 -> l21 : e^0'=e^post_32, f^0'=f^post_32, [ olde^0<=e^post_32 && e^post_32<=olde^0 ], cost: 2
     34: l24 -> l18 : [], cost: 1
     48: l26 -> l24 : e^0'=e^post_38, f^0'=f^post_38, q^0'=1, [ 1+olde^0<=e^post_38 ], cost: 2
     49: l26 -> l24 : e^0'=e^post_38, f^0'=f^post_38, [ olde^0<=e^post_38 && e^post_38<=olde^0 ], cost: 2
     46: l30 -> l26 : b^0'=b^post_41, e^0'=1, f^0'=0, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 ], cost: 3
     47: l30 -> l26 : b^0'=b^post_41, e^0'=1, f^0'=0, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 ], cost: 3

Eliminated locations (on tree-shaped paths):
   Start location: l30
     45: l0 -> l18 : [], cost: 2
     90: l5 -> l0 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ 1<=b^0 && 1+e^0<=e^post_4 ], cost: 4
     91: l5 -> l0 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=0, [ 1<=b^0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 4
     92: l5 -> l0 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ b^0<=0 && 1+e^0<=e^post_4 ], cost: 4
     93: l5 -> l0 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, [ b^0<=0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 4
     78: l9 -> l12 : e^0'=e^post_18, f^0'=f^post_18, olde^0'=-1+e^0, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 ], cost: 4
     79: l9 -> l12 : e^0'=e^post_18, f^0'=f^post_18, olde^0'=-1+e^0, q^0'=0, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 ], cost: 4
     80: l9 -> l12 : e^0'=e^post_18, f^0'=f^post_18, olde^0'=-1+e^0, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 ], cost: 4
     81: l9 -> l12 : e^0'=e^post_18, f^0'=f^post_18, olde^0'=-1+e^0, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 ], cost: 4
     82: l9 -> l15 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && 1<=b^0 && 1+e^0<=e^post_24 ], cost: 4
     83: l9 -> l15 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=0, [ e^0<=0 && 1<=b^0 && e^post_24-e^0==0 ], cost: 4
     84: l9 -> l15 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && b^0<=0 && 1+e^0<=e^post_24 ], cost: 4
     85: l9 -> l15 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, [ e^0<=0 && b^0<=0 && e^post_24-e^0==0 ], cost: 4
     86: l12 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^0, q^0'=1, [ 1<=x^0 && 1+e^0<=e^post_10 ], cost: 4
     87: l12 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^0, q^0'=0, [ 1<=x^0 && e^0<=e^post_10 && e^post_10<=e^0 ], cost: 4
     88: l12 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^0, q^0'=1, [ x^0<=0 && 1+e^0<=e^post_10 ], cost: 4
     89: l12 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^0, [ x^0<=0 && e^0<=e^post_10 && e^post_10<=e^0 ], cost: 4
     20: l15 -> l9 : [], cost: 1
     74: l18 -> l21 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 ], cost: 4
     75: l18 -> l21 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 4
     76: l18 -> l21 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 ], cost: 4
     77: l18 -> l21 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 4
     28: l21 -> l9 : [], cost: 1
     34: l24 -> l18 : [], cost: 1
     70: l30 -> l24 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 2<=e^post_38 ], cost: 5
     71: l30 -> l24 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 5
     72: l30 -> l24 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 2<=e^post_38 ], cost: 5
     73: l30 -> l24 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 5

Eliminated locations (on tree-shaped paths):
   Start location: l30
    122: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ 1<=b^0 && 1+e^0<=e^post_4 ], cost: 6
    123: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=0, [ 1<=b^0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    124: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ b^0<=0 && 1+e^0<=e^post_4 ], cost: 6
    125: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, [ b^0<=0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    102: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    103: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    104: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    105: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    106: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    107: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    108: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    109: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    110: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    111: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    112: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    113: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    114: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    115: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    116: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    117: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    118: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && 1<=b^0 && 1+e^0<=e^post_24 ], cost: 5
    119: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=0, [ e^0<=0 && 1<=b^0 && e^post_24-e^0==0 ], cost: 5
    120: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && b^0<=0 && 1+e^0<=e^post_24 ], cost: 5
    121: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, [ e^0<=0 && b^0<=0 && e^post_24-e^0==0 ], cost: 5
     98: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 ], cost: 5
     99: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 5
    100: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 ], cost: 5
    101: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 5
     94: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 2<=e^post_38 ], cost: 6
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     96: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 2<=e^post_38 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6

Accelerating simple loops of location 9.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
    118: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && 1<=b^0 && 1+e^0<=e^post_24 ], cost: 5
    119: l9 -> l9 : f^0'=f^post_24, olde^0'=e^0, q^0'=0, [ e^0<=0 && 1<=b^0 ], cost: 5
    120: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && b^0<=0 && 1+e^0<=e^post_24 ], cost: 5
    121: l9 -> l9 : f^0'=f^post_24, olde^0'=e^0, [ e^0<=0 && b^0<=0 ], cost: 5

   Failed to prove monotonicity of the guard of rule 118.
   Accelerated rule 119 with non-termination, yielding the new rule 126.
   Failed to prove monotonicity of the guard of rule 120.
   Accelerated rule 121 with non-termination, yielding the new rule 127.
[accelerate] Nesting with 2 inner and 2 outer candidates
   Removing the simple loops: 119 121.

Accelerated all simple loops using metering functions (where possible):
   Start location: l30
    122: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ 1<=b^0 && 1+e^0<=e^post_4 ], cost: 6
    123: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=0, [ 1<=b^0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    124: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ b^0<=0 && 1+e^0<=e^post_4 ], cost: 6
    125: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, [ b^0<=0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    102: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    103: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    104: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    105: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    106: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    107: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    108: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    109: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    110: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    111: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    112: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    113: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    114: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    115: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    116: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    117: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    118: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && 1<=b^0 && 1+e^0<=e^post_24 ], cost: 5
    120: l9 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, [ e^0<=0 && b^0<=0 && 1+e^0<=e^post_24 ], cost: 5
    126: l9 -> [31] : [ e^0<=0 && 1<=b^0 ], cost: NONTERM
    127: l9 -> [31] : [ e^0<=0 && b^0<=0 ], cost: NONTERM
     98: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 ], cost: 5
     99: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 5
    100: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 ], cost: 5
    101: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 5
     94: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 2<=e^post_38 ], cost: 6
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     96: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 2<=e^post_38 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6

Chained accelerated rules (with incoming rules):
   Start location: l30
    122: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ 1<=b^0 && 1+e^0<=e^post_4 ], cost: 6
    123: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=0, [ 1<=b^0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    124: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ b^0<=0 && 1+e^0<=e^post_4 ], cost: 6
    125: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, [ b^0<=0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    102: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    103: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    104: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    105: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && e^0<=e^post_18 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    106: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    107: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    108: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    109: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && 1<=b^0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    110: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    111: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    112: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    113: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && e^0<=e^post_18 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    114: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && 1+e^post_18<=e^post_10 ], cost: 8
    115: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && 1<=x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
    116: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 8
    117: l9 -> l5 : b^0'=x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, [ 1<=e^0 && b^0<=0 && -1+e^0<=e^post_18 && e^post_18<=-1+e^0 && x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 8
     98: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 ], cost: 5
     99: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 5
    100: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 ], cost: 5
    101: l18 -> l9 : e^0'=e^post_32, f^0'=f^post_32, olde^0'=e^0, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 ], cost: 5
    128: l18 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^post_32, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 ], cost: 10
    129: l18 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 ], cost: 10
    130: l18 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^post_32, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 ], cost: 10
    131: l18 -> l9 : e^0'=e^post_24, f^0'=f^post_24, olde^0'=e^0, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 ], cost: 10
    132: l18 -> [31] : [ 1<=x^0 && 1<=b^0 && 1+e^0<=0 ], cost: NONTERM
    133: l18 -> [31] : [ 1<=x^0 && 1<=b^0 && e^0<=0 ], cost: NONTERM
    134: l18 -> [31] : [ 1<=x^0 && b^0<=0 && 1+e^0<=0 ], cost: NONTERM
    135: l18 -> [31] : [ 1<=x^0 && b^0<=0 && e^0<=0 ], cost: NONTERM
     94: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 2<=e^post_38 ], cost: 6
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     96: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 2<=e^post_38 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6

Eliminated locations (on tree-shaped paths):
   Start location: l30
    122: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ 1<=b^0 && 1+e^0<=e^post_4 ], cost: 6
    123: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=0, [ 1<=b^0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    124: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ b^0<=0 && 1+e^0<=e^post_4 ], cost: 6
    125: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, [ b^0<=0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    132: l18 -> [31] : [ 1<=x^0 && 1<=b^0 && 1+e^0<=0 ], cost: NONTERM
    133: l18 -> [31] : [ 1<=x^0 && 1<=b^0 && e^0<=0 ], cost: NONTERM
    134: l18 -> [31] : [ 1<=x^0 && b^0<=0 && 1+e^0<=0 ], cost: NONTERM
    135: l18 -> [31] : [ 1<=x^0 && b^0<=0 && e^0<=0 ], cost: NONTERM
    136: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    137: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    138: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    139: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    140: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    141: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    142: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    143: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    144: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    145: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    146: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    147: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    148: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    149: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    150: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    151: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    152: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    153: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    154: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    155: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    156: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    157: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    158: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    159: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    160: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    161: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    162: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    163: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    164: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    165: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    166: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    167: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    168: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    169: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    170: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    171: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    172: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    173: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    174: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    175: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    176: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    177: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    178: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    179: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    180: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    181: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    182: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    183: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    184: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    185: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    186: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    187: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    188: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    189: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    190: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    191: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    192: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    193: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    194: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    195: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    196: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    197: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    198: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    199: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
     94: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 2<=e^post_38 ], cost: 6
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     96: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 2<=e^post_38 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6

Merged rules:
   Start location: l30
    123: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=0, [ 1<=b^0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    125: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, [ b^0<=0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    200: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ 1+e^0<=e^post_4 ], cost: 6
    143: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    151: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    159: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    167: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    175: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    183: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    191: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    199: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    201: l18 -> [31] : [ 1<=x^0 && 1+e^0<=0 ], cost: NONTERM
    202: l18 -> [31] : [ 1<=x^0 && e^0<=0 ], cost: NONTERM
    203: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    204: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    205: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    206: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    207: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    208: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    209: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    210: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    211: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 13
    212: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 13
    213: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    214: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    215: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    216: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    217: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    218: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    219: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    220: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    221: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && 1+e^post_18<=e^post_10 ], cost: 18
    222: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && 1+e^post_18<=e^post_10 ], cost: 18
    223: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    224: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    225: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    226: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    227: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    228: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1+e^0<=e^post_32 && e^post_32<=0 && 1+e^post_32<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    229: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && e^post_24<=e^post_18 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    230: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && 1<=-1+x^0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
    231: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 2<=e^post_38 ], cost: 6

Applied pruning (of leafs and parallel rules):
   Start location: l30
    123: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=0, [ 1<=b^0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    125: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, [ b^0<=0 && e^0<=e^post_4 && e^post_4<=e^0 ], cost: 6
    200: l5 -> l18 : e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^0, q^0'=1, [ 1+e^0<=e^post_4 ], cost: 6
    143: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    151: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    167: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
    199: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 18
    201: l18 -> [31] : [ 1<=x^0 && 1+e^0<=0 ], cost: NONTERM
    202: l18 -> [31] : [ 1<=x^0 && e^0<=0 ], cost: NONTERM
    210: l18 -> l5 : b^0'=-1+x^0, e^0'=e^post_10, f^0'=f^post_10, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 ], cost: 13
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
    231: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 2<=e^post_38 ], cost: 6

Eliminated locations (on tree-shaped paths):
   Start location: l30
    201: l18 -> [31] : [ 1<=x^0 && 1+e^0<=0 ], cost: NONTERM
    202: l18 -> [31] : [ 1<=x^0 && e^0<=0 ], cost: NONTERM
    232: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    233: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
    234: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    235: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
    236: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    237: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
    238: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 24
    239: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 24
    240: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    241: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
    231: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 2<=e^post_38 ], cost: 6

Merged rules:
   Start location: l30
    201: l18 -> [31] : [ 1<=x^0 && 1+e^0<=0 ], cost: NONTERM
    202: l18 -> [31] : [ 1<=x^0 && e^0<=0 ], cost: NONTERM
    232: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    233: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
    234: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    236: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    238: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 24
    239: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 24
    240: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    241: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
    242: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
    231: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 2<=e^post_38 ], cost: 6

Applied pruning (of leafs and parallel rules):
   Start location: l30
    201: l18 -> [31] : [ 1<=x^0 && 1+e^0<=0 ], cost: NONTERM
    202: l18 -> [31] : [ 1<=x^0 && e^0<=0 ], cost: NONTERM
    232: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=0, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    233: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && 1<=b^0 && 1+e^0<=e^post_32 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && 1+e^post_10<=e^post_4 ], cost: 19
    236: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && -1+e^post_32<=e^post_18 && e^post_18<=-1+e^post_32 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
    238: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && b^0<=0 && e^0<=0 && 1+e^0<=e^post_24 && 1<=e^post_24 && -1+e^post_24<=e^post_18 && e^post_18<=-1+e^post_24 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 24
    240: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_10, q^0'=1, x^0'=-1+x^0, [ 1<=x^0 && e^0<=e^post_32 && e^post_32<=e^0 && 1<=e^post_32 && e^post_32<=e^post_18 && -1+x^0<=0 && e^post_18<=e^post_10 && e^post_10<=e^post_18 && e^post_10<=e^post_4 && e^post_4<=e^post_10 ], cost: 19
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
    231: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 2<=e^post_38 ], cost: 6

Accelerating simple loops of location 18.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
    232: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1-x^0==0 && 1<=b^0 && 1+e^0<=1+e^post_18 && 1<=1+e^post_18 ], cost: 19
    233: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1-x^0==0 && 1<=b^0 && 1+e^0<=1+e^post_18 && 1<=1+e^post_18 && 1+e^post_18<=e^post_4 ], cost: 19
    236: l18 -> l18 : b^0'=-1+x^0, e^0'=-1+e^0, f^0'=f^post_4, olde^0'=-1+e^0, x^0'=-1+x^0, [ 1-x^0==0 && b^0<=0 && 1<=e^0 ], cost: 19
    238: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1-x^0==0 && b^0<=0 && e^0<=0 && 1+e^0<=1+e^post_18 && 1<=1+e^post_18 ], cost: 24
    240: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1-x^0==0 && 1<=e^0 && e^0<=e^post_18 ], cost: 19

   Failed to prove monotonicity of the guard of rule 232.
   Failed to prove monotonicity of the guard of rule 233.
   Failed to prove monotonicity of the guard of rule 236.
   Failed to prove monotonicity of the guard of rule 238.
   Failed to prove monotonicity of the guard of rule 240.
[accelerate] Nesting with 5 inner and 5 outer candidates

Accelerated all simple loops using metering functions (where possible):
   Start location: l30
    201: l18 -> [31] : [ 1<=x^0 && 1+e^0<=0 ], cost: NONTERM
    202: l18 -> [31] : [ 1<=x^0 && e^0<=0 ], cost: NONTERM
    232: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=0, x^0'=-1+x^0, [ 1-x^0==0 && 1<=b^0 && 1+e^0<=1+e^post_18 && 1<=1+e^post_18 ], cost: 19
    233: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1-x^0==0 && 1<=b^0 && 1+e^0<=1+e^post_18 && 1<=1+e^post_18 && 1+e^post_18<=e^post_4 ], cost: 19
    236: l18 -> l18 : b^0'=-1+x^0, e^0'=-1+e^0, f^0'=f^post_4, olde^0'=-1+e^0, x^0'=-1+x^0, [ 1-x^0==0 && b^0<=0 && 1<=e^0 ], cost: 19
    238: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1-x^0==0 && b^0<=0 && e^0<=0 && 1+e^0<=1+e^post_18 && 1<=1+e^post_18 ], cost: 24
    240: l18 -> l18 : b^0'=-1+x^0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=-1+x^0, [ 1-x^0==0 && 1<=e^0 && e^0<=e^post_18 ], cost: 19
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
    231: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 2<=e^post_38 ], cost: 6

Chained accelerated rules (with incoming rules):
   Start location: l30
    201: l18 -> [31] : [ 1<=x^0 && 1+e^0<=0 ], cost: NONTERM
    202: l18 -> [31] : [ 1<=x^0 && e^0<=0 ], cost: NONTERM
     95: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=0, x^0'=x^post_41, [ 1<=x^post_41 && 1<=b^post_41 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
     97: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && b^post_41<=0 && 1<=e^post_38 && e^post_38<=1 ], cost: 6
    231: l30 -> l18 : b^0'=b^post_41, e^0'=e^post_38, f^0'=f^post_38, olde^0'=1, q^0'=1, x^0'=x^post_41, [ 1<=x^post_41 && 2<=e^post_38 ], cost: 6
    243: l30 -> l18 : b^0'=0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=0, x^0'=0, [ 2<=1+e^post_18 ], cost: 25
    244: l30 -> l18 : b^0'=0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=0, x^0'=0, [ 2<=e^post_18 ], cost: 25
    245: l30 -> l18 : b^0'=0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=0, [ 2<=1+e^post_18 && 1+e^post_18<=e^post_4 ], cost: 25
    246: l30 -> l18 : b^0'=0, e^0'=e^post_4, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=0, [ 1+e^post_18<=e^post_4 && 2<=e^post_18 ], cost: 25
    247: l30 -> l18 : b^0'=0, e^0'=0, f^0'=f^post_4, olde^0'=0, x^0'=0, [], cost: 25
    248: l30 -> l18 : b^0'=0, e^0'=-1+e^post_38, f^0'=f^post_4, olde^0'=-1+e^post_38, q^0'=1, x^0'=0, [ 2<=e^post_38 ], cost: 25
    249: l30 -> l18 : b^0'=0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=0, [ 1<=e^post_18 ], cost: 25
    250: l30 -> l18 : b^0'=0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=0, [ 1<=e^post_18 ], cost: 25
    251: l30 -> l18 : b^0'=0, e^0'=e^post_18, f^0'=f^post_4, olde^0'=e^post_18, q^0'=1, x^0'=0, [ 2<=e^post_18 ], cost: 25

Eliminated locations (on tree-shaped paths):
   Start location: l30
     <empty>

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l30
     <empty>

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Constant
   Cpx degree:  0
   Solved cost: 1
   Rule cost:   1
   Rule guard:  [ b^0==b^post_44 && e^0==e^post_44 && f^0==f^post_44 && olde^0==olde^post_44 && q^0==q^post_44 && x^0==x^post_44 ]

WORST_CASE(Omega(1),?)