isl_basic_map_normalize_constraints: extract out scale_down_inequality