cycle:root:1
+- cycle:a:1                 (a)
|  \- cycle:b:1
|     \- cycle:c:1
|        \- ^a
\- cycle:b:1                 (b)
   \- cycle:c:1
      \- ^b
