isl_map_subtract.c: n_non_redundant: avoid zero-size allocation