isl_map.c: map_intersect_add_constraint: drop redundant assert