goto error;
hull = isl_basic_set_cow(hull);
hull = isl_basic_set_extend_dim(hull,
isl_dim_copy(hull->dim), 0, 0, facet->n_ineq);
goto error;
hull = isl_basic_set_cow(hull);
hull = isl_basic_set_extend_dim(hull,
isl_dim_copy(hull->dim), 0, 0, facet->n_ineq);