Missing Variable Declaration

The following is an invalid µOCCAM program. This program declares two variables x and y and initialises them to 1. Then it tries to write their sum to a nondeclared variable z which should cause an error. Thomas Reisinger

Program file: /public/cs3/web/ipptests/nodecl.reject

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