I am pretty sure AML companies like Ciphertrace are able to track the movement of funds even if they use mixing services. They do live demos of their tech so it would be interesting to see it happen in real time
We cant still conclude such thing if they do able to trace it out.I havent hear one that someone do able to trace such transactions where those alleged coins do came from.(Tell me if i do missed something) but i wont really be surprised that later on they would able to do such thing.