YES

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

(COMMENT
Termination is shown by LPO with precedence:

  s > a > z
)