Conditional assertion

In reply to mukeshkumar.saha@reliabletechsys.com:

You can. I was just saying that in the example you gave, checking if(a) would be redundant.