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