Add Tree::isDef.
Add Symbols.