isl_basic_set_sample_with_cone: use isl_basic_set_get_ctx