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