It is now up to the programmer to not do anything funny with
these state values, whereas the normalization just tries not to
mess up the flow of state values. In practice, there are
situations where a Core program that \emph{could} be a valid
It is now up to the programmer to not do anything funny with
these state values, whereas the normalization just tries not to
mess up the flow of state values. In practice, there are
situations where a Core program that \emph{could} be a valid