Make constraint pretty printing prettier.