D ::= ...| var I C ::= L:=E | C1;C2 | ...E ::= N | @L | ...L ::= I
Example
var X; var Y; proc P = Y:=@X+1 in X:=0; call P