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