Problem $4(8$ pts$.,1\mathrm{.}5$ pts$.$ for each condition$)$: Forward reasoning

For each code snippet with the given precondition, find the strongest postcondition by inserting

the appropriate condition in each blank. The first intermediate condition in part $(1)$ is supplied

as an example. Please simplify your answers as much as possible. Assume all referenced variables

are defined as integers. Copy all code to your answer file and fill in the blanks. Carry all variables

forward. Show all work.

$(1)$