Toggle diagnostic messages from the concrete solver.
Developer documentation: this item describes internal implementation details.