MAYBE
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()
 }
 DUP: We consider a duplicating system.
  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()
   }
  Fail