NO

peak

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

is not joinable