NO

peak

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

is not joinable