NO

peak

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

is not joinable