Had she “come out” to herself before the marriage? In other words, did she truly believe that when she got married, she would stay married?
And do you really want to presume that an annulment will come through? What if it doesn’t? What if it does but it comes through too late?