[Transforms] Pre-commit test cases for CorrelatedValuePropagation to handle both values of select

This is a pre-commit of test cases relevant for D119643.
CorrelatedValuePropagation should handle inverted select condition, but it does not yet.