Bet a grand she doesn’t give up her US citizenship. Reason I say this is she would never pay the required fees to do so. It costs money to give up your US citizenship.
The fee - a couple grand - is the easy part.
It is the exit tax on assets that is a killer, though it can be planned for.