NO

peak

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

is not joinable