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