SrcSpans are not unique, need to change annotation lookup