YES
(ignored inputs)COMMENT the following rules are removed from the original TRS from ( x ) -> : ( x , from ( s ( x ) ) ) sel ( 0 ( ) , : ( y , z ) ) -> y sel ( s ( x ) , : ( y , z ) ) -> sel ( x , z )
: CR

Combined result: CR
/tmp/filem6u0um.trs: Success(CR)
(0 msec.)