SV 断言，使用if的注意事项

在property 或者 sequence 中，进入if语句时，如果使用了局部变量，在编译命令要加入-assert svaext 选项，否则出现如下错误。

if 的分支语句 不能加分号。