src/output-impl.lisp: Add a debugging dump of the known constraints.