Updating the CIL semantics to match the new semantics of cast.

@andreistefanescu please review.