NO

peak

a(b(c(x0)))
*<-
a(a(a(x0)))
->*
b(c(a(x0)))

is not joinable