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