solver-state: make string parameters stand out when printing.