YES

(VAR x x0)
(RULES
  p(x) -> x
  s(x0) -> x0
  +(x,0()) -> x
)

(COMMENT
Termination is shown by LPO with precedence:

  0 > + > p > s
)