Optimize (EQUAL[P] "" ...).

Transform into (and (stringp x) (zerop (length x))).