let module_name = "Semantical constant propagation"