NO

   1: b() -> a()
   2: b() -> c()
   3: c() -> b()
   4: c() -> d()

unjoinable pair
  a() <- -> d()