NO

Problem:
 plus(0(),y) -> y
 plus(s(x),y) -> s(plus(x,y))
 qplus(0(),y) -> y
 qplus(s(x),y) -> qplus(x,s(y))
 plus(x,y) -> qplus(x,y)

Proof:
 Nonconfluence Processor:
  terms: s(qplus(x160,y)) *<- plus(s(x160),y) ->* qplus(x160,s(y))
  Qed