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