isl_map_floordiv: add memory management annotations