Evaluate an alist that maps names to BFRs, returning an alist mapping the same names to their (Boolean) results.
(bfr-eval-alist al env) → *
Function:
(defun bfr-eval-alist (al env) (declare (xargs :guard t)) (let ((__function__ 'bfr-eval-alist)) (declare (ignorable __function__)) (if (atom al) nil (if (consp (car al)) (cons (cons (caar al) (bfr-eval (cdar al) env)) (bfr-eval-alist (cdr al) env)) (bfr-eval-alist (cdr al) env)))))