"they rolled over the Traditional IRA back to the Roth IRA"

That's a conversion. That's not a new contribution. It would be pro rata taxable based on all of their Trad IRA, SEP IRA and SIMPLE IRA basis to FMV, as well. It's like doing a late backdoor Roth.