Function generate_verify_suggestion 

pub fn generate_verify_suggestion(
    root: &Path,
    modified_file: &str,
) -> VerifySuggestion

Generate a verification suggestion for a file modification