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