Adding SourceSpan in annotations