NOT (*
NOT +
SKIP (*
SKIP +
SKIP | (*
SKIP | +
DO (*
DO +
DO SKIP (*
DO SKIP +
DO SKIP OD (*
DO SKIP OD +
SAVE (*
SAVE +
SAVE X (*
SAVE X +
SAVE X IN (*
SAVE X IN +
SAVE X IN SKIP (*
SAVE X IN SKIP +
SAVE X IN SKIP END (*
SAVE X IN SKIP END +
{ (*
{ +
{ SKIP (*
{ SKIP +
{ SKIP } (*
{ SKIP } +
x, (*
x, +
VAR x IN (*
VAR x IN +
x := (*
x := +
x, y.z (*
x, y.z +
VAR x, y IN (*
VAR x, y IN +
VAR x, y IN SKIP (*
VAR x, y IN SKIP +
x, y.z := (*
x, y.z := +
x, y.z := 6 OD
x, y.z := 6 (*
x < (*
x < +
x < y -> (*
x < y -> +
x(y) (*
x(y) OD
x(y) ; (*
x(y) ; +
x < y |
a + (*
VAR x, y.z IN SKIP
VAR x, y.z IN VAR u, v IN SKIP
VAR x, y.z IN u, v := 2, t