PAR

  INT x:

  SEQ
    INT y:
    INT z:
    z := x+y  -- all variables in scope

  x := x+y -- the y here is not in scope

  STOP