Testing Declarations

The following is an invalid µOCCAM program. Declares a variable and tries to declare it again as anoth type

INT a:
INT b:
INT c:  --declared but never used
CHAN c: --declared with same name

SEQ

  a := 1 + 1        
  b := a + 1