MAYBE
TRS:
 { f(n__a(), X, X) -> f(activate(X), b(), n__b()),
       activate(X) -> X,
  activate(n__b()) -> b(),
  activate(n__a()) -> a(),
               b() -> n__b(),
               b() -> a(),
               a() -> n__a()}
 DP:
  Strict:
   { f#(n__a(), X, X) -> f#(activate(X), b(), n__b()),
     f#(n__a(), X, X) -> activate#(X),
     f#(n__a(), X, X) -> b#(),
    activate#(n__b()) -> b#(),
    activate#(n__a()) -> a#(),
                 b#() -> a#()}
  Weak:
  { f(n__a(), X, X) -> f(activate(X), b(), n__b()),
        activate(X) -> X,
   activate(n__b()) -> b(),
   activate(n__a()) -> a(),
                b() -> n__b(),
                b() -> a(),
                a() -> n__a()}
  EDG:
   {(f#(n__a(), X, X) -> activate#(X), activate#(n__a()) -> a#())
    (f#(n__a(), X, X) -> activate#(X), activate#(n__b()) -> b#())
    (activate#(n__b()) -> b#(), b#() -> a#())
    (f#(n__a(), X, X) -> b#(), b#() -> a#())
    (f#(n__a(), X, X) -> f#(activate(X), b(), n__b()), f#(n__a(), X, X) -> f#(activate(X), b(), n__b()))
    (f#(n__a(), X, X) -> f#(activate(X), b(), n__b()), f#(n__a(), X, X) -> activate#(X))
    (f#(n__a(), X, X) -> f#(activate(X), b(), n__b()), f#(n__a(), X, X) -> b#())}
   SCCS:
    Scc:
     {f#(n__a(), X, X) -> f#(activate(X), b(), n__b())}
    SCC:
     Strict:
      {f#(n__a(), X, X) -> f#(activate(X), b(), n__b())}
     Weak:
     { f(n__a(), X, X) -> f(activate(X), b(), n__b()),
           activate(X) -> X,
      activate(n__b()) -> b(),
      activate(n__a()) -> a(),
                   b() -> n__b(),
                   b() -> a(),
                   a() -> n__a()}
     Fail