On Sun, Oct 23, 2022, at 6:57 PM, Skulski, Wojciech wrote: > > So what are those significant gains, as opposed to personal views what > is cluttered and what is not? > In structured programming and in formal verification of programs the return statement is a mistake and it's a fact, not a personal view. -- Diego Sardina