The following is an invalid µOCCAM program. Variable 'program' is not assigned and therefore is invalid when called
/public/cs3/web/ipptests/notdec.reject
-- This test has two assignments and then tries to operate on them
INT bad :
INT test :
SEQ
PAR
bad := 50
test := 37
SEQ
bad := bad - test + program -- program hasn't been assigned