Function legacy_invariant_failure_file 

fn legacy_invariant_failure_file(
    failure_dir: &Path,
    invariant: &Function,
) -> PathBuf

Returns the legacy invariant failure cache path.