Where (1) a plaintiff whose marriage was annulled claimed to be entitled to her late ex-husband’s life insurance proceeds and (2) the defendant personal representative of ex-husband’s estate moved for enforcement of a Genesee County Probate Court order requiring payment of the proceeds of the policy to the estate, the circuit court incorrectly interpreted the judgment of annulment and erred by denying the defendant’s motion to enforce the judgment.