Create ConstantPropagationAnalysis