NO

peak

br(y1,y0,+(s(y0),p(y1)))
*<-
+(y0,y1)
->*
br(y0,y1,+(p(y0),s(y1)))

is not joinable