MAYBE
 * theBenchmark.g is self looping relatively to the rules
  - Rule noname.g!11
  - Rule noname.f!9
  - Rule noname.g!10
  - Rule noname.g!10
 * theBenchmark.f is self looping relatively to the rules
  - Rule noname.f!9
  - Rule noname.g!11