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