Adding of SourceFileOrigin