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