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