YES
(ignored inputs)COMMENT doi:10.4230/LIPIcs.CSL.2015.423 [102] Example 37
input TRS:
   [ d(?x,?x) -> 0,
     f(?x) -> d(?x,f(?x)),
     c -> f(c) ]
TRS:
   [ d(?x,?x) -> 0,
     f(?x) -> d(?x,f(?x)),
     c -> f(c) ]
Non-Omega-Overlapping
problems/497.trs: Success(UNC)
(0 msec.)