fix bug that caused ResultTrees with duplicates to be filtered out erroneously
fix bug that caused ResultTrees with duplicates to be filtered out erroneously

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