YES
Time: 0.001806
TRS:
 {   g(empty(), d) -> d,
  g(cons(x, k), d) -> g(k, cons(x, d)),
     f(a, empty()) -> g(a, empty()),
  f(a, cons(x, k)) -> f(cons(x, a), k)}
 DP:
  DP:
   {g#(cons(x, k), d) -> g#(k, cons(x, d)),
       f#(a, empty()) -> g#(a, empty()),
    f#(a, cons(x, k)) -> f#(cons(x, a), k)}
  TRS:
  {   g(empty(), d) -> d,
   g(cons(x, k), d) -> g(k, cons(x, d)),
      f(a, empty()) -> g(a, empty()),
   f(a, cons(x, k)) -> f(cons(x, a), k)}
  EDG:
   {(g#(cons(x, k), d) -> g#(k, cons(x, d)), g#(cons(x, k), d) -> g#(k, cons(x, d)))
    (f#(a, empty()) -> g#(a, empty()), g#(cons(x, k), d) -> g#(k, cons(x, d)))
    (f#(a, cons(x, k)) -> f#(cons(x, a), k), f#(a, empty()) -> g#(a, empty()))
    (f#(a, cons(x, k)) -> f#(cons(x, a), k), f#(a, cons(x, k)) -> f#(cons(x, a), k))}
   EDG:
    {}
    EDG:
     {}
     STATUS:
      arrows: 1.000000
      SCCS (0):