Completed IsBST