Regarding const'() cast

In reply to hisingh:

As with any other non-random variable or expression, the constraint solver uses that values after pre_randomize completes to solve the constraints.