
This image shows that if a branch node is being used, there must be subsequent usage of a merge node. However, I just noticed that here:

The branch node for the last else condition (beside [i < 10]) does not have a subsequent merge node. Does that mean that the merge node is not always needed?
Note: I'm aware that the textbook says the "Omitting the merge node if it doesn't cause any ambiguities" is allowed but I just want to clarify that if this statement actually means that the merge node need not be used following a branch node.
Thank you in advance!