Less-probable branches are marked so and the code is updated to decrease nesting.