Scope Problem

The following is an invalid µOCCAM program. A simple test to check scoping of variables.

INT x :

SEQ
  PAR
    INT y :
    INT z :
    y := 1
    z := 2
  SEQ
    x := x + y
    x := x + z