Hopefully Guya will drop by to confirm this but I don't believe she needs to file a US return given that she is not a USC, is resident in the UK and is not listed on your US return.
She will, I believe, have to file an HMRC Self Assessment if her SS benefits take her total income over the HMRC threshold of £12,570. That should be easy to do online.