MAYBE
 * theBenchmark.copy is self looping relatively to the rules
  - Rule noname.copy!19
  - Rule noname.copy!18
  - Rule noname.f!17
 * theBenchmark.f is self looping relatively to the rules
  - Rule noname.f!17
  - Rule noname.copy!19
  - Rule noname.copy!18