isl_sample.c: sample_bounded: use isl_basic_set_get_ctx