CeTA: 1: error when switching from the TRS
if(false,X) -> Y
f(X) -> if(X,c)
if(true,X) -> X

to the initial DP problem
dependency pairs: 
f#(X) -> if#(X,c)

rewrite system:
if(false,X) -> Y
f(X) -> if(X,c)
if(true,X) -> X

the DP-transformation is not applied correctly.
the TRS is not well-formed
the variable Y occurs only in the right-hand side of rule if(false,X) -> Y