Adding SourceSpan to annotations