isl_map_subtract.c: tab_add_constraints: use isl_basic_map_dim