NO

peak

1(2(1(1(0(1(2(0(1(2(0(1(2(y0)))))))))))))
*<-
0(1(2(1(y0))))
->*
1(2(1(1(0(1(2(0(1(2(y0))))))))))

is not joinable