Local variable usage in SVA

In reply to wangjiawen:
Could it be that the assertion with the variable is correct with no issue, but the design has an issue with some combinations of the values of tag?
You blame the assertion, but I see nothing wrong with the structure.
Ben