add isl_set_unshifted_simple_hull