add missing annotations to isl_basic_set_drop_dims