How to write SVA assumption

In reply to kddholak:

“local” is a SVG reserved word. Try changing “local” to “lcl” or to “local1”.
Whether the compiler accepts it or not, it si not a good idea to use reserved words for variable names; it’s confusing.