MAYBE
 * theBenchmark.g is self looping relatively to the rules
  - Rule noname.g!16
 * theBenchmark.h is self looping relatively to the rules
  - Rule noname.h!17