I'm always happy to receive knowledge! That last sentence was meant as an exhortation to authors of similar static analysis tools: "Please implement this so I

I'm always happy to receive knowledge! That last sentence was meant as an exhortation to authors of similar static analysis tools: "Please implement this so I don't feel it’s a spurious addition". Many of those authors are like me – engineers who lack a post-grad education in program analysis, but are still interested in the subject. I hope some of them did read it, and can bring the same analysis to their own tools. I was also really happy when I discovered Typed Racket had implemented it, mostly because it meant that the idea wasn't flawed for some theoretical reason I’m too ill-educated to understand...