(VAR x )
(RULES 
        +(1,x) -> +(+(0,1),x)
        +(0,x) -> x
        
)