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