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