Chainalysis can demix Wabisabi protocol and do this for OFAC. Wabisabi is the only one of three coinjoin protocols which can be demixed like this.
Here is government contract with Chainalysis
https://archive.is/1zU9tChainalysis Rumker licenses include Observations and Nodes, which help locate where server nodes are running. This license also includes Wasabi Demixing services at no additional cost to OFAC, and with no limits to the number of requests.