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