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