In «mā jāʾa illā Zaydun», Zaydun must be badal.

Al-Mustathnā: Connected and Disconnected Exceptions, Four Case Rules