MAYBE
 * theBenchmark.if!6220gcd is self looping relatively to the rules
  - Rule noname.if!6220gcd!28
  - Rule noname.gcd!27
 * theBenchmark.gcd is self looping relatively to the rules
  - Rule noname.gcd!27
  - Rule noname.if!6220gcd!28