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