MAYBE
 * theBenchmark.active is self looping relatively to the rules
  - Rule noname.active!23
  - Rule noname.mark!33
 * theBenchmark.mark is self looping relatively to the rules
  - Rule noname.mark!33
  - Rule noname.active!23