What is Extended Static Checking? | Hacker News Reader