Fix the implementation of ConstantRange::sub(ConstantRange). Patch by Xi Wang!