Looking for Missed Alarm Bugs in a Formal Verification Tool