MAYBE  * theBenchmark.div is self looping relatively to the rules - Rule noname.div!16