LAZY: linear solution for UniqueBinarySearchTrees