(VAR X x )
(RULES 
        f(g(), g()) -> 
        
)