Macro-writing challenge

Write a macro check-arguments-non-nil to be used in function definitions, that would expand to assertion about every argument being non-nil.
The intended usage of this macro:

(defun foo (a b c d)
(check-arguments-non-nil)
foo-body)

This should expand to:

(defun foo (a b c d)
(assert (and (not (null a)) (not (null b)) (not (null c)) (not (null d)))
(a b c d)
"Null argument in FOO")
foo-body)

The macro must work whatever the number and names of the function parameters.

>>2
This approach is not composable and does not scale. What if you need to add some other property to defun? Pretty soon you'll be swamped by your multiple versions of it.