add isl_set_lift