Compute the weakest precondition for the following construct if x >0 then y y-1 else y=y+1 4. using the post condition y >0) of the then clause (10 points)