MAYBE  * theBenchmark.fact is self looping relatively to the rules - Rule noname.fact!20