add test for binary search