VRP

ValueRange-Propagation for to allow more implicit casts
there should be a throw ... must have missed this commit.