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