Is there actually any possibility that, because the person was an undocumented alien, there would be no entitlement to the account balance? I don't remember seeing anything limiting participation in a qualified pension plan to citizens and those in the country with proper documentation.
Last time I looked, account balances for convicted murderers were not forfeitable, so why should balances arising from participation by undocumented aliens be subject to forfeit?