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