Improved pretty printing for --ddump-vect