(VAR X Y )
(RULES 
        fapp(X, Y) -> 
        
)