NO

peak

+(y0,x0)
*<-
+(y0,s(s(x0)))
->*
s(+(s(x0),y0))

is not joinable