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