NO

peak

c(y0)
*<-
a(y0)
->*
g(b(y0))

is not joinable