add missing annotations to isl_set_eliminate_dims