\begin{table}
\begin{tabular}{|l|l|l|}
\hline
{\bf Program Statement} & {\bf $\delta$-transformer} & {\bf Pair Set} \\
\hline

\hline
\textbf{n1:}\quad \begxact          & $\tB{n1}$    & $\emptyset$ \\

\hline
\textbf{n1:}\quad \endxact          & $\tE{n1}$    & $\emptyset$ \\

\hline
\textbf{n1:}\quad $x = r_1.f_1$     & $\tid$       &$\{(r_1,f_1)\}$ \\

\hline
\textbf{n1:}\quad $r_1.f_1 = x$     & $\tid$       & $\{(r_1,f_1)\}$ \\

\hline
\end{tabular}
\caption{
Example program statements; their corresponding \delts; and
the set of pairs that annotates them.
annotations.
}
\label{Ta:Rules}
\end{table}
