Less conservative when using bounds to simplify Min/Max.