List<Expr> getSortUniverse(Sort s) { final vector = _c._z3.model_get_sort_universe( _model, _c._createSort(s), ); return _c._unpackAstVector(vector).cast(); }