The following is an invalid µOCCAM program. This test assigns an interger to a CHAN which is not legal.
/public/cs3/web/ipptests/wrongtype.reject
INT a: CHAN b: SEQ a := 5 b := 6