let name = "Semantical constant propagation"