Pretty sure the liens were public record, so everyone was aware of them. I think the Receiver felt they would just transfer over, as it does in several cases when both parties are aware of them. Having said that, I do feel something seems a little off.
Market Data 
Markets 
AI
