[sv-ec] In-line random variable control

When calling randomize with arguments, should the constraint solver fail
if random variables not specified as arguments do not satisfy their
constraints at the time of the call?

 

Or should the solver just focus on the random variables given as
arguments, and only consider constraints that directly or indirectly
involve them?

 

The two simulators we are working with have come to opposite conclusions
on this issue.

 

I would think in-line random variable control would be much more useful
if only related constraints were involved.

 

Thanks

Tom Symons