NO

peak

G(A())
*<-
G(F(y0))
->*
B()

is not joinable