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