MAYBE MAYBE TRS: { __(X, nil()) -> X, __(__(X, Y), Z) -> __(X, __(Y, Z)), __(nil(), X) -> X, U12(tt()) -> tt(), U11(tt()) -> U12(tt()), isNePal(__(I, __(P, I))) -> U11(tt()), activate(X) -> X } Fail