断言中disable 用法

如下两种描述有啥区别?
在仿真中,第一种可正常仿真
第二种仿真时,复位后3拍报错

propertyp1;
        @(posedge clk ) disable iff(rst_n==1'b0)    $fell(A) |=>B;
    endproperty:p1

propertyp2;
        @(posedge clk  iff(rst_n==1'b0) )      $fell(A) |=>B;
endproperty:p2