[sv-ec] A possible ambiguity in circular solve/before constraints

I think there might be an ambiguity in the LRM Section 13.4.9 when
there's a circular dependency in solve/before constraints.  Should a
randomize call fail if there's a circular dependency?  Or should
randomize just ignore all the solve/befores, and just consider the other
constraints?

The sixth paragraph in 13.4.9 seems to say that randomize should ignore
circular solve/befores:

"Variable ordering can be used to force selected corner cases to occur
more frequently than they would otherwise. However, a
"solve...before..." constraint does not change the solution space and,
therefore, cannot cause the solver to fail."

But the fifth bullet of paragraph 9 seems to say that randomize should
fail:

- There must be no circular dependencies in the ordering, such as "solve
a before b" combined with "solve b before a".


Thanks,
Bill Paulsen