Problem $6(5$ pts$.,0\mathrm{.}5$ pts$.$ each condition, $0\mathrm{.}5$ pts$.$ sufficient$/$insufficient$)$: Veri$-$

fying Correctness

For each block of code, fill in all the conditions, then use them to state whether the precondition

is sufficient to guarantee the postcondition. If the precondition is insufficient, explain why.

Hint: Use backward reasoning to find the weakest precondition that guarantees the postcondition

and see if the given precondition is strong enough to guarantee the postcondition. In other words,

is the given precondition not stronger than the weakest precondition?

Copy all code to your answer file and fill in the blanks. Show all work. Assume all referenced

variables are defined as integers.

$(1)$

$w=w+1$;

$\{w>1\}$

Sufficient or Insufficient:

$(2)$