SearchTree removed - StatePriorityComparator does the same thing