Rename ValuePropagation to a more descriptive CorrelatedValuePropagation.