variable. Node [...] denotes a variable [...] VariableFlag below
Info REFERENCE TO SymbolicVarsBase.VariableInformation
Info REFERENCE TO VariableInformation
TO VariableInformation