Better printing of pb constraints