fn artifact_source_and_contract<'a>( artifact_path: &Path, artifact: &'a SymbolicCounterexampleArtifact, ) -> Result<(&'a str, &'a str)>