MAYBE
MAYBE
TRS:
 {
                c(y) -> y,
          c(c(c(y))) -> c(c(a(y, 0()))),
  c(a(a(0(), x), y)) -> a(c(c(c(0()))), y)
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
                  c(y) -> y,
            c(c(c(y))) -> c(c(a(y, 0()))),
    c(a(a(0(), x), y)) -> a(c(c(c(0()))), y)
   }
  Fail