YES
(ignored inputs)COMMENT from experiments for [44] submitted by: Tsubasa Suzuki , Takahito Aoto , and Yoshihito Toyama
input TRS:
   [ a(?x) -> b(?x),
     a(?x) -> c(c(?x)),
     b(?x) -> g(b(?x)),
     c(?x) -> c(?x) ]
Try persistent and layer-preserving decomposition...
Sort Assignment:
 a : 13=>13
 b : 13=>13
 c : 13=>13
 g : 13=>13
maximal types: {13}
...decomposition failed.
TRS:
   [ a(?x) -> b(?x),
     a(?x) -> c(c(?x)),
     b(?x) -> g(b(?x)),
     c(?x) -> c(?x) ]
unknown Non-Omega-Overlapping
Right-Reducible
problems/240.trs: Success(UNC)
(0 msec.)