TRS:
 {f(n__b(), X, n__c()) -> f(X, c(), X),
                   c() -> b(),
                   b() -> n__b(),
                   c() -> n__c(),
      activate(n__b()) -> b(),
      activate(n__c()) -> c(),
           activate(X) -> X}
 Fail