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