add isl_union_set_polyhedral_hull