Improvements to static analysis.