Parallel

The following is valid µOCCAM. Base and count of a replicated PAR are not constant expressions. Also checks arguments to instance

SEQ
  PAR counter = ((x+2)*y) FOR (z \ 3)
    a.variable (a, b[5], c)
  WHILE (NOT x.1)
    counter := counter + 1