Anybody knows the wallet where those funds were transferred to? Taint analysis should be quite easy if this coins are all forwarded in one transaction or one final address.
Tried to do some digging, but I have no time. This is interesting thought:
https://news.bitcoin.com/bitfinex-us-regulation-cold-storage/