let
option_name =
"-remove-redundant-alarms"