Automated Correction of Design Rule Violations in Source Code Using Logical Abduction