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