Simplifies an if...else statement where the else branch is redundant, that is, if the last statement of the if branch transfers control unconditionally.