YES
Time: 0.002106
TRS:
 {f(X, X) -> f(a(), b()),
      b() -> c()}
 DP:
  DP:
   {f#(X, X) -> f#(a(), b()),
    f#(X, X) -> b#()}
  TRS:
  {f(X, X) -> f(a(), b()),
       b() -> c()}
  UR:
   {b() -> c()}
   EDG:
    {(f#(X, X) -> f#(a(), b()), f#(X, X) -> f#(a(), b()))
     (f#(X, X) -> f#(a(), b()), f#(X, X) -> b#())}
    EDG:
     {(f#(X, X) -> f#(a(), b()), f#(X, X) -> f#(a(), b()))
      (f#(X, X) -> f#(a(), b()), f#(X, X) -> b#())}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):