MAYBE
MAYBE
TRS:
 {
   if(true(), X, Y) -> X,
  if(false(), X, Y) -> Y,
               f(X) -> if(X, c(), f(true()))
 }
 Fail