(VAR x y )
(RULES 
         -> f1(x)
         -> f2(x, y)
        
)