Example Two

$$\langle x \leq 0 \rangle \; x := -x \; \langle x \geq 0 \rangle$$

is correct, since replacing $x$ by $E = -x$ in $(x \geq 0)$ gives $(-x \geq 0)$ which is logically equivalent to $(x \leq 0)$