Constraint solve...before

I know how this kind of constraint works, “solve A before B” means B is randomized after A is randomized, but what I am not sure is in what situation it can be used?

In reply to Marina.Miao:

See constrain random variable result to enumerated type | Verification Academy