scopes

The following is an invalid µOCCAM program. This program uses the variable dre out of scope.

SEQ
  INT y:
  y:= 5
  INT jz = 6:
  SEQ
    INT dre:
    SKIP
  dre := 2001
  STOP