Generate the measure of the function, if recursive.
(expdata-gen-new-fn-measure old$ arg-surjmaps wrld) → measure
Function:
(defun expdata-gen-new-fn-measure (old$ arg-surjmaps wrld) (declare (xargs :guard (and (symbolp old$) (expdata-symbol-surjmap-alistp arg-surjmaps) (plist-worldp wrld)))) (let ((__function__ 'expdata-gen-new-fn-measure)) (declare (ignorable __function__)) (b* ((old-measure (measure old$ wrld))) (expdata-gen-subst-x1...xn-with-back-of-x1...xn old-measure old$ arg-surjmaps wrld))))