Expressions in VAL

The following is invalid µOCCAM. The expression in the VAL declaration contains a variable and so the expression can't be calculated at compile time.

INT not.constant = 0 :
VAL a.name IS 2 + not.constant :
PAR
  a.channel ? not.constant
  another.channel ! not.constant + 1