Conventional assignements as abbreviations
The 2006 TSE paper mentions on page 826:
In a similar line, conventional assignements like
y := 3;
are to be read as{= y:= 3 =};
The former syntax is not supported currently. I suggest to indeed add support for it.
The latter is an abbreviation for tau palt {:1: {= y:= 3 =};}
And, if we are at it, there are some more abbreviations mentioned on that page that also seem nice to have.