Consider the following function definition in Lisp:
(DEFUN F(L1 L2) (APPEND (F (CAR L1) L2) (COND ((NULL L1) (CDR L2)) (T