(VAR U X x )
(RULES 
        rec(0, U, X) -> U
        rec(s(x), U, X) -> 
        
)