MAYBE
MAYBE
TRS:
 {
   if(true(), X, Y) -> X,
  if(false(), X, Y) -> Y,
               f(X) -> if(X, c(), f(true()))
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
     if(true(), X, Y) -> X,
    if(false(), X, Y) -> Y,
                 f(X) -> if(X, c(), f(true()))
   }
  Fail