>>696
手順をどうもありがとうございます。

1.から3.までを反映したものです。

(defmacro defun-rec (name args body)
(let ((expanded-body (macroexpand-all body)))
(if (member name expanded-body)
(process456 expanded-body)
expanded-body)))

4.の木がちょっとイメージできてないので整理ができたら、
process456に移りたいと思います。