Variable in scope

The following is a valid µOCCAM program. Checks to see that the compiler accepts a variable which is in scope.

INT i = 1:
SEQ
  i := 4 - 2
  i := 1