MAYBE
 * theBenchmark.avg is self looping relatively to the rules
  - Rule noname.avg!9
  - Rule noname.avg!8
 * theBenchmark.fun is not positive relatively to the rules
  - Rule noname.apply!13