isl_basic_map_add_div_constraints: add memory management annotation