NO

peak

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

is not joinable