add isl_point_get_ctx