Why is the implicit `result` so widely used?

[Araq]

You can use procs and templates to avoid excessive nesting and then you can 
still see the join points in the control flow graph, whereas you lose them with 
`return`.

But hey, what do I know about formal reasoning...