Assignments

The following is a valid µOCCAM program. Tests assignments to variable and evaluation of simple expressions.

SEQ
  INT x:
  INT y = 5 + 3:
  INT z:
  x:=1
  z:=x + (y*5)