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