This is done by removing the extra parentheses fron the syntax rules
of the why3_itp driver, and modify the why3_itp printer to add parentheses
when risk of ambiguity occurs.

This does not remove all useless parentheses, but it is already much
better than before