let
option_name =
"-security-propagate-assertions"