YES
(VAR x y)
(RULES
g(x,y) -> x
f(x,nil()) -> nil()
cons(x,nil()) -> x
cdr(nil()) -> nil()
)