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