(VAR g h x )
(RULES 
        app(app(rec,h),app(g,0)) -> g
        app(app(rec,h),app(g,app(s,x))) -> app(app(h,x),app(app(rec,h),app(g,x)))
        
)