(VAR f x )
(RULES 
        app(app(apply,f),x) -> app(f,x)
        
)