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