VRP

ValueRange-Propagation for to allow more implicit casts
AddAssign and SubAssign do not behave the same way as assign/sub .