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