SCL: Static Enforcement and Exploration of Developer Intent in Source Code