MAYBE
 * theBenchmark.f is self looping relatively to the rules
  - Rule noname.f!7
  - Rule noname.b!8
 * theBenchmark.b is self looping relatively to the rules
  - Rule noname.b!8
  - Rule noname.f!7