pub fn check_file_safety_annotation(path: &Path) -> Result<bool, String>
Check if the file has @safe annotation at the beginning