[added] Tests for binary search