MAYBE
(ignored inputs)COMMENT Example 4
input TRS:
   [ f(?x,?x) -> h(?x,f(?x,b)),
     f(g(?y),?y) -> h(?y,f(g(?y),c(b))),
     h(c(?x),b) -> h(b,b),
     c(b) -> b ]
TRS:
   [ f(?x,?x) -> h(?x,f(?x,b)),
     f(g(?y),?y) -> h(?y,f(g(?y),c(b))),
     h(c(?x),b) -> h(b,b),
     c(b) -> b ]
unknown Non-Omega-Overlapping
problems/ex5.trs: Failure(unknown UNC)
(0 msec.)