OK, fair enough. That makes sense, but that's not what I was getting at. It's obvious to me that blockchain analysis considers there is something wrong with those UTXOs, hence their assessment and recommendation to zkSNACKs, don't allow this. But now the money is on the move. The owner of the "dirty" bitcoin is trying to "clean" them through Wasabi. Blockchain analysis noticed it, so they can employ more resources to follow the trail and identify the "culprits".
Blockchain analysis is going to notice what the owner does with the Bitcoin no matter what. If anything, getting banned by zkSNACKs is an otherwise unknowable advantage for the blacklisted user because now they are notified that at least one party has claimed their coins are involved in suspicious activity.
Yes, I'm aware the blacklisted user would prefer to have their UTXO actually coinjoined as opposed to just being notified it's been accused, but it's at least there's no downsides.