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