1)if i use "|=> " this operator check is considering a==1 ,if a==1 then only checking for consequent.
2)if use ##1 in place of |=> ,check is firing for every time WHY???
For a ##, it checks for the expression which we write. If that is found, it immediately returns true, else it results in false.
For a |=>, it checks for the expression which we write. If that is found, it goes further, if not found it waits until it is found but does not result in an error. ALways in |=>, for the property to be true, all the expressions used in that should be true and for it to be false, the last expression should be false.