The following is valid µOCCAM. Just testing how you're handling unary minus.
/public/cs3/web/ipptests-phase-1/uminus.accept
SEQ var := -5 var2 := -var var3 := var - var2 var4:=var -var2