Prove correctness of the following if - else program. a=x+1; if (a-1==0) { y=1; } else{ y=a; } The precondition here is true and postcondition here is y = x +1