CeTA: 1: error when switching from the TRS 2nd(cons(X)) -> Y from(X) -> cons(X) to the initial DP problem dependency pairs: rewrite system: 2nd(cons(X)) -> Y from(X) -> cons(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 2nd(cons(X)) -> Y