about the Variable and its Data [...] The variable is created as a

variable [...] to specify the variable

variable END [...] . Before reading variables [...] variable sInfo or ws

monitor variables [...] On the Variables (scope #<id [...] the variables affected

script variable Test [...] variables (and any state variables) Output

the current variable values

for variable assignments

Hint: Variables

, Invariants Variable sets

to the input variables and output variables [...] variables. In the row