This intention simplifies 'if-else' statements where the 'else' is redundant (the last statement of the 'if' branch transfers control unconditionally)