The parser only allows renaming expressions after bare identifiers, so the below example will fail to parse.
channels a, b process A = begin @ Skip [[a<-b]] end