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