YES
(VAR x y)
(RULES
f(g(x),y) -> a()
k(a(),a()) -> a()
h(x) -> a()
)