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