YES

(VAR x y)
(RULES
  plus(x,s(y)) -> s(plus(x,y))
  plus(x,z()) -> x
)

(COMMENT
Termination is shown by LPO with precedence:

  z > plus > s
)