void display_constraints(std::ostream & out, bool use_star) const override { m_ctx.display_constraints(out, use_star); }
virtual void display_constraints(std::ostream & out, bool use_star) const { m_ctx.display_constraints(out, use_star); }