Generate the equalities whose conjunction forms the antecedent of the theorem relating old and new function.
(parteval-gen-static-equalities static$) → equalities
Each equality has the form
Function:
(defun parteval-gen-static-equalities (static$) (declare (xargs :guard (symbol-alistp static$))) (let ((__function__ 'parteval-gen-static-equalities)) (declare (ignorable __function__)) (b* (((when (endp static$)) nil) ((cons arg$ static$) static$) (equality (cons 'equal (cons (car arg$) (cons (cdr arg$) 'nil)))) (equalities (parteval-gen-static-equalities static$))) (cons equality equalities))))