VRP

ValueRange-Propagation for to allow more implicit casts
Put as assertion to make sure this is correct.