YES
(ignored inputs)COMMENT Cops #647 - #721: generated ground TRSs; evenly distributed in the UNR/UNC/NFP/CR hierarchy submitted by: Bertram Felgenhauer
input TRS:
   [ f(h(f(b),a)) -> b,
     f(c) -> b,
     b -> f(b) ]
Try persistent and layer-preserving decomposition...
Sort Assignment:
 a : =>7
 b : =>9
 c : =>9
 f : 9=>9
 h : 9*7=>9
maximal types: {7,9}
...decomposition failed.
TRS:
   [ f(h(f(b),a)) -> b,
     f(c) -> b,
     b -> f(b) ]
unknown Non-Omega-Overlapping
Right-Reducible
problems/711.trs: Success(UNC)
(4 msec.)