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