let
module_name =
"Semantical constant propagation"