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