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