MAYBE
Time: 0.011899
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#())}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {f#(X, X) -> f#(a(), b())}
      
      SCC (1):
       Strict:
        {f#(X, X) -> f#(a(), b())}
       Weak:
       {f(X, X) -> f(a(), b()),
            b() -> c()}
       Open