: The action CompareVariable [...] <variable> {, <another_string> | <variable>} )

for variables) <invariants [...] of a variable [...] variable with a value

for all conditions. Variable Variable (any data type [...] (global variable list

. The enabled variables [...] variable are listed [...] the variable inst

view. Each variable [...] ). The variable can be set [...] of the variables, usually

variables of the function [...] Inputs or variables [...] Outputs or variables

variable END [...] variables [...] control variable

Definition of variables [...] of variables and values with entries in the Variable

: Variables (scope #<ID [...] variables [...] : Variables (scope #4

and variables of the function [...] for an input variable [...] <variable 1> You can