NO

peak

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

is not joinable