(VAR F U W X n x )
(RULES 
        rec(0, U, X, W) -> U
        rec(s(x), U, X, W) -> 
        rec(lim(F), U, X, W) -> 
        
)