NO

peak

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

is not joinable