MAYBE
(ignored inputs)COMMENT [38] Example 4
input TRS:
   [ f(u(O),u(?y)) -> A,
     f(v(?x),v(O)) -> B,
     O -> u(O),
     O -> v(O),
     u(?x) -> ?x,
     v(?x) -> ?x,
     f(?x,?y) -> f(?x,u(?y)),
     f(?x,?y) -> f(v(?x),?y) ]
TRS:
   [ f(u(O),u(?y)) -> A,
     f(v(?x),v(O)) -> B,
     O -> u(O),
     O -> v(O),
     u(?x) -> ?x,
     v(?x) -> ?x,
     f(?x,?y) -> f(?x,u(?y)),
     f(?x,?y) -> f(v(?x),?y) ]
New rules by rule reversing:
   [ f(u(O),u(?y)) -> A,
     f(v(?x),v(O)) -> B,
     O -> O,
     u(O) -> O,
     O -> O,
     v(O) -> O,
     u(?x) -> ?x,
     v(?x) -> ?x,
     f(?x,?y) -> f(?x,?y),
     f(?x,u(?y)) -> f(?x,?y),
     f(?x,?y) -> f(?x,?y),
     f(v(?x),?y) -> f(?x,?y) ]
unknown UNC Completion (Development Closed)
problems/216.trs: Failure(unknown UNC)
(4 msec.)