var mk_var(bool is_int) override { return m_ctx.mk_var(is_int); }
virtual var mk_var(bool is_int) { return m_ctx.mk_var(is_int); }