(VAR x)
(RULES 
 f(x) -> f(a())
 f(b()) -> b()
)