MAYBE
 * theBenchmark.L is not positive relatively to the rules
  - Rule noname.A!8
 * theBenchmark.A is self looping relatively to the rules
  - Rule noname.A!8
  - Rule noname.noabs!6
 * theBenchmark.noabs is self looping relatively to the rules
  - Rule noname.noabs!6
  - Rule noname.A!8