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