PR2027, Fix bugpoint's -find-bugs option, clean up the code.