Hi, the current version is just a prototype, but it's definitely not a one-off demo, it's an analysis focused on a very small subset, and it works on that subset and produces the better error message I mention. The roadmap is in docs.md for now, I'll add more details to the readme once I figure out a nice and brief way to do it.