isl_basic_map_reduce_coefficients: reduce again after gauss