Heal: diagnose and correct program irregularities

Information about Heal can be found in the paper: Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction