NO

peak

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

is not joinable