MAYBE
Time: 0.019355
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:
   {(f#(X, X) -> f#(a(), n__b()), f#(X, X) -> f#(a(), n__b()))}
   STATUS:
    arrows: 0.750000
    SCCS (1):
     Scc:
      {f#(X, X) -> f#(a(), n__b())}
     
     
     SCC (1):
      Strict:
       {f#(X, X) -> f#(a(), n__b())}
      Weak:
      {        f(X, X) -> f(a(), n__b()),
                   b() -> a(),
                   b() -> n__b(),
            activate X -> X,
       activate n__b() -> b()}
      Fail