Use ConstantRange to propagate information through value definitions.