Correct handling of branch not taken