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:
   [ b -> b,
     a -> h(f(c),h(a,f(c))),
     f(f(h(a,h(b,b)))) -> a,
     h(c,c) -> b,
     b -> h(f(b),b) ]
TRS:
   [ b -> b,
     a -> h(f(c),h(a,f(c))),
     f(f(h(a,h(b,b)))) -> a,
     h(c,c) -> b,
     b -> h(f(b),b) ]
Right-Reducible
problems/666.trs: Success(UNC)
(0 msec.)