public abstract void ExpandTree(InteriorNode parent, SymbolsDictionary symbols, Positions positions);