Seems to be pretty invalid reasoning. This want to be an imperative language. In imperative languages the _main_ structural element of the code is the _order_ of the instructions. Branches are secondary structural elements.
If we have early exit, we are using the primary structural tool to do checks instead of secondary method. Consider the following task: prepocess1, check1, preprocess2, check2,.... preprocessN, checkN. With early access you will get a very readable, natural imperative code structure, meanwhile using branches, you will get a huge mess of code-tree where the main (and actually most important) process is deeply indented and obscured. Human mind is much better in interpreting linear control flow than parallelism (either a runtime or a logical one).
