explicitly mark isl_basic_set_add as deprecated