Does a woman divorced by irrevocable divorce (Bain) who is subsequently freed have an option to annul the marriage?

Primary text

When a woman is divorced by irrevocable divorce (Bain) and is subsequently freed, she has no option for annulment. This is because annulment (Faskh) applies only where a marriage contract currently exists, and there is no existing marriage contract following an irrevocable divorce.