title: what is the difference between those two assertions?
body: <p>let' say I have two properties;</p>
  
  <pre><code>property p1;
  sig_a ##1 sig_b;
  endproperty
  
  property p2;
  sig_a |=&gt; sig_b;
  endproperty
  </code></pre>
  
  <p>now if i do assertion like this:</p>
  
  <pre><code>a1: assert property (p1);
  a2: assert property (p2);
  </code></pre>
  
  <p>Does a1 and a2 make any difference?</p>