In reply to Alex K.:
It always helps to provide an example. As soon as you add a constraint connecting two variables.
The LRM says “Variables that are not explicitly ordered shall be solved with the last set of ordered variables”. So a value gets picked for A, then B,C, and D are picked together.
Note that solve before has no affect on the solution, just the distribution of values picked. Please see constrain random variable result to enumerated type | Verification Academy