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