WORST_CASE(Omega(1),?)

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

Initial linear ITS problem
   Start location: l16
      0: l0 -> l1 : Index15^0'=Index15^post_1, Inner14^0'=Inner14^post_1, InnerIndex6^0'=InnerIndex6^post_1, InnerIndex9^0'=InnerIndex9^post_1, Outer13^0'=Outer13^post_1, OuterIndex5^0'=OuterIndex5^post_1, OuterIndex8^0'=OuterIndex8^post_1, Seed^0'=Seed^post_1, __const_20^0'=__const_20^post_1, ret_RandomInteger16^0'=ret_RandomInteger16^post_1, ret_RandomInteger17^0'=ret_RandomInteger17^post_1, [ Index15^0==Index15^post_1 && Inner14^0==Inner14^post_1 && InnerIndex6^0==InnerIndex6^post_1 && InnerIndex9^0==InnerIndex9^post_1 && Outer13^0==Outer13^post_1 && OuterIndex5^0==OuterIndex5^post_1 && OuterIndex8^0==OuterIndex8^post_1 && Seed^0==Seed^post_1 && __const_20^0==__const_20^post_1 && ret_RandomInteger16^0==ret_RandomInteger16^post_1 && ret_RandomInteger17^0==ret_RandomInteger17^post_1 ], cost: 1
     19: l1 -> l4 : Index15^0'=Index15^post_20, Inner14^0'=Inner14^post_20, InnerIndex6^0'=InnerIndex6^post_20, InnerIndex9^0'=InnerIndex9^post_20, Outer13^0'=Outer13^post_20, OuterIndex5^0'=OuterIndex5^post_20, OuterIndex8^0'=OuterIndex8^post_20, Seed^0'=Seed^post_20, __const_20^0'=__const_20^post_20, ret_RandomInteger16^0'=ret_RandomInteger16^post_20, ret_RandomInteger17^0'=ret_RandomInteger17^post_20, [ __const_20^0<=OuterIndex5^0 && OuterIndex8^post_20==0 && Index15^0==Index15^post_20 && Inner14^0==Inner14^post_20 && InnerIndex6^0==InnerIndex6^post_20 && InnerIndex9^0==InnerIndex9^post_20 && Outer13^0==Outer13^post_20 && OuterIndex5^0==OuterIndex5^post_20 && Seed^0==Seed^post_20 && __const_20^0==__const_20^post_20 && ret_RandomInteger16^0==ret_RandomInteger16^post_20 && ret_RandomInteger17^0==ret_RandomInteger17^post_20 ], cost: 1
     20: l1 -> l2 : Index15^0'=Index15^post_21, Inner14^0'=Inner14^post_21, InnerIndex6^0'=InnerIndex6^post_21, InnerIndex9^0'=InnerIndex9^post_21, Outer13^0'=Outer13^post_21, OuterIndex5^0'=OuterIndex5^post_21, OuterIndex8^0'=OuterIndex8^post_21, Seed^0'=Seed^post_21, __const_20^0'=__const_20^post_21, ret_RandomInteger16^0'=ret_RandomInteger16^post_21, ret_RandomInteger17^0'=ret_RandomInteger17^post_21, [ 1+OuterIndex5^0<=__const_20^0 && InnerIndex6^post_21==0 && Index15^0==Index15^post_21 && Inner14^0==Inner14^post_21 && InnerIndex9^0==InnerIndex9^post_21 && Outer13^0==Outer13^post_21 && OuterIndex5^0==OuterIndex5^post_21 && OuterIndex8^0==OuterIndex8^post_21 && Seed^0==Seed^post_21 && __const_20^0==__const_20^post_21 && ret_RandomInteger16^0==ret_RandomInteger16^post_21 && ret_RandomInteger17^0==ret_RandomInteger17^post_21 ], cost: 1
      1: l2 -> l3 : Index15^0'=Index15^post_2, Inner14^0'=Inner14^post_2, InnerIndex6^0'=InnerIndex6^post_2, InnerIndex9^0'=InnerIndex9^post_2, Outer13^0'=Outer13^post_2, OuterIndex5^0'=OuterIndex5^post_2, OuterIndex8^0'=OuterIndex8^post_2, Seed^0'=Seed^post_2, __const_20^0'=__const_20^post_2, ret_RandomInteger16^0'=ret_RandomInteger16^post_2, ret_RandomInteger17^0'=ret_RandomInteger17^post_2, [ Index15^0==Index15^post_2 && Inner14^0==Inner14^post_2 && InnerIndex6^0==InnerIndex6^post_2 && InnerIndex9^0==InnerIndex9^post_2 && Outer13^0==Outer13^post_2 && OuterIndex5^0==OuterIndex5^post_2 && OuterIndex8^0==OuterIndex8^post_2 && Seed^0==Seed^post_2 && __const_20^0==__const_20^post_2 && ret_RandomInteger16^0==ret_RandomInteger16^post_2 && ret_RandomInteger17^0==ret_RandomInteger17^post_2 ], cost: 1
     17: l3 -> l0 : Index15^0'=Index15^post_18, Inner14^0'=Inner14^post_18, InnerIndex6^0'=InnerIndex6^post_18, InnerIndex9^0'=InnerIndex9^post_18, Outer13^0'=Outer13^post_18, OuterIndex5^0'=OuterIndex5^post_18, OuterIndex8^0'=OuterIndex8^post_18, Seed^0'=Seed^post_18, __const_20^0'=__const_20^post_18, ret_RandomInteger16^0'=ret_RandomInteger16^post_18, ret_RandomInteger17^0'=ret_RandomInteger17^post_18, [ __const_20^0<=InnerIndex6^0 && OuterIndex5^post_18==1+OuterIndex5^0 && Index15^0==Index15^post_18 && Inner14^0==Inner14^post_18 && InnerIndex6^0==InnerIndex6^post_18 && InnerIndex9^0==InnerIndex9^post_18 && Outer13^0==Outer13^post_18 && OuterIndex8^0==OuterIndex8^post_18 && Seed^0==Seed^post_18 && __const_20^0==__const_20^post_18 && ret_RandomInteger16^0==ret_RandomInteger16^post_18 && ret_RandomInteger17^0==ret_RandomInteger17^post_18 ], cost: 1
     18: l3 -> l2 : Index15^0'=Index15^post_19, Inner14^0'=Inner14^post_19, InnerIndex6^0'=InnerIndex6^post_19, InnerIndex9^0'=InnerIndex9^post_19, Outer13^0'=Outer13^post_19, OuterIndex5^0'=OuterIndex5^post_19, OuterIndex8^0'=OuterIndex8^post_19, Seed^0'=Seed^post_19, __const_20^0'=__const_20^post_19, ret_RandomInteger16^0'=ret_RandomInteger16^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_19, [ 1+InnerIndex6^0<=__const_20^0 && Seed^post_19==Seed^post_19 && ret_RandomInteger16^post_19==Seed^post_19 && InnerIndex6^post_19==1+InnerIndex6^0 && Index15^0==Index15^post_19 && Inner14^0==Inner14^post_19 && InnerIndex9^0==InnerIndex9^post_19 && Outer13^0==Outer13^post_19 && OuterIndex5^0==OuterIndex5^post_19 && OuterIndex8^0==OuterIndex8^post_19 && __const_20^0==__const_20^post_19 && ret_RandomInteger17^0==ret_RandomInteger17^post_19 ], cost: 1
      2: l4 -> l5 : Index15^0'=Index15^post_3, Inner14^0'=Inner14^post_3, InnerIndex6^0'=InnerIndex6^post_3, InnerIndex9^0'=InnerIndex9^post_3, Outer13^0'=Outer13^post_3, OuterIndex5^0'=OuterIndex5^post_3, OuterIndex8^0'=OuterIndex8^post_3, Seed^0'=Seed^post_3, __const_20^0'=__const_20^post_3, ret_RandomInteger16^0'=ret_RandomInteger16^post_3, ret_RandomInteger17^0'=ret_RandomInteger17^post_3, [ Index15^0==Index15^post_3 && Inner14^0==Inner14^post_3 && InnerIndex6^0==InnerIndex6^post_3 && InnerIndex9^0==InnerIndex9^post_3 && Outer13^0==Outer13^post_3 && OuterIndex5^0==OuterIndex5^post_3 && OuterIndex8^0==OuterIndex8^post_3 && Seed^0==Seed^post_3 && __const_20^0==__const_20^post_3 && ret_RandomInteger16^0==ret_RandomInteger16^post_3 && ret_RandomInteger17^0==ret_RandomInteger17^post_3 ], cost: 1
     13: l5 -> l10 : Index15^0'=Index15^post_14, Inner14^0'=Inner14^post_14, InnerIndex6^0'=InnerIndex6^post_14, InnerIndex9^0'=InnerIndex9^post_14, Outer13^0'=Outer13^post_14, OuterIndex5^0'=OuterIndex5^post_14, OuterIndex8^0'=OuterIndex8^post_14, Seed^0'=Seed^post_14, __const_20^0'=__const_20^post_14, ret_RandomInteger16^0'=ret_RandomInteger16^post_14, ret_RandomInteger17^0'=ret_RandomInteger17^post_14, [ __const_20^0<=OuterIndex8^0 && Outer13^post_14==0 && Index15^0==Index15^post_14 && Inner14^0==Inner14^post_14 && InnerIndex6^0==InnerIndex6^post_14 && InnerIndex9^0==InnerIndex9^post_14 && OuterIndex5^0==OuterIndex5^post_14 && OuterIndex8^0==OuterIndex8^post_14 && Seed^0==Seed^post_14 && __const_20^0==__const_20^post_14 && ret_RandomInteger16^0==ret_RandomInteger16^post_14 && ret_RandomInteger17^0==ret_RandomInteger17^post_14 ], cost: 1
     14: l5 -> l13 : Index15^0'=Index15^post_15, Inner14^0'=Inner14^post_15, InnerIndex6^0'=InnerIndex6^post_15, InnerIndex9^0'=InnerIndex9^post_15, Outer13^0'=Outer13^post_15, OuterIndex5^0'=OuterIndex5^post_15, OuterIndex8^0'=OuterIndex8^post_15, Seed^0'=Seed^post_15, __const_20^0'=__const_20^post_15, ret_RandomInteger16^0'=ret_RandomInteger16^post_15, ret_RandomInteger17^0'=ret_RandomInteger17^post_15, [ 1+OuterIndex8^0<=__const_20^0 && InnerIndex9^post_15==0 && Index15^0==Index15^post_15 && Inner14^0==Inner14^post_15 && InnerIndex6^0==InnerIndex6^post_15 && Outer13^0==Outer13^post_15 && OuterIndex5^0==OuterIndex5^post_15 && OuterIndex8^0==OuterIndex8^post_15 && Seed^0==Seed^post_15 && __const_20^0==__const_20^post_15 && ret_RandomInteger16^0==ret_RandomInteger16^post_15 && ret_RandomInteger17^0==ret_RandomInteger17^post_15 ], cost: 1
      3: l6 -> l7 : Index15^0'=Index15^post_4, Inner14^0'=Inner14^post_4, InnerIndex6^0'=InnerIndex6^post_4, InnerIndex9^0'=InnerIndex9^post_4, Outer13^0'=Outer13^post_4, OuterIndex5^0'=OuterIndex5^post_4, OuterIndex8^0'=OuterIndex8^post_4, Seed^0'=Seed^post_4, __const_20^0'=__const_20^post_4, ret_RandomInteger16^0'=ret_RandomInteger16^post_4, ret_RandomInteger17^0'=ret_RandomInteger17^post_4, [ __const_20^0<=Index15^0 && Inner14^post_4==1+Inner14^0 && Index15^0==Index15^post_4 && InnerIndex6^0==InnerIndex6^post_4 && InnerIndex9^0==InnerIndex9^post_4 && Outer13^0==Outer13^post_4 && OuterIndex5^0==OuterIndex5^post_4 && OuterIndex8^0==OuterIndex8^post_4 && Seed^0==Seed^post_4 && __const_20^0==__const_20^post_4 && ret_RandomInteger16^0==ret_RandomInteger16^post_4 && ret_RandomInteger17^0==ret_RandomInteger17^post_4 ], cost: 1
      4: l6 -> l8 : Index15^0'=Index15^post_5, Inner14^0'=Inner14^post_5, InnerIndex6^0'=InnerIndex6^post_5, InnerIndex9^0'=InnerIndex9^post_5, Outer13^0'=Outer13^post_5, OuterIndex5^0'=OuterIndex5^post_5, OuterIndex8^0'=OuterIndex8^post_5, Seed^0'=Seed^post_5, __const_20^0'=__const_20^post_5, ret_RandomInteger16^0'=ret_RandomInteger16^post_5, ret_RandomInteger17^0'=ret_RandomInteger17^post_5, [ 1+Index15^0<=__const_20^0 && Index15^post_5==1+Index15^0 && Inner14^0==Inner14^post_5 && InnerIndex6^0==InnerIndex6^post_5 && InnerIndex9^0==InnerIndex9^post_5 && Outer13^0==Outer13^post_5 && OuterIndex5^0==OuterIndex5^post_5 && OuterIndex8^0==OuterIndex8^post_5 && Seed^0==Seed^post_5 && __const_20^0==__const_20^post_5 && ret_RandomInteger16^0==ret_RandomInteger16^post_5 && ret_RandomInteger17^0==ret_RandomInteger17^post_5 ], cost: 1
     15: l7 -> l9 : Index15^0'=Index15^post_16, Inner14^0'=Inner14^post_16, InnerIndex6^0'=InnerIndex6^post_16, InnerIndex9^0'=InnerIndex9^post_16, Outer13^0'=Outer13^post_16, OuterIndex5^0'=OuterIndex5^post_16, OuterIndex8^0'=OuterIndex8^post_16, Seed^0'=Seed^post_16, __const_20^0'=__const_20^post_16, ret_RandomInteger16^0'=ret_RandomInteger16^post_16, ret_RandomInteger17^0'=ret_RandomInteger17^post_16, [ Index15^0==Index15^post_16 && Inner14^0==Inner14^post_16 && InnerIndex6^0==InnerIndex6^post_16 && InnerIndex9^0==InnerIndex9^post_16 && Outer13^0==Outer13^post_16 && OuterIndex5^0==OuterIndex5^post_16 && OuterIndex8^0==OuterIndex8^post_16 && Seed^0==Seed^post_16 && __const_20^0==__const_20^post_16 && ret_RandomInteger16^0==ret_RandomInteger16^post_16 && ret_RandomInteger17^0==ret_RandomInteger17^post_16 ], cost: 1
     16: l8 -> l6 : Index15^0'=Index15^post_17, Inner14^0'=Inner14^post_17, InnerIndex6^0'=InnerIndex6^post_17, InnerIndex9^0'=InnerIndex9^post_17, Outer13^0'=Outer13^post_17, OuterIndex5^0'=OuterIndex5^post_17, OuterIndex8^0'=OuterIndex8^post_17, Seed^0'=Seed^post_17, __const_20^0'=__const_20^post_17, ret_RandomInteger16^0'=ret_RandomInteger16^post_17, ret_RandomInteger17^0'=ret_RandomInteger17^post_17, [ Index15^0==Index15^post_17 && Inner14^0==Inner14^post_17 && InnerIndex6^0==InnerIndex6^post_17 && InnerIndex9^0==InnerIndex9^post_17 && Outer13^0==Outer13^post_17 && OuterIndex5^0==OuterIndex5^post_17 && OuterIndex8^0==OuterIndex8^post_17 && Seed^0==Seed^post_17 && __const_20^0==__const_20^post_17 && ret_RandomInteger16^0==ret_RandomInteger16^post_17 && ret_RandomInteger17^0==ret_RandomInteger17^post_17 ], cost: 1
      5: l9 -> l10 : Index15^0'=Index15^post_6, Inner14^0'=Inner14^post_6, InnerIndex6^0'=InnerIndex6^post_6, InnerIndex9^0'=InnerIndex9^post_6, Outer13^0'=Outer13^post_6, OuterIndex5^0'=OuterIndex5^post_6, OuterIndex8^0'=OuterIndex8^post_6, Seed^0'=Seed^post_6, __const_20^0'=__const_20^post_6, ret_RandomInteger16^0'=ret_RandomInteger16^post_6, ret_RandomInteger17^0'=ret_RandomInteger17^post_6, [ __const_20^0<=Inner14^0 && Outer13^post_6==1+Outer13^0 && Index15^0==Index15^post_6 && Inner14^0==Inner14^post_6 && InnerIndex6^0==InnerIndex6^post_6 && InnerIndex9^0==InnerIndex9^post_6 && OuterIndex5^0==OuterIndex5^post_6 && OuterIndex8^0==OuterIndex8^post_6 && Seed^0==Seed^post_6 && __const_20^0==__const_20^post_6 && ret_RandomInteger16^0==ret_RandomInteger16^post_6 && ret_RandomInteger17^0==ret_RandomInteger17^post_6 ], cost: 1
      6: l9 -> l8 : Index15^0'=Index15^post_7, Inner14^0'=Inner14^post_7, InnerIndex6^0'=InnerIndex6^post_7, InnerIndex9^0'=InnerIndex9^post_7, Outer13^0'=Outer13^post_7, OuterIndex5^0'=OuterIndex5^post_7, OuterIndex8^0'=OuterIndex8^post_7, Seed^0'=Seed^post_7, __const_20^0'=__const_20^post_7, ret_RandomInteger16^0'=ret_RandomInteger16^post_7, ret_RandomInteger17^0'=ret_RandomInteger17^post_7, [ 1+Inner14^0<=__const_20^0 && Index15^post_7==0 && Inner14^0==Inner14^post_7 && InnerIndex6^0==InnerIndex6^post_7 && InnerIndex9^0==InnerIndex9^post_7 && Outer13^0==Outer13^post_7 && OuterIndex5^0==OuterIndex5^post_7 && OuterIndex8^0==OuterIndex8^post_7 && Seed^0==Seed^post_7 && __const_20^0==__const_20^post_7 && ret_RandomInteger16^0==ret_RandomInteger16^post_7 && ret_RandomInteger17^0==ret_RandomInteger17^post_7 ], cost: 1
     10: l10 -> l11 : Index15^0'=Index15^post_11, Inner14^0'=Inner14^post_11, InnerIndex6^0'=InnerIndex6^post_11, InnerIndex9^0'=InnerIndex9^post_11, Outer13^0'=Outer13^post_11, OuterIndex5^0'=OuterIndex5^post_11, OuterIndex8^0'=OuterIndex8^post_11, Seed^0'=Seed^post_11, __const_20^0'=__const_20^post_11, ret_RandomInteger16^0'=ret_RandomInteger16^post_11, ret_RandomInteger17^0'=ret_RandomInteger17^post_11, [ Index15^0==Index15^post_11 && Inner14^0==Inner14^post_11 && InnerIndex6^0==InnerIndex6^post_11 && InnerIndex9^0==InnerIndex9^post_11 && Outer13^0==Outer13^post_11 && OuterIndex5^0==OuterIndex5^post_11 && OuterIndex8^0==OuterIndex8^post_11 && Seed^0==Seed^post_11 && __const_20^0==__const_20^post_11 && ret_RandomInteger16^0==ret_RandomInteger16^post_11 && ret_RandomInteger17^0==ret_RandomInteger17^post_11 ], cost: 1
      7: l11 -> l12 : Index15^0'=Index15^post_8, Inner14^0'=Inner14^post_8, InnerIndex6^0'=InnerIndex6^post_8, InnerIndex9^0'=InnerIndex9^post_8, Outer13^0'=Outer13^post_8, OuterIndex5^0'=OuterIndex5^post_8, OuterIndex8^0'=OuterIndex8^post_8, Seed^0'=Seed^post_8, __const_20^0'=__const_20^post_8, ret_RandomInteger16^0'=ret_RandomInteger16^post_8, ret_RandomInteger17^0'=ret_RandomInteger17^post_8, [ __const_20^0<=Outer13^0 && Index15^0==Index15^post_8 && Inner14^0==Inner14^post_8 && InnerIndex6^0==InnerIndex6^post_8 && InnerIndex9^0==InnerIndex9^post_8 && Outer13^0==Outer13^post_8 && OuterIndex5^0==OuterIndex5^post_8 && OuterIndex8^0==OuterIndex8^post_8 && Seed^0==Seed^post_8 && __const_20^0==__const_20^post_8 && ret_RandomInteger16^0==ret_RandomInteger16^post_8 && ret_RandomInteger17^0==ret_RandomInteger17^post_8 ], cost: 1
      8: l11 -> l7 : Index15^0'=Index15^post_9, Inner14^0'=Inner14^post_9, InnerIndex6^0'=InnerIndex6^post_9, InnerIndex9^0'=InnerIndex9^post_9, Outer13^0'=Outer13^post_9, OuterIndex5^0'=OuterIndex5^post_9, OuterIndex8^0'=OuterIndex8^post_9, Seed^0'=Seed^post_9, __const_20^0'=__const_20^post_9, ret_RandomInteger16^0'=ret_RandomInteger16^post_9, ret_RandomInteger17^0'=ret_RandomInteger17^post_9, [ 1+Outer13^0<=__const_20^0 && Inner14^post_9==0 && Index15^0==Index15^post_9 && InnerIndex6^0==InnerIndex6^post_9 && InnerIndex9^0==InnerIndex9^post_9 && Outer13^0==Outer13^post_9 && OuterIndex5^0==OuterIndex5^post_9 && OuterIndex8^0==OuterIndex8^post_9 && Seed^0==Seed^post_9 && __const_20^0==__const_20^post_9 && ret_RandomInteger16^0==ret_RandomInteger16^post_9 && ret_RandomInteger17^0==ret_RandomInteger17^post_9 ], cost: 1
      9: l13 -> l14 : Index15^0'=Index15^post_10, Inner14^0'=Inner14^post_10, InnerIndex6^0'=InnerIndex6^post_10, InnerIndex9^0'=InnerIndex9^post_10, Outer13^0'=Outer13^post_10, OuterIndex5^0'=OuterIndex5^post_10, OuterIndex8^0'=OuterIndex8^post_10, Seed^0'=Seed^post_10, __const_20^0'=__const_20^post_10, ret_RandomInteger16^0'=ret_RandomInteger16^post_10, ret_RandomInteger17^0'=ret_RandomInteger17^post_10, [ Index15^0==Index15^post_10 && Inner14^0==Inner14^post_10 && InnerIndex6^0==InnerIndex6^post_10 && InnerIndex9^0==InnerIndex9^post_10 && Outer13^0==Outer13^post_10 && OuterIndex5^0==OuterIndex5^post_10 && OuterIndex8^0==OuterIndex8^post_10 && Seed^0==Seed^post_10 && __const_20^0==__const_20^post_10 && ret_RandomInteger16^0==ret_RandomInteger16^post_10 && ret_RandomInteger17^0==ret_RandomInteger17^post_10 ], cost: 1
     11: l14 -> l4 : Index15^0'=Index15^post_12, Inner14^0'=Inner14^post_12, InnerIndex6^0'=InnerIndex6^post_12, InnerIndex9^0'=InnerIndex9^post_12, Outer13^0'=Outer13^post_12, OuterIndex5^0'=OuterIndex5^post_12, OuterIndex8^0'=OuterIndex8^post_12, Seed^0'=Seed^post_12, __const_20^0'=__const_20^post_12, ret_RandomInteger16^0'=ret_RandomInteger16^post_12, ret_RandomInteger17^0'=ret_RandomInteger17^post_12, [ __const_20^0<=InnerIndex9^0 && OuterIndex8^post_12==1+OuterIndex8^0 && Index15^0==Index15^post_12 && Inner14^0==Inner14^post_12 && InnerIndex6^0==InnerIndex6^post_12 && InnerIndex9^0==InnerIndex9^post_12 && Outer13^0==Outer13^post_12 && OuterIndex5^0==OuterIndex5^post_12 && Seed^0==Seed^post_12 && __const_20^0==__const_20^post_12 && ret_RandomInteger16^0==ret_RandomInteger16^post_12 && ret_RandomInteger17^0==ret_RandomInteger17^post_12 ], cost: 1
     12: l14 -> l13 : Index15^0'=Index15^post_13, Inner14^0'=Inner14^post_13, InnerIndex6^0'=InnerIndex6^post_13, InnerIndex9^0'=InnerIndex9^post_13, Outer13^0'=Outer13^post_13, OuterIndex5^0'=OuterIndex5^post_13, OuterIndex8^0'=OuterIndex8^post_13, Seed^0'=Seed^post_13, __const_20^0'=__const_20^post_13, ret_RandomInteger16^0'=ret_RandomInteger16^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+InnerIndex9^0<=__const_20^0 && Seed^post_13==Seed^post_13 && ret_RandomInteger17^post_13==Seed^post_13 && InnerIndex9^post_13==1+InnerIndex9^0 && Index15^0==Index15^post_13 && Inner14^0==Inner14^post_13 && InnerIndex6^0==InnerIndex6^post_13 && Outer13^0==Outer13^post_13 && OuterIndex5^0==OuterIndex5^post_13 && OuterIndex8^0==OuterIndex8^post_13 && __const_20^0==__const_20^post_13 && ret_RandomInteger16^0==ret_RandomInteger16^post_13 ], cost: 1
     21: l15 -> l0 : Index15^0'=Index15^post_22, Inner14^0'=Inner14^post_22, InnerIndex6^0'=InnerIndex6^post_22, InnerIndex9^0'=InnerIndex9^post_22, Outer13^0'=Outer13^post_22, OuterIndex5^0'=OuterIndex5^post_22, OuterIndex8^0'=OuterIndex8^post_22, Seed^0'=Seed^post_22, __const_20^0'=__const_20^post_22, ret_RandomInteger16^0'=ret_RandomInteger16^post_22, ret_RandomInteger17^0'=ret_RandomInteger17^post_22, [ Seed^post_22==0 && OuterIndex5^post_22==0 && Index15^0==Index15^post_22 && Inner14^0==Inner14^post_22 && InnerIndex6^0==InnerIndex6^post_22 && InnerIndex9^0==InnerIndex9^post_22 && Outer13^0==Outer13^post_22 && OuterIndex8^0==OuterIndex8^post_22 && __const_20^0==__const_20^post_22 && ret_RandomInteger16^0==ret_RandomInteger16^post_22 && ret_RandomInteger17^0==ret_RandomInteger17^post_22 ], cost: 1
     22: l16 -> l15 : Index15^0'=Index15^post_23, Inner14^0'=Inner14^post_23, InnerIndex6^0'=InnerIndex6^post_23, InnerIndex9^0'=InnerIndex9^post_23, Outer13^0'=Outer13^post_23, OuterIndex5^0'=OuterIndex5^post_23, OuterIndex8^0'=OuterIndex8^post_23, Seed^0'=Seed^post_23, __const_20^0'=__const_20^post_23, ret_RandomInteger16^0'=ret_RandomInteger16^post_23, ret_RandomInteger17^0'=ret_RandomInteger17^post_23, [ Index15^0==Index15^post_23 && Inner14^0==Inner14^post_23 && InnerIndex6^0==InnerIndex6^post_23 && InnerIndex9^0==InnerIndex9^post_23 && Outer13^0==Outer13^post_23 && OuterIndex5^0==OuterIndex5^post_23 && OuterIndex8^0==OuterIndex8^post_23 && Seed^0==Seed^post_23 && __const_20^0==__const_20^post_23 && ret_RandomInteger16^0==ret_RandomInteger16^post_23 && ret_RandomInteger17^0==ret_RandomInteger17^post_23 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     22: l16 -> l15 : Index15^0'=Index15^post_23, Inner14^0'=Inner14^post_23, InnerIndex6^0'=InnerIndex6^post_23, InnerIndex9^0'=InnerIndex9^post_23, Outer13^0'=Outer13^post_23, OuterIndex5^0'=OuterIndex5^post_23, OuterIndex8^0'=OuterIndex8^post_23, Seed^0'=Seed^post_23, __const_20^0'=__const_20^post_23, ret_RandomInteger16^0'=ret_RandomInteger16^post_23, ret_RandomInteger17^0'=ret_RandomInteger17^post_23, [ Index15^0==Index15^post_23 && Inner14^0==Inner14^post_23 && InnerIndex6^0==InnerIndex6^post_23 && InnerIndex9^0==InnerIndex9^post_23 && Outer13^0==Outer13^post_23 && OuterIndex5^0==OuterIndex5^post_23 && OuterIndex8^0==OuterIndex8^post_23 && Seed^0==Seed^post_23 && __const_20^0==__const_20^post_23 && ret_RandomInteger16^0==ret_RandomInteger16^post_23 && ret_RandomInteger17^0==ret_RandomInteger17^post_23 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l16
      0: l0 -> l1 : Index15^0'=Index15^post_1, Inner14^0'=Inner14^post_1, InnerIndex6^0'=InnerIndex6^post_1, InnerIndex9^0'=InnerIndex9^post_1, Outer13^0'=Outer13^post_1, OuterIndex5^0'=OuterIndex5^post_1, OuterIndex8^0'=OuterIndex8^post_1, Seed^0'=Seed^post_1, __const_20^0'=__const_20^post_1, ret_RandomInteger16^0'=ret_RandomInteger16^post_1, ret_RandomInteger17^0'=ret_RandomInteger17^post_1, [ Index15^0==Index15^post_1 && Inner14^0==Inner14^post_1 && InnerIndex6^0==InnerIndex6^post_1 && InnerIndex9^0==InnerIndex9^post_1 && Outer13^0==Outer13^post_1 && OuterIndex5^0==OuterIndex5^post_1 && OuterIndex8^0==OuterIndex8^post_1 && Seed^0==Seed^post_1 && __const_20^0==__const_20^post_1 && ret_RandomInteger16^0==ret_RandomInteger16^post_1 && ret_RandomInteger17^0==ret_RandomInteger17^post_1 ], cost: 1
     19: l1 -> l4 : Index15^0'=Index15^post_20, Inner14^0'=Inner14^post_20, InnerIndex6^0'=InnerIndex6^post_20, InnerIndex9^0'=InnerIndex9^post_20, Outer13^0'=Outer13^post_20, OuterIndex5^0'=OuterIndex5^post_20, OuterIndex8^0'=OuterIndex8^post_20, Seed^0'=Seed^post_20, __const_20^0'=__const_20^post_20, ret_RandomInteger16^0'=ret_RandomInteger16^post_20, ret_RandomInteger17^0'=ret_RandomInteger17^post_20, [ __const_20^0<=OuterIndex5^0 && OuterIndex8^post_20==0 && Index15^0==Index15^post_20 && Inner14^0==Inner14^post_20 && InnerIndex6^0==InnerIndex6^post_20 && InnerIndex9^0==InnerIndex9^post_20 && Outer13^0==Outer13^post_20 && OuterIndex5^0==OuterIndex5^post_20 && Seed^0==Seed^post_20 && __const_20^0==__const_20^post_20 && ret_RandomInteger16^0==ret_RandomInteger16^post_20 && ret_RandomInteger17^0==ret_RandomInteger17^post_20 ], cost: 1
     20: l1 -> l2 : Index15^0'=Index15^post_21, Inner14^0'=Inner14^post_21, InnerIndex6^0'=InnerIndex6^post_21, InnerIndex9^0'=InnerIndex9^post_21, Outer13^0'=Outer13^post_21, OuterIndex5^0'=OuterIndex5^post_21, OuterIndex8^0'=OuterIndex8^post_21, Seed^0'=Seed^post_21, __const_20^0'=__const_20^post_21, ret_RandomInteger16^0'=ret_RandomInteger16^post_21, ret_RandomInteger17^0'=ret_RandomInteger17^post_21, [ 1+OuterIndex5^0<=__const_20^0 && InnerIndex6^post_21==0 && Index15^0==Index15^post_21 && Inner14^0==Inner14^post_21 && InnerIndex9^0==InnerIndex9^post_21 && Outer13^0==Outer13^post_21 && OuterIndex5^0==OuterIndex5^post_21 && OuterIndex8^0==OuterIndex8^post_21 && Seed^0==Seed^post_21 && __const_20^0==__const_20^post_21 && ret_RandomInteger16^0==ret_RandomInteger16^post_21 && ret_RandomInteger17^0==ret_RandomInteger17^post_21 ], cost: 1
      1: l2 -> l3 : Index15^0'=Index15^post_2, Inner14^0'=Inner14^post_2, InnerIndex6^0'=InnerIndex6^post_2, InnerIndex9^0'=InnerIndex9^post_2, Outer13^0'=Outer13^post_2, OuterIndex5^0'=OuterIndex5^post_2, OuterIndex8^0'=OuterIndex8^post_2, Seed^0'=Seed^post_2, __const_20^0'=__const_20^post_2, ret_RandomInteger16^0'=ret_RandomInteger16^post_2, ret_RandomInteger17^0'=ret_RandomInteger17^post_2, [ Index15^0==Index15^post_2 && Inner14^0==Inner14^post_2 && InnerIndex6^0==InnerIndex6^post_2 && InnerIndex9^0==InnerIndex9^post_2 && Outer13^0==Outer13^post_2 && OuterIndex5^0==OuterIndex5^post_2 && OuterIndex8^0==OuterIndex8^post_2 && Seed^0==Seed^post_2 && __const_20^0==__const_20^post_2 && ret_RandomInteger16^0==ret_RandomInteger16^post_2 && ret_RandomInteger17^0==ret_RandomInteger17^post_2 ], cost: 1
     17: l3 -> l0 : Index15^0'=Index15^post_18, Inner14^0'=Inner14^post_18, InnerIndex6^0'=InnerIndex6^post_18, InnerIndex9^0'=InnerIndex9^post_18, Outer13^0'=Outer13^post_18, OuterIndex5^0'=OuterIndex5^post_18, OuterIndex8^0'=OuterIndex8^post_18, Seed^0'=Seed^post_18, __const_20^0'=__const_20^post_18, ret_RandomInteger16^0'=ret_RandomInteger16^post_18, ret_RandomInteger17^0'=ret_RandomInteger17^post_18, [ __const_20^0<=InnerIndex6^0 && OuterIndex5^post_18==1+OuterIndex5^0 && Index15^0==Index15^post_18 && Inner14^0==Inner14^post_18 && InnerIndex6^0==InnerIndex6^post_18 && InnerIndex9^0==InnerIndex9^post_18 && Outer13^0==Outer13^post_18 && OuterIndex8^0==OuterIndex8^post_18 && Seed^0==Seed^post_18 && __const_20^0==__const_20^post_18 && ret_RandomInteger16^0==ret_RandomInteger16^post_18 && ret_RandomInteger17^0==ret_RandomInteger17^post_18 ], cost: 1
     18: l3 -> l2 : Index15^0'=Index15^post_19, Inner14^0'=Inner14^post_19, InnerIndex6^0'=InnerIndex6^post_19, InnerIndex9^0'=InnerIndex9^post_19, Outer13^0'=Outer13^post_19, OuterIndex5^0'=OuterIndex5^post_19, OuterIndex8^0'=OuterIndex8^post_19, Seed^0'=Seed^post_19, __const_20^0'=__const_20^post_19, ret_RandomInteger16^0'=ret_RandomInteger16^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_19, [ 1+InnerIndex6^0<=__const_20^0 && Seed^post_19==Seed^post_19 && ret_RandomInteger16^post_19==Seed^post_19 && InnerIndex6^post_19==1+InnerIndex6^0 && Index15^0==Index15^post_19 && Inner14^0==Inner14^post_19 && InnerIndex9^0==InnerIndex9^post_19 && Outer13^0==Outer13^post_19 && OuterIndex5^0==OuterIndex5^post_19 && OuterIndex8^0==OuterIndex8^post_19 && __const_20^0==__const_20^post_19 && ret_RandomInteger17^0==ret_RandomInteger17^post_19 ], cost: 1
      2: l4 -> l5 : Index15^0'=Index15^post_3, Inner14^0'=Inner14^post_3, InnerIndex6^0'=InnerIndex6^post_3, InnerIndex9^0'=InnerIndex9^post_3, Outer13^0'=Outer13^post_3, OuterIndex5^0'=OuterIndex5^post_3, OuterIndex8^0'=OuterIndex8^post_3, Seed^0'=Seed^post_3, __const_20^0'=__const_20^post_3, ret_RandomInteger16^0'=ret_RandomInteger16^post_3, ret_RandomInteger17^0'=ret_RandomInteger17^post_3, [ Index15^0==Index15^post_3 && Inner14^0==Inner14^post_3 && InnerIndex6^0==InnerIndex6^post_3 && InnerIndex9^0==InnerIndex9^post_3 && Outer13^0==Outer13^post_3 && OuterIndex5^0==OuterIndex5^post_3 && OuterIndex8^0==OuterIndex8^post_3 && Seed^0==Seed^post_3 && __const_20^0==__const_20^post_3 && ret_RandomInteger16^0==ret_RandomInteger16^post_3 && ret_RandomInteger17^0==ret_RandomInteger17^post_3 ], cost: 1
     13: l5 -> l10 : Index15^0'=Index15^post_14, Inner14^0'=Inner14^post_14, InnerIndex6^0'=InnerIndex6^post_14, InnerIndex9^0'=InnerIndex9^post_14, Outer13^0'=Outer13^post_14, OuterIndex5^0'=OuterIndex5^post_14, OuterIndex8^0'=OuterIndex8^post_14, Seed^0'=Seed^post_14, __const_20^0'=__const_20^post_14, ret_RandomInteger16^0'=ret_RandomInteger16^post_14, ret_RandomInteger17^0'=ret_RandomInteger17^post_14, [ __const_20^0<=OuterIndex8^0 && Outer13^post_14==0 && Index15^0==Index15^post_14 && Inner14^0==Inner14^post_14 && InnerIndex6^0==InnerIndex6^post_14 && InnerIndex9^0==InnerIndex9^post_14 && OuterIndex5^0==OuterIndex5^post_14 && OuterIndex8^0==OuterIndex8^post_14 && Seed^0==Seed^post_14 && __const_20^0==__const_20^post_14 && ret_RandomInteger16^0==ret_RandomInteger16^post_14 && ret_RandomInteger17^0==ret_RandomInteger17^post_14 ], cost: 1
     14: l5 -> l13 : Index15^0'=Index15^post_15, Inner14^0'=Inner14^post_15, InnerIndex6^0'=InnerIndex6^post_15, InnerIndex9^0'=InnerIndex9^post_15, Outer13^0'=Outer13^post_15, OuterIndex5^0'=OuterIndex5^post_15, OuterIndex8^0'=OuterIndex8^post_15, Seed^0'=Seed^post_15, __const_20^0'=__const_20^post_15, ret_RandomInteger16^0'=ret_RandomInteger16^post_15, ret_RandomInteger17^0'=ret_RandomInteger17^post_15, [ 1+OuterIndex8^0<=__const_20^0 && InnerIndex9^post_15==0 && Index15^0==Index15^post_15 && Inner14^0==Inner14^post_15 && InnerIndex6^0==InnerIndex6^post_15 && Outer13^0==Outer13^post_15 && OuterIndex5^0==OuterIndex5^post_15 && OuterIndex8^0==OuterIndex8^post_15 && Seed^0==Seed^post_15 && __const_20^0==__const_20^post_15 && ret_RandomInteger16^0==ret_RandomInteger16^post_15 && ret_RandomInteger17^0==ret_RandomInteger17^post_15 ], cost: 1
      3: l6 -> l7 : Index15^0'=Index15^post_4, Inner14^0'=Inner14^post_4, InnerIndex6^0'=InnerIndex6^post_4, InnerIndex9^0'=InnerIndex9^post_4, Outer13^0'=Outer13^post_4, OuterIndex5^0'=OuterIndex5^post_4, OuterIndex8^0'=OuterIndex8^post_4, Seed^0'=Seed^post_4, __const_20^0'=__const_20^post_4, ret_RandomInteger16^0'=ret_RandomInteger16^post_4, ret_RandomInteger17^0'=ret_RandomInteger17^post_4, [ __const_20^0<=Index15^0 && Inner14^post_4==1+Inner14^0 && Index15^0==Index15^post_4 && InnerIndex6^0==InnerIndex6^post_4 && InnerIndex9^0==InnerIndex9^post_4 && Outer13^0==Outer13^post_4 && OuterIndex5^0==OuterIndex5^post_4 && OuterIndex8^0==OuterIndex8^post_4 && Seed^0==Seed^post_4 && __const_20^0==__const_20^post_4 && ret_RandomInteger16^0==ret_RandomInteger16^post_4 && ret_RandomInteger17^0==ret_RandomInteger17^post_4 ], cost: 1
      4: l6 -> l8 : Index15^0'=Index15^post_5, Inner14^0'=Inner14^post_5, InnerIndex6^0'=InnerIndex6^post_5, InnerIndex9^0'=InnerIndex9^post_5, Outer13^0'=Outer13^post_5, OuterIndex5^0'=OuterIndex5^post_5, OuterIndex8^0'=OuterIndex8^post_5, Seed^0'=Seed^post_5, __const_20^0'=__const_20^post_5, ret_RandomInteger16^0'=ret_RandomInteger16^post_5, ret_RandomInteger17^0'=ret_RandomInteger17^post_5, [ 1+Index15^0<=__const_20^0 && Index15^post_5==1+Index15^0 && Inner14^0==Inner14^post_5 && InnerIndex6^0==InnerIndex6^post_5 && InnerIndex9^0==InnerIndex9^post_5 && Outer13^0==Outer13^post_5 && OuterIndex5^0==OuterIndex5^post_5 && OuterIndex8^0==OuterIndex8^post_5 && Seed^0==Seed^post_5 && __const_20^0==__const_20^post_5 && ret_RandomInteger16^0==ret_RandomInteger16^post_5 && ret_RandomInteger17^0==ret_RandomInteger17^post_5 ], cost: 1
     15: l7 -> l9 : Index15^0'=Index15^post_16, Inner14^0'=Inner14^post_16, InnerIndex6^0'=InnerIndex6^post_16, InnerIndex9^0'=InnerIndex9^post_16, Outer13^0'=Outer13^post_16, OuterIndex5^0'=OuterIndex5^post_16, OuterIndex8^0'=OuterIndex8^post_16, Seed^0'=Seed^post_16, __const_20^0'=__const_20^post_16, ret_RandomInteger16^0'=ret_RandomInteger16^post_16, ret_RandomInteger17^0'=ret_RandomInteger17^post_16, [ Index15^0==Index15^post_16 && Inner14^0==Inner14^post_16 && InnerIndex6^0==InnerIndex6^post_16 && InnerIndex9^0==InnerIndex9^post_16 && Outer13^0==Outer13^post_16 && OuterIndex5^0==OuterIndex5^post_16 && OuterIndex8^0==OuterIndex8^post_16 && Seed^0==Seed^post_16 && __const_20^0==__const_20^post_16 && ret_RandomInteger16^0==ret_RandomInteger16^post_16 && ret_RandomInteger17^0==ret_RandomInteger17^post_16 ], cost: 1
     16: l8 -> l6 : Index15^0'=Index15^post_17, Inner14^0'=Inner14^post_17, InnerIndex6^0'=InnerIndex6^post_17, InnerIndex9^0'=InnerIndex9^post_17, Outer13^0'=Outer13^post_17, OuterIndex5^0'=OuterIndex5^post_17, OuterIndex8^0'=OuterIndex8^post_17, Seed^0'=Seed^post_17, __const_20^0'=__const_20^post_17, ret_RandomInteger16^0'=ret_RandomInteger16^post_17, ret_RandomInteger17^0'=ret_RandomInteger17^post_17, [ Index15^0==Index15^post_17 && Inner14^0==Inner14^post_17 && InnerIndex6^0==InnerIndex6^post_17 && InnerIndex9^0==InnerIndex9^post_17 && Outer13^0==Outer13^post_17 && OuterIndex5^0==OuterIndex5^post_17 && OuterIndex8^0==OuterIndex8^post_17 && Seed^0==Seed^post_17 && __const_20^0==__const_20^post_17 && ret_RandomInteger16^0==ret_RandomInteger16^post_17 && ret_RandomInteger17^0==ret_RandomInteger17^post_17 ], cost: 1
      5: l9 -> l10 : Index15^0'=Index15^post_6, Inner14^0'=Inner14^post_6, InnerIndex6^0'=InnerIndex6^post_6, InnerIndex9^0'=InnerIndex9^post_6, Outer13^0'=Outer13^post_6, OuterIndex5^0'=OuterIndex5^post_6, OuterIndex8^0'=OuterIndex8^post_6, Seed^0'=Seed^post_6, __const_20^0'=__const_20^post_6, ret_RandomInteger16^0'=ret_RandomInteger16^post_6, ret_RandomInteger17^0'=ret_RandomInteger17^post_6, [ __const_20^0<=Inner14^0 && Outer13^post_6==1+Outer13^0 && Index15^0==Index15^post_6 && Inner14^0==Inner14^post_6 && InnerIndex6^0==InnerIndex6^post_6 && InnerIndex9^0==InnerIndex9^post_6 && OuterIndex5^0==OuterIndex5^post_6 && OuterIndex8^0==OuterIndex8^post_6 && Seed^0==Seed^post_6 && __const_20^0==__const_20^post_6 && ret_RandomInteger16^0==ret_RandomInteger16^post_6 && ret_RandomInteger17^0==ret_RandomInteger17^post_6 ], cost: 1
      6: l9 -> l8 : Index15^0'=Index15^post_7, Inner14^0'=Inner14^post_7, InnerIndex6^0'=InnerIndex6^post_7, InnerIndex9^0'=InnerIndex9^post_7, Outer13^0'=Outer13^post_7, OuterIndex5^0'=OuterIndex5^post_7, OuterIndex8^0'=OuterIndex8^post_7, Seed^0'=Seed^post_7, __const_20^0'=__const_20^post_7, ret_RandomInteger16^0'=ret_RandomInteger16^post_7, ret_RandomInteger17^0'=ret_RandomInteger17^post_7, [ 1+Inner14^0<=__const_20^0 && Index15^post_7==0 && Inner14^0==Inner14^post_7 && InnerIndex6^0==InnerIndex6^post_7 && InnerIndex9^0==InnerIndex9^post_7 && Outer13^0==Outer13^post_7 && OuterIndex5^0==OuterIndex5^post_7 && OuterIndex8^0==OuterIndex8^post_7 && Seed^0==Seed^post_7 && __const_20^0==__const_20^post_7 && ret_RandomInteger16^0==ret_RandomInteger16^post_7 && ret_RandomInteger17^0==ret_RandomInteger17^post_7 ], cost: 1
     10: l10 -> l11 : Index15^0'=Index15^post_11, Inner14^0'=Inner14^post_11, InnerIndex6^0'=InnerIndex6^post_11, InnerIndex9^0'=InnerIndex9^post_11, Outer13^0'=Outer13^post_11, OuterIndex5^0'=OuterIndex5^post_11, OuterIndex8^0'=OuterIndex8^post_11, Seed^0'=Seed^post_11, __const_20^0'=__const_20^post_11, ret_RandomInteger16^0'=ret_RandomInteger16^post_11, ret_RandomInteger17^0'=ret_RandomInteger17^post_11, [ Index15^0==Index15^post_11 && Inner14^0==Inner14^post_11 && InnerIndex6^0==InnerIndex6^post_11 && InnerIndex9^0==InnerIndex9^post_11 && Outer13^0==Outer13^post_11 && OuterIndex5^0==OuterIndex5^post_11 && OuterIndex8^0==OuterIndex8^post_11 && Seed^0==Seed^post_11 && __const_20^0==__const_20^post_11 && ret_RandomInteger16^0==ret_RandomInteger16^post_11 && ret_RandomInteger17^0==ret_RandomInteger17^post_11 ], cost: 1
      8: l11 -> l7 : Index15^0'=Index15^post_9, Inner14^0'=Inner14^post_9, InnerIndex6^0'=InnerIndex6^post_9, InnerIndex9^0'=InnerIndex9^post_9, Outer13^0'=Outer13^post_9, OuterIndex5^0'=OuterIndex5^post_9, OuterIndex8^0'=OuterIndex8^post_9, Seed^0'=Seed^post_9, __const_20^0'=__const_20^post_9, ret_RandomInteger16^0'=ret_RandomInteger16^post_9, ret_RandomInteger17^0'=ret_RandomInteger17^post_9, [ 1+Outer13^0<=__const_20^0 && Inner14^post_9==0 && Index15^0==Index15^post_9 && InnerIndex6^0==InnerIndex6^post_9 && InnerIndex9^0==InnerIndex9^post_9 && Outer13^0==Outer13^post_9 && OuterIndex5^0==OuterIndex5^post_9 && OuterIndex8^0==OuterIndex8^post_9 && Seed^0==Seed^post_9 && __const_20^0==__const_20^post_9 && ret_RandomInteger16^0==ret_RandomInteger16^post_9 && ret_RandomInteger17^0==ret_RandomInteger17^post_9 ], cost: 1
      9: l13 -> l14 : Index15^0'=Index15^post_10, Inner14^0'=Inner14^post_10, InnerIndex6^0'=InnerIndex6^post_10, InnerIndex9^0'=InnerIndex9^post_10, Outer13^0'=Outer13^post_10, OuterIndex5^0'=OuterIndex5^post_10, OuterIndex8^0'=OuterIndex8^post_10, Seed^0'=Seed^post_10, __const_20^0'=__const_20^post_10, ret_RandomInteger16^0'=ret_RandomInteger16^post_10, ret_RandomInteger17^0'=ret_RandomInteger17^post_10, [ Index15^0==Index15^post_10 && Inner14^0==Inner14^post_10 && InnerIndex6^0==InnerIndex6^post_10 && InnerIndex9^0==InnerIndex9^post_10 && Outer13^0==Outer13^post_10 && OuterIndex5^0==OuterIndex5^post_10 && OuterIndex8^0==OuterIndex8^post_10 && Seed^0==Seed^post_10 && __const_20^0==__const_20^post_10 && ret_RandomInteger16^0==ret_RandomInteger16^post_10 && ret_RandomInteger17^0==ret_RandomInteger17^post_10 ], cost: 1
     11: l14 -> l4 : Index15^0'=Index15^post_12, Inner14^0'=Inner14^post_12, InnerIndex6^0'=InnerIndex6^post_12, InnerIndex9^0'=InnerIndex9^post_12, Outer13^0'=Outer13^post_12, OuterIndex5^0'=OuterIndex5^post_12, OuterIndex8^0'=OuterIndex8^post_12, Seed^0'=Seed^post_12, __const_20^0'=__const_20^post_12, ret_RandomInteger16^0'=ret_RandomInteger16^post_12, ret_RandomInteger17^0'=ret_RandomInteger17^post_12, [ __const_20^0<=InnerIndex9^0 && OuterIndex8^post_12==1+OuterIndex8^0 && Index15^0==Index15^post_12 && Inner14^0==Inner14^post_12 && InnerIndex6^0==InnerIndex6^post_12 && InnerIndex9^0==InnerIndex9^post_12 && Outer13^0==Outer13^post_12 && OuterIndex5^0==OuterIndex5^post_12 && Seed^0==Seed^post_12 && __const_20^0==__const_20^post_12 && ret_RandomInteger16^0==ret_RandomInteger16^post_12 && ret_RandomInteger17^0==ret_RandomInteger17^post_12 ], cost: 1
     12: l14 -> l13 : Index15^0'=Index15^post_13, Inner14^0'=Inner14^post_13, InnerIndex6^0'=InnerIndex6^post_13, InnerIndex9^0'=InnerIndex9^post_13, Outer13^0'=Outer13^post_13, OuterIndex5^0'=OuterIndex5^post_13, OuterIndex8^0'=OuterIndex8^post_13, Seed^0'=Seed^post_13, __const_20^0'=__const_20^post_13, ret_RandomInteger16^0'=ret_RandomInteger16^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+InnerIndex9^0<=__const_20^0 && Seed^post_13==Seed^post_13 && ret_RandomInteger17^post_13==Seed^post_13 && InnerIndex9^post_13==1+InnerIndex9^0 && Index15^0==Index15^post_13 && Inner14^0==Inner14^post_13 && InnerIndex6^0==InnerIndex6^post_13 && Outer13^0==Outer13^post_13 && OuterIndex5^0==OuterIndex5^post_13 && OuterIndex8^0==OuterIndex8^post_13 && __const_20^0==__const_20^post_13 && ret_RandomInteger16^0==ret_RandomInteger16^post_13 ], cost: 1
     21: l15 -> l0 : Index15^0'=Index15^post_22, Inner14^0'=Inner14^post_22, InnerIndex6^0'=InnerIndex6^post_22, InnerIndex9^0'=InnerIndex9^post_22, Outer13^0'=Outer13^post_22, OuterIndex5^0'=OuterIndex5^post_22, OuterIndex8^0'=OuterIndex8^post_22, Seed^0'=Seed^post_22, __const_20^0'=__const_20^post_22, ret_RandomInteger16^0'=ret_RandomInteger16^post_22, ret_RandomInteger17^0'=ret_RandomInteger17^post_22, [ Seed^post_22==0 && OuterIndex5^post_22==0 && Index15^0==Index15^post_22 && Inner14^0==Inner14^post_22 && InnerIndex6^0==InnerIndex6^post_22 && InnerIndex9^0==InnerIndex9^post_22 && Outer13^0==Outer13^post_22 && OuterIndex8^0==OuterIndex8^post_22 && __const_20^0==__const_20^post_22 && ret_RandomInteger16^0==ret_RandomInteger16^post_22 && ret_RandomInteger17^0==ret_RandomInteger17^post_22 ], cost: 1
     22: l16 -> l15 : Index15^0'=Index15^post_23, Inner14^0'=Inner14^post_23, InnerIndex6^0'=InnerIndex6^post_23, InnerIndex9^0'=InnerIndex9^post_23, Outer13^0'=Outer13^post_23, OuterIndex5^0'=OuterIndex5^post_23, OuterIndex8^0'=OuterIndex8^post_23, Seed^0'=Seed^post_23, __const_20^0'=__const_20^post_23, ret_RandomInteger16^0'=ret_RandomInteger16^post_23, ret_RandomInteger17^0'=ret_RandomInteger17^post_23, [ Index15^0==Index15^post_23 && Inner14^0==Inner14^post_23 && InnerIndex6^0==InnerIndex6^post_23 && InnerIndex9^0==InnerIndex9^post_23 && Outer13^0==Outer13^post_23 && OuterIndex5^0==OuterIndex5^post_23 && OuterIndex8^0==OuterIndex8^post_23 && Seed^0==Seed^post_23 && __const_20^0==__const_20^post_23 && ret_RandomInteger16^0==ret_RandomInteger16^post_23 && ret_RandomInteger17^0==ret_RandomInteger17^post_23 ], cost: 1

Simplified all rules, resulting in:
   Start location: l16
      0: l0 -> l1 : [], cost: 1
     19: l1 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 1
     20: l1 -> l2 : InnerIndex6^0'=0, [ 1+OuterIndex5^0<=__const_20^0 ], cost: 1
      1: l2 -> l3 : [], cost: 1
     17: l3 -> l0 : OuterIndex5^0'=1+OuterIndex5^0, [ __const_20^0<=InnerIndex6^0 ], cost: 1
     18: l3 -> l2 : InnerIndex6^0'=1+InnerIndex6^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ 1+InnerIndex6^0<=__const_20^0 ], cost: 1
      2: l4 -> l5 : [], cost: 1
     13: l5 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 1
     14: l5 -> l13 : InnerIndex9^0'=0, [ 1+OuterIndex8^0<=__const_20^0 ], cost: 1
      3: l6 -> l7 : Inner14^0'=1+Inner14^0, [ __const_20^0<=Index15^0 ], cost: 1
      4: l6 -> l8 : Index15^0'=1+Index15^0, [ 1+Index15^0<=__const_20^0 ], cost: 1
     15: l7 -> l9 : [], cost: 1
     16: l8 -> l6 : [], cost: 1
      5: l9 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 1
      6: l9 -> l8 : Index15^0'=0, [ 1+Inner14^0<=__const_20^0 ], cost: 1
     10: l10 -> l11 : [], cost: 1
      8: l11 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 1
      9: l13 -> l14 : [], cost: 1
     11: l14 -> l4 : OuterIndex8^0'=1+OuterIndex8^0, [ __const_20^0<=InnerIndex9^0 ], cost: 1
     12: l14 -> l13 : InnerIndex9^0'=1+InnerIndex9^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+InnerIndex9^0<=__const_20^0 ], cost: 1
     21: l15 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 1
     22: l16 -> l15 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l16
      0: l0 -> l1 : [], cost: 1
     19: l1 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 1
     20: l1 -> l2 : InnerIndex6^0'=0, [ 1+OuterIndex5^0<=__const_20^0 ], cost: 1
      1: l2 -> l3 : [], cost: 1
     17: l3 -> l0 : OuterIndex5^0'=1+OuterIndex5^0, [ __const_20^0<=InnerIndex6^0 ], cost: 1
     18: l3 -> l2 : InnerIndex6^0'=1+InnerIndex6^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ 1+InnerIndex6^0<=__const_20^0 ], cost: 1
      2: l4 -> l5 : [], cost: 1
     13: l5 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 1
     14: l5 -> l13 : InnerIndex9^0'=0, [ 1+OuterIndex8^0<=__const_20^0 ], cost: 1
      3: l6 -> l7 : Inner14^0'=1+Inner14^0, [ __const_20^0<=Index15^0 ], cost: 1
      4: l6 -> l8 : Index15^0'=1+Index15^0, [ 1+Index15^0<=__const_20^0 ], cost: 1
     15: l7 -> l9 : [], cost: 1
     16: l8 -> l6 : [], cost: 1
      5: l9 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 1
      6: l9 -> l8 : Index15^0'=0, [ 1+Inner14^0<=__const_20^0 ], cost: 1
     24: l10 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 2
      9: l13 -> l14 : [], cost: 1
     11: l14 -> l4 : OuterIndex8^0'=1+OuterIndex8^0, [ __const_20^0<=InnerIndex9^0 ], cost: 1
     12: l14 -> l13 : InnerIndex9^0'=1+InnerIndex9^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+InnerIndex9^0<=__const_20^0 ], cost: 1
     23: l16 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l16
     25: l0 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 2
     26: l0 -> l2 : InnerIndex6^0'=0, [ 1+OuterIndex5^0<=__const_20^0 ], cost: 2
     27: l2 -> l0 : OuterIndex5^0'=1+OuterIndex5^0, [ __const_20^0<=InnerIndex6^0 ], cost: 2
     28: l2 -> l2 : InnerIndex6^0'=1+InnerIndex6^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ 1+InnerIndex6^0<=__const_20^0 ], cost: 2
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     30: l4 -> l13 : InnerIndex9^0'=0, [ 1+OuterIndex8^0<=__const_20^0 ], cost: 2
     31: l7 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 2
     32: l7 -> l8 : Index15^0'=0, [ 1+Inner14^0<=__const_20^0 ], cost: 2
     33: l8 -> l7 : Inner14^0'=1+Inner14^0, [ __const_20^0<=Index15^0 ], cost: 2
     34: l8 -> l8 : Index15^0'=1+Index15^0, [ 1+Index15^0<=__const_20^0 ], cost: 2
     24: l10 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 2
     35: l13 -> l4 : OuterIndex8^0'=1+OuterIndex8^0, [ __const_20^0<=InnerIndex9^0 ], cost: 2
     36: l13 -> l13 : InnerIndex9^0'=1+InnerIndex9^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+InnerIndex9^0<=__const_20^0 ], cost: 2
     23: l16 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 2

Accelerating simple loops of location 2.
   Accelerating the following rules:
     28: l2 -> l2 : InnerIndex6^0'=1+InnerIndex6^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ 1+InnerIndex6^0<=__const_20^0 ], cost: 2

   Accelerated rule 28 with backward acceleration, yielding the new rule 37.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 28.

Accelerating simple loops of location 8.
   Accelerating the following rules:
     34: l8 -> l8 : Index15^0'=1+Index15^0, [ 1+Index15^0<=__const_20^0 ], cost: 2

   Accelerated rule 34 with backward acceleration, yielding the new rule 38.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 34.

Accelerating simple loops of location 13.
   Accelerating the following rules:
     36: l13 -> l13 : InnerIndex9^0'=1+InnerIndex9^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+InnerIndex9^0<=__const_20^0 ], cost: 2

   Accelerated rule 36 with backward acceleration, yielding the new rule 39.
[accelerate] Nesting with 1 inner and 1 outer candidates
   Removing the simple loops: 36.

Accelerated all simple loops using metering functions (where possible):
   Start location: l16
     25: l0 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 2
     26: l0 -> l2 : InnerIndex6^0'=0, [ 1+OuterIndex5^0<=__const_20^0 ], cost: 2
     27: l2 -> l0 : OuterIndex5^0'=1+OuterIndex5^0, [ __const_20^0<=InnerIndex6^0 ], cost: 2
     37: l2 -> l2 : InnerIndex6^0'=__const_20^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ __const_20^0-InnerIndex6^0>=1 ], cost: 2*__const_20^0-2*InnerIndex6^0
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     30: l4 -> l13 : InnerIndex9^0'=0, [ 1+OuterIndex8^0<=__const_20^0 ], cost: 2
     31: l7 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 2
     32: l7 -> l8 : Index15^0'=0, [ 1+Inner14^0<=__const_20^0 ], cost: 2
     33: l8 -> l7 : Inner14^0'=1+Inner14^0, [ __const_20^0<=Index15^0 ], cost: 2
     38: l8 -> l8 : Index15^0'=__const_20^0, [ __const_20^0-Index15^0>=0 ], cost: 2*__const_20^0-2*Index15^0
     24: l10 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 2
     35: l13 -> l4 : OuterIndex8^0'=1+OuterIndex8^0, [ __const_20^0<=InnerIndex9^0 ], cost: 2
     39: l13 -> l13 : InnerIndex9^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0-InnerIndex9^0>=1 ], cost: 2*__const_20^0-2*InnerIndex9^0
     23: l16 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l16
     25: l0 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 2
     26: l0 -> l2 : InnerIndex6^0'=0, [ 1+OuterIndex5^0<=__const_20^0 ], cost: 2
     40: l0 -> l2 : InnerIndex6^0'=__const_20^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ 1+OuterIndex5^0<=__const_20^0 && __const_20^0>=1 ], cost: 2+2*__const_20^0
     27: l2 -> l0 : OuterIndex5^0'=1+OuterIndex5^0, [ __const_20^0<=InnerIndex6^0 ], cost: 2
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     30: l4 -> l13 : InnerIndex9^0'=0, [ 1+OuterIndex8^0<=__const_20^0 ], cost: 2
     42: l4 -> l13 : InnerIndex9^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+OuterIndex8^0<=__const_20^0 && __const_20^0>=1 ], cost: 2+2*__const_20^0
     31: l7 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 2
     32: l7 -> l8 : Index15^0'=0, [ 1+Inner14^0<=__const_20^0 ], cost: 2
     41: l7 -> l8 : Index15^0'=__const_20^0, [ 1+Inner14^0<=__const_20^0 && __const_20^0>=0 ], cost: 2+2*__const_20^0
     33: l8 -> l7 : Inner14^0'=1+Inner14^0, [ __const_20^0<=Index15^0 ], cost: 2
     24: l10 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 2
     35: l13 -> l4 : OuterIndex8^0'=1+OuterIndex8^0, [ __const_20^0<=InnerIndex9^0 ], cost: 2
     23: l16 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l16
     25: l0 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 2
     43: l0 -> l0 : InnerIndex6^0'=0, OuterIndex5^0'=1+OuterIndex5^0, [ 1+OuterIndex5^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     44: l0 -> l0 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=1+OuterIndex5^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ 1+OuterIndex5^0<=__const_20^0 && __const_20^0>=1 ], cost: 4+2*__const_20^0
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     45: l4 -> l4 : InnerIndex9^0'=0, OuterIndex8^0'=1+OuterIndex8^0, [ 1+OuterIndex8^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     46: l4 -> l4 : InnerIndex9^0'=__const_20^0, OuterIndex8^0'=1+OuterIndex8^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+OuterIndex8^0<=__const_20^0 && __const_20^0>=1 ], cost: 4+2*__const_20^0
     31: l7 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 2
     47: l7 -> l7 : Index15^0'=0, Inner14^0'=1+Inner14^0, [ 1+Inner14^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     48: l7 -> l7 : Index15^0'=__const_20^0, Inner14^0'=1+Inner14^0, [ 1+Inner14^0<=__const_20^0 && __const_20^0>=0 ], cost: 4+2*__const_20^0
     24: l10 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 2
     23: l16 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 2

Accelerating simple loops of location 0.
   Accelerating the following rules:
     43: l0 -> l0 : InnerIndex6^0'=0, OuterIndex5^0'=1+OuterIndex5^0, [ 1+OuterIndex5^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     44: l0 -> l0 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=1+OuterIndex5^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ 1+OuterIndex5^0<=__const_20^0 && __const_20^0>=1 ], cost: 4+2*__const_20^0

   Accelerated rule 43 with backward acceleration, yielding the new rule 49.
   Accelerated rule 44 with backward acceleration, yielding the new rule 50.
[accelerate] Nesting with 2 inner and 2 outer candidates
   Removing the simple loops: 43 44.

Accelerating simple loops of location 4.
   Accelerating the following rules:
     45: l4 -> l4 : InnerIndex9^0'=0, OuterIndex8^0'=1+OuterIndex8^0, [ 1+OuterIndex8^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     46: l4 -> l4 : InnerIndex9^0'=__const_20^0, OuterIndex8^0'=1+OuterIndex8^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ 1+OuterIndex8^0<=__const_20^0 && __const_20^0>=1 ], cost: 4+2*__const_20^0

   Accelerated rule 45 with backward acceleration, yielding the new rule 51.
   Accelerated rule 46 with backward acceleration, yielding the new rule 52.
[accelerate] Nesting with 2 inner and 2 outer candidates
   Removing the simple loops: 45 46.

Accelerating simple loops of location 7.
   Accelerating the following rules:
     47: l7 -> l7 : Index15^0'=0, Inner14^0'=1+Inner14^0, [ 1+Inner14^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     48: l7 -> l7 : Index15^0'=__const_20^0, Inner14^0'=1+Inner14^0, [ 1+Inner14^0<=__const_20^0 && __const_20^0>=0 ], cost: 4+2*__const_20^0

   Accelerated rule 47 with backward acceleration, yielding the new rule 53.
   Accelerated rule 48 with backward acceleration, yielding the new rule 54.
[accelerate] Nesting with 2 inner and 2 outer candidates
   Removing the simple loops: 47 48.

Accelerated all simple loops using metering functions (where possible):
   Start location: l16
     25: l0 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 2
     49: l0 -> l0 : InnerIndex6^0'=0, OuterIndex5^0'=__const_20^0, [ __const_20^0<=0 && __const_20^0-OuterIndex5^0>=1 ], cost: 4*__const_20^0-4*OuterIndex5^0
     50: l0 -> l0 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=__const_20^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ __const_20^0>=1 && __const_20^0-OuterIndex5^0>=1 ], cost: 4*__const_20^0-4*OuterIndex5^0+2*__const_20^0*(__const_20^0-OuterIndex5^0)
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     51: l4 -> l4 : InnerIndex9^0'=0, OuterIndex8^0'=__const_20^0, [ __const_20^0<=0 && __const_20^0-OuterIndex8^0>=1 ], cost: 4*__const_20^0-4*OuterIndex8^0
     52: l4 -> l4 : InnerIndex9^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0>=1 && __const_20^0-OuterIndex8^0>=1 ], cost: 4*__const_20^0+2*__const_20^0*(__const_20^0-OuterIndex8^0)-4*OuterIndex8^0
     31: l7 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 2
     53: l7 -> l7 : Index15^0'=0, Inner14^0'=__const_20^0, [ __const_20^0<=0 && -Inner14^0+__const_20^0>=1 ], cost: -4*Inner14^0+4*__const_20^0
     54: l7 -> l7 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, [ __const_20^0>=0 && -Inner14^0+__const_20^0>=1 ], cost: -4*Inner14^0-2*__const_20^0*(Inner14^0-__const_20^0)+4*__const_20^0
     24: l10 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 2
     23: l16 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l16
     25: l0 -> l4 : OuterIndex8^0'=0, [ __const_20^0<=OuterIndex5^0 ], cost: 2
     56: l0 -> l4 : InnerIndex9^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0<=OuterIndex5^0 && __const_20^0>=1 ], cost: 2+4*__const_20^0+2*__const_20^0^2
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     31: l7 -> l10 : Outer13^0'=1+Outer13^0, [ __const_20^0<=Inner14^0 ], cost: 2
     24: l10 -> l7 : Inner14^0'=0, [ 1+Outer13^0<=__const_20^0 ], cost: 2
     57: l10 -> l7 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, [ 1+Outer13^0<=__const_20^0 && __const_20^0>=1 ], cost: 2+4*__const_20^0+2*__const_20^0^2
     23: l16 -> l0 : OuterIndex5^0'=0, Seed^0'=0, [], cost: 2
     55: l16 -> l0 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=__const_20^0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ __const_20^0>=1 ], cost: 2+4*__const_20^0+2*__const_20^0^2

Eliminated locations (on tree-shaped paths):
   Start location: l16
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     61: l10 -> l10 : Inner14^0'=0, Outer13^0'=1+Outer13^0, [ 1+Outer13^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     62: l10 -> l10 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, Outer13^0'=1+Outer13^0, [ 1+Outer13^0<=__const_20^0 && __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2
     58: l16 -> l4 : OuterIndex5^0'=0, OuterIndex8^0'=0, Seed^0'=0, [ __const_20^0<=0 ], cost: 4
     59: l16 -> l4 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2
     60: l16 -> l4 : InnerIndex6^0'=__const_20^0, InnerIndex9^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger16^0'=Seed^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0>=1 ], cost: 4+8*__const_20^0+4*__const_20^0^2

Accelerating simple loops of location 10.
   Accelerating the following rules:
     61: l10 -> l10 : Inner14^0'=0, Outer13^0'=1+Outer13^0, [ 1+Outer13^0<=__const_20^0 && __const_20^0<=0 ], cost: 4
     62: l10 -> l10 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, Outer13^0'=1+Outer13^0, [ 1+Outer13^0<=__const_20^0 && __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2

   Accelerated rule 61 with backward acceleration, yielding the new rule 63.
   Accelerated rule 62 with backward acceleration, yielding the new rule 64.
[accelerate] Nesting with 2 inner and 2 outer candidates
   Removing the simple loops: 61 62.

Accelerated all simple loops using metering functions (where possible):
   Start location: l16
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     63: l10 -> l10 : Inner14^0'=0, Outer13^0'=__const_20^0, [ __const_20^0<=0 && -Outer13^0+__const_20^0>=1 ], cost: -4*Outer13^0+4*__const_20^0
     64: l10 -> l10 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, Outer13^0'=__const_20^0, [ __const_20^0>=1 && -Outer13^0+__const_20^0>=1 ], cost: -4*Outer13^0-2*__const_20^0^2*(Outer13^0-__const_20^0)+4*__const_20^0-4*__const_20^0*(Outer13^0-__const_20^0)
     58: l16 -> l4 : OuterIndex5^0'=0, OuterIndex8^0'=0, Seed^0'=0, [ __const_20^0<=0 ], cost: 4
     59: l16 -> l4 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2
     60: l16 -> l4 : InnerIndex6^0'=__const_20^0, InnerIndex9^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger16^0'=Seed^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0>=1 ], cost: 4+8*__const_20^0+4*__const_20^0^2

Chained accelerated rules (with incoming rules):
   Start location: l16
     29: l4 -> l10 : Outer13^0'=0, [ __const_20^0<=OuterIndex8^0 ], cost: 2
     65: l4 -> l10 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, Outer13^0'=__const_20^0, [ __const_20^0<=OuterIndex8^0 && __const_20^0>=1 ], cost: 2+4*__const_20^0+4*__const_20^0^2+2*__const_20^0^3
     58: l16 -> l4 : OuterIndex5^0'=0, OuterIndex8^0'=0, Seed^0'=0, [ __const_20^0<=0 ], cost: 4
     59: l16 -> l4 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2
     60: l16 -> l4 : InnerIndex6^0'=__const_20^0, InnerIndex9^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger16^0'=Seed^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0>=1 ], cost: 4+8*__const_20^0+4*__const_20^0^2

Removed unreachable locations (and leaf rules with constant cost):
   Start location: l16
     65: l4 -> l10 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, Outer13^0'=__const_20^0, [ __const_20^0<=OuterIndex8^0 && __const_20^0>=1 ], cost: 2+4*__const_20^0+4*__const_20^0^2+2*__const_20^0^3
     58: l16 -> l4 : OuterIndex5^0'=0, OuterIndex8^0'=0, Seed^0'=0, [ __const_20^0<=0 ], cost: 4
     59: l16 -> l4 : InnerIndex6^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=0, Seed^0'=Seed^post_19, ret_RandomInteger16^0'=Seed^post_19, [ __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2
     60: l16 -> l4 : InnerIndex6^0'=__const_20^0, InnerIndex9^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger16^0'=Seed^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0>=1 ], cost: 4+8*__const_20^0+4*__const_20^0^2

Eliminated locations (on tree-shaped paths):
   Start location: l16
     66: l16 -> l10 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, InnerIndex6^0'=__const_20^0, InnerIndex9^0'=__const_20^0, Outer13^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger16^0'=Seed^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0>=1 ], cost: 6+12*__const_20^0+8*__const_20^0^2+2*__const_20^0^3
     67: l16 -> [24] : [ __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l16
     66: l16 -> l10 : Index15^0'=__const_20^0, Inner14^0'=__const_20^0, InnerIndex6^0'=__const_20^0, InnerIndex9^0'=__const_20^0, Outer13^0'=__const_20^0, OuterIndex5^0'=__const_20^0, OuterIndex8^0'=__const_20^0, Seed^0'=ret_RandomInteger17^post_13, ret_RandomInteger16^0'=Seed^post_19, ret_RandomInteger17^0'=ret_RandomInteger17^post_13, [ __const_20^0>=1 ], cost: 6+12*__const_20^0+8*__const_20^0^2+2*__const_20^0^3
     67: l16 -> [24] : [ __const_20^0>=1 ], cost: 4+4*__const_20^0+2*__const_20^0^2

Computing asymptotic complexity for rule 66
   Resulting cost 0 has complexity: Unknown

Computing asymptotic complexity for rule 67
   Resulting cost 0 has complexity: Unknown

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:  [ Index15^0==Index15^post_23 && Inner14^0==Inner14^post_23 && InnerIndex6^0==InnerIndex6^post_23 && InnerIndex9^0==InnerIndex9^post_23 && Outer13^0==Outer13^post_23 && OuterIndex5^0==OuterIndex5^post_23 && OuterIndex8^0==OuterIndex8^post_23 && Seed^0==Seed^post_23 && __const_20^0==__const_20^post_23 && ret_RandomInteger16^0==ret_RandomInteger16^post_23 && ret_RandomInteger17^0==ret_RandomInteger17^post_23 ]

WORST_CASE(Omega(1),?)