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