When a value is guaranteed to have a constant value in a region of the CFG, this optimization replaces uses of that value with the constant in that region.