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