Problem is that she may have filled out the forms to give up US citizenship (Which cost quite a lot to file) but the process of the US no longer calling you their property takes over 10 years. So she ...