If not she is in big trouble: US citizens have to file for Federal taxes on their worldwide income no matter where they live - or how long they live there- unless they specifically renounce their US citizenship, a process that is deliberately difficult.