MAYBE
MAYBE
TRS:
 {
   f(n__a(), X, X) -> f(activate(X), b(), n__b()),
       activate(X) -> X,
  activate(n__b()) -> b(),
  activate(n__a()) -> a(),
               b() -> n__b(),
               b() -> a(),
               a() -> n__a()
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
     f(n__a(), X, X) -> f(activate(X), b(), n__b()),
         activate(X) -> X,
    activate(n__b()) -> b(),
    activate(n__a()) -> a(),
                 b() -> n__b(),
                 b() -> a(),
                 a() -> n__a()
   }
  Fail