Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring