MAYBE
TRS:
 {   f() -> f(),
  g(b()) -> c(),
     b() -> c()}
 RUF:
  Strict:
   {f() -> f()}
  Weak:
   {}
  DP:
   Strict:
    {f#() -> f#()}
   Weak:
   {f() -> f()}
   EDG:
    {(f#() -> f#(), f#() -> f#())}
    SCCS:
     Scc:
      {f#() -> f#()}
     SCC:
      Strict:
       {f#() -> f#()}
      Weak:
      {f() -> f()}
      Fail