NO

peak

h(h(c(),c()),f(h(f(f(b())),c())))
*<-
h(h(c(),c()),b())
->*
c()

is not joinable