NO

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

unjoinable peak
    a()
*<- b() ->*
    d()