Improve pretty-printing of conditions.