NO

peak

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

is not joinable