Fixing Hpc SrcSpan usage; rejecting SrcSpans that are not in the source file