MAYBE
 * theBenchmark.rev2 is self looping relatively to the rules
  - Rule noname.rev2!23
  - Rule noname.rev!18
 * theBenchmark.rev is self looping relatively to the rules
  - Rule noname.rev!18
  - Rule noname.rev2!23