I don’t know any details about this case but if he sold his bitcoin after he renounced his citizenship, he wouldn’t have to pay taxes in the US, would he? If he sold before then of course he would have to pay in the US under the law