OutputValue STRING stVariableValue STRING bInit BOOL

OutputValue STRING stVariableValue STRING flags DWORD

OutputValue STRING stVariableValue STRING Input b

OutputValue STRING stVariableValue STRING bInit BOOL

STRING pVariableInformation POINTER TO Variable

TO STRING pVariableInformation POINTER TO Variable

STRING Variable [...] VarInfo EXTENDS SymbolicVarsBase.Variable [...] Variable

variable has to be converted into a STRING [...] TextCopyToString or

variable declaration In [...] STRING vtype SMC_GVar_Type

STRING pVariableInformation POINTER TO Variable