Uminus

The following is valid µOCCAM. Just testing how you're handling unary minus.

SEQ
  var := -5
  var2 := -var

  var3 := var - var2

  var4:=var -var2