MAYBE
 * theBenchmark.list2 is self looping relatively to the rules
  - Rule noname.list2!39
  - Rule noname.hamming!41
 * theBenchmark.hamming is self looping relatively to the rules
  - Rule noname.hamming!41
  - Rule noname.list2!39
 * theBenchmark.list1 is self looping relatively to the rules
  - Rule noname.list1!38
  - Rule noname.hamming!41
 * theBenchmark.list3 is self looping relatively to the rules
  - Rule noname.list3!40
  - Rule noname.hamming!41