On the zone of a circle in an arrangement of lines

The Hart-Sharir sequences are essentially the only known way to construct ababa-free sequences of superlinear length. Hence, if it could be shown that every family of ababa-free sequences of superlinear-length eventually contains all Hart-Sharir sequences, it would follow that the complexity of Z(C,L) is O(n) whenever C is a circle.