let option_name = "-security-propagate-assertions"