We now see more clearly why this is the case: If there is a context-free derivation for a given string that involves a nonbranching dominance cycle, we know that there is another derivation for that same string that has no such cycle.
the generated language is the same whether or not derivations with nonbranching dominance cycles are allowed.