(VAR )
(RULES 
f(f(a)) -> c
)