fn narrow_generated_invariant_corpus_root( corpus_dir: PathBuf, contract_name: &str, invariant_name: &str, is_optimization: bool, ) -> PathBuf