Better way to reformat code

[UWN]

There is no direct way how to read clauses that have been expanded. What I do instead is to add a dynamic declaration in front and then use listing/1 to obtain a better readable version. Here, I have just reformatted code in that manner. See the history how it looked before. It's not only indentation but also many superfluous round brackets that made it unreadable.

Shouldn't there be an easier way to do this?