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