(VAR x y )
(RULES 
        c(c(c(y))) -> c(c(a(y, 0)))
        c(a(a(0, x), y)) -> a(c(c(c(0))), y)
        c(y) -> y
        
)