          c1
          |
          |
          c2
          |
          |
          c3
          | \
          |  \
          |   \
          |    x1
          |    |
[main]--->c4   |
               x2<---[foo]
