MAYBE
 * theBenchmark.axxhead is self looping relatively to the rules
  - Rule noname.axxhead!170
  - Rule noname.axxu31!152
  - Rule noname.mark!229
  - Rule noname.axxu171!144
 * theBenchmark.axxu21 is self looping relatively to the rules
  - Rule noname.axxu21!149
  - Rule noname.mark!206
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!236
 * theBenchmark.axxu101 is self looping relatively to the rules
  - Rule noname.axxu101!126
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
 * theBenchmark.axxtake is self looping relatively to the rules
  - Rule noname.axxtake!205
  - Rule noname.axxu221!151
  - Rule noname.mark!206
  - Rule noname.mark!261
 * theBenchmark.axxu202 is self looping relatively to the rules
  - Rule noname.axxu202!148
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!235
 * theBenchmark.axxu161 is self looping relatively to the rules
  - Rule noname.axxu161!143
  - Rule noname.mark!206
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!227
 * theBenchmark.axxisLNatKind is self looping relatively to the rules
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!258
 * theBenchmark.axxu42 is self looping relatively to the rules
  - Rule noname.axxu42!154
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!241
  - Rule noname.mark!242
 * theBenchmark.axxtail is self looping relatively to the rules
  - Rule noname.axxtail!204
  - Rule noname.axxand!168
  - Rule noname.mark!260
 * theBenchmark.axxu221 is self looping relatively to the rules
  - Rule noname.axxu221!151
  - Rule noname.axxfst!169
  - Rule noname.axxu21!149
  - Rule noname.mark!238
 * theBenchmark.axxu51 is self looping relatively to the rules
  - Rule noname.axxu51!156
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!243
  - Rule noname.mark!244
 * theBenchmark.axxisNaturalKind is self looping relatively to the rules
  - Rule noname.axxisNaturalKind!192
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!256
  - Rule noname.mark!257
 * theBenchmark.axxu171 is self looping relatively to the rules
  - Rule noname.axxu171!144
  - Rule noname.mark!206
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!229
 * theBenchmark.axxu111 is self looping relatively to the rules
  - Rule noname.axxu111!130
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!214
 * theBenchmark.axxfst is self looping relatively to the rules
  - Rule noname.axxfst!169
  - Rule noname.axxu21!149
  - Rule noname.mark!206
  - Rule noname.mark!238
  - Rule noname.axxu221!151
 * theBenchmark.axxu61 is self looping relatively to the rules
  - Rule noname.axxu61!159
  - Rule noname.axxisPLNat!195
  - Rule noname.axxand!168
  - Rule noname.mark!246
  - Rule noname.mark!247
 * theBenchmark.axxu52 is self looping relatively to the rules
  - Rule noname.axxu52!157
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!245
 * theBenchmark.axxsel is self looping relatively to the rules
  - Rule noname.axxsel!200
  - Rule noname.axxu171!144
  - Rule noname.mark!206
  - Rule noname.mark!262
 * theBenchmark.axxu71 is self looping relatively to the rules
  - Rule noname.axxu71!161
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!248
  - Rule noname.mark!250
 * theBenchmark.mark is self looping relatively to the rules
  - Rule noname.mark!235
  - Rule noname.axxu202!148
 * theBenchmark.axxafterNth is self looping relatively to the rules
  - Rule noname.axxafterNth!167
  - Rule noname.axxand!168
  - Rule noname.mark!229
  - Rule noname.axxu171!144
 * theBenchmark.axxu41 is self looping relatively to the rules
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!240
  - Rule noname.mark!241
 * theBenchmark.axxu152 is self looping relatively to the rules
  - Rule noname.axxu152!141
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!225
 * theBenchmark.axxisPLNat is self looping relatively to the rules
  - Rule noname.axxisPLNat!195
  - Rule noname.axxand!168
  - Rule noname.mark!249
 * theBenchmark.axxu81 is self looping relatively to the rules
  - Rule noname.axxu81!163
  - Rule noname.axxisPLNat!195
  - Rule noname.axxand!168
  - Rule noname.mark!251
  - Rule noname.mark!252
 * theBenchmark.axxu141 is self looping relatively to the rules
  - Rule noname.axxu141!137
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!221
 * theBenchmark.axxu181 is self looping relatively to the rules
  - Rule noname.axxu181!145
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!232
 * theBenchmark.axxu151 is self looping relatively to the rules
  - Rule noname.axxu151!140
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!224
 * theBenchmark.axxisNatural is self looping relatively to the rules
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!206
  - Rule noname.axxu101!126
 * theBenchmark.axxnatsFrom is self looping relatively to the rules
  - Rule noname.axxnatsFrom!199
  - Rule noname.axxu161!143
  - Rule noname.mark!206
  - Rule noname.mark!228
 * theBenchmark.axxu31 is self looping relatively to the rules
  - Rule noname.axxu31!152
  - Rule noname.mark!229
  - Rule noname.axxu171!144
  - Rule noname.axxhead!170
 * theBenchmark.axxu102 is self looping relatively to the rules
  - Rule noname.axxu102!127
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!206
  - Rule noname.axxu101!126
 * theBenchmark.axxu201 is self looping relatively to the rules
  - Rule noname.axxu201!147
  - Rule noname.axxu202!148
  - Rule noname.mark!234
 * theBenchmark.axxand is self looping relatively to the rules
  - Rule noname.axxand!168
  - Rule noname.mark!229
  - Rule noname.axxu171!144
  - Rule noname.axxhead!170
 * theBenchmark.axxu91 is self looping relatively to the rules
  - Rule noname.axxu91!165
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!253
  - Rule noname.mark!254
 * theBenchmark.axxsplitAt is self looping relatively to the rules
  - Rule noname.axxsplitAt!202
  - Rule noname.axxand!168
  - Rule noname.mark!213
 * theBenchmark.axxu132 is self looping relatively to the rules
  - Rule noname.axxu132!135
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!219
 * theBenchmark.axxu11 is self looping relatively to the rules
  - Rule noname.axxu11!129
  - Rule noname.axxsplitAt!203
  - Rule noname.axxu201!147
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!211
 * theBenchmark.axxu191 is self looping relatively to the rules
  - Rule noname.axxu191!146
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!233
 * theBenchmark.axxsnd is self looping relatively to the rules
  - Rule noname.axxsnd!201
  - Rule noname.axxu181!145
  - Rule noname.mark!212
 * theBenchmark.axxu131 is self looping relatively to the rules
  - Rule noname.axxu131!134
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!218
 * theBenchmark.axxu121 is self looping relatively to the rules
  - Rule noname.axxu121!132
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!216
 * theBenchmark.axxisPLNatKind is self looping relatively to the rules
  - Rule noname.axxisPLNatKind!197
  - Rule noname.axxand!168
  - Rule noname.mark!259
 * theBenchmark.axxisLNat is self looping relatively to the rules
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!210
 * theBenchmark.axxu142 is self looping relatively to the rules
  - Rule noname.axxu142!138
  - Rule noname.axxisLNat!172
  - Rule noname.axxu41!153
  - Rule noname.axxisNatural!188
  - Rule noname.axxisLNatKind!181
  - Rule noname.axxand!168
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!206
  - Rule noname.mark!222
 * theBenchmark.axxu211 is self looping relatively to the rules
  - Rule noname.axxu211!150
  - Rule noname.mark!235
  - Rule noname.axxu202!148
  - Rule noname.mark!237