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