Problem $5(12$ pts$.,0\mathrm{.}5$ pts$.$ each condition$)$: Backward reasoning

Find the weakest precondition of each code sequence 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.

$(1)$ Use the wp$()$ notation shown in the example for all conditions in this part.

$x=-1$;

$\{wp(z=2**y+x$;$,z10)\}=\{2y+x10\}=$

$\{2y10-x\}=\{y\frac{\frac{?}{\text{b}\text{a}\text{r}}(10)-x}{2}\}$

$z=2*y+x$;

$\{z10\}$

$(2)$ Use the wp$()$ notation for all conditions in this part.

$\{\begin{array}{c}\text{:}\{x<mn\; id="EditorElement\_489870">0</mn><mi\; id="EditorElement\_489872">\}</mi>\end{array}$