Interesting. We don't have tooling for this yet but extending the Piranha static analysis may help detect the issue.