variables and parameters [...] Variables defined [...] for writing global
for variables) <invariants [...] var value Writing of a variable
are ignored. Writes [...] to a variable [...] is the variable name
variables and parameters [...] Variables defined [...] for writing global
variables. Tab [...] variables and parameters [...] Variables defined
variables and parameters [...] Variables defined [...] for writing global
variables and parameters [...] Variables defined [...] for writing global
variables : Persistent variables [...] variables and parameters
variables and parameters [...] Variables defined [...] for writing global
is running, then it writes [...] be used as variables [...] as defined variables