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 EKBO with interpretations on natural numbers

  a_A(x1,x2) = 2438
  z_A = 1
  s_A(x1) = x1 + 2439
  z#_A = 0

weights

  w0 = 1
  w(a) = 0
  w(z) = 1
  w(s) = 2

and precedence:

s > z > a
)