NO

peak

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

is not joinable