Constructs

The following is valid µOCCAM. Consists of constructions with empty processes and an assignment

SEQ
  SEQ
  SEQ
    PAR
    PAR
      ALT
      ALT
  var1 := var2