NO

peak

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

is not joinable