YES
Time: 0.000479
TRS:
 {        f(X, X) -> f(a(), n__b()),
              b() -> a(),
              b() -> n__b(),
       activate X -> X,
  activate n__b() -> b()}
 DP:
  DP:
   {        f#(X, X) -> f#(a(), n__b()),
    activate# n__b() -> b#()}
  TRS:
  {        f(X, X) -> f(a(), n__b()),
               b() -> a(),
               b() -> n__b(),
        activate X -> X,
   activate n__b() -> b()}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):