No Parenthesis in Expression

The following is invalid µOCCAM. Checking to see if arrays of more than one dimension are rejected for assignments

SEQ
  SEQ
    IF
      12
        A.B := 2+2+2+2
      34
        A.b := 2+3
      3+5
        a.B := 56+2
    WHILE 25
      STOP