Adds contracts for Span and FindOverlaps.