YES
Time: 0.000908
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))}
 DP:
  DP:
   {f#(cons(x, k), l) -> g#(k, l, cons(x, k)),
          g#(a, b, c) -> f#(a, cons(b, c))}
  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))}
  EDG:
   {(f#(cons(x, k), l) -> g#(k, l, cons(x, k)), g#(a, b, c) -> f#(a, cons(b, c)))
    (g#(a, b, c) -> f#(a, cons(b, c)), f#(cons(x, k), l) -> g#(k, l, cons(x, k)))}
   SCCS (1):
    Scc:
     {f#(cons(x, k), l) -> g#(k, l, cons(x, k)),
            g#(a, b, c) -> f#(a, cons(b, c))}
    SCC (2):
     Strict:
      {f#(cons(x, k), l) -> g#(k, l, cons(x, k)),
             g#(a, b, c) -> f#(a, cons(b, c))}
     Weak:
     {   f(empty(), l) -> l,
      f(cons(x, k), l) -> g(k, l, cons(x, k)),
            g(a, b, c) -> f(a, cons(b, c))}
     SPSC:
      Simple Projection:
       pi(g#) = 0, pi(f#) = 0
      Strict:
       {g#(a, b, c) -> f#(a, cons(b, c))}
      EDG:
       {}
       SCCS (0):
        
        Qed