[Ericson2314]

> series of data-flow analyses

Screems highly non-compositional to me. No thanks if so, I'll stick with good old types and proofs.