TreesAsSets, Implementation as tree: Add method working.