Autoformatting

Autoformatting improvements

Our autoformatter has been deployed, but it still needs some adjustments to suit our analyst's needs. Here we would like to collect ideas on how to make it as convenient as possible.

New line after conjunctions and and or

We would like a new line after each and and or conjunction. Both

(
    mutex(/abc/) or mutex(/def/)
)

and

(mutex(/abc/) or mutex(/def/))

shall become this:

(
    mutex(/abc/) or
    mutex(/def/)
)

However, both

(
    mutex(/abc/) or /*comment*/
    mutex(/def/)
)

and

(
    mutex(/abc/) or //comment
    mutex(/def/)
)

should stay the same. Also

mutex(/abc/) or (mutex(/def/))

should become

mutex(/abc/) or
(mutex(/def/))