NO

peak

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

is not joinable