I'm sure the smart contact language is powerful enough to specify that tokens from Tornado Cash will not be handled. You talk about it in terms of self-modifyin

I'm sure the smart contact language is powerful enough to specify that tokens from Tornado Cash will not be handled. You talk about it in terms of self-modifying code but that should not be necessary. That tokens from "something like" Tornado should not be handled, though, seems like it would be harder to specify.