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