Function check_borrows_with_annotations 

pub fn check_borrows_with_annotations(
    program: IrProgram,
    header_cache: HeaderCache,
) -> Result<Vec<String>, String>