on statements

We consider the statement

$$\begin{minipage}[t]{\linewidth}\begin{tabbing} \verb$on($$p$\verb$) $$S$\end{tabbing}\end{minipage}$$

where $p$ is an expression and $S$ is a statement. Pre-translation follows the same pattern as for if statements, see section A.3.3.