(VAR f x )
(RULES 
        app(app(iterate, f), x) -> app(app(cons, x), app(app(iterate, f), app(f, x)))
        
)