NO

peak

f(y0,b())
*<-
f(y0,a())
->*
b()

is not joinable