More bugs - Resynthesize