Do not jump after the then branch of an if statement if there is no else branch.