Previously, the control flow was determined by a mixture of
`if-else`-constructes and premature `return` statements,
which made it hard to understand which case occurs when.