Interestingly, as far as I understand it, the bitcoin protocol does not technically allow bitcoins to be combined, only split. The blockchain records transactions (balance transfers, basically) sourced from other transactions, so any output of the mixer wallet is conceptually traceable right through the mixer back to the input wallet[1]. There is an explicit link
in the protocol.
Now, the rules of operation of the mixer may (and in practice, definitely do) invalidate that link in reality, but it still exists in the protocol and can be the subject of legislation.
[1] For example, if the mixer wallet is created with nothing and receives 100 BTC from 8 other wallets, there's no record that looks like "Mixer Wallet: 100 BTC". Instead, there's a set of records that looks like this:
Mixer received 52 BTC from tx 5d41 [which deposited 2,000 BTC in Kingpin]
Mixer received 20 BTC from tx 402a [which deposited 20 BTC in Whore]
Mixer received 10 BTC from tx bc4b [which deposited 100 BTC in Hitman]
Mixer received 13 BTC from tx 2a76 [which deposited 2,000 BTC in Kingpin]
Mixer received 5 BTC from tx b971 [which deposited 8 BTC in Smuggler]
And payouts from the mixer create records that are in turn explicitly sourced from those. This mixer can't pay out more than 52 BTC in a single transaction, because that is the largest single amount it received.