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