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