It’s an NP hard problem. Tracing beneficial ownership is tough to scale. That’s why our system does it sparingly, e.g. when investigating malfeasance. Every past attempt at systematising this trace function has run into hurdles which are now predictable. They aren’t easy to solve without creating unacceptable side effects, and it’s easier for the beneficial owner to adapt than for an exchange to re-write its rules.