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