Constraint a variable so that it's less likely to retain its current value

In reply to hkc:

Yes, it uses the current value as if it were a non-random state variable—same as a constant for randomization. This is defined in section 6.24.1 Cast operator.