MAYBE
 * theBenchmark.if is self looping relatively to the rules
  - Rule noname.if!25
  - Rule noname.minus!23
 * theBenchmark.minus is self looping relatively to the rules
  - Rule noname.minus!23
  - Rule noname.if!25