add isl_set_from_point