Recognizer for asm-clobber structures.
(asm-clobberp x) → *
Function: asm-clobberp
(defun asm-clobberp (x) (declare (xargs :guard t)) (and (b* ((strings x)) (stringlit-listp strings))))
