MAYBE
TRS:
 { if(true(), X, Y) -> X,
  if(false(), X, Y) -> Y,
               f(X) -> if(X, c(), f(true()))}
 RUF:
  Strict:
   {if(true(), X, Y) -> X,
                f(X) -> if(X, c(), f(true()))}
  Weak:
   {}
  DP:
   Strict:
    {f#(X) -> if#(X, c(), f(true())),
     f#(X) -> f#(true())}
   Weak:
   {if(true(), X, Y) -> X,
                f(X) -> if(X, c(), f(true()))}
   EDG:
    {(f#(X) -> f#(true()), f#(X) -> f#(true()))
     (f#(X) -> f#(true()), f#(X) -> if#(X, c(), f(true())))}
    SCCS:
     Scc:
      {f#(X) -> f#(true())}
     SCC:
      Strict:
       {f#(X) -> f#(true())}
      Weak:
      {if(true(), X, Y) -> X,
                   f(X) -> if(X, c(), f(true()))}
      Fail