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}
 DP:
  Strict:
   {b#(c(x)) -> b#(x),
    b#(c(x)) -> a#(b(x)),
    a#(d(x)) -> b#(a(x)),
    a#(d(x)) -> a#(x)}
  Weak:
  {b(d(x)) -> x,
   b(c(x)) -> c(d(a(b(x)))),
   a(d(x)) -> d(c(b(a(x)))),
   a(c(x)) -> x}
  EDG:
   {(a#(d(x)) -> a#(x), a#(d(x)) -> a#(x))
    (a#(d(x)) -> a#(x), a#(d(x)) -> b#(a(x)))
    (a#(d(x)) -> b#(a(x)), b#(c(x)) -> a#(b(x)))
    (a#(d(x)) -> b#(a(x)), b#(c(x)) -> b#(x))
    (b#(c(x)) -> a#(b(x)), a#(d(x)) -> b#(a(x)))
    (b#(c(x)) -> a#(b(x)), a#(d(x)) -> a#(x))
    (b#(c(x)) -> b#(x), b#(c(x)) -> b#(x))
    (b#(c(x)) -> b#(x), b#(c(x)) -> a#(b(x)))}
   SCCS:
    Scc:
     {b#(c(x)) -> b#(x),
      b#(c(x)) -> a#(b(x)),
      a#(d(x)) -> b#(a(x)),
      a#(d(x)) -> a#(x)}
    SCC:
     Strict:
      {b#(c(x)) -> b#(x),
       b#(c(x)) -> a#(b(x)),
       a#(d(x)) -> b#(a(x)),
       a#(d(x)) -> a#(x)}
     Weak:
     {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