TRS:
 {   f(empty(), l) -> l,
  f(cons(x, k), l) -> g(k, l, cons(x, k)),
        g(a, b, c) -> f(a, cons(b, c))}
 Fail