fn overlaps(a1: &Annotation, a2: &Annotation, padding: usize) -> bool