MAYBE
(ignored inputs)COMMENT [120] Example 1 submitted by: Aart Middeldorp
input TRS:
   [ f(c) -> g(c),
     g(c) -> f(c),
     c -> d ]
TRS:
   [ f(c) -> g(c),
     g(c) -> f(c),
     c -> d ]
unknown Non-Omega-Overlapping
problems/543.trs: Failure(unknown UNC)
(4 msec.)