Compute the weakest precondition for the following statements and post-conditions.

if(a == b)

b = 2 * a + 1;

else

b = 2 * a;

{ b > 1 }