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

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