In reply to prashantk:
The first will be checked at every posedge of clk and second will be checked at only if a is true.