Pretty printing: add parentheses around Relationals

Fixes #7117.
I still think it's mostly useless.  Same comment in different places.  Comments supposed to comment the code, not the commit.

We have three identical comments for different pieces of the code.  What they are supposed to do?