Node IBaseTreeNode p
ARRAY [0..0] OF IBaseTreeNode
pNode IBaseTree
RootNodes POINTER TO SymbolicVarsBase.IBaseTree
