4. Compute the weakest precondition for each of the following assignment statements: a =5" (6-1)-1 (a > 0) b = (c + 10)/4 {b>6) 5. Compute the weakest precondition for each of the following sequences of assignment statements and their postconditions: a-2b+1; b = a -3 {b 5)