virtual void pop_core(unsigned n) { m_assertions.reset(); m_solver->pop(n); m_rewriter.pop(n); }
void pop_core(unsigned n) override { m_assertions.reset(); m_solver->pop(n); m_rewriter.pop(n); }