Implement ConstantRange::multiply based on the code in LoopVR.