let
name =
"Semantical constant propagation"