isBST: bottom-up