Model convert(Model? m) { final ptr = _c._z3.goal_convert_model(_goal, m?._model ?? nullptr); return _c._getModel(ptr); }