MAYBE
Trs:
 {      g(a, b, c) -> f(a, cons(b, c)),
     f(empty(), l) -> l,
  f(cons(x, k), l) -> g(k, l, cons(x, k))}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open