Teach count_by_label_then_result_type.py to report total number of false alarms.
Teach count_by_label_then_result_type.py to report total number of false
alarms.

symbooglix/boogie-runner,symbooglix/boogie-runner