unsigned num_vars() const override { return m_ctx.num_vars(); }
virtual unsigned num_vars() const { return m_ctx.num_vars(); }