Verification of MODIFIED F12Alpha blocker bugs