Symbol: add_tnode