19:33:18pjbalso, the optimization of removing the local functions could be done later, since they'd just be dead-code if not called. It would be enough to note that there's no point in generating a warning about their non-use.
19:34:10pjbeasye: note: walk-form is not a code wallker, just a cons tree walker.
19:36:21pjbThe use (call) of the function call-next-method can be hidden in other functions:
19:36:21pjb(defmethod bar ((x something)) (do-bar x (function call-next-method)))
19:36:21pjb(defmethod bar ((x something)) (do-bar x (lambda () (foo))))