Consider the assignment statement and post condition:
if ( x== y ) y = x/2 + 1; else y = 3 * x – 2; { y > 0 }
What
