Function invariant_failure_file 

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

Returns the current invariant failure cache path.