In reply to Have_A_Doubt:
e on what you say.
Per my last version with added sequence rule
There are legitimate cases where specifying a property using a macro or a generate parameter can render a property degenerate (and thus useless) for some configurations while remaining meaningful for others. In practical applications, the generation of degenerate and illegal sequences can be subtle for the user, influenced by factors like configuration options or generate loop statements.
It would be inconvenient to force tool customers to change the code.
I am not a tool vendor, but my guess is that each vendor took the approach that they felt was best for their customers.
Ben