MAYBE
 * theBenchmark.quot is self looping relatively to the rules
  - Rule noname.quot!22
 * theBenchmark.sum is self looping relatively to the rules
  - Rule noname.sum!29