Extending the Static Checker