In reply to nak_img:
https://verificationacademy.com/forums/systemverilog/assertion-variable-declaration-sva-0#reply-74359