let option_name = "-remove-redundant-alarms"