minor fix to value range analysis combine and widening for intervals