BinarySearchSpec refactor