NO

1 decompositions
 #1 -----------
   1: br(0(),x1,x2) -> x1
   2: br(s(x3),x4,x5) -> x5
   3: p(0()) -> 0()
   4: p(s(x6)) -> x6
   5: +(x7,x8) -> br(x7,x8,+(p(x7),s(x8)))
   6: +(x9,x10) -> br(x10,x9,+(s(x9),p(x10)))

unjoinable peak
    br(x29,x30,+(p(x29),s(x30)))
*<- +(x29,x30) ->*
    br(x30,x29,+(s(x29),p(x30)))