__ __ X Y Z __ X __ Y Z __ X nil X __ nil X X and tt X activate X isNePal __ I __ P I tt activate X X __ 2 nil 0 and 2 tt 0 activate 1 isNePal 1 FULL ./TRS/TRCSR/PALINDROME_nosorts_FR.trs ./TRS/TRCSR/PALINDROME_nosorts_Z.trs