MAYBE
 * theBenchmark.F is not positive relatively to the rules
  - Rule noname.F!4
 * theBenchmark.F is self looping relatively to the rules
  - Rule noname.F!4
  - Rule noname.F!4