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