VRP

ValueRange-Propagation for to allow more implicit casts
I agree.
I delete this