Compute the weakest precondition for the following sequence of statements, given the stated post condition.

{??}

a = 2 * (3 * b - a);

b = 3 * a - 1;

{ b > 17}

Compute the weakest precondition for the following sequence of statements, given the stated post condition. Hint: Start by deciding what variable or variables should be mentioned in the precondition. Recall the rule for sequences: the precondition for a statement in a sequence is equal to the post-condition for the statement that precedes it. Note: Your answer will involve a relationship between a and b. 1??) a 2* (3 b-a) b 3*a-1; b> 17