Nested ALTs

The following is Invalid µOCCAM. This program contains nested alternation processes. Although this is allowed in OCCAM, it is not valid micro-occam.

Program file: /public/cs3/web/ipptests-phase-1/nested_alt.reject

INT an.integer :
INT another.integer :

ALT

  ALT
    chan.1 ? an.integer
      SEQ  
        STOP
        SKIP

    chan.2 ? another.integer
      SKIP

  ALT


  ALT a.name = 3 FOR 15 - 2
    1 & chan.3 ? an.integer
      PAR
        an.integer := 5
        STOP