NO

peak

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

is not joinable