MAYBE
 * theBenchmark.fapp is self looping relatively to the rules
  - Rule noname.fapp!6
  - Rule noname.subst!9
 * theBenchmark.subst is self looping relatively to the rules
  - Rule noname.subst!9
  - Rule noname.fapp!6