Verify and Fix: run safely and interpret error messages