NO

peak

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

is not joinable