test bst property