Finishing constraint pretty-printing