MAYBE
TRS:
 {a(b(x)) -> b(b(a(a(x))))}
 DP:
  Strict:
   {a#(b(x)) -> a#(x),
    a#(b(x)) -> a#(a(x))}
  Weak:
  {a(b(x)) -> b(b(a(a(x))))}
  EDG:
   {(a#(b(x)) -> a#(a(x)), a#(b(x)) -> a#(a(x)))
    (a#(b(x)) -> a#(a(x)), a#(b(x)) -> a#(x))
    (a#(b(x)) -> a#(x), a#(b(x)) -> a#(x))
    (a#(b(x)) -> a#(x), a#(b(x)) -> a#(a(x)))}
   SCCS:
    Scc:
     {a#(b(x)) -> a#(x),
      a#(b(x)) -> a#(a(x))}
    SCC:
     Strict:
      {a#(b(x)) -> a#(x),
       a#(b(x)) -> a#(a(x))}
     Weak:
     {a(b(x)) -> b(b(a(a(x))))}
     Fail