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) ]
Try persistent and layer-preserving decomposition...
Sort Assignment:
 0 : =>10
 c : =>10
 d : 10*10=>10
 f : 10=>10
maximal types: {10}
...decomposition failed.
TRS:
   [ d(?x,?x) -> 0,
     f(?x) -> d(?x,f(?x)),
     c -> f(c) ]
Non-Omega-Overlapping
problems/497.trs: Success(UNC)
(0 msec.)