NO

1 decompositions
 #0 -----------
   1: plus(0(),y) -> y
   2: plus(s(x),y) -> s(plus(x,y))
   3: qplus(0(),y) -> y
   4: qplus(s(x),y) -> qplus(x,s(y))
   5: plus(x,y) -> qplus(x,y)

unjoinable peak
    s(plus(x,_y16))
*<- plus(s(x),_y16) ->*
    qplus(x,s(_y16))