Valid Expressions

The following is valid µOCCAM. Checking different valid expressions are accepted

SEQ
  var1 := NOT x
  chan1 ! (x + 2)
  chan2 ! ((((y*3) - (y / 2)) + 5) * 6)
  chan3 ! ((z + 5) OR (a - 9))