I don't understand the additional problem of going to another county to get married. If you can get married in another EU country then why not in UK ?

If she got divorced in UK then she can prove she is single (divorced) in UK.