YES

(VAR x)
(RULES
  f(x) -> x
)

(COMMENT
Termination is shown by LPO with precedence:

  f
)