VRP

ValueRange-Propagation for to allow more implicit casts
That is needed!
without it
`byte b = ub+ushort.max-short.max+short.min-128` 
does not compile!