MAYBE
Time: 0.000928
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:
  DP:
   {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#()}
  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()}
  UR:
   {    c() -> n__c(),
        c() -> b(),
        b() -> n__b(),
    a(x, y) -> x,
    a(x, y) -> y}
   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#())}
    STATUS:
     arrows: 0.840000
     SCCS (1):
      Scc:
       {f#(n__b(), X, n__c()) -> f#(X, c(), X)}
      
      
      
      SCC (1):
       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()}
       Open