Add tree-guided generation of symbols