Out: Scope Name Type [...] Info REFERENCE TO Variable

Out: Scope Name Type [...] Info REFERENCE TO Variable

Out: Scope Name Type [...] Info REFERENCE TO Variable

Out: Scope Name Type [...] Info REFERENCE TO Variable

Out: Scope Name Type [...] Info REFERENCE TO Variable

Out: Scope Name Type [...] Info REFERENCE TO Variable

the variable for [...] changed InOut: Scope

the variable for [...] changed InOut: Scope

Out: Scope Name Type [...] DuringExit BOOL This variable

VarsBase.ITreeWalker InOut: Scope Name [...] Info REFERENCE TO SymbolicVarsBase.Variable