You are missing a very obvious piece of the puzzle here: assets seized by the government during bankruptcy get used to offset liabilities of the bankrupt compan

You are missing a very obvious piece of the puzzle here: assets seized by the government during bankruptcy get used to offset liabilities of the bankrupt company. This doesn't need to be explicitly said; it wouldn't make sense for it to work any other way.