DuringExit BOOL This variable
Info REFERENCE TO SymbolicVarsBase.Variable
variable over time In
TO Variable
Info REFERENCE TO Variable