YES
(ignored inputs)COMMENT the following rules are removed from the original TRS W ( B ( x ) ) -> W ( x ) B ( I ( x ) ) -> J ( x ) W ( I ( x ) ) -> W ( J ( x ) )
: CR

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