MAYBE
Time: 0.000498
TRS:
 {  f(X, X) -> c X,
  f(X, c X) -> f(s X, X),
  f(s X, X) -> f(X, a X)}
 DP:
  DP:
   {f#(X, c X) -> f#(s X, X),
    f#(s X, X) -> f#(X, a X)}
  TRS:
  {  f(X, X) -> c X,
   f(X, c X) -> f(s X, X),
   f(s X, X) -> f(X, a X)}
  EDG:
   {(f#(s X, X) -> f#(X, a X), f#(s X, X) -> f#(X, a X))
    (f#(s X, X) -> f#(X, a X), f#(X, c X) -> f#(s X, X))
    (f#(X, c X) -> f#(s X, X), f#(X, c X) -> f#(s X, X))
    (f#(X, c X) -> f#(s X, X), f#(s X, X) -> f#(X, a X))}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {f#(X, c X) -> f#(s X, X),
       f#(s X, X) -> f#(X, a X)}
     
     SCC (2):
      Strict:
       {f#(X, c X) -> f#(s X, X),
        f#(s X, X) -> f#(X, a X)}
      Weak:
      {  f(X, X) -> c X,
       f(X, c X) -> f(s X, X),
       f(s X, X) -> f(X, a X)}
      Open