Do not file for annulment.
Divorce or Annulment
A person’s marital status may be terminated by a judicial divorce or by an annulment. A divorce or annulment breaks the marital relationship. The applicant is no longer the spouse of a U.S. citizen if the marriage is terminated by a divorce or annulment. Accordingly, such an applicant is ineligible to naturalize as the spouse of a U.S. citizen if the divorce or annulment occurs before or after the naturalization application is filed.[24]
The result of annulment is to declare a marriage null and void from its inception. An annulment is usually retroactive, meaning that the marriage is considered to be invalid from the beginning. A court's jurisdiction to grant an annulment is set forth in the various divorce statutes and generally requires residence or domicile of the parties in that jurisdiction. When a marriage has been annulled, it is documented by a court order or decree.
https://www.uscis.gov/policy-manual/volume-12-part-g-chapter-2#:~:text=The applicant is no longer,the naturalization application is filed.
There is one decision about this matter, link below. The doctrine applies to all annulments irrespective of the ground.
https://www.justice.gov/sites/default/files/eoir/legacy/2012/08/17/2271.pdf