Fix: Binary search first occurrence and add property-based tests

Fix: Binary search first occurrence and add property-based tests #6496