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