NO

peak

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

is not joinable