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