let
descr =
"propagate security assertions if possible"