NO

peak

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

is not joinable