MAYBE
Time: 0.004984
TRS:
 {         f(x, empty()) -> x,
  f(empty(), cons(a, k)) -> f(cons(a, k), k),
        f(cons(a, k), y) -> f(y, k)}
 DP:
  DP:
   {f#(empty(), cons(a, k)) -> f#(cons(a, k), k),
          f#(cons(a, k), y) -> f#(y, k)}
  TRS:
  {         f(x, empty()) -> x,
   f(empty(), cons(a, k)) -> f(cons(a, k), k),
         f(cons(a, k), y) -> f(y, k)}
  EDG:
   {(f#(empty(), cons(a, k)) -> f#(cons(a, k), k), f#(cons(a, k), y) -> f#(y, k))
    (f#(cons(a, k), y) -> f#(y, k), f#(empty(), cons(a, k)) -> f#(cons(a, k), k))
    (f#(cons(a, k), y) -> f#(y, k), f#(cons(a, k), y) -> f#(y, k))}
   STATUS:
    arrows: 0.250000
    SCCS (1):
     Scc:
      {f#(empty(), cons(a, k)) -> f#(cons(a, k), k),
             f#(cons(a, k), y) -> f#(y, k)}
     
     SCC (2):
      Strict:
       {f#(empty(), cons(a, k)) -> f#(cons(a, k), k),
              f#(cons(a, k), y) -> f#(y, k)}
      Weak:
      {         f(x, empty()) -> x,
       f(empty(), cons(a, k)) -> f(cons(a, k), k),
             f(cons(a, k), y) -> f(y, k)}
      Open