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