It should be, but the problem is complicated now, so the bitcoins from Bitfinex hacked will be in the hand of US Gov for a while/years.
Bitfinex was hacked 119K BTC back in 2016 when the BTC price was still below $600.
Bitfinex has released BFX tokens and given to all accounts affected by the hack with a portion of 1 BFX for every $1 lost.
And all BFX token have been exchanged for cash/other coins or to buy RRT (recovery right tokens).
If the lost BTC can be recovered, the funds will be distributed to all RRT token holders with a calculation of 1 RRT = $1.
The total supply of RRT token is 30M = $30M. And the 119K BTC now worth more than $7B.