YES

(VAR x)
(RULES
  w(a(c(x))) -> a(c(x))
  a(b(x)) -> w(a(x))
)

(COMMENT
Termination is shown by LPO with precedence:

  b > a > w > c
)