There are several places around div and mod nodes where we check for type->_hi < 0 || type->_lo > 0 to e.g. remove control inputs when no div by zero can happen. Using the contains method is more precise: It also checks unsigned ranges and will also return false if any bit is known to be 1.