NO

1 decompositions
 #0 -----------
   1: br(0(),y,z) -> y
   2: br(s(x),y,z) -> z
   3: p(0()) -> 0()
   4: p(s(x)) -> x
   5: +(x,y) -> br(x,y,+(p(x),s(y)))
   6: +(x,y) -> br(y,x,+(s(x),p(y)))

unjoinable peak
    br(_y19,_y20,+(p(_y19),s(_y20)))
*<- +(_y19,_y20) ->*
    br(_y20,_y19,+(s(_y19),p(_y20)))