ResultTree: use ResultMap::empty (O(1)) instead of ResultMap::size (O(n))
ResultTree: use ResultMap::empty (O(1)) instead of ResultMap::size (O(n))

thomastrapp/hext,thomastrapp/hext,thomastrapp/hext,thomastrapp/hext,thomastrapp/hext,thomastrapp/hext,thomastrapp/hext,thomastrapp/hext