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