Confusion about root cause when multiple assertions fail

[povik]

In simulation of logic, if multiple architectural assertions (those generated by the compiler) fail in the same cycle, it is not obvious which one points to the root cause, and which one is merely a secondary effect.

It's not even ruled out that the assertion pointing out the root cause fails in a later cycle than a secondary failing assertion.