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