NO

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

unjoinable peak
    +(x6,x19)
*<- +(p(s(x6)),x19) ->*
    p(+(x19,s(x6)))