Compute the weakest precondition for each of the following statements:

(f) a = 3 * (2 * b + a); b = 2 * a - 1 {b > 5} (g) if (a == b) b = 2 * a + 1 else b = 2 * a; {b > 1}