(last-place-elim-ind-hint l id xs) → *
Function:
(defun last-place-elim-ind-hint (l id xs) (declare (xargs :guard t)) (let ((__function__ 'last-place-elim-ind-hint)) (declare (ignorable __function__)) (cond ((or (endp xs) (not (member-equal id (candidate-ids xs)))) nil) ((equal (len xs) 1) nil) (t (if (equal (nth (last-place xs) (car xs)) l) (last-place-elim-ind-hint l id (cdr xs)) (last-place-elim-ind-hint l id (cdr xs)))))))