(VAR x y z )
(RULES 
        f(+(x, 0)) -> f(x)
        +(x, +(y, z)) -> +(+(x, y), z)
        
)